runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482655-1307576490/watcher-3482655-1307576490 -o /tmp/evaluation-result-3482655-1307576490/solver-3482655-1307576490 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482655-1307576490.opb -seed 202694231 -budget 1800
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.84 0.65 0.23 2/443 3409
/proc/meminfo: memFree=20897076/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3409/stat : 3409 (python) R 3406 3409 3014 0 -1 4202496 903 0 0 0 0 0 0 0 20 0 1 0 869247014 16154624 783 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377124951 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3409/statm: 3944 783 346 364 0 431 0
[startup+0.11611 s]
/proc/loadavg: 1.84 0.65 0.23 2/443 3409
/proc/meminfo: memFree=20897076/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=96132 CPUtime=0.07 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 3035 465 1 0 5 2 0 0 18 0 1 0 869247014 98439168 2483 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377301248 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/3409/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132
[startup+0.200195 s]
/proc/loadavg: 1.84 0.65 0.23 2/443 3409
/proc/meminfo: memFree=20897076/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=117904 CPUtime=0.12 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 4921 931 1 0 9 3 0 0 18 0 1 0 869247014 120733696 3345 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/3409/statm: 29476 3345 916 364 0 2446 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117904
[startup+0.30119 s]
/proc/loadavg: 1.84 0.65 0.23 2/443 3409
/proc/meminfo: memFree=20897076/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=123884 CPUtime=0.17 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 5412 931 1 0 12 5 0 0 18 0 1 0 869247014 126857216 3778 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/3409/statm: 30971 3778 987 364 0 2803 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123884
[startup+0.701108 s]
/proc/loadavg: 1.84 0.65 0.23 2/443 3409
/proc/meminfo: memFree=20897076/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=306644 CPUtime=0.52 cores=0,2,4,6
/proc/3409/stat : 3409 (python) R 3406 3409 3014 0 -1 4202496 15091 931 1 0 41 11 0 0 18 0 1 0 869247014 314003456 12952 33554432000 4194304 5683644 140737274550800 18446744073709551615 4602354 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/3409/statm: 76661 12952 1781 364 0 11554 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 306644
[startup+1.50104 s]
/proc/loadavg: 1.85 0.67 0.24 3/444 3414
/proc/meminfo: memFree=20837012/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=331980 CPUtime=1.31 cores=0,2,4,6
/proc/3409/stat : 3409 (python) R 3406 3409 3014 0 -1 4202496 21380 931 1 0 120 11 0 0 19 0 1 0 869247014 339947520 19241 33554432000 4194304 5683644 140737274550800 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3409/statm: 82995 19241 1781 364 0 17888 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 331980
[startup+3.10074 s]
/proc/loadavg: 1.85 0.67 0.24 3/444 3414
/proc/meminfo: memFree=20803036/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=380752 CPUtime=2.91 cores=0,2,4,6
/proc/3409/stat : 3409 (python) R 3406 3409 3014 0 -1 4202496 33449 931 1 0 277 14 0 0 23 0 1 0 869247014 389890048 31310 33554432000 4194304 5683644 140737274550800 18446744073709551615 4643481 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3409/statm: 95188 31310 1781 364 0 30081 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 380752
[startup+6.30111 s]
/proc/loadavg: 1.85 0.67 0.24 3/444 3414
/proc/meminfo: memFree=20746784/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=411812 CPUtime=6.12 cores=0,2,4,6
/proc/3409/stat : 3409 (python) R 3406 3409 3014 0 -1 4202496 64636 931 1 0 593 19 0 0 25 0 1 0 869247014 421695488 39299 33554432000 4194304 5683644 140737274550800 18446744073709551615 4531701 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/3409/statm: 102953 39299 1815 364 0 37846 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 411812
[startup+12.7009 s]
/proc/loadavg: 1.88 0.72 0.26 3/451 3421
/proc/meminfo: memFree=20614488/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=433040 CPUtime=10.42 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 67663 931 1 0 1022 20 0 0 25 0 2 0 869247014 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3409/statm: 108260 42100 1872 364 0 43147 0
[pid=3419] ppid=3409 vsize=422796 CPUtime=0 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 869248074 432943104 40575 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321487 0 0 16781312 33554946 15530332675519774977 0 0 17 6 0 0 0
/proc/3419/statm: 105699 40575 351 364 0 40586 0
[pid=3421] ppid=3419 vsize=119492 CPUtime=2.08 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) R 3419 3421 3421 0 -1 4202496 27873 0 0 0 206 2 0 0 25 0 1 0 869248074 122359808 27604 33554432000 4194304 13684479 140735569593344 18446744073709551615 6737253 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3421/statm: 29873 27604 510 2317 0 27551 0
[pid=3409/tid=3420] ppid=3406 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869248074 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 975328
[startup+25.5006 s]
/proc/loadavg: 1.89 0.76 0.28 3/451 3421
/proc/meminfo: memFree=19451876/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=433040 CPUtime=10.42 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 67663 931 1 0 1022 20 0 0 25 0 2 0 869247014 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3409/statm: 108260 42100 1872 364 0 43147 0
[pid=3419] ppid=3409 vsize=422796 CPUtime=0.05 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 908 0 0 0 2 3 0 0 15 0 1 0 869248074 432943104 40599 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321487 0 0 16781312 33554946 72556772316949282 0 0 17 6 0 0 0
/proc/3419/statm: 105699 40599 375 364 0 40586 0
[pid=3421] ppid=3419 vsize=1374840 CPUtime=14.88 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) R 3419 3421 3421 0 -1 4202496 362568 0 0 0 1402 86 0 0 25 0 1 0 869248074 1407836160 316651 33554432000 4194304 13684479 140735569593344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3421/statm: 343710 316651 2193 2317 0 341388 0
[pid=3409/tid=3420] ppid=3406 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869248074 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 2230676
[startup+51.1008 s]
/proc/loadavg: 1.93 0.87 0.33 3/451 3422
/proc/meminfo: memFree=19392592/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=433040 CPUtime=10.42 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 67663 931 1 0 1022 20 0 0 25 0 2 0 869247014 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3409/statm: 108260 42100 1872 364 0 43147 0
[pid=3419] ppid=3409 vsize=422796 CPUtime=0.14 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 1008 0 0 0 7 7 0 0 15 0 1 0 869248074 432943104 40604 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321487 0 0 16781312 33554946 72556772316949282 0 0 17 6 0 0 0
/proc/3419/statm: 105699 40604 380 364 0 40586 0
[pid=3421] ppid=3419 vsize=1426236 CPUtime=40.48 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) R 3419 3421 3421 0 -1 4202496 407608 0 0 0 3954 94 0 0 25 0 1 0 869248074 1460465664 325317 33554432000 4194304 13684479 140735569593344 18446744073709551615 7390467 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3421/statm: 356559 325317 930 2317 0 354237 0
[pid=3409/tid=3420] ppid=3406 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869248074 443432960 42100 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 2282072
[startup+102.301 s]
/proc/loadavg: 2.01 1.06 0.42 3/456 3430
/proc/meminfo: memFree=19252308/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=443296 CPUtime=10.45 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 68580 931 1 0 1024 21 0 0 20 0 3 0 869247014 453935104 42107 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3409/statm: 110824 42107 1875 364 0 45708 0
[pid=3419] ppid=3409 vsize=433040 CPUtime=0.18 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 1144 0 0 0 9 9 0 0 16 0 2 0 869248074 443432960 40640 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3419/statm: 108260 40640 411 364 0 43147 0
[pid=3421] ppid=3419 vsize=1426236 CPUtime=46.83 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) T 3419 3421 3421 0 -1 4202496 416024 0 0 0 4588 95 0 0 25 0 1 0 869248074 1460465664 325292 33554432000 4194304 13684479 140735569593344 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3421/statm: 356559 325292 930 2317 0 354237 0
[pid=3419/tid=3424] ppid=3409 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3419/task/3424/stat : 3424 (python) S 3409 3409 3014 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869252759 443432960 40640 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444321700928 0 0 -1 0 0 0 0
[pid=3426] ppid=3409 vsize=433052 CPUtime=0.16 cores=0,2,4,6
/proc/3426/stat : 3426 (python) S 3409 3409 3014 0 -1 4202560 942 0 0 0 7 9 0 0 18 0 1 0 869252762 443445248 40600 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321542 0 0 16781312 33554946 72556772316949282 0 0 17 6 0 0 0
/proc/3426/statm: 108263 40600 372 364 0 43147 0
[pid=3428] ppid=3426 vsize=137748 CPUtime=44.8 cores=0,2,4,6
/proc/3428/stat : 3428 (clasp-1.3.7-x86) R 3426 3428 3428 0 -1 4202496 38438 0 0 0 4474 6 0 0 25 0 1 0 869252763 141053952 33741 33554432000 134512640 136139019 4291144176 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3428/statm: 34437 33741 182 398 0 34037 0
[pid=3409/tid=3420] ppid=3406 vsize=443296 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 3 0 869248074 453935104 42107 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3427] ppid=3406 vsize=443296 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3427/stat : 3427 (python) S 3406 3409 3014 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 3 0 869252763 453935104 42107 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 2873372
[startup+162.301 s]
/proc/loadavg: 2.00 1.23 0.52 3/456 3475
/proc/meminfo: memFree=18052944/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=453552 CPUtime=10.51 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 70035 931 1 0 1029 22 0 0 18 0 4 0 869247014 464437248 42113 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3409/statm: 113388 42113 1877 364 0 48269 0
[pid=3419] ppid=3409 vsize=433040 CPUtime=0.18 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 1144 0 0 0 9 9 0 0 16 0 2 0 869248074 443432960 40640 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3419/statm: 108260 40640 411 364 0 43147 0
[pid=3421] ppid=3419 vsize=1426236 CPUtime=46.83 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) T 3419 3421 3421 0 -1 4202496 416024 0 0 0 4588 95 0 0 25 0 1 0 869248074 1460465664 325292 33554432000 4194304 13684479 140735569593344 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3421/statm: 356559 325292 930 2317 0 354237 0
[pid=3419/tid=3424] ppid=3409 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3419/task/3424/stat : 3424 (python) S 3409 3409 3014 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869252759 443432960 40640 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444321700928 0 0 -1 0 0 0 0
[pid=3426] ppid=3409 vsize=433052 CPUtime=0.18 cores=0,2,4,6
/proc/3426/stat : 3426 (python) S 3409 3409 3014 0 -1 4202560 1107 0 0 0 8 10 0 0 19 0 2 0 869252762 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3426/statm: 108263 40625 396 364 0 43147 0
[pid=3428] ppid=3426 vsize=143436 CPUtime=48.18 cores=0,2,4,6
/proc/3428/stat : 3428 (clasp-1.3.7-x86) T 3426 3428 3428 0 -1 4202496 39855 0 0 0 4811 7 0 0 25 0 1 0 869252763 146878464 35158 33554432000 134512640 136139019 4291144176 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3428/statm: 35859 35158 182 398 0 35459 0
[pid=3426/tid=3431] ppid=3409 vsize=433052 CPUtime=0 cores=0,2,4,6
/proc/3426/task/3431/stat : 3431 (python) S 3409 3409 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869257582 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604437821637696 0 0 -1 6 0 0 0
[pid=3432] ppid=3409 vsize=443308 CPUtime=0.21 cores=0,2,4,6
/proc/3432/stat : 3432 (python) S 3409 3409 3014 0 -1 4202560 1098 0 0 0 10 11 0 0 15 0 2 0 869257585 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3432/statm: 110827 40629 396 364 0 45708 0
[pid=3434] ppid=3432 vsize=1421108 CPUtime=56.54 cores=0,2,4,6
/proc/3434/stat : 3434 (scip-2.0.1.linu) R 3432 3434 3434 0 -1 4202496 338510 0 0 0 5561 93 0 0 25 0 1 0 869257586 1455214592 294417 33554432000 4194304 15243407 140735774507664 18446744073709551615 6427716 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3434/statm: 355277 294417 920 2698 0 352572 0
[pid=3432/tid=3471] ppid=3409 vsize=443308 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3471/stat : 3471 (python) S 3409 3409 3014 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869262712 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604440955561152 0 0 -1 6 0 0 0
[pid=3409/tid=3420] ppid=3406 vsize=453552 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/3432/task/3471/stat : 3471 (python) S 3409 3409 3014 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869262712 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604440955561152 0 0 -1 6 0 0 0
[pid=3483] ppid=3409 vsize=453564 CPUtime=0.19 cores=0,2,4,6
/proc/3483/stat : 3483 (python) S 3409 3409 3014 0 -1 4202560 1149 0 0 0 9 10 0 0 16 0 2 0 869271653 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3483/statm: 113391 40633 396 364 0 48269 0
[pid=3485] ppid=3483 vsize=119612 CPUtime=50.26 cores=0,2,4,6
/proc/3485/stat : 3485 (wbo1.4a) T 3483 3485 3485 0 -1 4202496 34845 0 0 0 5009 17 0 0 25 0 1 0 869271654 122482688 29176 33554432000 134512640 135751879 4292145472 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3485/statm: 29903 29176 143 303 0 29598 0
[pid=3483/tid=3489] ppid=3409 vsize=453564 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (python) S 3409 3409 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869276681 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444555485440 0 0 -1 6 0 0 0
[pid=3540] ppid=3409 vsize=463820 CPUtime=0.37 cores=0,2,4,6
/proc/3540/stat : 3540 (python) S 3409 3409 3014 0 -1 4202560 1169 0 0 0 19 18 0 0 16 0 2 0 869336354 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3540/statm: 115955 40637 396 364 0 50830 0
[pid=3542] ppid=3540 vsize=203856 CPUtime=93.68 cores=0,2,4,6
/proc/3542/stat : 3542 (bsolo_pb10) T 3540 3542 3542 0 -1 4202496 61140 0 0 0 9330 38 0 0 25 0 1 0 869336355 208748544 48527 33554432000 134512640 137138936 4292370512 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/3542/statm: 50964 48527 190 642 0 50320 0
[pid=3540/tid=3545] ppid=3409 vsize=463820 CPUtime=0 cores=0,2,4,6
/proc/3540/task/3545/stat : 3545 (python) S 3409 3409 3014 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869345732 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446775125120 0 0 -1 6 0 0 0
[pid=3409/tid=3420] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 39 931 0 0 0 0 0 0 18 0 6 0 869248074 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3427] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3427/stat : 3427 (python) S 3406 3409 3014 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 6 0 869252763 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3433] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3433/stat : 3433 (python) S 3406 3409 3014 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 6 0 869257585 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3484] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3484/stat : 3484 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869271654 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3541] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3541/stat : 3541 (python) S 3406 3409 3014 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869336354 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 6184048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.12 2.08 1.78 3/477 3817
/proc/meminfo: memFree=17305956/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=474064 CPUtime=10.67 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 72087 931 1 0 1044 23 0 0 18 0 6 0 869247014 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3409/statm: 118516 42125 1881 364 0 53391 0
[pid=3419] ppid=3409 vsize=433040 CPUtime=5 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 1215 0 0 0 258 242 0 0 15 0 2 0 869248074 443432960 40641 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3419/statm: 108260 40641 412 364 0 43147 0
[pid=3421] ppid=3419 vsize=1446364 CPUtime=1313.44 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) R 3419 3421 3421 0 -1 4202496 612338 0 0 0 131180 164 0 0 25 0 1 0 869248074 1481076736 338780 33554432000 4194304 13684479 140735569593344 18446744073709551615 7390546 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3421/statm: 361591 338780 994 2317 0 359269 0
[pid=3419/tid=3424] ppid=3409 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3419/task/3424/stat : 3424 (python) S 3409 3409 3014 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869252759 443432960 40641 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444321700928 0 0 -1 0 0 0 0
[pid=3426] ppid=3409 vsize=433052 CPUtime=0.87 cores=0,2,4,6
/proc/3426/stat : 3426 (python) S 3409 3409 3014 0 -1 4202560 1191 0 0 0 43 44 0 0 18 0 2 0 869252762 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3426/statm: 108263 40625 396 364 0 43147 0
[pid=3428] ppid=3426 vsize=285652 CPUtime=229.85 cores=0,2,4,6
/proc/3428/stat : 3428 (clasp-1.3.7-x86) T 3426 3428 3428 0 -1 4202496 74213 0 0 0 22972 13 0 0 25 0 1 0 869252763 292507648 69259 33554432000 134512640 136139019 4291144176 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3428/statm: 71413 69259 182 398 0 71013 0
[pid=3426/tid=3431] ppid=3409 vsize=433052 CPUtime=0 cores=0,2,4,6
/proc/3426/task/3431/stat : 3431 (python) S 3409 3409 3014 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 869257582 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604437821637696 0 0 -1 6 0 0 0
[pid=3432] ppid=3409 vsize=443308 CPUtime=0.35 cores=0,2,4,6
/proc/3432/stat : 3432 (python) S 3409 3409 3014 0 -1 4202560 1113 0 0 0 18 17 0 0 15 0 2 0 869257585 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3432/statm: 110827 40629 396 364 0 45708 0
[pid=3434] ppid=3432 vsize=1427716 CPUtime=95.41 cores=0,2,4,6
/proc/3434/stat : 3434 (scip-2.0.1.linu) T 3432 3434 3434 0 -1 4202496 339480 0 0 0 9447 94 0 0 25 0 1 0 869257586 1461981184 295387 33554432000 4194304 15243407 140735774507664 18446744073709551615 6457238 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3434/statm: 356929 295387 923 2698 0 354224 0
[pid=3432/tid=3471] ppid=3409 vsize=443308 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3471/stat : 3471 (python) S 3409 3409 3014 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869262712 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604440955561152 0 0 -1 6 0 0 0
[pid=3483] ppid=3409 vsize=453564 CPUtime=0.19 cores=0,2,4,6
/proc/3483/stat : 3483 (python) S 3409 3409 3014 0 -1 4202560 1149 0 0 0 9 10 0 0 16 0 2 0 869271653 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3483/statm: 113391 40633 396 364 0 48269 0
[pid=3485] ppid=3483 vsize=119612 CPUtime=50.26 cores=0,2,4,6
/proc/3485/stat : 3485 (wbo1.4a) T 3483 3485 3485 0 -1 4202496 34845 0 0 0 5009 17 0 0 25 0 1 0 869271654 122482688 29176 33554432000 134512640 135751879 4292145472 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3485/statm: 29903 29176 143 303 0 29598 0
[pid=3483/tid=3489] ppid=3409 vsize=453564 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (python) S 3409 3409 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869276681 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444555485440 0 0 -1 6 0 0 0
[pid=3540] ppid=3409 vsize=463820 CPUtime=0.37 cores=0,2,4,6
/proc/3540/stat : 3540 (python) S 3409 3409 3014 0 -1 4202560 1169 0 0 0 19 18 0 0 16 0 2 0 869336354 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3540/statm: 115955 40637 396 364 0 50830 0
[pid=3542] ppid=3540 vsize=203856 CPUtime=93.68 cores=0,2,4,6
/proc/3542/stat : 3542 (bsolo_pb10) T 3540 3542 3542 0 -1 4202496 61140 0 0 0 9330 38 0 0 25 0 1 0 869336355 208748544 48527 33554432000 134512640 137138936 4292370512 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/3542/statm: 50964 48527 190 642 0 50320 0
[pid=3540/tid=3545] ppid=3409 vsize=463820 CPUtime=0 cores=0,2,4,6
/proc/3540/task/3545/stat : 3545 (python) S 3409 3409 3014 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869345732 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446775125120 0 0 -1 6 0 0 0
[pid=3409/tid=3420] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 39 931 0 0 0 0 0 0 18 0 6 0 869248074 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3427] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3427/stat : 3427 (python) S 3406 3409 3014 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 6 0 869252763 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3433] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3433/stat : 3433 (python) S 3406 3409 3014 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 6 0 869257585 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3484] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3484/stat : 3484 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869271654 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3541] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3541/stat : 3541 (python) S 3406 3409 3014 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869336354 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6184048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.6 s]
/proc/loadavg: 2.12 2.08 1.78 3/477 3817
/proc/meminfo: memFree=17305956/32951124 swapFree=60787360/67111528
[pid=3409] ppid=3406 vsize=474064 CPUtime=10.67 cores=0,2,4,6
/proc/3409/stat : 3409 (python) S 3406 3409 3014 0 -1 4202496 72087 931 1 0 1044 23 0 0 18 0 6 0 869247014 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3409/statm: 118516 42125 1881 364 0 53391 0
[pid=3419] ppid=3409 vsize=433040 CPUtime=5 cores=0,2,4,6
/proc/3419/stat : 3419 (python) S 3409 3409 3014 0 -1 4202560 1215 0 0 0 258 242 0 0 15 0 2 0 869248074 443432960 40641 33554432000 4194304 5683644 140737274550800 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3419/statm: 108260 40641 412 364 0 43147 0
[pid=3421] ppid=3419 vsize=1446364 CPUtime=1313.44 cores=0,2,4,6
/proc/3421/stat : 3421 (scip-2.0.1.linu) R 3419 3421 3421 0 -1 4202496 612338 0 0 0 131180 164 0 0 25 0 1 0 869248074 1481076736 338780 33554432000 4194304 13684479 140735569593344 18446744073709551615 7390546 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3421/statm: 361591 338780 994 2317 0 359269 0
[pid=3419/tid=3424] ppid=3409 vsize=433040 CPUtime=0 cores=0,2,4,6
/proc/3419/task/3424/stat : 3424 (python) S 3409 3409 3014 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869252759 443432960 40641 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444321700928 0 0 -1 0 0 0 0
[pid=3426] ppid=3409 vsize=433052 CPUtime=0.87 cores=0,2,4,6
/proc/3426/stat : 3426 (python) S 3409 3409 3014 0 -1 4202560 1191 0 0 0 43 44 0 0 18 0 2 0 869252762 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3426/statm: 108263 40625 396 364 0 43147 0
[pid=3428] ppid=3426 vsize=285652 CPUtime=229.85 cores=0,2,4,6
/proc/3428/stat : 3428 (clasp-1.3.7-x86) T 3426 3428 3428 0 -1 4202496 74213 0 0 0 22972 13 0 0 25 0 1 0 869252763 292507648 69259 33554432000 134512640 136139019 4291144176 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3428/statm: 71413 69259 182 398 0 71013 0
[pid=3426/tid=3431] ppid=3409 vsize=433052 CPUtime=0 cores=0,2,4,6
/proc/3426/task/3431/stat : 3431 (python) S 3409 3409 3014 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 869257582 443445248 40625 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604437821637696 0 0 -1 6 0 0 0
[pid=3432] ppid=3409 vsize=443308 CPUtime=0.35 cores=0,2,4,6
/proc/3432/stat : 3432 (python) S 3409 3409 3014 0 -1 4202560 1113 0 0 0 18 17 0 0 15 0 2 0 869257585 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3432/statm: 110827 40629 396 364 0 45708 0
[pid=3434] ppid=3432 vsize=1427716 CPUtime=95.41 cores=0,2,4,6
/proc/3434/stat : 3434 (scip-2.0.1.linu) T 3432 3434 3434 0 -1 4202496 339480 0 0 0 9447 94 0 0 25 0 1 0 869257586 1461981184 295387 33554432000 4194304 15243407 140735774507664 18446744073709551615 6457238 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3434/statm: 356929 295387 923 2698 0 354224 0
[pid=3432/tid=3471] ppid=3409 vsize=443308 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3471/stat : 3471 (python) S 3409 3409 3014 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869262712 453947392 40629 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604440955561152 0 0 -1 6 0 0 0
[pid=3483] ppid=3409 vsize=453564 CPUtime=0.19 cores=0,2,4,6
/proc/3483/stat : 3483 (python) S 3409 3409 3014 0 -1 4202560 1149 0 0 0 9 10 0 0 16 0 2 0 869271653 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3483/statm: 113391 40633 396 364 0 48269 0
[pid=3485] ppid=3483 vsize=119612 CPUtime=50.26 cores=0,2,4,6
/proc/3485/stat : 3485 (wbo1.4a) T 3483 3485 3485 0 -1 4202496 34845 0 0 0 5009 17 0 0 25 0 1 0 869271654 122482688 29176 33554432000 134512640 135751879 4292145472 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3485/statm: 29903 29176 143 303 0 29598 0
[pid=3483/tid=3489] ppid=3409 vsize=453564 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (python) S 3409 3409 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869276681 464449536 40633 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604444555485440 0 0 -1 6 0 0 0
[pid=3540] ppid=3409 vsize=463820 CPUtime=0.37 cores=0,2,4,6
/proc/3540/stat : 3540 (python) S 3409 3409 3014 0 -1 4202560 1169 0 0 0 19 18 0 0 16 0 2 0 869336354 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3540/statm: 115955 40637 396 364 0 50830 0
[pid=3542] ppid=3540 vsize=203856 CPUtime=93.68 cores=0,2,4,6
/proc/3542/stat : 3542 (bsolo_pb10) T 3540 3542 3542 0 -1 4202496 61140 0 0 0 9330 38 0 0 25 0 1 0 869336355 208748544 48527 33554432000 134512640 137138936 4292370512 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/3542/statm: 50964 48527 190 642 0 50320 0
[pid=3540/tid=3545] ppid=3409 vsize=463820 CPUtime=0 cores=0,2,4,6
/proc/3540/task/3545/stat : 3545 (python) S 3409 3409 3014 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869345732 474951680 40637 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446775125120 0 0 -1 6 0 0 0
[pid=3409/tid=3420] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (python) S 3406 3409 3014 0 -1 4202560 39 931 0 0 0 0 0 0 18 0 6 0 869248074 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3427] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3427/stat : 3427 (python) S 3406 3409 3014 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 6 0 869252763 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3433] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3433/stat : 3433 (python) S 3406 3409 3014 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 6 0 869257585 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3484] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3484/stat : 3484 (python) S 3406 3409 3014 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869271654 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 0 0 0 0
[pid=3409/tid=3541] ppid=3406 vsize=474064 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3541/stat : 3541 (python) S 3406 3409 3014 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869336354 485441536 42125 33554432000 4194304 5683644 140737274550800 18446744073709551615 255389125041 0 0 16781312 33554434 18446604447636517888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6184048
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3409 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=445412
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=244962
# CPU time returned by wait4() is 10.6904
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.66
CPU time (s): 1800.09
CPU user time (s): 1793.29
CPU system time (s): 6.8
CPU usage (%): 100.359
Max. virtual memory (cumulated for all children) (KiB): 6184048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4454
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73020
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1324
involuntary context switches= 53
runsolver used 9.01363 second user time and 18.5412 second system time
The end