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-3719114-1338273036/watcher-3719114-1338273036 -o /tmp/evaluation-result-3719114-1338273036/solver-3719114-1338273036 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719114-1338273036.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: 2.16 2.07 1.96 3/181 7008
/proc/meminfo: memFree=29144828/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/7008/stat : 7008 (python) D 7006 7008 6544 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293429071 15642624 526 33554432000 4194304 5683644 140736676510864 140736676492536 273905697680 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 3819 526 311 364 0 261 0
[startup+0.079851 s]
/proc/loadavg: 2.16 2.07 1.96 3/181 7008
/proc/meminfo: memFree=29144828/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100262 s]
/proc/loadavg: 2.16 2.07 1.96 3/181 7008
/proc/meminfo: memFree=29144828/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300284 s]
/proc/loadavg: 2.16 2.07 1.96 3/181 7008
/proc/meminfo: memFree=29144828/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700307 s]
/proc/loadavg: 2.16 2.07 1.96 3/181 7008
/proc/meminfo: memFree=29144828/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50048 s]
/proc/loadavg: 2.16 2.07 1.96 3/186 7013
/proc/meminfo: memFree=29116180/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=51532 CPUtime=1.38 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 140670 0 0 0 89 49 0 0 20 0 1 0 293429082 52768768 7883 33554432000 4194304 4943705 140735172029536 140735172026672 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/7013/statm: 12883 7883 329 183 0 9253 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 103560
[startup+3.10046 s]
/proc/loadavg: 2.15 2.07 1.96 3/186 7013
/proc/meminfo: memFree=29101404/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=68300 CPUtime=2.99 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 214762 0 0 0 195 104 0 0 20 0 1 0 293429082 69939200 11307 33554432000 4194304 4943705 140735172029536 140735172026672 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/7013/statm: 17075 11307 329 183 0 13445 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 120328
[startup+6.3004 s]
/proc/loadavg: 2.15 2.07 1.96 3/186 7013
/proc/meminfo: memFree=29012564/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=312108 CPUtime=5.85 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 247470 0 0 0 283 302 0 0 20 0 1 0 293429082 319598592 36858 33554432000 4194304 4943705 140735172029536 140735172026176 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 33 0 0
/proc/7013/statm: 78027 36863 365 183 0 74397 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 364136
[startup+12.7004 s]
/proc/loadavg: 2.12 2.07 1.96 3/186 7013
/proc/meminfo: memFree=28723396/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=926124 CPUtime=12.24 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 314667 0 0 0 500 724 0 0 20 0 1 0 293429082 948350976 104055 33554432000 4194304 4943705 140735172029536 140735172026944 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 34 0 0
/proc/7013/statm: 231531 104055 365 183 0 227901 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 978152
[startup+25.5004 s]
/proc/loadavg: 2.10 2.07 1.96 3/185 7013
/proc/meminfo: memFree=28272472/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=1941612 CPUtime=25 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 425770 0 0 0 1071 1429 0 0 20 0 1 0 293429082 1988210688 215158 33554432000 4194304 4943705 140735172029536 140735172027376 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 37 0 0
/proc/7013/statm: 485403 215158 365 183 0 481773 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 1993640
[startup+51.1004 s]
/proc/loadavg: 2.13 2.08 1.97 3/185 7014
/proc/meminfo: memFree=27483208/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=3622124 CPUtime=50.54 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 609683 0 0 0 2485 2569 0 0 20 0 1 0 293429082 3709054976 399071 33554432000 4194304 4943705 140735172029536 140735172028448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 43 0 0
/proc/7013/statm: 905531 399071 365 183 0 901901 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 3674152
[startup+102.3 s]
/proc/loadavg: 2.12 2.08 1.97 3/185 7014
/proc/meminfo: memFree=26304896/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=6210636 CPUtime=101.62 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 892930 0 0 0 5815 4347 0 0 20 0 1 0 293429082 6359691264 682318 33554432000 4194304 4943705 140735172029536 140735172028448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 55 0 0
/proc/7013/statm: 1552659 682318 365 183 0 1549029 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 6262664
[startup+162.3 s]
/proc/loadavg: 2.11 2.08 1.98 3/185 7014
/proc/meminfo: memFree=25175752/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=8619084 CPUtime=161.39 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1156460 0 0 0 10124 6015 0 0 20 0 1 0 293429082 8825942016 945848 33554432000 4194304 4943705 140735172029536 140735172028448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 76 0 0
/proc/7013/statm: 2154771 945848 365 183 0 2151141 0
Current children cumulated CPU time (s) 161.41
Current children cumulated vsize (KiB) 8671112
[startup+222.3 s]
/proc/loadavg: 2.11 2.07 1.98 3/185 7014
/proc/meminfo: memFree=24174840/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=10662764 CPUtime=221.19 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1380081 0 0 0 14710 7409 0 0 20 0 1 0 293429082 10918670336 1181526 33554432000 4194304 4943705 140735172029536 140735172028448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 94 0 0
/proc/7013/statm: 2665691 1181526 365 183 0 2662061 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 10714792
[startup+282.3 s]
/proc/loadavg: 2.04 2.06 1.98 3/185 7014
/proc/meminfo: memFree=23285972/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=12451724 CPUtime=280.99 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1575830 0 0 0 19448 8651 0 0 20 0 1 0 293429082 12750565376 1391098 33554432000 4194304 4943705 140735172029536 140735172028448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 112 0 0
/proc/7013/statm: 3112931 1391098 365 183 0 3109301 0
Current children cumulated CPU time (s) 281.01
Current children cumulated vsize (KiB) 12503752
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 1.98 3/185 7014
/proc/meminfo: memFree=22488688/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=14078956 CPUtime=340.75 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1753911 0 0 0 24313 9762 0 0 20 0 1 0 293429082 14416850944 1583003 33554432000 4194304 4943705 140735172029536 140735172026944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 133 0 0
/proc/7013/statm: 3519739 1583003 365 183 0 3516109 0
Current children cumulated CPU time (s) 340.77
Current children cumulated vsize (KiB) 14130984
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 1.99 3/185 7015
/proc/meminfo: memFree=21690108/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=15573228 CPUtime=400.54 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1917392 0 0 0 29279 10775 0 0 20 0 1 0 293429082 15946985472 1760298 33554432000 4194304 4943705 140735172029536 140735172026848 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 151 0 0
/proc/7013/statm: 3893307 1760298 365 183 0 3889677 0
Current children cumulated CPU time (s) 400.56
Current children cumulated vsize (KiB) 15625256
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+412.8 s]
/proc/loadavg: 2.04 2.05 1.99 3/185 7015
/proc/meminfo: memFree=21562000/32873844 swapFree=7124/7124
[pid=7008] ppid=7006 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7008/stat : 7008 (python) S 7006 7008 6544 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293429071 17403904 1081 33554432000 4194304 5683644 140736676510864 140736676508712 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7008/statm: 4249 1081 429 364 0 691 0
[pid=7010] ppid=7008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7010/stat : 7010 (sh) S 7008 7008 6544 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429079 9367552 266 33554432000 4194304 5064252 140735374695216 140735374693920 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 2287 266 226 213 0 72 0
[pid=7011] ppid=7010 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/7011/stat : 7011 (python) S 7010 7008 6544 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293429079 17137664 1058 33554432000 4194304 5683644 140733324562512 140733324560360 273905698176 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7011/statm: 4184 1058 429 364 0 626 0
[pid=7012] ppid=7011 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7012/stat : 7012 (sh) S 7011 7008 6544 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429082 9367552 268 33554432000 4194304 5064252 140735510542672 140735510541376 273905509966 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7012/statm: 2287 268 226 213 0 72 0
[pid=7013] ppid=7012 vsize=15822124 CPUtime=411 cores=1,3,5,7
/proc/7013/stat : 7013 (PBPASSolver-817) R 7012 7008 6544 0 -1 4202496 1944625 0 0 0 30155 10945 0 0 20 0 1 0 293429082 16201854976 1789835 33554432000 4194304 4943705 140735172029536 140735172028448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 157 0 0
/proc/7013/statm: 3955531 1789835 365 183 0 3951901 0
Current children cumulated CPU time (s) 411.02
Current children cumulated vsize (KiB) 15874152
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 7008 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=13997
# CPU time returned by wait4() is 0.043992
# while last known CPU time is 411.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 412.826
CPU time (s): 411.02
CPU user time (s): 301.57
CPU system time (s): 109.45
CPU usage (%): 99.5624
Max. virtual memory (cumulated for all children) (KiB): 15874152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.013997
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3488
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= 4
runsolver used 0.666898 second user time and 1.9777 second system time
The end