runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718518-1338269438/watcher-3718518-1338269438 -o /tmp/evaluation-result-3718518-1338269438/solver-3718518-1338269438 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718518-1338269438.opb PrimePower CARD.DP ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.71 0.91 2/179 30432
/proc/meminfo: memFree=30630164/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/30432/stat : 30432 (python) D 30430 30432 30201 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293069907 15642624 527 33554432000 4194304 5683644 140736730332448 140736730318360 251032060816 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 3819 527 312 364 0 261 0
[startup+0.0556079 s]
/proc/loadavg: 1.99 1.71 0.91 2/179 30432
/proc/meminfo: memFree=30630164/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16464 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) R 30430 30432 30201 0 -1 4202496 1135 0 0 0 1 0 0 0 20 0 1 0 293069907 16859136 955 33554432000 4194304 5683644 140736730332448 140736730315080 5170800 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4116 955 392 364 0 558 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16464
[startup+0.100196 s]
/proc/loadavg: 1.99 1.71 0.91 2/179 30432
/proc/meminfo: memFree=30630164/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300219 s]
/proc/loadavg: 1.99 1.71 0.91 2/179 30432
/proc/meminfo: memFree=30630164/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700224 s]
/proc/loadavg: 1.99 1.71 0.91 2/179 30432
/proc/meminfo: memFree=30630164/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50041 s]
/proc/loadavg: 1.99 1.71 0.91 3/184 30437
/proc/meminfo: memFree=30464800/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=635884 CPUtime=1.38 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 146066 0 0 0 78 60 0 0 20 0 1 0 293069918 651145216 70142 33554432000 4194304 4943705 140737068806592 140737068804864 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/30437/statm: 158971 70145 357 183 0 155341 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 687912
[startup+3.10042 s]
/proc/loadavg: 1.99 1.71 0.92 3/184 30437
/proc/meminfo: memFree=30230688/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=1244396 CPUtime=2.98 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 212603 0 0 0 196 102 0 0 20 0 1 0 293069918 1274261504 136678 33554432000 4194304 4943705 140737068806592 140737068804864 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/30437/statm: 311099 136678 357 183 0 307469 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1296424
[startup+6.30044 s]
/proc/loadavg: 1.99 1.71 0.92 3/184 30437
/proc/meminfo: memFree=29792576/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=2087660 CPUtime=6.03 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 304859 0 0 0 444 159 0 0 20 0 1 0 293069918 2137763840 231238 33554432000 4194304 4943705 140737068806592 140737068805504 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/30437/statm: 521915 231238 357 183 0 518285 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 2139688
[startup+12.7004 s]
/proc/loadavg: 1.99 1.72 0.93 3/184 30437
/proc/meminfo: memFree=29192800/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=3341804 CPUtime=12.38 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 442031 0 0 0 997 241 0 0 20 0 1 0 293069918 3422007296 368410 33554432000 4194304 4943705 140737068806592 140737068804864 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 19 0 0
/proc/30437/statm: 835451 368410 357 183 0 831821 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 3393832
[startup+25.5004 s]
/proc/loadavg: 1.99 1.73 0.94 3/183 30437
/proc/meminfo: memFree=28457024/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=4836076 CPUtime=25.01 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 605468 0 0 0 2165 336 0 0 20 0 1 0 293069918 4952141824 536454 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 35 0 0
/proc/30437/statm: 1209019 536454 357 183 0 1205389 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 4888104
[startup+51.1004 s]
/proc/loadavg: 1.99 1.75 0.97 3/183 30437
/proc/meminfo: memFree=27577892/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=6790892 CPUtime=50.33 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 819277 0 0 0 4570 463 0 0 20 0 1 0 293069918 6953873408 754870 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 59 0 0
/proc/30437/statm: 1697723 754870 357 183 0 1694093 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 6842920
[startup+102.306 s]
/proc/loadavg: 1.99 1.79 1.02 3/183 30437
/proc/meminfo: memFree=26292740/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=9574892 CPUtime=101.07 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 1123781 0 0 0 9458 649 0 0 20 0 1 0 293069918 9804689408 1070890 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 102 0 0
/proc/30437/statm: 2393723 1070890 357 183 0 2390093 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 9626920
[startup+162.3 s]
/proc/loadavg: 1.99 1.82 1.08 3/183 30437
/proc/meminfo: memFree=25150604/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=12062444 CPUtime=160.52 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 1395861 0 0 0 15239 813 0 0 20 0 1 0 293069918 12351942656 1356790 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 150 0 0
/proc/30437/statm: 3015611 1356790 357 183 0 3011981 0
Current children cumulated CPU time (s) 160.54
Current children cumulated vsize (KiB) 12114472
[startup+222.3 s]
/proc/loadavg: 1.99 1.85 1.14 3/183 30438
/proc/meminfo: memFree=24150816/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=14129900 CPUtime=219.99 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 1621993 0 0 0 21049 950 0 0 20 0 1 0 293069918 14469017600 1596742 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 201 0 0
/proc/30437/statm: 3532475 1596742 357 183 0 3528845 0
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (KiB) 14181928
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+277.9 s]
/proc/loadavg: 2.03 1.89 1.19 3/183 30438
/proc/meminfo: memFree=23355824/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=15820524 CPUtime=275.14 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 1806908 0 0 0 26455 1059 0 0 20 0 1 0 293069918 16200216576 1795478 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 244 0 0
/proc/30437/statm: 3955131 1795478 357 183 0 3951501 0
Current children cumulated CPU time (s) 275.16
Current children cumulated vsize (KiB) 15872552
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+277.9 s]
/proc/loadavg: 2.03 1.89 1.19 3/183 30438
/proc/meminfo: memFree=23355824/32873844 swapFree=7372/7372
[pid=30432] ppid=30430 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/30432/stat : 30432 (python) S 30430 30432 30201 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293069907 17399808 1081 33554432000 4194304 5683644 140736730332448 140736730330296 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30432/statm: 4248 1081 429 364 0 690 0
[pid=30434] ppid=30432 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30434/stat : 30434 (sh) S 30432 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069915 9367552 267 33554432000 4194304 5064252 140737339203808 140737339202512 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30434/statm: 2287 267 226 213 0 72 0
[pid=30435] ppid=30434 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30435/stat : 30435 (python) S 30434 30432 30201 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293069915 17141760 1059 33554432000 4194304 5683644 140736978581872 140736978579720 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30435/statm: 4185 1059 429 364 0 627 0
[pid=30436] ppid=30435 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30436/stat : 30436 (sh) S 30435 30432 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293069918 9367552 268 33554432000 4194304 5064252 140733345222784 140733345221488 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30436/statm: 2287 268 226 213 0 72 0
[pid=30437] ppid=30436 vsize=15820524 CPUtime=275.14 cores=0,2,4,6
/proc/30437/stat : 30437 (PBPASSolver-817) R 30436 30432 30201 0 -1 4202496 1806908 0 0 0 26455 1059 0 0 20 0 1 0 293069918 16200216576 1795478 33554432000 4194304 4943705 140737068806592 140737068805504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 244 0 0
/proc/30437/statm: 3955131 1795478 357 183 0 3951501 0
Current children cumulated CPU time (s) 275.16
Current children cumulated vsize (KiB) 15872552
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30432 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=33994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.038993
# while last known CPU time is 275.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 277.919
CPU time (s): 275.16
CPU user time (s): 264.57
CPU system time (s): 10.59
CPU usage (%): 99.0073
Max. virtual memory (cumulated for all children) (KiB): 15872552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 0.004999
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 3
runsolver used 0.91786 second user time and 3.11253 second system time
The end