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-3481601-1307578466/watcher-3481601-1307578466 -o /tmp/evaluation-result-3481601-1307578466/solver-3481601-1307578466 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481601-1307578466.opb -seed 77872414 -budget 1800
running on 4 cores: 1,3,5,7
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.07 2.05 1.80 2/623 18074
/proc/meminfo: memFree=14178864/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 948077269 16158720 784 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/18074/statm: 3945 784 346 364 0 432 0
[startup+0.0362051 s]
/proc/loadavg: 2.07 2.05 1.80 2/623 18074
/proc/meminfo: memFree=14178864/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=16820 CPUtime=0.01 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 1228 0 0 0 1 0 0 0 17 0 1 0 948077269 17223680 1086 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/18074/statm: 4205 1086 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.100195 s]
/proc/loadavg: 2.07 2.05 1.80 2/623 18074
/proc/meminfo: memFree=14178864/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=85368 CPUtime=0.07 cores=1,3,5,7
/proc/18074/stat : 18074 (python) R 18072 18074 16077 0 -1 4202496 2609 0 0 0 5 2 0 0 17 0 1 0 948077269 87416832 2329 33554432000 4194304 5683644 140733235995776 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18074/statm: 21342 2332 715 364 0 1559 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85368
[startup+0.300174 s]
/proc/loadavg: 2.07 2.05 1.80 2/623 18074
/proc/meminfo: memFree=14178864/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/18074/stat : 18074 (python) R 18072 18074 16077 0 -1 4202496 5356 931 1 0 10 6 0 0 16 0 1 0 948077269 126713856 3744 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020391941 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/18074/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.701099 s]
/proc/loadavg: 2.07 2.05 1.80 2/623 18074
/proc/meminfo: memFree=14178864/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=283432 CPUtime=0.39 cores=1,3,5,7
/proc/18074/stat : 18074 (python) R 18072 18074 16077 0 -1 4202496 9125 931 1 0 28 11 0 0 17 0 1 0 948077269 290234368 6938 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222608 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/18074/statm: 70858 6938 1776 364 0 5751 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283432
[startup+1.50091 s]
/proc/loadavg: 2.15 2.07 1.80 3/624 18080
/proc/meminfo: memFree=14152180/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=296796 CPUtime=0.86 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 12408 1382 1 0 62 15 7 2 18 0 2 0 948077269 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18074/statm: 74199 8038 1871 364 0 9086 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 296796
[startup+3.10065 s]
/proc/loadavg: 2.15 2.07 1.80 3/627 18083
/proc/meminfo: memFree=14078128/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=296796 CPUtime=0.86 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 12408 1382 1 0 62 15 7 2 18 0 2 0 948077269 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18074/statm: 74199 8038 1871 364 0 9086 0
[pid=18081] ppid=18074 vsize=286552 CPUtime=0 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 1 0 948077380 293429248 6482 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416015 0 0 16781312 33554946 13657977210798047495 0 0 17 5 0 0 0
/proc/18081/statm: 71638 6482 319 364 0 6525 0
[pid=18083] ppid=18081 vsize=83284 CPUtime=1.99 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) R 18081 18083 18083 0 -1 4202496 19321 0 0 0 181 18 0 0 25 0 1 0 948077380 85282816 18206 33554432000 4194304 13684479 140733871954272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18083/statm: 20821 18206 729 2317 0 18499 0
[pid=18074/tid=18082] ppid=18072 vsize=296796 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 2 0 948077380 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 666632
[startup+6.30108 s]
/proc/loadavg: 2.13 2.07 1.80 3/627 18083
/proc/meminfo: memFree=14078380/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=296796 CPUtime=0.86 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 12408 1382 1 0 62 15 7 2 18 0 2 0 948077269 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18074/statm: 74199 8038 1871 364 0 9086 0
[pid=18081] ppid=18074 vsize=286552 CPUtime=0 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 868 0 0 0 0 0 0 0 15 0 1 0 948077380 293429248 6506 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416015 0 0 16781312 33554946 13657989305425953031 0 0 17 5 0 0 0
/proc/18081/statm: 71638 6506 343 364 0 6525 0
[pid=18083] ppid=18081 vsize=85272 CPUtime=5.18 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) R 18081 18083 18083 0 -1 4202496 19778 0 0 0 499 19 0 0 25 0 1 0 948077380 87318528 18634 33554432000 4194304 13684479 140733871954272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18083/statm: 21318 18634 729 2317 0 18996 0
[pid=18074/tid=18082] ppid=18072 vsize=296796 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 2 0 948077380 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 668620
[startup+12.7009 s]
/proc/loadavg: 2.12 2.07 1.80 3/627 18083
/proc/meminfo: memFree=14073400/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=296796 CPUtime=0.86 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 12408 1382 1 0 62 15 7 2 18 0 2 0 948077269 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18074/statm: 74199 8038 1871 364 0 9086 0
[pid=18081] ppid=18074 vsize=286552 CPUtime=0.02 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 948077380 293429248 6506 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416015 0 0 16781312 33554946 5623606151888251739 0 0 17 5 0 0 0
/proc/18081/statm: 71638 6506 343 364 0 6525 0
[pid=18083] ppid=18081 vsize=89560 CPUtime=11.58 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) R 18081 18083 18083 0 -1 4202496 22495 0 0 0 1137 21 0 0 25 0 1 0 948077380 91709440 19771 33554432000 4194304 13684479 140733871954272 18446744073709551615 7390780 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18083/statm: 22390 19771 733 2317 0 20068 0
[pid=18074/tid=18082] ppid=18072 vsize=296796 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 2 0 948077380 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 672908
[startup+25.5005 s]
/proc/loadavg: 2.10 2.06 1.81 3/627 18083
/proc/meminfo: memFree=14025352/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=296796 CPUtime=0.86 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 12408 1382 1 0 62 15 7 2 18 0 2 0 948077269 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18074/statm: 74199 8038 1871 364 0 9086 0
[pid=18081] ppid=18074 vsize=286552 CPUtime=0.07 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 891 0 0 0 4 3 0 0 15 0 1 0 948077380 293429248 6506 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416015 0 0 16781312 33554946 5623606151888251739 0 0 17 5 0 0 0
/proc/18081/statm: 71638 6506 343 364 0 6525 0
[pid=18083] ppid=18081 vsize=138396 CPUtime=24.36 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) R 18081 18083 18083 0 -1 4202496 38565 0 0 0 2401 35 0 0 25 0 1 0 948077380 141717504 32003 33554432000 4194304 13684479 140733871954272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18083/statm: 34599 32003 825 2317 0 32277 0
[pid=18074/tid=18082] ppid=18072 vsize=296796 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 2 0 948077380 303919104 8038 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 721744
[startup+51.1009 s]
/proc/loadavg: 2.06 2.06 1.81 3/631 18088
/proc/meminfo: memFree=13958084/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=307052 CPUtime=0.89 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 13264 1382 1 0 65 15 7 2 20 0 3 0 948077269 314421248 8045 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18074/statm: 76763 8045 1874 364 0 11647 0
[pid=18081] ppid=18074 vsize=296796 CPUtime=0.15 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 1102 0 0 0 7 8 0 0 16 0 2 0 948077380 303919104 6574 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/18081/statm: 74199 6574 406 364 0 9086 0
[pid=18083] ppid=18081 vsize=138396 CPUtime=46.54 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) T 18081 18083 18083 0 -1 4202496 38613 0 0 0 4602 52 0 0 25 0 1 0 948077380 141717504 32051 33554432000 4194304 13684479 140733871954272 18446744073709551615 7154634 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/18083/statm: 34599 32051 825 2317 0 32277 0
[pid=18081/tid=18085] ppid=18074 vsize=296796 CPUtime=0 cores=1,3,5,7
/proc/18081/task/18085/stat : 18085 (python) S 18074 18074 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948082040 303919104 6574 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604469240072128 0 0 -1 3 0 0 0
[pid=18086] ppid=18074 vsize=296808 CPUtime=0.01 cores=1,3,5,7
/proc/18086/stat : 18086 (python) S 18074 18074 16077 0 -1 4202560 887 0 0 0 0 1 0 0 15 0 1 0 948082043 303931392 6511 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416070 0 0 16781312 33554946 4476355966912135430 0 0 17 7 0 0 0
/proc/18086/statm: 74202 6511 344 364 0 9086 0
[pid=18088] ppid=18086 vsize=83492 CPUtime=3.36 cores=1,3,5,7
/proc/18088/stat : 18088 (scip-2.0.1.linu) R 18086 18088 18088 0 -1 4202496 24171 0 0 0 318 18 0 0 25 0 1 0 948082043 85495808 16783 33554432000 4194304 15243407 140733661042368 18446744073709551615 8116750 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18088/statm: 20873 16783 824 2698 0 18168 0
[pid=18074/tid=18082] ppid=18072 vsize=307052 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 3 0 948077380 314421248 8045 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
[pid=18074/tid=18087] ppid=18072 vsize=307052 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18087/stat : 18087 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 20 0 3 0 948082043 314421248 8045 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 1122544
[startup+102.314 s]
/proc/loadavg: 2.09 2.06 1.83 3/635 18093
/proc/meminfo: memFree=13930960/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=317308 CPUtime=0.91 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 14138 1382 1 0 67 15 7 2 20 0 4 0 948077269 324923392 8051 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18074/statm: 79327 8051 1876 364 0 14208 0
[pid=18081] ppid=18074 vsize=296796 CPUtime=0.15 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 1102 0 0 0 7 8 0 0 16 0 2 0 948077380 303919104 6574 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/18081/statm: 74199 6574 406 364 0 9086 0
[pid=18083] ppid=18081 vsize=138396 CPUtime=46.54 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) T 18081 18083 18083 0 -1 4202496 38613 0 0 0 4602 52 0 0 25 0 1 0 948077380 141717504 32051 33554432000 4194304 13684479 140733871954272 18446744073709551615 7154634 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/18083/statm: 34599 32051 825 2317 0 32277 0
[pid=18081/tid=18085] ppid=18074 vsize=296796 CPUtime=0 cores=1,3,5,7
/proc/18081/task/18085/stat : 18085 (python) S 18074 18074 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948082040 303919104 6574 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604469240072128 0 0 -1 3 0 0 0
[pid=18086] ppid=18074 vsize=296808 CPUtime=0.14 cores=1,3,5,7
/proc/18086/stat : 18086 (python) S 18074 18074 16077 0 -1 4202560 1165 0 0 0 6 8 0 0 16 0 2 0 948082043 303931392 6565 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/18086/statm: 74202 6565 397 364 0 9086 0
[pid=18088] ppid=18086 vsize=85676 CPUtime=48.46 cores=1,3,5,7
/proc/18088/stat : 18088 (scip-2.0.1.linu) T 18086 18088 18088 0 -1 4202496 102053 0 0 0 4814 32 0 0 25 0 1 0 948082043 87732224 17350 33554432000 4194304 15243407 140733661042368 18446744073709551615 7426930 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18088/statm: 21419 17350 838 2698 0 18714 0
[pid=18086/tid=18090] ppid=18074 vsize=296808 CPUtime=0 cores=1,3,5,7
/proc/18086/task/18090/stat : 18090 (python) S 18074 18074 16077 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 2 0 948086890 303931392 6565 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604465576024960 0 0 -1 1 0 0 0
[pid=18091] ppid=18074 vsize=307064 CPUtime=0.01 cores=1,3,5,7
/proc/18091/stat : 18091 (python) S 18074 18074 16077 0 -1 4202560 1018 0 0 0 0 1 0 0 15 0 1 0 948086892 314433536 6521 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416070 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/18091/statm: 76766 6521 350 364 0 11647 0
[pid=18093] ppid=18091 vsize=19824 CPUtime=6.07 cores=1,3,5,7
/proc/18093/stat : 18093 (wbo1.4a) R 18091 18093 18093 0 -1 4202496 5055 0 0 0 602 5 0 0 25 0 1 0 948086892 20299776 4526 33554432000 134512640 135751879 4289267936 18446744073709551615 135209796 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/18093/statm: 4956 4526 146 303 0 4651 0
[pid=18074/tid=18082] ppid=18072 vsize=317308 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 18 0 4 0 948077380 324923392 8051 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
[pid=18074/tid=18087] ppid=18072 vsize=317308 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18087/stat : 18087 (python) S 18072 18074 16077 0 -1 4202560 30 1382 0 0 0 0 7 2 20 0 4 0 948082043 324923392 8051 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=18127/tid=18141] ppid=18125 vsize=8547468 CPUtime=0.53 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 18127 0 -1 4202560 5159 0 0 0 52 1 0 0 25 0 19 0 948106009 8752607232 35518 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=8547468 CPUtime=0.47 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 18127 0 -1 4202560 4750 0 0 0 47 0 0 0 16 0 19 0 948106009 8752607232 35522 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948106009 8752607232 35526 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948106009 8752607232 35530 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032212480 0 4 0 16800975 18446604461533053888 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 18127 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948106060 8752607232 35532 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032212480 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18074/tid=18082] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 36 1382 0 0 0 0 7 2 18 0 6 0 948077380 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
[pid=18074/tid=18087] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18087/stat : 18087 (python) S 18072 18074 16077 0 -1 4202560 35 1382 0 0 0 0 7 2 18 0 6 0 948082043 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 3 0 0 0
[pid=18074/tid=18092] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18092/stat : 18092 (python) S 18072 18074 16077 0 -1 4202560 32 1382 0 0 0 0 7 2 20 0 6 0 948086892 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 1 0 0 0
[pid=18074/tid=18098] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18098/stat : 18098 (python) S 18072 18074 16077 0 -1 4202560 28 1382 0 0 0 0 7 2 20 0 6 0 948091874 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 1 0 0 0
[pid=18074/tid=18126] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18126/stat : 18126 (python) S 18072 18074 16077 0 -1 4202560 20 1382 0 0 0 0 7 2 20 0 6 0 948106004 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 291.58
Current children cumulated vsize (KiB) 19383868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+288.101 s]
/proc/loadavg: 2.02 2.04 1.85 4/682 18145
/proc/meminfo: memFree=13213852/32951124 swapFree=67056304/67111528
[pid=18074] ppid=18072 vsize=403356 CPUtime=1.02 cores=1,3,5,7
/proc/18074/stat : 18074 (python) S 18072 18074 16077 0 -1 4202496 16031 1382 1 0 77 16 7 2 18 0 6 0 948077269 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18074/statm: 100839 8065 1880 364 0 35714 0
[pid=18081] ppid=18074 vsize=296796 CPUtime=0.31 cores=1,3,5,7
/proc/18081/stat : 18081 (python) S 18074 18074 16077 0 -1 4202560 1125 0 0 0 15 16 0 0 16 0 2 0 948077380 303919104 6575 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18081/statm: 74199 6575 407 364 0 9086 0
[pid=18083] ppid=18081 vsize=138396 CPUtime=95.5 cores=1,3,5,7
/proc/18083/stat : 18083 (scip-2.0.1.linu) T 18081 18083 18083 0 -1 4202496 38628 0 0 0 9481 69 0 0 25 0 1 0 948077380 141717504 32066 33554432000 4194304 13684479 140733871954272 18446744073709551615 7397984 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/18083/statm: 34599 32066 829 2317 0 32277 0
[pid=18081/tid=18085] ppid=18074 vsize=296796 CPUtime=0 cores=1,3,5,7
/proc/18081/task/18085/stat : 18085 (python) S 18074 18074 16077 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 948082040 303919104 6575 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604469240072128 0 0 -1 3 0 0 0
[pid=18086] ppid=18074 vsize=296808 CPUtime=0.3 cores=1,3,5,7
/proc/18086/stat : 18086 (python) S 18074 18074 16077 0 -1 4202560 1207 0 0 0 13 17 0 0 15 0 2 0 948082043 303931392 6565 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18086/statm: 74202 6565 397 364 0 9086 0
[pid=18088] ppid=18086 vsize=85564 CPUtime=94.59 cores=1,3,5,7
/proc/18088/stat : 18088 (scip-2.0.1.linu) T 18086 18088 18088 0 -1 4202496 181360 0 0 0 9414 45 0 0 25 0 1 0 948082043 87617536 17406 33554432000 4194304 15243407 140733661042368 18446744073709551615 8121935 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/18088/statm: 21391 17406 840 2698 0 18686 0
[pid=18086/tid=18090] ppid=18074 vsize=296808 CPUtime=0 cores=1,3,5,7
/proc/18086/task/18090/stat : 18090 (python) S 18074 18074 16077 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 2 0 948086890 303931392 6565 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604465576024960 0 0 -1 1 0 0 0
[pid=18091] ppid=18074 vsize=307064 CPUtime=0.16 cores=1,3,5,7
/proc/18091/stat : 18091 (python) S 18074 18074 16077 0 -1 4202560 1190 0 0 0 7 9 0 0 16 0 2 0 948086892 314433536 6569 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18091/statm: 76766 6569 397 364 0 11647 0
[pid=18093] ppid=18091 vsize=115672 CPUtime=49.77 cores=1,3,5,7
/proc/18093/stat : 18093 (wbo1.4a) T 18091 18093 18093 0 -1 4202496 29004 0 0 0 4950 27 0 0 25 0 1 0 948086892 118448128 28475 33554432000 134512640 135751879 4289267936 18446744073709551615 134606320 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/18093/statm: 28918 28475 146 303 0 28613 0
[pid=18091/tid=18096] ppid=18074 vsize=307064 CPUtime=0 cores=1,3,5,7
/proc/18091/task/18096/stat : 18096 (python) S 18074 18074 16077 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 948091871 314433536 6569 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604459355641728 0 0 -1 7 0 0 0
[pid=18097] ppid=18074 vsize=317320 CPUtime=0.15 cores=1,3,5,7
/proc/18097/stat : 18097 (python) S 18074 18074 16077 0 -1 4202560 1143 0 0 0 6 9 0 0 16 0 2 0 948091873 324935680 6567 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18097/statm: 79330 6567 391 364 0 14208 0
[pid=18099] ppid=18097 vsize=8547848 CPUtime=47.99 cores=1,3,5,7
/proc/18099/stat : 18099 (java) T 18097 18099 18099 0 -1 4202496 95339 0 1 0 4784 15 0 0 15 0 19 0 948091874 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18099/statm: 2136962 59740 2249 9 0 2127703 0
[pid=18099/tid=18100] ppid=18097 vsize=8547848 CPUtime=45.94 cores=1,3,5,7
/proc/18099/task/18100/stat : 18100 (java) T 18097 18099 18099 0 -1 4202560 63474 0 1 0 4585 9 0 0 25 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 46912505891261 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18099/tid=18101] ppid=18097 vsize=8547848 CPUtime=0.03 cores=1,3,5,7
/proc/18099/task/18101/stat : 18101 (java) T 18097 18099 18099 0 -1 4202560 1651 0 0 0 3 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18099/tid=18102] ppid=18097 vsize=8547848 CPUtime=0.07 cores=1,3,5,7
/proc/18099/task/18102/stat : 18102 (java) T 18097 18099 18099 0 -1 4202560 3647 0 0 0 7 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18099/tid=18103] ppid=18097 vsize=8547848 CPUtime=0.04 cores=1,3,5,7
/proc/18099/task/18103/stat : 18103 (java) T 18097 18099 18099 0 -1 4202560 2831 0 0 0 4 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18099/tid=18104] ppid=18097 vsize=8547848 CPUtime=0.03 cores=1,3,5,7
/proc/18099/task/18104/stat : 18104 (java) T 18097 18099 18099 0 -1 4202560 1962 0 0 0 3 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18099/tid=18105] ppid=18097 vsize=8547848 CPUtime=0.03 cores=1,3,5,7
/proc/18099/task/18105/stat : 18105 (java) T 18097 18099 18099 0 -1 4202560 1084 0 0 0 3 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18099/tid=18106] ppid=18097 vsize=8547848 CPUtime=0.04 cores=1,3,5,7
/proc/18099/task/18106/stat : 18106 (java) T 18097 18099 18099 0 -1 4202560 1766 0 0 0 4 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18099/tid=18107] ppid=18097 vsize=8547848 CPUtime=0.05 cores=1,3,5,7
/proc/18099/task/18107/stat : 18107 (java) T 18097 18099 18099 0 -1 4202560 2265 0 0 0 5 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18099/tid=18108] ppid=18097 vsize=8547848 CPUtime=0.06 cores=1,3,5,7
/proc/18099/task/18108/stat : 18108 (java) T 18097 18099 18099 0 -1 4202560 3309 0 0 0 6 0 0 0 15 0 19 0 948091875 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18099/tid=18109] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18109/stat : 18109 (java) T 18097 18099 18099 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 948091876 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18099/tid=18110] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18110/stat : 18110 (java) T 18097 18099 18099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948091877 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18099/tid=18111] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18111/stat : 18111 (java) T 18097 18099 18099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948091877 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18099/tid=18112] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18112/stat : 18112 (java) T 18097 18099 18099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948091879 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18099/tid=18113] ppid=18097 vsize=8547848 CPUtime=0.79 cores=1,3,5,7
/proc/18099/task/18113/stat : 18113 (java) T 18097 18099 18099 0 -1 4202560 5136 0 0 0 79 0 0 0 15 0 19 0 948091879 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18099/tid=18114] ppid=18097 vsize=8547848 CPUtime=0.81 cores=1,3,5,7
/proc/18099/task/18114/stat : 18114 (java) T 18097 18099 18099 0 -1 4202560 6745 0 0 0 80 1 0 0 15 0 19 0 948091879 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18099/tid=18115] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18115/stat : 18115 (java) T 18097 18099 18099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948091879 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18099/tid=18116] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18116/stat : 18116 (java) T 18097 18099 18099 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948091879 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18099/tid=18117] ppid=18097 vsize=8547848 CPUtime=0 cores=1,3,5,7
/proc/18099/task/18117/stat : 18117 (java) T 18097 18099 18099 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948091929 8752996352 59740 33554432000 1073741824 1073778376 140735979976496 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18097/tid=18122] ppid=18074 vsize=317320 CPUtime=0 cores=1,3,5,7
/proc/18097/task/18122/stat : 18122 (python) S 18074 18074 16077 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948096486 324935680 6567 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554946 18446604458314888192 0 0 -1 7 0 0 0
[pid=18125] ppid=18074 vsize=327576 CPUtime=0 cores=1,3,5,7
/proc/18125/stat : 18125 (python) S 18074 18074 16077 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 948106004 335437824 6499 33554432000 4194304 5683644 140733235995776 18446744073709551615 260020416070 0 0 16781312 33554946 1324081655069016064 0 0 17 1 0 0 0
/proc/18125/statm: 81894 6499 320 364 0 16769 0
[pid=18127] ppid=18125 vsize=8547468 CPUtime=1.79 cores=1,3,5,7
/proc/18127/stat : 18127 (java) S 18125 18127 18127 0 -1 4202496 39162 0 1 0 172 7 0 0 17 0 19 0 948106004 8752607232 35324 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18127/statm: 2136867 35326 2227 9 0 2127608 0
[pid=18127/tid=18128] ppid=18125 vsize=8547468 CPUtime=0.76 cores=1,3,5,7
/proc/18127/task/18128/stat : 18128 (java) R 18125 18127 18127 0 -1 4202560 28021 0 1 0 72 4 0 0 19 0 19 0 948106005 8752607232 35488 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 46912505841832 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18127/tid=18129] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18129/stat : 18129 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948106006 8752607232 35488 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18130] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18130/stat : 18130 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35488 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18131] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18131/stat : 18131 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35488 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18132] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18132/stat : 18132 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35489 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18133] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18133/stat : 18133 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35493 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18134] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18134/stat : 18134 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35493 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18135] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18135/stat : 18135 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948106006 8752607232 35497 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18136] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18136/stat : 18136 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948106006 8752607232 35501 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18137] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18137/stat : 18137 (java) S 18125 18127 18127 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 948106007 8752607232 35505 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032212480 0 0 0 16800975 18446604461533053888 0 0 -1 7 0 0 0
[pid=18127/tid=18138] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18138/stat : 18138 (java) S 18125 18127 18127 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 948106007 8752607232 35509 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18139] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18139/stat : 18139 (java) S 18125 18127 18127 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 948106007 8752607232 35510 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18140] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18140/stat : 18140 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948106009 8752607232 35514 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032219569 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18141] ppid=18125 vsize=8547468 CPUtime=0.53 cores=1,3,5,7
/proc/18127/task/18141/stat : 18141 (java) S 18125 18127 18127 0 -1 4202560 5159 0 0 0 52 1 0 0 25 0 19 0 948106009 8752607232 35518 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18142] ppid=18125 vsize=8547468 CPUtime=0.47 cores=1,3,5,7
/proc/18127/task/18142/stat : 18142 (java) S 18125 18127 18127 0 -1 4202560 4750 0 0 0 47 0 0 0 16 0 19 0 948106009 8752607232 35522 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18127/tid=18143] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18143/stat : 18143 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948106009 8752607232 35526 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032211865 0 4 0 16800975 18446604461533053888 0 0 -1 1 0 0 0
[pid=18127/tid=18144] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18144/stat : 18144 (java) S 18125 18127 18127 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948106009 8752607232 35530 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032212480 0 4 0 16800975 18446604461533053888 0 0 -1 3 0 0 0
[pid=18127/tid=18145] ppid=18125 vsize=8547468 CPUtime=0 cores=1,3,5,7
/proc/18127/task/18145/stat : 18145 (java) S 18125 18127 18127 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948106060 8752607232 35532 33554432000 1073741824 1073778376 140734592848096 18446744073709551615 260032212480 0 4 0 16800975 18446604461533053888 0 0 -1 5 0 0 0
[pid=18074/tid=18082] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18082/stat : 18082 (python) S 18072 18074 16077 0 -1 4202560 36 1382 0 0 0 0 7 2 18 0 6 0 948077380 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
[pid=18074/tid=18087] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18087/stat : 18087 (python) S 18072 18074 16077 0 -1 4202560 35 1382 0 0 0 0 7 2 18 0 6 0 948082043 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 3 0 0 0
[pid=18074/tid=18092] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18092/stat : 18092 (python) S 18072 18074 16077 0 -1 4202560 32 1382 0 0 0 0 7 2 20 0 6 0 948086892 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 1 0 0 0
[pid=18074/tid=18098] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18098/stat : 18098 (python) S 18072 18074 16077 0 -1 4202560 28 1382 0 0 0 0 7 2 20 0 6 0 948091874 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 1 0 0 0
[pid=18074/tid=18126] ppid=18072 vsize=403356 CPUtime=0.09 cores=1,3,5,7
/proc/18074/task/18126/stat : 18126 (python) S 18072 18074 16077 0 -1 4202560 20 1382 0 0 0 0 7 2 20 0 6 0 948106004 413036544 8065 33554432000 4194304 5683644 140733235995776 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 291.58
Current children cumulated vsize (KiB) 19383868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18074 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=845871
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=190970
# CPU time returned by wait4() is 1.03684
# while last known CPU time is 291.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 288.175
CPU time (s): 291.58
CPU user time (s): 289.26
CPU system time (s): 2.32
CPU usage (%): 101.182
Max. virtual memory (cumulated for all children) (KiB): 19383868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.845871
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17415
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= 8504
involuntary context switches= 28
runsolver used 1.48877 second user time and 3.51147 second system time
The end