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-3718738-1338273200/watcher-3718738-1338273200 -o /tmp/evaluation-result-3718738-1338273200/solver-3718738-1338273200 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718738-1338273200.opb PrimePower CARD.DP ./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.00 2.02 1.94 3/178 13302
/proc/meminfo: memFree=26099732/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/13302/stat : 13302 (python) D 13300 13302 12751 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293445599 15642624 527 33554432000 4194304 5683644 140735246108560 140735246094472 229355897744 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 3819 527 312 364 0 261 0
[startup+0.035974 s]
/proc/loadavg: 2.00 2.02 1.94 3/178 13302
/proc/meminfo: memFree=26099732/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=15972 CPUtime=0 cores=1,3,5,7
/proc/13302/stat : 13302 (python) D 13300 13302 12751 0 -1 4202496 950 0 0 0 0 0 0 0 20 0 1 0 293445599 16355328 799 33554432000 4194304 5683644 140735246108560 140735246075288 229355897744 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 3993 799 359 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100282 s]
/proc/loadavg: 2.00 2.02 1.94 3/178 13302
/proc/meminfo: memFree=26099732/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300298 s]
/proc/loadavg: 2.00 2.02 1.94 3/178 13302
/proc/meminfo: memFree=26099732/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700303 s]
/proc/loadavg: 2.00 2.02 1.94 3/178 13302
/proc/meminfo: memFree=26099732/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.5005 s]
/proc/loadavg: 2.00 2.02 1.94 3/183 13307
/proc/meminfo: memFree=26051752/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=52300 CPUtime=1.38 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 129665 0 0 0 91 47 0 0 20 0 1 0 293445610 53555200 8339 33554432000 4194304 4943705 140734452938160 140734452935296 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/13307/statm: 13075 8339 329 183 0 9445 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 104336
[startup+3.1005 s]
/proc/loadavg: 2.00 2.02 1.94 3/183 13307
/proc/meminfo: memFree=26013932/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=69196 CPUtime=2.98 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 196145 0 0 0 197 101 0 0 20 0 1 0 293445610 70856704 11603 33554432000 4194304 4943705 140734452938160 140734452935296 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/13307/statm: 17299 11603 329 183 0 13669 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 121232
[startup+6.30051 s]
/proc/loadavg: 2.00 2.02 1.94 3/183 13307
/proc/meminfo: memFree=25912052/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=92492 CPUtime=6.17 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 288508 0 0 0 413 204 0 0 20 0 1 0 293445610 94711808 17523 33554432000 4194304 4943705 140734452938160 140734452935296 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/13307/statm: 23123 17523 329 183 0 19493 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 144528
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 1.94 3/183 13307
/proc/meminfo: memFree=25696516/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=181900 CPUtime=12.49 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) D 13306 13302 12751 0 -1 4202496 396103 0 0 0 745 504 0 0 20 0 1 0 293445610 186265600 25918 33554432000 4194304 4943705 140734452938160 140734452935408 4267542 0 0 16781312 17608 18446744071580543392 0 0 17 5 0 0 0 0 0
/proc/13307/statm: 45475 25918 366 183 0 41845 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 233936
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 1.94 3/183 13307
/proc/meminfo: memFree=25112840/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=965164 CPUtime=25.26 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 481784 0 0 0 1051 1475 0 0 20 0 1 0 293445610 988327936 111599 33554432000 4194304 4943705 140734452938160 140734452934832 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/13307/statm: 241291 111599 366 183 0 237661 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 1017200
[startup+51.107 s]
/proc/loadavg: 2.00 2.01 1.94 3/183 13307
/proc/meminfo: memFree=23919212/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=2384908 CPUtime=50.85 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 637162 0 0 0 1954 3131 0 0 20 0 1 0 293445610 2442145792 266976 33554432000 4194304 4943705 140734452938160 140734452935568 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 12 0 0
/proc/13307/statm: 596227 266976 366 183 0 592597 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 2436944
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 13307
/proc/meminfo: memFree=21908100/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 7068208
[startup+222.3 s]
/proc/loadavg: 2.12 2.05 1.96 3/183 13307
/proc/meminfo: memFree=17936132/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=8997900 CPUtime=221.02 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 1360841 0 0 0 11477 10625 0 0 20 0 1 0 293445610 9213849600 990655 33554432000 4194304 4943705 140734452938160 140734452937072 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 111 0 0
/proc/13307/statm: 2249475 990655 366 183 0 2245845 0
Current children cumulated CPU time (s) 221.04
Current children cumulated vsize (KiB) 9049936
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 1.96 3/183 13308
/proc/meminfo: memFree=16209000/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=10831852 CPUtime=280.79 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 1561502 0 0 0 15452 12627 0 0 20 0 1 0 293445610 11091816448 1191316 33554432000 4194304 4943705 140734452938160 140734452937072 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 134 0 0
/proc/13307/statm: 2707963 1191316 366 183 0 2704333 0
Current children cumulated CPU time (s) 280.81
Current children cumulated vsize (KiB) 10883888
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/183 13351
/proc/meminfo: memFree=22069880/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=12510828 CPUtime=340.15 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 1745256 0 0 0 19500 14515 0 0 20 0 1 0 293445610 12811087872 1379677 33554432000 4194304 4943705 140734452938160 140734452935312 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 196 0 0
/proc/13307/statm: 3127707 1379677 366 183 0 3124077 0
Current children cumulated CPU time (s) 340.17
Current children cumulated vsize (KiB) 12562864
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/182 13356
/proc/meminfo: memFree=21083720/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=14090476 CPUtime=399.49 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 1918074 0 0 0 23809 16140 0 0 20 0 1 0 293445610 14428647424 1566300 33554432000 4194304 4943705 140734452938160 140734452935504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 261 0 0
/proc/13307/statm: 3522619 1566300 366 183 0 3518989 0
Current children cumulated CPU time (s) 399.51
Current children cumulated vsize (KiB) 14142512
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 13356
/proc/meminfo: memFree=20261376/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=15591628 CPUtime=459.42 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 2082396 0 0 0 28458 17484 0 0 20 0 1 0 293445610 15965827072 1744444 33554432000 4194304 4943705 140734452938160 140734452937072 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 264 0 0
/proc/13307/statm: 3897907 1744444 366 183 0 3894277 0
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (KiB) 15643664
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+472 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 13356
/proc/meminfo: memFree=20132772/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=15823308 CPUtime=469.12 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 2107738 0 0 0 29218 17694 0 0 20 0 1 0 293445610 16203067392 1772089 33554432000 4194304 4943705 140734452938160 140734452936000 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 264 0 0
/proc/13307/statm: 3955827 1772089 366 183 0 3952197 0
Current children cumulated CPU time (s) 469.14
Current children cumulated vsize (KiB) 15875344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+472 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 13356
/proc/meminfo: memFree=20132772/32873852 swapFree=6848/6848
[pid=13302] ppid=13300 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/13302/stat : 13302 (python) S 13300 13302 12751 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293445599 17403904 1082 33554432000 4194304 5683644 140735246108560 140735246106408 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13302/statm: 4249 1082 429 364 0 691 0
[pid=13304] ppid=13302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13304/stat : 13304 (sh) S 13302 13302 12751 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293445607 9367552 267 33554432000 4194304 5064252 140736065967136 140736065965840 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13304/statm: 2287 267 226 213 0 72 0
[pid=13305] ppid=13304 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/13305/stat : 13305 (python) S 13304 13302 12751 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293445607 17145856 1059 33554432000 4194304 5683644 140735486494192 140735486492040 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13305/statm: 4186 1059 429 364 0 628 0
[pid=13306] ppid=13305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13306/stat : 13306 (sh) S 13305 13302 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293445610 9367552 268 33554432000 4194304 5064252 140737301153680 140737301152384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13306/statm: 2287 268 226 213 0 72 0
[pid=13307] ppid=13306 vsize=15823308 CPUtime=469.12 cores=1,3,5,7
/proc/13307/stat : 13307 (PBPASSolver-817) R 13306 13302 12751 0 -1 4202496 2107738 0 0 0 29218 17694 0 0 20 0 1 0 293445610 16203067392 1772089 33554432000 4194304 4943705 140734452938160 140734452936000 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 264 0 0
/proc/13307/statm: 3955827 1772089 366 183 0 3952197 0
Current children cumulated CPU time (s) 469.14
Current children cumulated vsize (KiB) 15875344
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13302 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=28995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.045992
# while last known CPU time is 469.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 472.019
CPU time (s): 469.14
CPU user time (s): 292.2
CPU system time (s): 176.94
CPU usage (%): 99.39
Max. virtual memory (cumulated for all children) (KiB): 15875344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.028995
system time used= 0.016997
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3493
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.910861 second user time and 2.38764 second system time
The end