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-3481699-1307576714/watcher-3481699-1307576714 -o /tmp/evaluation-result-3481699-1307576714/solver-3481699-1307576714 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481699-1307576714.opb -seed 1582397252 -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.11 1.40 0.62 2/449 11347
/proc/meminfo: memFree=29027236/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/11347/stat : 11347 (python) R 11345 11347 11000 0 -1 4202496 903 0 0 0 0 0 0 0 25 0 1 0 869271239 16150528 783 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278875493 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11347/statm: 3943 783 346 364 0 430 0
[startup+0.111692 s]
/proc/loadavg: 2.11 1.40 0.62 2/449 11347
/proc/meminfo: memFree=29027236/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/11347/stat : 11347 (python) R 11345 11347 11000 0 -1 4202496 3169 930 1 0 7 1 0 0 18 0 1 0 869271239 98430976 2483 33554432000 4194304 5683644 140736307248640 18446744073709551615 5170317 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11347/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200795 s]
/proc/loadavg: 2.11 1.40 0.62 2/449 11347
/proc/meminfo: memFree=29027236/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/11347/stat : 11347 (python) R 11345 11347 11000 0 -1 4202496 5356 930 1 0 12 3 0 0 17 0 1 0 869271239 126709760 3743 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278875653 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11347/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.300763 s]
/proc/loadavg: 2.11 1.40 0.62 2/449 11347
/proc/meminfo: memFree=29027236/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/11347/stat : 11347 (python) R 11345 11347 11000 0 -1 4202496 6696 930 1 0 19 4 0 0 17 0 1 0 869271239 207863808 4978 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278875493 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11347/statm: 50748 4978 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.700732 s]
/proc/loadavg: 2.11 1.40 0.62 2/449 11347
/proc/meminfo: memFree=29027236/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 294612
[startup+1.50044 s]
/proc/loadavg: 2.11 1.40 0.62 3/453 11356
/proc/meminfo: memFree=28964024/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
[pid=11354] ppid=11347 vsize=284368 CPUtime=0 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869271300 291192832 5970 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899727 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/11354/statm: 71092 5970 352 364 0 5979 0
[pid=11356] ppid=11354 vsize=52876 CPUtime=0.88 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) R 11354 11356 11356 0 -1 4202496 11720 0 0 0 83 5 0 0 21 0 1 0 869271300 54145024 10864 33554432000 4194304 13684479 140736218596032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11356/statm: 13219 10864 745 2317 0 10897 0
[pid=11347/tid=11355] ppid=11345 vsize=294612 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869271300 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 631856
[startup+3.10016 s]
/proc/loadavg: 2.11 1.40 0.62 3/453 11356
/proc/meminfo: memFree=28958320/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
[pid=11354] ppid=11347 vsize=284368 CPUtime=0 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869271300 291192832 5970 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899727 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/11354/statm: 71092 5970 352 364 0 5979 0
[pid=11356] ppid=11354 vsize=52876 CPUtime=2.47 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) R 11354 11356 11356 0 -1 4202496 11742 0 0 0 241 6 0 0 25 0 1 0 869271300 54145024 10886 33554432000 4194304 13684479 140736218596032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11356/statm: 13219 10886 746 2317 0 10897 0
[pid=11347/tid=11355] ppid=11345 vsize=294612 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869271300 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 631856
[startup+6.3007 s]
/proc/loadavg: 2.18 1.43 0.64 3/453 11356
/proc/meminfo: memFree=28950780/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
[pid=11354] ppid=11347 vsize=284624 CPUtime=0 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 890 0 0 0 0 0 0 0 15 0 1 0 869271300 291454976 5999 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899727 0 0 16781312 33554946 1325281767715766272 0 0 17 2 0 0 0
/proc/11354/statm: 71156 5999 378 364 0 6043 0
[pid=11356] ppid=11354 vsize=75500 CPUtime=5.68 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) R 11354 11356 11356 0 -1 4202496 17644 0 0 0 558 10 0 0 25 0 1 0 869271300 77312000 16523 33554432000 4194304 13684479 140736218596032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11356/statm: 18875 16523 860 2317 0 16553 0
[pid=11347/tid=11355] ppid=11345 vsize=294612 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869271300 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 654736
[startup+12.7005 s]
/proc/loadavg: 2.17 1.44 0.64 3/453 11356
/proc/meminfo: memFree=28897888/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
[pid=11354] ppid=11347 vsize=284624 CPUtime=0.02 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 897 0 0 0 1 1 0 0 15 0 1 0 869271300 291454976 5999 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899727 0 0 16781312 33554946 117547478160506880 0 0 17 6 0 0 0
/proc/11354/statm: 71156 5999 378 364 0 6043 0
[pid=11356] ppid=11354 vsize=117976 CPUtime=12.08 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) R 11354 11356 11356 0 -1 4202496 30352 0 0 0 1193 15 0 0 25 0 1 0 869271300 120807424 26563 33554432000 4194304 13684479 140736218596032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11356/statm: 29494 26563 824 2317 0 27172 0
[pid=11347/tid=11355] ppid=11345 vsize=294612 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869271300 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 697212
[startup+25.5013 s]
/proc/loadavg: 2.13 1.46 0.66 3/453 11356
/proc/meminfo: memFree=28843692/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=294612 CPUtime=0.52 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 9986 930 1 0 45 7 0 0 19 0 2 0 869271239 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11347/statm: 73653 7492 1870 364 0 8540 0
[pid=11354] ppid=11347 vsize=284624 CPUtime=0.08 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 907 0 0 0 4 4 0 0 15 0 1 0 869271300 291454976 5999 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899727 0 0 16781312 33554946 2332759345919426560 0 0 17 6 0 0 0
/proc/11354/statm: 71156 5999 378 364 0 6043 0
[pid=11356] ppid=11354 vsize=177204 CPUtime=24.88 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) R 11354 11356 11356 0 -1 4202496 48449 0 0 0 2464 24 0 0 18 0 1 0 869271300 181456896 40734 33554432000 4194304 13684479 140736218596032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11356/statm: 44301 40734 963 2317 0 41979 0
[pid=11347/tid=11355] ppid=11345 vsize=294612 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869271300 301682688 7492 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 756440
[startup+51.1017 s]
/proc/loadavg: 2.16 1.52 0.70 3/475 11437
/proc/meminfo: memFree=28782280/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=305372 CPUtime=0.54 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 10856 930 1 0 47 7 0 0 20 0 3 0 869271239 312700928 7625 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/11347/statm: 76343 7625 1873 364 0 11227 0
[pid=11354] ppid=11347 vsize=294868 CPUtime=0.18 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 1077 0 0 0 9 9 0 0 16 0 2 0 869271300 301944832 6034 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11354/statm: 73717 6034 408 364 0 8604 0
[pid=11356] ppid=11354 vsize=233468 CPUtime=48.13 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) T 11354 11356 11356 0 -1 4202496 77006 0 0 0 4772 41 0 0 25 0 1 0 869271300 239071232 53671 33554432000 4194304 13684479 140736218596032 18446744073709551615 7361400 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11356/statm: 58367 53671 1125 2317 0 56045 0
[pid=11354/tid=11416] ppid=11347 vsize=294868 CPUtime=0 cores=0,2,4,6
/proc/11354/task/11416/stat : 11416 (python) S 11347 11347 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869276114 301944832 6034 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453912540992 0 0 -1 6 0 0 0
[pid=11417] ppid=11347 vsize=295128 CPUtime=0 cores=0,2,4,6
/proc/11417/stat : 11417 (python) S 11347 11347 11000 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869276117 302211072 6097 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899782 0 0 16781312 33554946 7882190128410493185 0 0 17 2 0 0 0
/proc/11417/statm: 73782 6097 349 364 0 8666 0
[pid=11419] ppid=11417 vsize=8536868 CPUtime=2.91 cores=0,2,4,6
/proc/11419/stat : 11419 (java) S 11417 11419 11419 0 -1 4202496 14214 0 1 0 287 4 0 0 21 0 19 0 869276117 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11419/statm: 2134217 11945 2224 9 0 2124958 0
[pid=11419/tid=11420] ppid=11417 vsize=8536868 CPUtime=2.3 cores=0,2,4,6
/proc/11419/task/11420/stat : 11420 (java) R 11417 11419 11419 0 -1 4202560 7991 0 1 0 228 2 0 0 25 0 19 0 869276117 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 46912505805832 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11419/tid=11421] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11421/stat : 11421 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11422] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11422/stat : 11422 (java) S 11417 11419 11419 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11423] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11423/stat : 11423 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11424] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11424/stat : 11424 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11425] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11425/stat : 11425 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11426] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11426/stat : 11426 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11427] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11427/stat : 11427 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11428] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11428/stat : 11428 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276118 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11429] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11429/stat : 11429 (java) S 11417 11419 11419 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869276119 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290696192 0 0 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11430] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11430/stat : 11430 (java) S 11417 11419 11419 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869276119 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11431] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11431/stat : 11431 (java) S 11417 11419 11419 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869276119 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11432] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11432/stat : 11432 (java) S 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276121 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290703281 0 4 0 16800975 18446604442907939776 0 0 -1 2 0 0 0
[pid=11419/tid=11433] ppid=11417 vsize=8536868 CPUtime=0.32 cores=0,2,4,6
/proc/11419/task/11433/stat : 11433 (java) S 11417 11419 11419 0 -1 4202560 2589 0 0 0 32 0 0 0 25 0 19 0 869276121 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 6 0 0 0
[pid=11419/tid=11434] ppid=11417 vsize=8536868 CPUtime=0.26 cores=0,2,4,6
/proc/11419/task/11434/stat : 11434 (java) S 11417 11419 11419 0 -1 4202560 2232 0 0 0 26 0 0 0 17 0 19 0 869276121 8741752832 11945 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446604442907939776 0 0 -1 4 0 0 0
[pid=11419/tid=11435] ppid=11417 vsize=8536868 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=11483/tid=11495] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11495/stat : 11495 (java) S 11481 11483 11483 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869290578 8738373632 7009 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11496] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11496/stat : 11496 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290580 8738373632 7009 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290703281 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11497] ppid=11481 vsize=8533568 CPUtime=0.07 cores=0,2,4,6
/proc/11483/task/11497/stat : 11497 (java) R 11481 11483 11483 0 -1 4202560 765 0 0 0 7 0 0 0 25 0 18 0 869290580 8738373632 7010 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11483/tid=11498] ppid=11481 vsize=8533568 CPUtime=0.08 cores=0,2,4,6
/proc/11483/task/11498/stat : 11498 (java) R 11481 11483 11483 0 -1 4202560 1181 0 0 0 8 0 0 0 25 0 18 0 869290580 8738373632 7010 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 47790795648559 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11483/tid=11499] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11499/stat : 11499 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290580 8738373632 7011 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11500] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11500/stat : 11500 (java) R 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869290581 8738373632 7011 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11347/tid=11355] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 6 0 869271300 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
[pid=11347/tid=11418] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11418/stat : 11418 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 869276117 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 4 0 0 0
[pid=11347/tid=11463] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11463/stat : 11463 (python) S 11345 11347 11000 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869280916 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 6 0 0 0
[pid=11347/tid=11472] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11472/stat : 11472 (python) S 11345 11347 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869285655 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 4 0 0 0
[pid=11347/tid=11482] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11482/stat : 11482 (python) S 11345 11347 11000 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869290575 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 195.15
Current children cumulated vsize (KiB) 19365464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+193.601 s]
/proc/loadavg: 2.46 1.81 0.92 6/534 11500
/proc/meminfo: memFree=28388532/32950904 swapFree=56615552/67111528
[pid=11347] ppid=11345 vsize=336544 CPUtime=0.63 cores=0,2,4,6
/proc/11347/stat : 11347 (python) S 11345 11347 11000 0 -1 4202496 13709 930 1 0 55 8 0 0 20 0 6 0 869271239 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/11347/statm: 84136 7744 1879 364 0 19011 0
[pid=11354] ppid=11347 vsize=294868 CPUtime=0.18 cores=0,2,4,6
/proc/11354/stat : 11354 (python) S 11347 11347 11000 0 -1 4202560 1077 0 0 0 9 9 0 0 16 0 2 0 869271300 301944832 6034 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11354/statm: 73717 6034 408 364 0 8604 0
[pid=11356] ppid=11354 vsize=233468 CPUtime=48.13 cores=0,2,4,6
/proc/11356/stat : 11356 (scip-2.0.1.linu) T 11354 11356 11356 0 -1 4202496 77006 0 0 0 4772 41 0 0 25 0 1 0 869271300 239071232 53671 33554432000 4194304 13684479 140736218596032 18446744073709551615 7361400 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11356/statm: 58367 53671 1125 2317 0 56045 0
[pid=11354/tid=11416] ppid=11347 vsize=294868 CPUtime=0 cores=0,2,4,6
/proc/11354/task/11416/stat : 11416 (python) S 11347 11347 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869276114 301944832 6034 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453912540992 0 0 -1 6 0 0 0
[pid=11417] ppid=11347 vsize=295128 CPUtime=0.17 cores=0,2,4,6
/proc/11417/stat : 11417 (python) S 11347 11347 11000 0 -1 4202560 1172 0 0 0 8 9 0 0 16 0 2 0 869276117 302211072 6152 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11417/statm: 73782 6152 403 364 0 8666 0
[pid=11419] ppid=11417 vsize=8536192 CPUtime=48.76 cores=0,2,4,6
/proc/11419/stat : 11419 (java) T 11417 11419 11419 0 -1 4202496 17180 0 1 0 4871 5 0 0 18 0 19 0 869276117 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11419/statm: 2134048 14200 2253 9 0 2124789 0
[pid=11419/tid=11420] ppid=11417 vsize=8536192 CPUtime=47.73 cores=0,2,4,6
/proc/11419/task/11420/stat : 11420 (java) T 11417 11419 11419 0 -1 4202560 8044 0 1 0 4770 3 0 0 25 0 19 0 869276117 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11421] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11421/stat : 11421 (java) T 11417 11419 11419 0 -1 4202560 287 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11419/tid=11422] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11422/stat : 11422 (java) T 11417 11419 11419 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11419/tid=11423] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11423/stat : 11423 (java) T 11417 11419 11419 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11419/tid=11424] ppid=11417 vsize=8536192 CPUtime=0.01 cores=0,2,4,6
/proc/11419/task/11424/stat : 11424 (java) T 11417 11419 11419 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 47848610079906 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11419/tid=11425] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11425/stat : 11425 (java) T 11417 11419 11419 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11419/tid=11426] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11426/stat : 11426 (java) T 11417 11419 11419 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11419/tid=11427] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11427/stat : 11427 (java) T 11417 11419 11419 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11419/tid=11428] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11428/stat : 11428 (java) T 11417 11419 11419 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 869276118 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11429] ppid=11417 vsize=8536192 CPUtime=0.13 cores=0,2,4,6
/proc/11419/task/11429/stat : 11429 (java) T 11417 11419 11419 0 -1 4202560 1344 0 0 0 13 0 0 0 15 0 19 0 869276119 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11430] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11430/stat : 11430 (java) T 11417 11419 11419 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869276119 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11431] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11431/stat : 11431 (java) T 11417 11419 11419 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869276119 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11432] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11432/stat : 11432 (java) T 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276121 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11433] ppid=11417 vsize=8536192 CPUtime=0.35 cores=0,2,4,6
/proc/11419/task/11433/stat : 11433 (java) T 11417 11419 11419 0 -1 4202560 2595 0 0 0 35 0 0 0 15 0 19 0 869276121 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11419/tid=11434] ppid=11417 vsize=8536192 CPUtime=0.45 cores=0,2,4,6
/proc/11419/task/11434/stat : 11434 (java) T 11417 11419 11419 0 -1 4202560 2811 0 0 0 45 0 0 0 15 0 19 0 869276121 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11419/tid=11435] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11435/stat : 11435 (java) T 11417 11419 11419 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276121 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11419/tid=11436] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11436/stat : 11436 (java) T 11417 11419 11419 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869276121 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11419/tid=11437] ppid=11417 vsize=8536192 CPUtime=0 cores=0,2,4,6
/proc/11419/task/11437/stat : 11437 (java) T 11417 11419 11419 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869276156 8741060608 14200 33554432000 1073741824 1073778376 140734358889840 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11417/tid=11461] ppid=11347 vsize=295128 CPUtime=0 cores=0,2,4,6
/proc/11417/task/11461/stat : 11461 (python) S 11347 11347 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869280913 302211072 6152 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554946 18446604442984923392 0 0 -1 6 0 0 0
[pid=11462] ppid=11347 vsize=305384 CPUtime=0.19 cores=0,2,4,6
/proc/11462/stat : 11462 (python) S 11347 11347 11000 0 -1 4202560 1177 0 0 0 10 9 0 0 16 0 2 0 869280916 312713216 6156 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11462/statm: 76346 6156 403 364 0 11227 0
[pid=11464] ppid=11462 vsize=135064 CPUtime=47.34 cores=0,2,4,6
/proc/11464/stat : 11464 (scip-2.0.1.linu) T 11462 11464 11464 0 -1 4202496 41232 0 0 0 4714 20 0 0 19 0 1 0 869280916 138305536 28962 33554432000 4194304 15243407 140734095263856 18446744073709551615 8113497 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/11464/statm: 33766 28962 919 2698 0 31061 0
[pid=11462/tid=11470] ppid=11347 vsize=305384 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11470/stat : 11470 (python) S 11347 11347 11000 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869285652 312713216 6156 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554946 18446604452351907072 0 0 -1 6 0 0 0
[pid=11471] ppid=11347 vsize=315788 CPUtime=0.19 cores=0,2,4,6
/proc/11471/stat : 11471 (python) S 11347 11347 11000 0 -1 4202560 1136 0 0 0 10 9 0 0 16 0 2 0 869285655 323366912 6191 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11471/statm: 78947 6191 397 364 0 13825 0
[pid=11473] ppid=11471 vsize=53160 CPUtime=49.16 cores=0,2,4,6
/proc/11473/stat : 11473 (wbo1.4a) T 11471 11473 11473 0 -1 4202496 21129 0 0 0 4893 23 0 0 25 0 1 0 869285655 54435840 12836 33554432000 134512640 135751879 4291066928 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/11473/statm: 13290 12836 146 303 0 12985 0
[pid=11471/tid=11480] ppid=11347 vsize=315788 CPUtime=0 cores=0,2,4,6
/proc/11471/task/11480/stat : 11480 (python) S 11347 11347 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869290572 323366912 6191 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554946 18446604443634238592 0 0 -1 6 0 0 0
[pid=11481] ppid=11347 vsize=326300 CPUtime=0 cores=0,2,4,6
/proc/11481/stat : 11481 (python) S 11347 11347 11000 0 -1 4202560 800 0 0 0 0 0 0 0 18 0 1 0 869290575 334131200 6210 33554432000 4194304 5683644 140736307248640 18446744073709551615 237278899782 0 0 16781312 33554946 3707143859822657536 0 0 17 4 0 0 0
/proc/11481/statm: 81575 6210 349 364 0 16450 0
[pid=11483] ppid=11481 vsize=8533568 CPUtime=0.4 cores=0,2,4,6
/proc/11483/stat : 11483 (java) S 11481 11483 11483 0 -1 4202496 8008 0 1 0 39 1 0 0 20 0 18 0 869290575 8738373632 6903 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11483/statm: 2133392 6903 2189 9 0 2124133 0
[pid=11483/tid=11484] ppid=11481 vsize=8533568 CPUtime=0.25 cores=0,2,4,6
/proc/11483/task/11484/stat : 11484 (java) R 11481 11483 11483 0 -1 4202560 4771 0 1 0 24 1 0 0 25 0 18 0 869290576 8738373632 7005 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 46912505544667 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11483/tid=11485] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11485/stat : 11485 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869290577 8738373632 7005 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11486] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11486/stat : 11486 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869290577 8738373632 7006 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11487] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11487/stat : 11487 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869290577 8738373632 7006 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11488] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11488/stat : 11488 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290577 8738373632 7006 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11489] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11489/stat : 11489 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290577 8738373632 7007 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11490] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11490/stat : 11490 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290577 8738373632 7007 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11491] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11491/stat : 11491 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290577 8738373632 7007 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11492] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11492/stat : 11492 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290577 8738373632 7008 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11493] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11493/stat : 11493 (java) S 11481 11483 11483 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869290578 8738373632 7008 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290696192 0 0 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11494] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11494/stat : 11494 (java) S 11481 11483 11483 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869290578 8738373632 7009 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11495] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11495/stat : 11495 (java) S 11481 11483 11483 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869290578 8738373632 7009 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11496] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11496/stat : 11496 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290580 8738373632 7009 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290703281 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11497] ppid=11481 vsize=8533568 CPUtime=0.07 cores=0,2,4,6
/proc/11483/task/11497/stat : 11497 (java) R 11481 11483 11483 0 -1 4202560 765 0 0 0 7 0 0 0 25 0 18 0 869290580 8738373632 7010 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11483/tid=11498] ppid=11481 vsize=8533568 CPUtime=0.08 cores=0,2,4,6
/proc/11483/task/11498/stat : 11498 (java) R 11481 11483 11483 0 -1 4202560 1181 0 0 0 8 0 0 0 25 0 18 0 869290580 8738373632 7010 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 47790795648559 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11483/tid=11499] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11499/stat : 11499 (java) S 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869290580 8738373632 7011 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290695577 0 4 0 16800975 18446604453922484352 0 0 -1 2 0 0 0
[pid=11483/tid=11500] ppid=11481 vsize=8533568 CPUtime=0 cores=0,2,4,6
/proc/11483/task/11500/stat : 11500 (java) R 11481 11483 11483 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869290581 8738373632 7011 33554432000 1073741824 1073778376 140734183871840 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11347/tid=11355] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11355/stat : 11355 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 6 0 869271300 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 2 0 0 0
[pid=11347/tid=11418] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11418/stat : 11418 (python) S 11345 11347 11000 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 869276117 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 4 0 0 0
[pid=11347/tid=11463] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11463/stat : 11463 (python) S 11345 11347 11000 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869280916 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 6 0 0 0
[pid=11347/tid=11472] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11472/stat : 11472 (python) S 11345 11347 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869285655 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 4 0 0 0
[pid=11347/tid=11482] ppid=11345 vsize=336544 CPUtime=0 cores=0,2,4,6
/proc/11347/task/11482/stat : 11482 (python) S 11345 11347 11000 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869290575 344621056 7744 33554432000 4194304 5683644 140736307248640 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446523417664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 195.15
Current children cumulated vsize (KiB) 19365464
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11347 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=551916
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=87986
# CPU time returned by wait4() is 0.639902
# while last known CPU time is 195.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.676
CPU time (s): 195.15
CPU user time (s): 193.81
CPU system time (s): 1.34
CPU usage (%): 100.761
Max. virtual memory (cumulated for all children) (KiB): 19366420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.551916
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14641
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= 1009
involuntary context switches= 18
runsolver used 1.06684 second user time and 1.9727 second system time
The end