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-3718747-1338273309/watcher-3718747-1338273309 -o /tmp/evaluation-result-3718747-1338273309/solver-3718747-1338273309 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718747-1338273309.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: 1.92 2.00 1.95 3/178 18736
/proc/meminfo: memFree=29142048/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/18736/stat : 18736 (python) D 18734 18736 18142 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 293456880 15642624 559 33554432000 4194304 5683644 140736875513824 140736875481768 259112387472 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 3819 559 324 364 0 261 0
[startup+0.048626 s]
/proc/loadavg: 1.92 2.00 1.95 3/178 18736
/proc/meminfo: memFree=29142048/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=16440 CPUtime=0 cores=0,2,4,6
/proc/18736/stat : 18736 (python) R 18734 18736 18142 0 -1 4202496 1107 0 0 0 0 0 0 0 20 0 1 0 293456880 16834560 927 33554432000 4194304 5683644 140736875513824 140736875495976 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4110 927 391 364 0 552 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16440
[startup+0.100213 s]
/proc/loadavg: 1.92 2.00 1.95 3/178 18736
/proc/meminfo: memFree=29142048/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300239 s]
/proc/loadavg: 1.92 2.00 1.95 3/178 18736
/proc/meminfo: memFree=29142048/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700242 s]
/proc/loadavg: 1.92 2.00 1.95 3/178 18736
/proc/meminfo: memFree=29142048/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50042 s]
/proc/loadavg: 1.92 2.00 1.95 3/183 18741
/proc/meminfo: memFree=29099172/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=61004 CPUtime=1.38 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 172599 0 0 0 76 62 0 0 20 0 1 0 293456890 62468096 11807 33554432000 4194304 4943705 140733717709984 140733717707120 4270812 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/18741/statm: 15251 11816 329 183 0 11621 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 113040
[startup+3.10116 s]
/proc/loadavg: 1.92 2.00 1.95 3/183 18741
/proc/meminfo: memFree=29105752/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=104428 CPUtime=2.87 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 212502 0 0 0 126 161 0 0 20 0 1 0 293456890 106934272 14153 33554432000 4194304 4943705 140733717709984 140733717708896 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 11 0 0
/proc/18741/statm: 26107 14153 366 183 0 22477 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 156464
[startup+6.30032 s]
/proc/loadavg: 2.01 2.02 1.96 3/183 18741
/proc/meminfo: memFree=28983112/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=370220 CPUtime=6.07 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 241574 0 0 0 214 393 0 0 20 0 1 0 293456890 379105280 43225 33554432000 4194304 4943705 140733717709984 140733717707392 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 11 0 0
/proc/18741/statm: 92555 43225 366 183 0 88925 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 422256
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.96 3/183 18741
/proc/meminfo: memFree=28733816/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=886284 CPUtime=12.44 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 298059 0 0 0 405 839 0 0 20 0 1 0 293456890 907554816 99710 33554432000 4194304 4943705 140733717709984 140733717706752 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/18741/statm: 221571 99710 366 183 0 217941 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 938320
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 18741
/proc/meminfo: memFree=28272472/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=1828844 CPUtime=25.22 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 401201 0 0 0 867 1655 0 0 20 0 1 0 293456890 1872736256 202852 33554432000 4194304 4943705 140733717709984 140733717706624 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/18741/statm: 457211 202852 366 183 0 453581 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 1880880
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 1.96 3/185 18785
/proc/meminfo: memFree=28628904/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=3338220 CPUtime=50.6 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 566334 0 0 0 1865 3195 0 0 20 0 1 0 293456890 3418337280 370289 33554432000 4194304 4943705 140733717709984 140733717707264 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 37 0 0
/proc/18741/statm: 834555 370289 366 183 0 830925 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 3390256
[startup+102.308 s]
/proc/loadavg: 2.00 2.01 1.96 2/185 18785
/proc/meminfo: memFree=26179820/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=5664428 CPUtime=101.3 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 820927 0 0 0 4014 6116 0 0 20 0 1 0 293456890 5800374272 636401 33554432000 4194304 4943705 140733717709984 140733717706656 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 83 0 0
/proc/18741/statm: 1416107 636401 366 183 0 1412477 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 5716464
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/185 18785
/proc/meminfo: memFree=23713648/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=8138444 CPUtime=160.92 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 1091643 0 0 0 7075 9017 0 0 20 0 1 0 293456890 8333766656 920931 33554432000 4194304 4943705 140733717709984 140733717708256 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 113 0 0
/proc/18741/statm: 2034611 920931 366 183 0 2030981 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 8190480
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/185 18785
/proc/meminfo: memFree=21490368/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=10338316 CPUtime=220.2 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 1332343 0 0 0 10499 11521 0 0 20 0 1 0 293456890 10586435584 1175452 33554432000 4194304 4943705 140733717709984 140733717708256 4359951 0 0 16781312 17608 0 0 0 17 2 0 0 183 0 0
/proc/18741/statm: 2584579 1175454 366 183 0 2580949 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 10390352
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/185 18785
/proc/meminfo: memFree=19509560/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=12358444 CPUtime=279.56 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 1553440 0 0 0 14228 13728 0 0 20 0 1 0 293456890 12655046656 1410369 33554432000 4194304 4943705 140733717709984 140733717708256 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 237 0 0
/proc/18741/statm: 3089611 1410369 366 183 0 3085981 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 12410480
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/186 18788
/proc/meminfo: memFree=17667684/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=14218892 CPUtime=339.18 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 1757024 0 0 0 18162 15756 0 0 20 0 1 0 293456890 14560145408 1627765 33554432000 4194304 4943705 140733717709984 140733717706624 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 271 0 0
/proc/18741/statm: 3554723 1627765 366 183 0 3551093 0
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (KiB) 14270928
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+398.001 s]
/proc/loadavg: 2.00 2.00 1.96 3/185 18789
/proc/meminfo: memFree=16101824/32873648 swapFree=6852/6852
[pid=18736] ppid=18734 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/18736/stat : 18736 (python) S 18734 18736 18142 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293456880 17408000 1082 33554432000 4194304 5683644 140736875513824 140736875511672 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18736/statm: 4250 1082 429 364 0 692 0
[pid=18738] ppid=18736 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18738/stat : 18738 (sh) S 18736 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456887 9367552 267 33554432000 4194304 5064252 140735005606880 140735005605584 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18738/statm: 2287 267 226 213 0 72 0
[pid=18739] ppid=18738 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (python) S 18738 18736 18142 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293456887 17141760 1058 33554432000 4194304 5683644 140736428002208 140736428000056 259112387968 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/18739/statm: 4185 1058 429 364 0 627 0
[pid=18740] ppid=18739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (sh) S 18739 18736 18142 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293456890 9367552 268 33554432000 4194304 5064252 140733431940528 140733431939232 259112199758 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18740/statm: 2287 268 226 213 0 72 0
[pid=18741] ppid=18740 vsize=15820492 CPUtime=393.74 cores=0,2,4,6
/proc/18741/stat : 18741 (PBPASSolver-817) R 18740 18736 18142 0 -1 4202496 1932254 0 0 0 21940 17434 0 0 20 0 1 0 293456890 16200183808 1814503 33554432000 4194304 4943705 140733717709984 140733717708896 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 358 0 0
/proc/18741/statm: 3955123 1814503 366 183 0 3951493 0
Current children cumulated CPU time (s) 393.76
Current children cumulated vsize (KiB) 15872528
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18736 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=11998
# CPU time returned by wait4() is 0.042993
# while last known CPU time is 393.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 398.02
CPU time (s): 393.76
CPU user time (s): 219.42
CPU system time (s): 174.34
CPU usage (%): 98.9298
Max. virtual memory (cumulated for all children) (KiB): 15872528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.011998
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.846871 second user time and 2.26865 second system time
The end