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-3718892-1338269126/watcher-3718892-1338269126 -o /tmp/evaluation-result-3718892-1338269126/solver-3718892-1338269126 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718892-1338269126.opb PrimePower CARD.SN ./CryptoMiniSat
running on 4 cores: 1,3,5,7
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.90 1.20 0.51 3/178 19538
/proc/meminfo: memFree=31661184/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/19538/stat : 19538 (python) D 19536 19538 19399 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293041218 15642624 527 33554432000 4194304 5683644 140736446616928 140736446602840 270118241168 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 3819 527 312 364 0 261 0
[startup+0.083731 s]
/proc/loadavg: 1.90 1.20 0.51 3/178 19538
/proc/meminfo: memFree=31661184/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.100291 s]
/proc/loadavg: 1.90 1.20 0.51 3/178 19538
/proc/meminfo: memFree=31661184/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.30029 s]
/proc/loadavg: 1.90 1.20 0.51 3/178 19538
/proc/meminfo: memFree=31661184/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.700319 s]
/proc/loadavg: 1.90 1.20 0.51 3/178 19538
/proc/meminfo: memFree=31661184/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+1.50048 s]
/proc/loadavg: 1.90 1.20 0.51 3/183 19543
/proc/meminfo: memFree=31635524/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=52300 CPUtime=1.38 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 150876 0 0 0 93 45 0 0 20 0 1 0 293041229 53555200 8088 33554432000 4194304 4943705 140735871908624 140735871905760 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/19543/statm: 13075 8088 329 183 0 9445 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 104332
[startup+3.1005 s]
/proc/loadavg: 1.90 1.20 0.51 3/183 19543
/proc/meminfo: memFree=31626500/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=69324 CPUtime=2.97 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 228976 0 0 0 199 98 0 0 20 0 1 0 293041229 70987776 10280 33554432000 4194304 4943705 140735871908624 140735871905760 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/19543/statm: 17331 10280 329 183 0 13701 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 121356
[startup+6.30047 s]
/proc/loadavg: 1.91 1.21 0.52 3/183 19543
/proc/meminfo: memFree=31529100/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=745132 CPUtime=6.17 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 377511 0 0 0 403 214 0 0 20 0 1 0 293041229 763015168 85325 33554432000 4194304 4943705 140735871908624 140735871906896 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/19543/statm: 186283 85325 357 183 0 182653 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 797164
[startup+12.7004 s]
/proc/loadavg: 1.91 1.22 0.52 3/183 19543
/proc/meminfo: memFree=30704268/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=2263212 CPUtime=12.51 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 543551 0 0 0 940 311 0 0 20 0 1 0 293041229 2317529088 251365 33554432000 4194304 4943705 140735871908624 140735871907536 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 6 0 0
/proc/19543/statm: 565803 251365 357 183 0 562173 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 2315244
[startup+25.5004 s]
/proc/loadavg: 1.93 1.26 0.55 3/183 19543
/proc/meminfo: memFree=29959588/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=3861420 CPUtime=25.17 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 718355 0 0 0 2098 419 0 0 20 0 1 0 293041229 3954094080 426169 33554432000 4194304 4943705 140735871908624 140735871906896 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 19 0 0
/proc/19543/statm: 965355 426169 357 183 0 961725 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 3913452
[startup+51.1004 s]
/proc/loadavg: 2.04 1.34 0.59 3/183 19543
/proc/meminfo: memFree=29192396/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=5530796 CPUtime=50.56 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 900943 0 0 0 4520 536 0 0 20 0 1 0 293041229 5663535104 608757 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 39 0 0
/proc/19543/statm: 1382699 608757 357 183 0 1379069 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 5582828
[startup+102.307 s]
/proc/loadavg: 2.05 1.45 0.66 3/183 19543
/proc/meminfo: memFree=28192840/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=7714988 CPUtime=101.34 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1139839 0 0 0 9440 694 0 0 20 0 1 0 293041229 7900147712 850533 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 80 0 0
/proc/19543/statm: 1928747 850533 357 183 0 1925117 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 7767020
[startup+162.3 s]
/proc/loadavg: 2.02 1.55 0.75 3/183 19544
/proc/meminfo: memFree=27294984/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=9650604 CPUtime=160.85 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1351547 0 0 0 15256 829 0 0 20 0 1 0 293041229 9882218496 1076065 33554432000 4194304 4943705 140735871908624 140735871907536 4361049 0 0 16781312 17608 0 0 0 17 5 0 0 124 0 0
/proc/19543/statm: 2412651 1076065 357 183 0 2409021 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 9702636
[startup+222.3 s]
/proc/loadavg: 2.00 1.63 0.82 3/183 19544
/proc/meminfo: memFree=26520324/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=11268524 CPUtime=220.37 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1528508 0 0 0 21088 949 0 0 20 0 1 0 293041229 11538968576 1266849 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 172 0 0
/proc/19543/statm: 2817131 1266849 357 183 0 2813501 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 11320556
[startup+282.3 s]
/proc/loadavg: 2.00 1.69 0.89 3/184 19547
/proc/meminfo: memFree=25838888/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=12691116 CPUtime=279.89 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1684091 0 0 0 26943 1046 0 0 20 0 1 0 293041229 12995702784 1436251 33554432000 4194304 4943705 140735871908624 140735871907536 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 216 0 0
/proc/19543/statm: 3172779 1436251 357 183 0 3169149 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 12743148
[startup+342.3 s]
/proc/loadavg: 2.00 1.75 0.96 3/183 19547
/proc/meminfo: memFree=25206660/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=13976492 CPUtime=339.44 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1824697 0 0 0 32807 1137 0 0 20 0 1 0 293041229 14311927808 1590681 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 256 0 0
/proc/19543/statm: 3494123 1590681 357 183 0 3490493 0
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (KiB) 14028524
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.02 3/183 19547
/proc/meminfo: memFree=24635116/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=15158188 CPUtime=399.04 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 1953950 0 0 0 38684 1220 0 0 20 0 1 0 293041229 15521984512 1733753 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 294 0 0
/proc/19543/statm: 3789547 1733753 357 183 0 3785917 0
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (KiB) 15210220
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+438 s]
/proc/loadavg: 2.00 1.81 1.06 3/183 19548
/proc/meminfo: memFree=24309692/32873844 swapFree=6872/6872
[pid=19538] ppid=19536 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/19538/stat : 19538 (python) S 19536 19538 19399 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293041218 17408000 1082 33554432000 4194304 5683644 140736446616928 140736446614776 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19538/statm: 4250 1082 429 364 0 692 0
[pid=19540] ppid=19538 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19540/stat : 19540 (sh) S 19538 19538 19399 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293041226 9367552 266 33554432000 4194304 5064252 140734390344464 140734390343168 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19540/statm: 2287 266 226 213 0 72 0
[pid=19541] ppid=19540 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/19541/stat : 19541 (python) S 19540 19538 19399 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293041226 17137664 1058 33554432000 4194304 5683644 140735555129328 140735555127176 270118241664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19541/statm: 4184 1058 429 364 0 626 0
[pid=19542] ppid=19541 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (sh) S 19541 19538 19399 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293041229 9367552 268 33554432000 4194304 5064252 140733377775264 140733377773968 270118053454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19542/statm: 2287 268 226 213 0 72 0
[pid=19543] ppid=19542 vsize=15821484 CPUtime=434.49 cores=1,3,5,7
/proc/19543/stat : 19543 (PBPASSolver-817) R 19542 19538 19399 0 -1 4202496 2026499 0 0 0 42183 1266 0 0 20 0 1 0 293041229 16201199616 1813213 33554432000 4194304 4943705 140735871908624 140735871907536 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 317 0 0
/proc/19543/statm: 3955371 1813213 357 183 0 3951741 0
Current children cumulated CPU time (s) 434.52
Current children cumulated vsize (KiB) 15873516
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19538 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=29995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.052991
# while last known CPU time is 434.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 438.019
CPU time (s): 434.52
CPU user time (s): 421.85
CPU system time (s): 12.67
CPU usage (%): 99.2012
Max. virtual memory (cumulated for all children) (KiB): 15873516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.022996
maximum resident set size= 4332
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.815875 second user time and 1.9757 second system time
The end