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-3481760-1307576877/watcher-3481760-1307576877 -o /tmp/evaluation-result-3481760-1307576877/solver-3481760-1307576877 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481760-1307576877.opb -seed 1319652202 -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.05 1.71 0.86 2/608 19880
/proc/meminfo: memFree=26372288/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=15912 CPUtime=0 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 944 0 0 0 0 0 0 0 18 0 1 0 869284499 16293888 821 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/19880/statm: 3978 821 357 364 0 465 0
[startup+0.084576 s]
/proc/loadavg: 2.05 1.71 0.86 2/608 19880
/proc/meminfo: memFree=26372288/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=50016 CPUtime=0.04 cores=1,3,5,7
/proc/19880/stat : 19880 (python) R 19878 19880 19061 0 -1 4202496 1969 0 0 0 3 1 0 0 17 0 1 0 869284499 51216384 1732 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19880/statm: 12504 1732 480 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50016
[startup+0.10057 s]
/proc/loadavg: 2.05 1.71 0.86 2/608 19880
/proc/meminfo: memFree=26372288/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=85368 CPUtime=0.05 cores=1,3,5,7
/proc/19880/stat : 19880 (python) R 19878 19880 19061 0 -1 4202496 2595 0 0 0 4 1 0 0 17 0 1 0 869284499 87416832 2317 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19880/statm: 21342 2317 715 364 0 1559 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85368
[startup+0.300515 s]
/proc/loadavg: 2.05 1.71 0.86 2/608 19880
/proc/meminfo: memFree=26372288/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 5357 931 1 0 11 6 0 0 16 0 1 0 869284499 126713856 3744 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500687877 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/19880/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.70045 s]
/proc/loadavg: 2.05 1.71 0.86 2/608 19880
/proc/meminfo: memFree=26372288/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=283476 CPUtime=0.43 cores=1,3,5,7
/proc/19880/stat : 19880 (python) R 19878 19880 19061 0 -1 4202496 9347 931 1 0 33 10 0 0 15 0 1 0 869284499 290279424 7209 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500378304 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19880/statm: 70869 7209 1781 364 0 5762 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283476
[startup+1.50129 s]
/proc/loadavg: 2.05 1.71 0.86 3/612 19888
/proc/meminfo: memFree=26310132/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=294344 CPUtime=0.52 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 9946 931 1 0 42 10 0 0 18 0 2 0 869284499 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 73586 7455 1870 364 0 8473 0
[pid=19886] ppid=19880 vsize=284100 CPUtime=0 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869284579 290918400 5933 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500711951 0 0 16781312 33554946 147692234408460288 0 0 17 5 0 0 0
/proc/19886/statm: 71025 5933 352 364 0 5912 0
[pid=19888] ppid=19886 vsize=51648 CPUtime=0.69 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) R 19886 19888 19888 0 -1 4202496 11420 0 0 0 64 5 0 0 21 0 1 0 869284579 52887552 10625 33554432000 4194304 13684479 140735014572416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19888/statm: 12912 10625 757 2317 0 10590 0
[pid=19880/tid=19887] ppid=19878 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869284579 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 630092
[startup+3.10096 s]
/proc/loadavg: 2.05 1.71 0.86 4/612 19888
/proc/meminfo: memFree=26304180/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=294344 CPUtime=0.52 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 9946 931 1 0 42 10 0 0 18 0 2 0 869284499 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 73586 7455 1870 364 0 8473 0
[pid=19886] ppid=19880 vsize=284100 CPUtime=0 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 869284579 290918400 5933 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500711951 0 0 16781312 33554946 2770535161853378560 0 0 17 5 0 0 0
/proc/19886/statm: 71025 5933 352 364 0 5912 0
[pid=19888] ppid=19886 vsize=53748 CPUtime=2.28 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) R 19886 19888 19888 0 -1 4202496 12023 0 0 0 216 12 0 0 25 0 1 0 869284579 55037952 11223 33554432000 4194304 13684479 140735014572416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19888/statm: 13437 11223 777 2317 0 11115 0
[pid=19880/tid=19887] ppid=19878 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869284579 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 632192
[startup+6.30032 s]
/proc/loadavg: 2.13 1.73 0.87 4/633 19909
/proc/meminfo: memFree=26281160/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=294344 CPUtime=0.52 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 9946 931 1 0 42 10 0 0 18 0 2 0 869284499 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 73586 7455 1870 364 0 8473 0
[pid=19886] ppid=19880 vsize=284100 CPUtime=0.03 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 918 0 0 0 2 1 0 0 15 0 1 0 869284579 290918400 5957 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500711951 0 0 16781312 33554946 2716432124545597440 0 0 17 5 0 0 0
/proc/19886/statm: 71025 5957 376 364 0 5912 0
[pid=19888] ppid=19886 vsize=64308 CPUtime=5.47 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) R 19886 19888 19888 0 -1 4202496 15761 0 0 0 525 22 0 0 21 0 1 0 869284579 65851392 13802 33554432000 4194304 13684479 140735014572416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19888/statm: 16077 13802 810 2317 0 13755 0
[pid=19880/tid=19887] ppid=19878 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869284579 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 642752
[startup+12.701 s]
/proc/loadavg: 2.20 1.75 0.88 3/612 19983
/proc/meminfo: memFree=26349016/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=294344 CPUtime=0.52 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 9946 931 1 0 42 10 0 0 18 0 2 0 869284499 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 73586 7455 1870 364 0 8473 0
[pid=19886] ppid=19880 vsize=284100 CPUtime=0.09 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 933 0 0 0 5 4 0 0 15 0 1 0 869284579 290918400 5957 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500711951 0 0 16781312 33554946 5623606151888251710 0 0 17 5 0 0 0
/proc/19886/statm: 71025 5957 376 364 0 5912 0
[pid=19888] ppid=19886 vsize=68136 CPUtime=11.86 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) R 19886 19888 19888 0 -1 4202496 18143 0 0 0 1144 42 0 0 25 0 1 0 869284579 69771264 14829 33554432000 4194304 13684479 140735014572416 18446744073709551615 7268178 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/19888/statm: 17034 14829 804 2317 0 14712 0
[pid=19880/tid=19887] ppid=19878 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869284579 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 646580
[startup+25.5005 s]
/proc/loadavg: 2.29 1.79 0.91 3/612 19983
/proc/meminfo: memFree=26316836/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=294344 CPUtime=0.52 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 9946 931 1 0 42 10 0 0 18 0 2 0 869284499 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 73586 7455 1870 364 0 8473 0
[pid=19886] ppid=19880 vsize=284100 CPUtime=0.13 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 936 0 0 0 7 6 0 0 15 0 1 0 869284579 290918400 5957 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500711951 0 0 16781312 33554946 5623606151888251710 0 0 17 5 0 0 0
/proc/19886/statm: 71025 5957 376 364 0 5912 0
[pid=19888] ppid=19886 vsize=68136 CPUtime=24.64 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) R 19886 19888 19888 0 -1 4202496 18149 0 0 0 2407 57 0 0 25 0 1 0 869284579 69771264 14831 33554432000 4194304 13684479 140735014572416 18446744073709551615 7416106 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19888/statm: 17034 14831 801 2317 0 14712 0
[pid=19880/tid=19887] ppid=19878 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869284579 301408256 7455 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 646580
[startup+51.1004 s]
/proc/loadavg: 2.19 1.81 0.94 3/612 19984
/proc/meminfo: memFree=26297460/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=305228 CPUtime=0.55 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 10830 931 1 0 45 10 0 0 20 0 3 0 869284499 312553472 7588 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/19880/statm: 76307 7588 1873 364 0 11191 0
[pid=19886] ppid=19880 vsize=294344 CPUtime=0.26 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 1103 0 0 0 13 13 0 0 16 0 2 0 869284579 301408256 5993 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19886/statm: 73586 5993 407 364 0 8473 0
[pid=19888] ppid=19886 vsize=85676 CPUtime=49.88 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) T 19886 19888 19888 0 -1 4202496 22127 0 0 0 4895 93 0 0 25 0 1 0 869284579 87732224 18807 33554432000 4194304 13684479 140735014572416 18446744073709551615 7387833 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19888/statm: 21419 18807 822 2317 0 19097 0
[pid=19880/tid=19887] ppid=19878 vsize=305228 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869284579 312553472 7588 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 685248
[startup+102.321 s]
/proc/loadavg: 2.08 1.83 0.99 3/660 20033
/proc/meminfo: memFree=25966644/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=315484 CPUtime=0.58 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 11760 931 1 0 47 11 0 0 20 0 4 0 869284499 323055616 7594 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19880/statm: 78871 7594 1875 364 0 13752 0
[pid=19886] ppid=19880 vsize=294344 CPUtime=0.26 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 1103 0 0 0 13 13 0 0 16 0 2 0 869284579 301408256 5993 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19886/statm: 73586 5993 407 364 0 8473 0
[pid=19888] ppid=19886 vsize=85676 CPUtime=49.88 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) T 19886 19888 19888 0 -1 4202496 22127 0 0 0 4895 93 0 0 25 0 1 0 869284579 87732224 18807 33554432000 4194304 13684479 140735014572416 18446744073709551615 7387833 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19888/statm: 21419 18807 822 2317 0 19097 0
[pid=19886/tid=19985] ppid=19880 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19886/task/19985/stat : 19985 (python) S 19880 19880 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869289573 301408256 5993 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018163520 0 0 -1 7 0 0 0
[pid=19986] ppid=19880 vsize=294984 CPUtime=0.24 cores=1,3,5,7
/proc/19986/stat : 19986 (python) S 19880 19880 19061 0 -1 4202560 1108 0 0 0 12 12 0 0 16 0 2 0 869289576 302063616 6109 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19986/statm: 73746 6109 397 364 0 8630 0
[pid=19988] ppid=19986 vsize=8539464 CPUtime=48.35 cores=1,3,5,7
/proc/19988/stat : 19988 (java) T 19986 19988 19988 0 -1 4202496 28632 0 1 0 4832 3 0 0 18 0 19 0 869289576 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19988/statm: 2134866 26114 2254 9 0 2125607 0
[pid=19988/tid=19989] ppid=19986 vsize=8539464 CPUtime=46.94 cores=1,3,5,7
/proc/19988/task/19989/stat : 19989 (java) T 19986 19988 19988 0 -1 4202560 9875 0 1 0 4693 1 0 0 25 0 19 0 869289576 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 46912505697192 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19988/tid=19990] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19990/stat : 19990 (java) T 19986 19988 19988 0 -1 4202560 781 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19991] ppid=19986 vsize=8539464 CPUtime=0.03 cores=1,3,5,7
/proc/19988/task/19991/stat : 19991 (java) T 19986 19988 19988 0 -1 4202560 1479 0 0 0 3 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19988/tid=19992] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19992/stat : 19992 (java) T 19986 19988 19988 0 -1 4202560 671 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=19993] ppid=19986 vsize=8539464 CPUtime=0.01 cores=1,3,5,7
/proc/19988/task/19993/stat : 19993 (java) T 19986 19988 19988 0 -1 4202560 1395 0 0 0 1 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19994] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19994/stat : 19994 (java) T 19986 19988 19988 0 -1 4202560 1048 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19995] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19995/stat : 19995 (java) T 19986 19988 19988 0 -1 4202560 1276 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/20033/stat : 20033 (scip-2.0.1.linu) T 20031 20033 20033 0 -1 4202496 82266 0 0 0 4846 51 0 0 25 0 1 0 869294317 70410240 14121 33554432000 4194304 15243407 140736906619488 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/20033/statm: 17190 14121 947 2698 0 14485 0
[pid=20031/tid=20039] ppid=19880 vsize=305240 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (python) S 19880 19880 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869299215 312565760 6113 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604459391697920 0 0 -1 7 0 0 0
[pid=20040] ppid=19880 vsize=315496 CPUtime=0.1 cores=1,3,5,7
/proc/20040/stat : 20040 (python) S 19880 19880 19061 0 -1 4202560 955 0 0 0 6 4 0 0 15 0 1 0 869299218 323067904 6092 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500712006 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/20040/statm: 78874 6092 373 364 0 13752 0
[pid=20042] ppid=20040 vsize=38884 CPUtime=15.04 cores=1,3,5,7
/proc/20042/stat : 20042 (wbo1.4a) R 20040 20042 20042 0 -1 4202496 11030 0 0 0 1466 38 0 0 25 0 1 0 869299218 39817216 9264 33554432000 134512640 135751879 4290276224 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/20042/statm: 9721 9264 146 303 0 9416 0
[pid=19880/tid=19887] ppid=19878 vsize=325740 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 5 0 869284579 333557760 7600 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
[pid=19880/tid=19987] ppid=19878 vsize=325740 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19987/stat : 19987 (python) S 19878 19880 19061 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 5 0 869289576 333557760 7600 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 3 0 0 0
[pid=19880/tid=20032] ppid=19878 vsize=325740 CPUtime=0 cores=1,3,5,7
/proc/19880/task/20032/stat : 20032 (python) S 19878 19880 19061 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 869294317 333557760 7600 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 7 0 0 0
[pid=19880/tid=20041] ppid=19878 vsize=325740 CPUtime=0 cores=1,3,5,7
/proc/19880/task/20041/stat : 20041 (python) S 19878 19880 19061 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 5 0 869299218 333557760 7600 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 163.68
Current children cumulated vsize (KiB) 10268588
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+196.801 s]
/proc/loadavg: 2.13 1.92 1.10 5/689 20065
/proc/meminfo: memFree=25766176/32950928 swapFree=26914392/67111528
[pid=19880] ppid=19878 vsize=335996 CPUtime=0.63 cores=1,3,5,7
/proc/19880/stat : 19880 (python) S 19878 19880 19061 0 -1 4202496 13612 931 1 0 52 11 0 0 20 0 6 0 869284499 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19880/statm: 83999 7606 1879 364 0 18874 0
[pid=19886] ppid=19880 vsize=294344 CPUtime=0.26 cores=1,3,5,7
/proc/19886/stat : 19886 (python) S 19880 19880 19061 0 -1 4202560 1103 0 0 0 13 13 0 0 16 0 2 0 869284579 301408256 5993 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19886/statm: 73586 5993 407 364 0 8473 0
[pid=19888] ppid=19886 vsize=85676 CPUtime=49.88 cores=1,3,5,7
/proc/19888/stat : 19888 (scip-2.0.1.linu) T 19886 19888 19888 0 -1 4202496 22127 0 0 0 4895 93 0 0 25 0 1 0 869284579 87732224 18807 33554432000 4194304 13684479 140735014572416 18446744073709551615 7387833 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19888/statm: 21419 18807 822 2317 0 19097 0
[pid=19886/tid=19985] ppid=19880 vsize=294344 CPUtime=0 cores=1,3,5,7
/proc/19886/task/19985/stat : 19985 (python) S 19880 19880 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869289573 301408256 5993 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018163520 0 0 -1 7 0 0 0
[pid=19986] ppid=19880 vsize=294984 CPUtime=0.24 cores=1,3,5,7
/proc/19986/stat : 19986 (python) S 19880 19880 19061 0 -1 4202560 1108 0 0 0 12 12 0 0 16 0 2 0 869289576 302063616 6109 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19986/statm: 73746 6109 397 364 0 8630 0
[pid=19988] ppid=19986 vsize=8539464 CPUtime=48.35 cores=1,3,5,7
/proc/19988/stat : 19988 (java) T 19986 19988 19988 0 -1 4202496 28632 0 1 0 4832 3 0 0 18 0 19 0 869289576 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19988/statm: 2134866 26114 2254 9 0 2125607 0
[pid=19988/tid=19989] ppid=19986 vsize=8539464 CPUtime=46.94 cores=1,3,5,7
/proc/19988/task/19989/stat : 19989 (java) T 19986 19988 19988 0 -1 4202560 9875 0 1 0 4693 1 0 0 25 0 19 0 869289576 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 46912505697192 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19988/tid=19990] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19990/stat : 19990 (java) T 19986 19988 19988 0 -1 4202560 781 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19991] ppid=19986 vsize=8539464 CPUtime=0.03 cores=1,3,5,7
/proc/19988/task/19991/stat : 19991 (java) T 19986 19988 19988 0 -1 4202560 1479 0 0 0 3 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19988/tid=19992] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19992/stat : 19992 (java) T 19986 19988 19988 0 -1 4202560 671 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=19993] ppid=19986 vsize=8539464 CPUtime=0.01 cores=1,3,5,7
/proc/19988/task/19993/stat : 19993 (java) T 19986 19988 19988 0 -1 4202560 1395 0 0 0 1 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19994] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19994/stat : 19994 (java) T 19986 19988 19988 0 -1 4202560 1048 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19995] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19995/stat : 19995 (java) T 19986 19988 19988 0 -1 4202560 1276 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=19996] ppid=19986 vsize=8539464 CPUtime=0.02 cores=1,3,5,7
/proc/19988/task/19996/stat : 19996 (java) T 19986 19988 19988 0 -1 4202560 416 0 0 0 2 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=19997] ppid=19986 vsize=8539464 CPUtime=0.01 cores=1,3,5,7
/proc/19988/task/19997/stat : 19997 (java) T 19986 19988 19988 0 -1 4202560 107 0 0 0 1 0 0 0 15 0 19 0 869289577 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19988/tid=19998] ppid=19986 vsize=8539464 CPUtime=0.33 cores=1,3,5,7
/proc/19988/task/19998/stat : 19998 (java) T 19986 19988 19988 0 -1 4202560 5065 0 0 0 33 0 0 0 15 0 19 0 869289578 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19988/tid=19999] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/19999/stat : 19999 (java) T 19986 19988 19988 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869289578 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19988/tid=20000] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/20000/stat : 20000 (java) T 19986 19988 19988 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869289578 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=20001] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/20001/stat : 20001 (java) T 19986 19988 19988 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869289580 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=20002] ppid=19986 vsize=8539464 CPUtime=0.42 cores=1,3,5,7
/proc/19988/task/20002/stat : 20002 (java) T 19986 19988 19988 0 -1 4202560 2465 0 0 0 42 0 0 0 15 0 19 0 869289580 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19988/tid=20003] ppid=19986 vsize=8539464 CPUtime=0.43 cores=1,3,5,7
/proc/19988/task/20003/stat : 20003 (java) T 19986 19988 19988 0 -1 4202560 2661 0 0 0 43 0 0 0 15 0 19 0 869289580 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=20004] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/20004/stat : 20004 (java) T 19986 19988 19988 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869289580 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=20005] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/20005/stat : 20005 (java) T 19986 19988 19988 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869289580 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19988/tid=20006] ppid=19986 vsize=8539464 CPUtime=0 cores=1,3,5,7
/proc/19988/task/20006/stat : 20006 (java) T 19986 19988 19988 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869289613 8744411136 26114 33554432000 1073741824 1073778376 140735849731200 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19986/tid=20030] ppid=19880 vsize=294984 CPUtime=0 cores=1,3,5,7
/proc/19986/task/20030/stat : 20030 (python) S 19880 19880 19061 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869294314 302063616 6109 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464951086080 0 0 -1 7 0 0 0
[pid=20031] ppid=19880 vsize=305240 CPUtime=0.24 cores=1,3,5,7
/proc/20031/stat : 20031 (python) S 19880 19880 19061 0 -1 4202560 1105 0 0 0 11 13 0 0 16 0 2 0 869294317 312565760 6113 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20031/statm: 76310 6113 397 364 0 11191 0
[pid=20033] ppid=20031 vsize=68760 CPUtime=48.97 cores=1,3,5,7
/proc/20033/stat : 20033 (scip-2.0.1.linu) T 20031 20033 20033 0 -1 4202496 82266 0 0 0 4846 51 0 0 25 0 1 0 869294317 70410240 14121 33554432000 4194304 15243407 140736906619488 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/20033/statm: 17190 14121 947 2698 0 14485 0
[pid=20031/tid=20039] ppid=19880 vsize=305240 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (python) S 19880 19880 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869299215 312565760 6113 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604459391697920 0 0 -1 7 0 0 0
[pid=20040] ppid=19880 vsize=315496 CPUtime=0.28 cores=1,3,5,7
/proc/20040/stat : 20040 (python) S 19880 19880 19061 0 -1 4202560 1184 0 0 0 15 13 0 0 16 0 2 0 869299218 323067904 6123 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/20040/statm: 78874 6123 403 364 0 13752 0
[pid=20042] ppid=20040 vsize=121592 CPUtime=49.43 cores=1,3,5,7
/proc/20042/stat : 20042 (wbo1.4a) T 20040 20042 20042 0 -1 4202496 31718 0 0 0 4851 92 0 0 25 0 1 0 869299218 124510208 29952 33554432000 134512640 135751879 4290276224 18446744073709551615 134611194 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/20042/statm: 30398 29952 146 303 0 30093 0
[pid=20040/tid=20044] ppid=19880 vsize=315496 CPUtime=0 cores=1,3,5,7
/proc/20040/task/20044/stat : 20044 (python) S 19880 19880 19061 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869304173 323067904 6123 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554946 18446604467314244608 0 0 -1 3 0 0 0
[pid=20045] ppid=19880 vsize=325752 CPUtime=0 cores=1,3,5,7
/proc/20045/stat : 20045 (python) S 19880 19880 19061 0 -1 4202560 843 0 0 0 0 0 0 0 19 0 1 0 869304175 333570048 6076 33554432000 4194304 5683644 140737483474752 18446744073709551615 254500712006 0 0 16781312 33554946 4600103939034022150 0 0 17 7 0 0 0
/proc/20045/statm: 81438 6076 353 364 0 16313 0
[pid=20047] ppid=20045 vsize=8466068 CPUtime=0.06 cores=1,3,5,7
/proc/20047/stat : 20047 (java) S 20045 20047 20047 0 -1 4202496 4691 0 1 0 6 0 0 0 17 0 18 0 869304175 8669253632 4150 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20047/statm: 2116517 4158 1976 9 0 2107258 0
[pid=20047/tid=20049] ppid=20045 vsize=8532560 CPUtime=0.06 cores=1,3,5,7
/proc/20047/task/20049/stat : 20049 (java) R 20045 20047 20047 0 -1 4202560 3050 0 1 0 6 0 0 0 22 0 18 0 869304176 8737341440 4556 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 47702103533050 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20047/tid=20050] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20050/stat : 20050 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20051] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20051/stat : 20051 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20052] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20052/stat : 20052 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20053] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20053/stat : 20053 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20054] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20054/stat : 20054 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20055] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20055/stat : 20055 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4557 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20056] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20056/stat : 20056 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4558 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20057] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20057/stat : 20057 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304177 8737341440 4558 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=20047/tid=20058] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20058/stat : 20058 (java) S 20045 20047 20047 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 869304178 8737341440 4558 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=20047/tid=20059] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20059/stat : 20059 (java) S 20045 20047 20047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 869304178 8737341440 4559 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=20047/tid=20060] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20060/stat : 20060 (java) S 20045 20047 20047 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 869304178 8737341440 4559 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=20047/tid=20061] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20061/stat : 20061 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304181 8737341440 4563 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=20047/tid=20062] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20062/stat : 20062 (java) R 20045 20047 20047 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 18 0 869304181 8737341440 4565 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 47702104010740 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20047/tid=20063] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20063/stat : 20063 (java) R 20045 20047 20047 0 -1 4202560 405 0 0 0 0 0 0 0 20 0 18 0 869304181 8737341440 4569 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512517492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20047/tid=20064] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20064/stat : 20064 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304181 8737341440 4570 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=20047/tid=20065] ppid=20045 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/20047/task/20065/stat : 20065 (java) S 20045 20047 20047 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869304181 8737341440 4570 33554432000 1073741824 1073778376 140737052136240 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=19880/tid=19887] ppid=19878 vsize=335996 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19887/stat : 19887 (python) S 19878 19880 19061 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 6 0 869284579 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
[pid=19880/tid=19987] ppid=19878 vsize=335996 CPUtime=0 cores=1,3,5,7
/proc/19880/task/19987/stat : 19987 (python) S 19878 19880 19061 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 869289576 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 3 0 0 0
[pid=19880/tid=20032] ppid=19878 vsize=335996 CPUtime=0 cores=1,3,5,7
/proc/19880/task/20032/stat : 20032 (python) S 19878 19880 19061 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869294317 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 7 0 0 0
[pid=19880/tid=20041] ppid=19878 vsize=335996 CPUtime=0 cores=1,3,5,7
/proc/19880/task/20041/stat : 20041 (python) S 19878 19880 19061 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 869299218 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
[pid=19880/tid=20046] ppid=19878 vsize=335996 CPUtime=0 cores=1,3,5,7
/proc/19880/task/20046/stat : 20046 (python) S 19878 19880 19061 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869304175 344059904 7606 33554432000 4194304 5683644 140737483474752 18446744073709551615 254512515505 0 0 16781312 33554434 18446604463244751936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.34
Current children cumulated vsize (KiB) 19153372
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 19880 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=533918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116982
# CPU time returned by wait4() is 0.6509
# while last known CPU time is 198.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 196.886
CPU time (s): 198.34
CPU user time (s): 195.33
CPU system time (s): 3.01
CPU usage (%): 100.738
Max. virtual memory (cumulated for all children) (KiB): 19153372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.533918
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15023
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= 2562
involuntary context switches= 18
runsolver used 1.38879 second user time and 2.86256 second system time
The end