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-3718759-1338273105/watcher-3718759-1338273105 -o /tmp/evaluation-result-3718759-1338273105/solver-3718759-1338273105 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718759-1338273105.opb PrimePower CARD.DP ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 13100
/proc/meminfo: memFree=30269512/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/13100/stat : 13100 (python) D 13098 13100 12549 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 293435340 15642624 525 33554432000 4194304 5683644 140733280833984 140733280815656 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 3819 525 311 364 0 261 0
[startup+0.0623971 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 13100
/proc/meminfo: memFree=30269512/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16588 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) R 13098 13100 12549 0 -1 4202496 1197 0 0 0 1 0 0 0 20 0 1 0 293435340 16986112 996 33554432000 4194304 5683644 140733280833984 140733280801448 213419638453 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4147 996 418 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588
[startup+0.100235 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 13100
/proc/meminfo: memFree=30269512/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 13100
/proc/meminfo: memFree=30269512/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700254 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 13100
/proc/meminfo: memFree=30269512/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=30210248/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=78796 CPUtime=1.24 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 57998 0 0 0 29 95 0 0 20 0 1 0 293435351 80687104 8663 33554432000 4194304 4943705 140737484482512 140737484479152 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/13105/statm: 19699 8663 366 183 0 16069 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 130820
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=30153456/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=189900 CPUtime=2.85 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 70144 0 0 0 61 224 0 0 20 0 1 0 293435351 194457600 20809 33554432000 4194304 4943705 140737484482512 140737484479792 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/13105/statm: 47475 20809 366 183 0 43845 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 241924
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=29989164/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=392492 CPUtime=6.04 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 92342 0 0 0 129 475 0 0 20 0 1 0 293435351 401911808 43007 33554432000 4194304 4943705 140737484482512 140737484479920 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/13105/statm: 98123 43007 366 183 0 94493 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 444516
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=29654496/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=785292 CPUtime=12.42 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 135314 0 0 0 273 969 0 0 20 0 1 0 293435351 804139008 85979 33554432000 4194304 4943705 140737484482512 140737484479888 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/13105/statm: 196323 85979 366 183 0 192693 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 837316
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=29031644/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=1540716 CPUtime=25.2 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 218001 0 0 0 625 1895 0 0 20 0 1 0 293435351 1577693184 168650 33554432000 4194304 4943705 140737484482512 140737484481424 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 17 0 0
/proc/13105/statm: 385179 168650 366 183 0 381549 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 1592740
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 13105
/proc/meminfo: memFree=27895896/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=2959180 CPUtime=50.73 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 373235 0 0 0 1492 3581 0 0 20 0 1 0 293435351 3030200320 323884 33554432000 4194304 4943705 140737484482512 140737484479696 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 24 0 0
/proc/13105/statm: 739795 323884 366 183 0 736165 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 3011204
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.93 3/185 13105
/proc/meminfo: memFree=25786064/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=5465228 CPUtime=101.75 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 647523 0 0 0 3703 6472 0 0 20 0 1 0 293435351 5596393472 598148 33554432000 4194304 4943705 140737484482512 140737484481424 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 37 0 0
/proc/13105/statm: 1366307 598148 366 183 0 1362677 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 5517252
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/185 13105
/proc/meminfo: memFree=23646224/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=8020716 CPUtime=161.4 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 927146 0 0 0 6840 9300 0 0 20 0 1 0 293435351 8213213184 877763 33554432000 4194304 4943705 140737484482512 140737484479920 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 66 0 0
/proc/13105/statm: 2005179 877763 366 183 0 2001549 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 8072740
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.93 2/185 13105
/proc/meminfo: memFree=21703792/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=10285708 CPUtime=221.17 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 1175015 0 0 0 10352 11765 0 0 20 0 1 0 293435351 10532564992 1125624 33554432000 4194304 4943705 140737484482512 140737484481424 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 81 0 0
/proc/13105/statm: 2571427 1125624 366 183 0 2567797 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 10337732
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/185 13106
/proc/meminfo: memFree=19957032/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=12334092 CPUtime=280.82 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 1399173 0 0 0 14146 13936 0 0 20 0 1 0 293435351 12630110208 1349782 33554432000 4194304 4943705 140737484482512 140737484479504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 108 0 0
/proc/13105/statm: 3083523 1349782 366 183 0 3079893 0
Current children cumulated CPU time (s) 280.84
Current children cumulated vsize (KiB) 12386116
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/185 13106
/proc/meminfo: memFree=18320572/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=14208300 CPUtime=340.42 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 1604292 0 0 0 18136 15906 0 0 20 0 1 0 293435351 14549299200 1554893 33554432000 4194304 4943705 140737484482512 140737484481424 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 133 0 0
/proc/13105/statm: 3552075 1554893 366 183 0 3548445 0
Current children cumulated CPU time (s) 340.44
Current children cumulated vsize (KiB) 14260324
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+399.9 s]
/proc/loadavg: 2.01 2.00 1.93 3/185 13106
/proc/meminfo: memFree=16883164/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=15821228 CPUtime=397.1 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 1780761 0 0 0 22092 17618 0 0 20 0 1 0 293435351 16200937472 1731362 33554432000 4194304 4943705 140737484482512 140737484481424 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 203 0 0
/proc/13105/statm: 3955307 1731362 366 183 0 3951677 0
Current children cumulated CPU time (s) 397.12
Current children cumulated vsize (KiB) 15873252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+399.9 s]
/proc/loadavg: 2.01 2.00 1.93 3/185 13106
/proc/meminfo: memFree=16883164/32873844 swapFree=6608/6608
[pid=13100] ppid=13098 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/13100/stat : 13100 (python) S 13098 13100 12549 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293435340 17399808 1081 33554432000 4194304 5683644 140733280833984 140733280831832 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13100/statm: 4248 1081 429 364 0 690 0
[pid=13102] ppid=13100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13102/stat : 13102 (sh) S 13100 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435348 9367552 267 33554432000 4194304 5064252 140736405072000 140736405070704 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13102/statm: 2287 267 226 213 0 72 0
[pid=13103] ppid=13102 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/13103/stat : 13103 (python) S 13102 13100 12549 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293435348 17137664 1058 33554432000 4194304 5683644 140736338837696 140736338835544 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13103/statm: 4184 1058 429 364 0 626 0
[pid=13104] ppid=13103 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13104/stat : 13104 (sh) S 13103 13100 12549 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293435351 9367552 268 33554432000 4194304 5064252 140734988941248 140734988939952 213419451982 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13104/statm: 2287 268 226 213 0 72 0
[pid=13105] ppid=13104 vsize=15821228 CPUtime=397.1 cores=0,2,4,6
/proc/13105/stat : 13105 (PBPASSolver-817) R 13104 13100 12549 0 -1 4202496 1780761 0 0 0 22092 17618 0 0 20 0 1 0 293435351 16200937472 1731362 33554432000 4194304 4943705 140737484482512 140737484481424 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 203 0 0
/proc/13105/statm: 3955307 1731362 366 183 0 3951677 0
Current children cumulated CPU time (s) 397.12
Current children cumulated vsize (KiB) 15873252
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13100 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=30995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.045992
# while last known CPU time is 397.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 399.919
CPU time (s): 397.12
CPU user time (s): 220.94
CPU system time (s): 176.18
CPU usage (%): 99.3001
Max. virtual memory (cumulated for all children) (KiB): 15873252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.014997
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3490
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= 187
involuntary context switches= 3
runsolver used 1.65175 second user time and 4.14437 second system time
The end