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-3718761-1338273114/watcher-3718761-1338273114 -o /tmp/evaluation-result-3718761-1338273114/solver-3718761-1338273114 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718761-1338273114.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.01 2.01 1.93 2/178 2756
/proc/meminfo: memFree=25417912/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/2756/stat : 2756 (python) D 2754 2756 2247 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293440051 15642624 527 33554432000 4194304 5683644 140734955193584 140734955179496 240426763152 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 3819 527 312 364 0 261 0
[startup+0.0847489 s]
/proc/loadavg: 2.01 2.01 1.93 2/178 2756
/proc/meminfo: memFree=25417912/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.100201 s]
/proc/loadavg: 2.01 2.01 1.93 2/178 2756
/proc/meminfo: memFree=25417912/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300267 s]
/proc/loadavg: 2.01 2.01 1.93 2/178 2756
/proc/meminfo: memFree=25417912/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700234 s]
/proc/loadavg: 2.01 2.01 1.93 2/178 2756
/proc/meminfo: memFree=25417912/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50038 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2761
/proc/meminfo: memFree=25233876/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=98764 CPUtime=1.39 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 66471 0 0 0 45 94 0 0 20 0 1 0 293440061 101134336 11129 33554432000 4194304 4943705 140733981108544 140733981105952 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/2761/statm: 24691 11129 366 183 0 21061 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 150800
[startup+3.10038 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2761
/proc/meminfo: memFree=25011264/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=223948 CPUtime=2.87 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 80175 0 0 0 84 203 0 0 20 0 1 0 293440061 229322752 24833 33554432000 4194304 4943705 140733981108544 140733981107456 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 11 0 0
/proc/2761/statm: 55987 24833 366 183 0 52357 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 275984
[startup+6.30037 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2761
/proc/meminfo: memFree=24328340/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=488684 CPUtime=6.07 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 109127 0 0 0 173 434 0 0 20 0 1 0 293440061 500412416 53785 33554432000 4194304 4943705 140733981108544 140733981105664 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 11 0 0
/proc/2761/statm: 122171 53785 366 183 0 118541 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 540720
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2761
/proc/meminfo: memFree=22988620/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=979564 CPUtime=12.45 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 162859 0 0 0 367 878 0 0 20 0 1 0 293440061 1003073536 107517 33554432000 4194304 4943705 140733981108544 140733981105856 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/2761/statm: 244891 107517 366 183 0 241261 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 1031600
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2761
/proc/meminfo: memFree=22289988/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=1901196 CPUtime=25.22 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 263746 0 0 0 841 1681 0 0 20 0 1 0 293440061 1946824704 208387 33554432000 4194304 4943705 140733981108544 140733981105216 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/2761/statm: 475299 208387 366 183 0 471669 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 1953232
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.93 3/183 2761
/proc/meminfo: memFree=21504440/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=3510764 CPUtime=50.76 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 439916 0 0 0 1954 3122 0 0 20 0 1 0 293440061 3595022336 384539 33554432000 4194304 4943705 140733981108544 140733981106816 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 22 0 0
/proc/2761/statm: 877691 384539 366 183 0 874061 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 3562800
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 2761
/proc/meminfo: memFree=19445780/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=6225740 CPUtime=101.84 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 737012 0 0 0 4662 5522 0 0 20 0 1 0 293440061 6375157760 681627 33554432000 4194304 4943705 140733981108544 140733981105184 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 35 0 0
/proc/2761/statm: 1556435 681627 366 183 0 1552805 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 6277776
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 2761
/proc/meminfo: memFree=18245812/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=8856844 CPUtime=161.61 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1024908 0 0 0 8300 7861 0 0 20 0 1 0 293440061 9069408256 969515 33554432000 4194304 4943705 140733981108544 140733981107456 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 55 0 0
/proc/2761/statm: 2214211 969515 366 183 0 2210581 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 8908880
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 2761
/proc/meminfo: memFree=17182188/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=11058956 CPUtime=221.38 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1265896 0 0 0 12277 9861 0 0 20 0 1 0 293440061 11324370944 1210495 33554432000 4194304 4943705 140733981108544 140733981107456 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 78 0 0
/proc/2761/statm: 2764739 1210495 366 183 0 2761109 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 11110992
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/183 2761
/proc/meminfo: memFree=16338944/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=12946572 CPUtime=281.2 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1472445 0 0 0 16547 11573 0 0 20 0 1 0 293440061 13257289728 1417044 33554432000 4194304 4943705 140733981108544 140733981105408 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 94 0 0
/proc/2761/statm: 3236643 1417044 366 183 0 3233013 0
Current children cumulated CPU time (s) 281.21
Current children cumulated vsize (KiB) 12998608
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 2762
/proc/meminfo: memFree=15396844/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=14653836 CPUtime=340.93 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1659301 0 0 0 20987 13106 0 0 20 0 1 0 293440061 15005528064 1603892 33554432000 4194304 4943705 140733981108544 140733981107456 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 116 0 0
/proc/2761/statm: 3663459 1603892 366 183 0 3659829 0
Current children cumulated CPU time (s) 340.94
Current children cumulated vsize (KiB) 14705872
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+387.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 2762
/proc/meminfo: memFree=14851336/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=15822700 CPUtime=385.6 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1787184 0 0 0 24406 14154 0 0 20 0 1 0 293440061 16202444800 1731775 33554432000 4194304 4943705 140733981108544 140733981105952 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 131 0 0
/proc/2761/statm: 3955675 1731775 366 183 0 3952045 0
Current children cumulated CPU time (s) 385.61
Current children cumulated vsize (KiB) 15874736
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+387.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 2762
/proc/meminfo: memFree=14851336/32873844 swapFree=6088/6088
[pid=2756] ppid=2754 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2756/stat : 2756 (python) S 2754 2756 2247 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440051 17408000 1082 33554432000 4194304 5683644 140734955193584 140734955191432 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2756/statm: 4250 1082 429 364 0 692 0
[pid=2758] ppid=2756 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (sh) S 2756 2756 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440058 9367552 267 33554432000 4194304 5064252 140736994097136 140736994095840 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=16740 CPUtime=0 cores=0,2,4,6
/proc/2759/stat : 2759 (python) S 2758 2756 2247 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 293440058 17141760 1058 33554432000 4194304 5683644 140735669402352 140735669400200 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2759/statm: 4185 1058 429 364 0 627 0
[pid=2760] ppid=2759 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2760/stat : 2760 (sh) S 2759 2756 2247 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440061 9367552 267 33554432000 4194304 5064252 140734811455216 140734811453920 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2760/statm: 2287 267 226 213 0 72 0
[pid=2761] ppid=2760 vsize=15822700 CPUtime=385.6 cores=0,2,4,6
/proc/2761/stat : 2761 (PBPASSolver-817) R 2760 2756 2247 0 -1 4202496 1787184 0 0 0 24406 14154 0 0 20 0 1 0 293440061 16202444800 1731775 33554432000 4194304 4943705 140733981108544 140733981105952 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 131 0 0
/proc/2761/statm: 3955675 1731775 366 183 0 3952045 0
Current children cumulated CPU time (s) 385.61
Current children cumulated vsize (KiB) 15874736
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2756 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=19996
# CPU time returned by wait4() is 0.049991
# while last known CPU time is 385.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 387.124
CPU time (s): 385.61
CPU user time (s): 244.07
CPU system time (s): 141.54
CPU usage (%): 99.6088
Max. virtual memory (cumulated for all children) (KiB): 15874736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.019996
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3492
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.583911 second user time and 1.54076 second system time
The end