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-3741020-1338720792/watcher-3741020-1338720792 -o /tmp/evaluation-result-3741020-1338720792/solver-3741020-1338720792 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741020-1338720792.opb -seed 532155796 -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: 2.26 2.83 2.55 3/179 5683
/proc/meminfo: memFree=26622640/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/5683/stat : 5683 (python) D 5681 5683 3621 0 -1 4202496 739 0 0 0 0 0 0 0 20 0 1 0 338204446 15749120 617 33554432000 4194304 5683644 140734818966176 140734818924632 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 3845 617 331 364 0 287 0
[startup+0.020255 s]
/proc/loadavg: 2.26 2.83 2.55 3/179 5683
/proc/meminfo: memFree=26622640/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=16436 CPUtime=0 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 1106 0 0 0 0 0 0 0 20 0 1 0 338204446 16830464 926 33554432000 4194304 5683644 140734818966176 140734818948328 4963746 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 4109 926 391 364 0 551 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16436
[startup+0.100159 s]
/proc/loadavg: 2.26 2.83 2.55 3/179 5683
/proc/meminfo: memFree=26622640/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=94460 CPUtime=0.06 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 3306 506 1 0 5 1 0 0 20 0 1 0 338204446 96727040 2545 33554432000 4194304 5683644 140734818966176 140734818918648 213419640192 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5683/statm: 23615 2545 820 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94460
[startup+0.300183 s]
/proc/loadavg: 2.26 2.83 2.55 3/179 5683
/proc/meminfo: memFree=26622640/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=166948 CPUtime=0.22 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 6578 1010 1 0 17 5 0 0 20 0 1 0 338204446 170954752 4368 33554432000 4194304 5683644 140734818966176 140734818870408 4864819 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 41737 4368 1243 364 0 3290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 166948
[startup+0.70021 s]
/proc/loadavg: 2.26 2.83 2.55 3/179 5683
/proc/meminfo: memFree=26622640/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=397240 CPUtime=0.59 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 11873 1010 1 0 46 13 0 0 20 0 1 0 338204446 406773760 35990 33554432000 4194304 5683644 140734818966176 140734818888248 4445115 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 99310 35990 1811 364 0 34539 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 397240
[startup+1.50018 s]
/proc/loadavg: 2.26 2.83 2.55 3/180 5688
/proc/meminfo: memFree=26475120/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=421904 CPUtime=1.39 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 17930 1010 1 0 125 14 0 0 20 0 1 0 338204446 432029696 42047 33554432000 4194304 5683644 140734818966176 140734818959240 213418950876 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 105476 42047 1811 364 0 40705 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 421904
[startup+3.10018 s]
/proc/loadavg: 2.24 2.82 2.54 3/180 5688
/proc/meminfo: memFree=26440296/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=473512 CPUtime=2.99 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 30195 1010 1 0 282 17 0 0 20 0 1 0 338204446 484876288 54312 33554432000 4194304 5683644 140734818966176 140734818958792 4602354 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 118378 54312 1811 364 0 53607 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 473512
[startup+6.30018 s]
/proc/loadavg: 2.24 2.82 2.54 3/180 5688
/proc/meminfo: memFree=26334236/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=577528 CPUtime=6.19 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 53406 1010 1 0 597 22 0 0 20 0 1 0 338204446 591388672 79056 33554432000 4194304 5683644 140734818966176 140734818958792 4602375 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 144382 79056 1811 364 0 79611 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 577528
[startup+12.7002 s]
/proc/loadavg: 2.20 2.79 2.54 3/180 5688
/proc/meminfo: memFree=26130220/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=779016 CPUtime=12.59 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 94882 1010 1 0 1229 30 0 0 20 0 1 0 338204446 797712384 129730 33554432000 4194304 5683644 140734818966176 140734818958792 213419956291 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 194754 129730 1811 364 0 129983 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 779016
[startup+25.5002 s]
/proc/loadavg: 2.17 2.77 2.53 3/180 5688
/proc/meminfo: memFree=25924440/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=947452 CPUtime=25.39 cores=0,2,4,6
/proc/5683/stat : 5683 (python) R 5681 5683 3621 0 -1 4202496 122457 1010 1 0 2494 45 0 0 20 0 1 0 338204446 970190848 173614 33554432000 4194304 5683644 140734818966176 140734818953000 4532146 0 0 16781312 33554434 0 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 236863 173614 1846 364 0 172092 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 947452
[startup+51.1003 s]
/proc/loadavg: 2.11 2.70 2.52 3/187 5695
/proc/meminfo: memFree=24904936/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=913384 CPUtime=49.52 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 124848 1010 1 0 4905 47 0 0 20 0 2 0 338204446 935305216 146208 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 228346 146208 1902 364 0 163569 0
[pid=5693] ppid=5683 vsize=837604 CPUtime=0 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 741 0 0 0 0 0 0 0 20 0 1 0 338209410 857706496 144640 33554432000 4194304 5683644 140734818966176 140734818957264 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 209401 144640 340 364 0 144624 0
[pid=5695] ppid=5693 vsize=151412 CPUtime=1.43 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) R 5693 5695 5695 0 -1 4202496 14695 0 0 0 142 1 0 0 20 0 1 0 338209411 155045888 14448 33554432000 134512640 135752315 4294484496 4293433888 134564822 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/5695/statm: 37853 14448 5384 303 0 9731 0
[pid=5683/tid=5694] ppid=5681 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338209411 935305216 146208 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 1902400
[startup+102.307 s]
/proc/loadavg: 2.04 2.58 2.48 3/194 5703
/proc/meminfo: memFree=24613720/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=989176 CPUtime=49.55 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 125591 1010 1 0 4907 48 0 0 20 0 3 0 338204446 1012916224 146217 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 247294 146217 1905 364 0 182514 0
[pid=5693] ppid=5683 vsize=913384 CPUtime=0.07 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338209410 935305216 144703 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 228346 144703 396 364 0 163569 0
[pid=5695] ppid=5693 vsize=256256 CPUtime=50.83 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) T 5693 5695 5695 0 -1 4202496 87820 0 0 0 4987 96 0 0 20 0 1 0 338209411 262406144 60019 33554432000 134512640 135752315 4294484496 4294482432 134615743 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5695/statm: 64064 60019 146 303 0 63759 0
[pid=5693/tid=5700] ppid=5683 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (python) S 5683 5683 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338214497 935305216 144703 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5701] ppid=5683 vsize=913396 CPUtime=0 cores=0,2,4,6
/proc/5701/stat : 5701 (python) S 5683 5683 3621 0 -1 4202560 757 0 0 0 0 0 0 0 20 0 1 0 338214500 935317504 144641 33554432000 4194304 5683644 140734818966176 140734818957264 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5701/statm: 228349 144641 335 364 0 163569 0
[pid=5703] ppid=5701 vsize=22604 CPUtime=1.74 cores=0,2,4,6
/proc/5703/stat : 5703 (pbct-0.1.2-linu) R 5701 5703 5703 0 -1 4202496 5691 0 0 0 173 1 0 0 20 0 1 0 338214501 23146496 5211 33554432000 134512640 136422188 4294688992 4294687400 135811945 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/5703/statm: 5651 5212 143 467 0 5182 0
[pid=5683/tid=5694] ppid=5681 vsize=989176 CPUtime=0 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 3 0 338209411 1012916224 146217 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5683/tid=5702] ppid=5681 vsize=989176 CPUtime=0 cores=0,2,4,6
/proc/5683/task/5702/stat : 5702 (python) S 5681 5683 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 3 0 338214500 1012916224 146217 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 3094816
[startup+162.3 s]
/proc/loadavg: 2.40 2.57 2.48 2/201 5710
/proc/meminfo: memFree=12555484/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=989176 CPUtime=49.55 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 125591 1010 1 0 4907 48 0 0 20 0 3 0 338204446 1012916224 146217 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 247294 146217 1905 364 0 182514 0
[pid=5693] ppid=5683 vsize=913384 CPUtime=0.07 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338209410 935305216 144703 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 228346 144703 396 364 0 163569 0
[pid=5695] ppid=5693 vsize=256256 CPUtime=50.83 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) T 5693 5695 5695 0 -1 4202496 87820 0 0 0 4987 96 0 0 20 0 1 0 338209411 262406144 60019 33554432000 134512640 135752315 4294484496 4294482432 134615743 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5695/statm: 64064 60019 146 303 0 63759 0
[pid=5693/tid=5700] ppid=5683 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (python) S 5683 5683 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338214497 935305216 144703 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5701] ppid=5683 vsize=913396 CPUtime=0.1 cores=0,2,4,6
/proc/5701/stat : 5701 (python) S 5683 5683 3621 0 -1 4202560 914 0 0 0 6 4 0 0 20 0 1 0 338214500 935317504 144664 33554432000 4194304 5683644 140734818966176 140734818957264 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5701/statm: 228349 144664 358 364 0 163569 0
[pid=5703] ppid=5701 vsize=4188108 CPUtime=47.58 cores=0,2,4,6
/proc/5703/stat : 5703 (pbct-0.1.2-linu) S 5701 5703 5703 0 -1 4204032 955274 0 0 0 4284 474 0 0 20 0 1 0 338214501 4288622592 1030769 33554432000 134512640 136422188 4294688992 4294687468 135736970 0 0 16781312 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5703/statm: 1047027 1030769 238 467 0 1046558 0
[pid=5683/tid=5694] ppid=5681 vsize=989176 CPUtime=0 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 3 0 338209411 1012916224 146217 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5683/tid=5702] ppid=5681 vsize=989176 CPUtime=0 cores=0,2,4,6
/proc/5683/task/5702/stat : 5702 (python) S 5681 5683 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 3 0 338214500 1012916224 146217 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 148.13
Current children cumulated vsize (KiB) 7260320
[startup+222.301 s]
/proc/loadavg: 4.64 3.18 2.69 2/204 5714
/proc/meminfo: memFree=10381564/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=989176 CPUtime=49.55 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 125591 1010 1 0 4907 48 0 0 20 0 3 0 338204446 1012916224 146217 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5683/statm: 247294 146217 1905 364 0 182514 0
[pid=5693] ppid=5683 vsize=913384 CPUtime=0.07 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338209410 935305216 144703 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 228346 144703 396 364 0 163569 0
[pid=5695] ppid=5693 vsize=256256 CPUtime=50.83 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) T 5693 5695 5695 0 -1 4202496 87820 0 0 0 4987 96 0 0 20 0 1 0 338209411 262406144 60019 33554432000 134512640 135752315 4294484496 4294482432 134615743 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5695/statm: 64064 60019 146 303 0 63759 0
[pid=5693/tid=5700] ppid=5683 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (python) S 5683 5683 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338214497 935305216 144703 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5701] ppid=5683 vsize=913396 CPUtime=0.2 cores=0,2,4,6
/proc/5701/stat : 5701 (python) S 5683 5683 3621 0 -1 4202560 937 0 0 0 11 9 0 0 20 0 1 0 338214500 935317504 144664 33554432000 4194304 5683644 140734818966176 140734818957264 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5701/statm: 228349 144664 358 364 0 163569 0
[pid=5703] ppid=5701 vsize=4188108 CPUtime=48.27 cores=0,2,4,6
/proc/5703/stat : 5703 (pbct-0.1.2-linu) S 5701 5703 5703 0 -1 4204032 955274 0 0 0 4284 543 0 0 20 0 1 0 338214501 4288622592 1030769 33554432000 134512640 136422188 4294688992 4294687468 135736970 0 0 16781312 16387 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5703/statm: 1047027 1030769 238 467 0 1046558 0
################
# More data... #
################
/proc/5737/statm: 266245 144702 383 364 0 201459 0
[pid=5739] ppid=5737 vsize=3261968 CPUtime=53.15 cores=0,2,4,6
/proc/5739/stat : 5739 (scip-2.0.1.linu) T 5737 5739 5739 0 -1 4202496 793873 0 0 0 4891 424 0 0 20 0 1 0 338247011 3340255232 806751 33554432000 4194304 15243407 140733677825296 140733677821592 5688708 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5739/statm: 815492 806751 701 2698 0 812787 0
[pid=5737/tid=5764] ppid=5683 vsize=1064980 CPUtime=0 cores=0,2,4,6
/proc/5737/task/5764/stat : 5764 (python) S 5683 5683 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338252329 1090539520 144702 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5765] ppid=5683 vsize=1140772 CPUtime=0.09 cores=0,2,4,6
/proc/5765/stat : 5765 (python) S 5683 5683 3621 0 -1 4202560 1103 0 0 0 5 4 0 0 20 0 2 0 338252332 1168150528 144708 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5765/statm: 285193 144708 383 364 0 220404 0
[pid=5767] ppid=5765 vsize=3260196 CPUtime=50.35 cores=0,2,4,6
/proc/5767/stat : 5767 (scip-2.0.1.linu) T 5765 5767 5767 0 -1 4202496 794858 0 0 0 4615 420 0 0 20 0 1 0 338252333 3338440704 806703 33554432000 4194304 13684479 140735714825072 140735714821368 5489481 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5767/statm: 815049 806703 654 2317 0 812727 0
[pid=5765/tid=5836] ppid=5683 vsize=1140772 CPUtime=0 cores=0,2,4,6
/proc/5765/task/5836/stat : 5836 (python) S 5683 5683 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338257370 1168150528 144708 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5694] ppid=5681 vsize=1216556 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 957499 0 0 0 0 4312 588 20 0 6 0 338209411 1245753344 146750 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5683/tid=5702] ppid=5681 vsize=1216556 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5702/stat : 5702 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 6 0 338214500 1245753344 146750 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5728] ppid=5681 vsize=1216556 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5728/stat : 5728 (python) S 5681 5683 3621 0 -1 4202560 21 957499 0 0 0 0 4312 588 20 0 6 0 338241956 1245753344 146750 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5738] ppid=5681 vsize=1216556 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5738/stat : 5738 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 6 0 338247011 1245753344 146750 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5766] ppid=5681 vsize=1216556 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5766/stat : 5766 (python) S 5681 5683 3621 0 -1 4202560 19 957499 0 0 0 0 4312 588 20 0 6 0 338252332 1245753344 146750 33554432000 4194304 5683644 140734818966176 140074989642288 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 416.81
Current children cumulated vsize (KiB) 12327212
heavy processes:
[startup+702.301 s]
/proc/loadavg: 2.03 2.60 2.69 3/212 5852
/proc/meminfo: memFree=11967340/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=1292344 CPUtime=254.07 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 128561 957499 1 0 20408 99 4312 588 20 0 7 0 338204446 1323360256 146757 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5683/statm: 323086 146757 1913 364 0 258294 0
[pid=5693] ppid=5683 vsize=913384 CPUtime=0.07 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338209410 935305216 144703 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 228346 144703 396 364 0 163569 0
[pid=5695] ppid=5693 vsize=256256 CPUtime=50.83 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) T 5693 5695 5695 0 -1 4202496 87820 0 0 0 4987 96 0 0 20 0 1 0 338209411 262406144 60019 33554432000 134512640 135752315 4294484496 4294482432 134615743 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5695/statm: 64064 60019 146 303 0 63759 0
[pid=5693/tid=5700] ppid=5683 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (python) S 5683 5683 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338214497 935305216 144703 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5727] ppid=5683 vsize=989188 CPUtime=0.08 cores=0,2,4,6
/proc/5727/stat : 5727 (python) S 5683 5683 3621 0 -1 4202560 1081 0 0 0 4 4 0 0 20 0 2 0 338241955 1012928512 144696 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5727/statm: 247297 144696 383 364 0 182514 0
[pid=5729] ppid=5727 vsize=223912 CPUtime=50.48 cores=0,2,4,6
/proc/5729/stat : 5729 (wbo1.4a) T 5727 5729 5729 0 -1 4202496 79678 0 0 0 4945 103 0 0 20 0 1 0 338241956 229285888 51873 33554432000 134512640 135751879 4292588592 4292586768 134616336 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5729/statm: 55978 51873 143 303 0 55673 0
[pid=5727/tid=5736] ppid=5683 vsize=989188 CPUtime=0 cores=0,2,4,6
/proc/5727/task/5736/stat : 5736 (python) S 5683 5683 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338247008 1012928512 144696 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5737] ppid=5683 vsize=1064980 CPUtime=0.09 cores=0,2,4,6
/proc/5737/stat : 5737 (python) S 5683 5683 3621 0 -1 4202560 1094 0 0 0 5 4 0 0 20 0 2 0 338247010 1090539520 144702 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5737/statm: 266245 144702 383 364 0 201459 0
[pid=5739] ppid=5737 vsize=3261968 CPUtime=53.15 cores=0,2,4,6
/proc/5739/stat : 5739 (scip-2.0.1.linu) T 5737 5739 5739 0 -1 4202496 793873 0 0 0 4891 424 0 0 20 0 1 0 338247011 3340255232 806751 33554432000 4194304 15243407 140733677825296 140733677821592 5688708 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5739/statm: 815492 806751 701 2698 0 812787 0
[pid=5737/tid=5764] ppid=5683 vsize=1064980 CPUtime=0 cores=0,2,4,6
/proc/5737/task/5764/stat : 5764 (python) S 5683 5683 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338252329 1090539520 144702 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5765] ppid=5683 vsize=1140772 CPUtime=0.09 cores=0,2,4,6
/proc/5765/stat : 5765 (python) S 5683 5683 3621 0 -1 4202560 1103 0 0 0 5 4 0 0 20 0 2 0 338252332 1168150528 144708 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5765/statm: 285193 144708 383 364 0 220404 0
[pid=5767] ppid=5765 vsize=3260196 CPUtime=50.35 cores=0,2,4,6
/proc/5767/stat : 5767 (scip-2.0.1.linu) T 5765 5767 5767 0 -1 4202496 794858 0 0 0 4615 420 0 0 20 0 1 0 338252333 3338440704 806703 33554432000 4194304 13684479 140735714825072 140735714821368 5489481 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5767/statm: 815049 806703 654 2317 0 812727 0
[pid=5765/tid=5836] ppid=5683 vsize=1140772 CPUtime=0 cores=0,2,4,6
/proc/5765/task/5836/stat : 5836 (python) S 5683 5683 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338257370 1168150528 144708 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5850] ppid=5683 vsize=1216564 CPUtime=0.03 cores=0,2,4,6
/proc/5850/stat : 5850 (python) S 5683 5683 3621 0 -1 4202560 942 0 0 0 1 2 0 0 20 0 1 0 338272916 1245761536 145196 33554432000 4194304 5683644 140734818966176 140734818957264 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5850/statm: 304141 145196 358 364 0 239349 0
[pid=5852] ppid=5850 vsize=445180 CPUtime=17.58 cores=0,2,4,6
/proc/5852/stat : 5852 (minion) R 5850 5852 5852 0 -1 4202496 69112 0 0 0 1731 27 0 0 20 0 1 0 338272916 455864320 103946 33554432000 134512640 165565024 4291030240 4291015412 159718384 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0
/proc/5852/statm: 111295 103946 262 7582 0 103710 0
[pid=5683/tid=5694] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 957499 0 0 0 0 4312 588 20 0 7 0 338209411 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5683/tid=5702] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5702/stat : 5702 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338214500 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5728] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5728/stat : 5728 (python) S 5681 5683 3621 0 -1 4202560 21 957499 0 0 0 0 4312 588 20 0 7 0 338241956 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5738] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5738/stat : 5738 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338247011 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5766] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5766/stat : 5766 (python) S 5681 5683 3621 0 -1 4202560 19 957499 0 0 0 0 4312 588 20 0 7 0 338252332 1323360256 146757 33554432000 4194304 5683644 140734818966176 140074989642288 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5851] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5851/stat : 5851 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338272916 1323360256 146757 33554432000 4194304 5683644 140734818966176 140074979152432 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 476.82
Current children cumulated vsize (KiB) 14064744
heavy processes:
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+729.001 s]
/proc/loadavg: 2.02 2.55 2.67 3/216 5856
/proc/meminfo: memFree=10022436/32873844 swapFree=6608/6608
[pid=5683] ppid=5681 vsize=1292344 CPUtime=254.07 cores=0,2,4,6
/proc/5683/stat : 5683 (python) S 5681 5683 3621 0 -1 4202496 128561 957499 1 0 20408 99 4312 588 20 0 7 0 338204446 1323360256 146757 33554432000 4194304 5683644 140734818966176 140734818961008 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5683/statm: 323086 146757 1913 364 0 258294 0
[pid=5693] ppid=5683 vsize=913384 CPUtime=0.07 cores=0,2,4,6
/proc/5693/stat : 5693 (python) S 5683 5683 3621 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338209410 935305216 144703 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5693/statm: 228346 144703 396 364 0 163569 0
[pid=5695] ppid=5693 vsize=256256 CPUtime=50.83 cores=0,2,4,6
/proc/5695/stat : 5695 (wbo1.4b-fixed) T 5693 5695 5695 0 -1 4202496 87820 0 0 0 4987 96 0 0 20 0 1 0 338209411 262406144 60019 33554432000 134512640 135752315 4294484496 4294482432 134615743 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5695/statm: 64064 60019 146 303 0 63759 0
[pid=5693/tid=5700] ppid=5683 vsize=913384 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (python) S 5683 5683 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338214497 935305216 144703 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5727] ppid=5683 vsize=989188 CPUtime=0.08 cores=0,2,4,6
/proc/5727/stat : 5727 (python) S 5683 5683 3621 0 -1 4202560 1081 0 0 0 4 4 0 0 20 0 2 0 338241955 1012928512 144696 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5727/statm: 247297 144696 383 364 0 182514 0
[pid=5729] ppid=5727 vsize=223912 CPUtime=50.48 cores=0,2,4,6
/proc/5729/stat : 5729 (wbo1.4a) T 5727 5729 5729 0 -1 4202496 79678 0 0 0 4945 103 0 0 20 0 1 0 338241956 229285888 51873 33554432000 134512640 135751879 4292588592 4292586768 134616336 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5729/statm: 55978 51873 143 303 0 55673 0
[pid=5727/tid=5736] ppid=5683 vsize=989188 CPUtime=0 cores=0,2,4,6
/proc/5727/task/5736/stat : 5736 (python) S 5683 5683 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338247008 1012928512 144696 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5737] ppid=5683 vsize=1064980 CPUtime=0.09 cores=0,2,4,6
/proc/5737/stat : 5737 (python) S 5683 5683 3621 0 -1 4202560 1094 0 0 0 5 4 0 0 20 0 2 0 338247010 1090539520 144702 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5737/statm: 266245 144702 383 364 0 201459 0
[pid=5739] ppid=5737 vsize=3261968 CPUtime=53.15 cores=0,2,4,6
/proc/5739/stat : 5739 (scip-2.0.1.linu) T 5737 5739 5739 0 -1 4202496 793873 0 0 0 4891 424 0 0 20 0 1 0 338247011 3340255232 806751 33554432000 4194304 15243407 140733677825296 140733677821592 5688708 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5739/statm: 815492 806751 701 2698 0 812787 0
[pid=5737/tid=5764] ppid=5683 vsize=1064980 CPUtime=0 cores=0,2,4,6
/proc/5737/task/5764/stat : 5764 (python) S 5683 5683 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338252329 1090539520 144702 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5765] ppid=5683 vsize=1140772 CPUtime=0.09 cores=0,2,4,6
/proc/5765/stat : 5765 (python) S 5683 5683 3621 0 -1 4202560 1103 0 0 0 5 4 0 0 20 0 2 0 338252332 1168150528 144708 33554432000 4194304 5683644 140734818966176 140734818957824 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5765/statm: 285193 144708 383 364 0 220404 0
[pid=5767] ppid=5765 vsize=3260196 CPUtime=50.35 cores=0,2,4,6
/proc/5767/stat : 5767 (scip-2.0.1.linu) T 5765 5767 5767 0 -1 4202496 794858 0 0 0 4615 420 0 0 20 0 1 0 338252333 3338440704 806703 33554432000 4194304 13684479 140735714825072 140735714821368 5489481 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5767/statm: 815049 806703 654 2317 0 812727 0
[pid=5765/tid=5836] ppid=5683 vsize=1140772 CPUtime=0 cores=0,2,4,6
/proc/5765/task/5836/stat : 5836 (python) S 5683 5683 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338257370 1168150528 144708 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5850] ppid=5683 vsize=1216564 CPUtime=0.08 cores=0,2,4,6
/proc/5850/stat : 5850 (python) S 5683 5683 3621 0 -1 4202560 960 0 0 0 3 5 0 0 20 0 1 0 338272916 1245761536 145196 33554432000 4194304 5683644 140734818966176 140734818957264 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5850/statm: 304141 145196 358 364 0 239349 0
[pid=5852] ppid=5850 vsize=2407704 CPUtime=44.28 cores=0,2,4,6
/proc/5852/stat : 5852 (minion) R 5850 5852 5852 0 -1 4202496 331754 0 0 0 4335 93 0 0 20 0 1 0 338272916 2465488896 588926 33554432000 134512640 165565024 4291030240 4291027472 159737071 0 0 16781312 8396802 0 0 0 17 2 0 0 0 0 0
/proc/5852/statm: 601926 588926 358 7582 0 594341 0
[pid=5683/tid=5694] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5694/stat : 5694 (python) S 5681 5683 3621 0 -1 4202560 26 957499 0 0 0 0 4312 588 20 0 7 0 338209411 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075107963440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5683/tid=5702] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5702/stat : 5702 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338214500 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075097461296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5728] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5728/stat : 5728 (python) S 5681 5683 3621 0 -1 4202560 21 957499 0 0 0 0 4312 588 20 0 7 0 338241956 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075086971440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5738] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5738/stat : 5738 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338247011 1323360256 146757 33554432000 4194304 5683644 140734818966176 140075076481584 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5766] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5766/stat : 5766 (python) S 5681 5683 3621 0 -1 4202560 19 957499 0 0 0 0 4312 588 20 0 7 0 338252332 1323360256 146757 33554432000 4194304 5683644 140734818966176 140074989642288 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5683/tid=5851] ppid=5681 vsize=1292344 CPUtime=49 cores=0,2,4,6
/proc/5683/task/5851/stat : 5851 (python) S 5681 5683 3621 0 -1 4202560 22 957499 0 0 0 0 4312 588 20 0 7 0 338272916 1323360256 146757 33554432000 4194304 5683644 140734818966176 140074979152432 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 503.57
Current children cumulated vsize (KiB) 16027268
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5683 and gives
# childrusage.ru_utime.tv_sec=247
# childrusage.ru_utime.tv_usec=205419
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=893951
# CPU time returned by wait4() is 254.099
# while last known CPU time is 503.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 729.064
CPU time (s): 503.57
CPU user time (s): 485.14
CPU system time (s): 18.43
CPU usage (%): 69.0707
Max. virtual memory (cumulated for all children) (KiB): 16027268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.205
system time used= 6.89395
maximum resident set size= 4123076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1086060
page faults= 1
swaps= 0
block input operations= 0
block output operations= 328296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 991278
involuntary context switches= 413
runsolver used 2.07069 second user time and 5.45617 second system time
The end