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-3481881-1307576892/watcher-3481881-1307576892 -o /tmp/evaluation-result-3481881-1307576892/solver-3481881-1307576892 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481881-1307576892.opb -seed 1688592225 -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.24 1.73 0.85 2/651 1665
/proc/meminfo: memFree=25343496/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1665/stat : 1665 (python) R 1663 1665 1117 0 -1 4202496 711 0 0 0 0 0 0 0 23 0 1 0 869289637 15548416 603 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640857600 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/1665/statm: 3797 607 319 364 0 284 0
[startup+0.078729 s]
/proc/loadavg: 2.24 1.73 0.85 2/651 1665
/proc/meminfo: memFree=25343496/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=84564 CPUtime=0.05 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 2407 0 0 0 4 1 0 0 17 0 1 0 869289637 86593536 2135 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1665/statm: 21141 2135 707 364 0 1358 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84564
[startup+0.104751 s]
/proc/loadavg: 2.24 1.73 0.85 2/651 1665
/proc/meminfo: memFree=25343496/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/1665/stat : 1665 (python) R 1663 1665 1117 0 -1 4202496 3168 932 1 0 6 1 0 0 18 0 1 0 869289637 98430976 2483 33554432000 4194304 5683644 140735426707056 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1665/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300697 s]
/proc/loadavg: 2.24 1.73 0.85 2/651 1665
/proc/meminfo: memFree=25343496/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=184244 CPUtime=0.22 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 6327 932 1 0 17 5 0 0 17 0 1 0 869289637 188665856 4633 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/1665/statm: 46061 4633 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184244
[startup+0.700624 s]
/proc/loadavg: 2.24 1.73 0.85 2/651 1665
/proc/meminfo: memFree=25343496/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=286864 CPUtime=0.6 cores=1,3,5,7
/proc/1665/stat : 1665 (python) R 1663 1665 1117 0 -1 4202496 10717 932 1 0 51 9 0 0 17 0 1 0 869289637 293748736 8074 33554432000 4194304 5683644 140735426707056 18446744073709551615 253644268201 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/1665/statm: 71716 8074 1816 364 0 6609 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 286864
[startup+1.50048 s]
/proc/loadavg: 2.24 1.73 0.85 3/655 1673
/proc/meminfo: memFree=25268436/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=297916 CPUtime=0.69 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 11200 932 1 0 60 9 0 0 19 0 2 0 869289637 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 74479 8318 1870 364 0 9366 0
[pid=1671] ppid=1665 vsize=287672 CPUtime=0 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 869289716 294576128 6796 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879631 0 0 16781312 33554946 17904172507452113156 0 0 17 1 0 0 0
/proc/1671/statm: 71918 6796 352 364 0 6805 0
[pid=1673] ppid=1671 vsize=101296 CPUtime=0.7 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) R 1671 1673 1673 0 -1 4202496 23097 0 0 0 63 7 0 0 18 0 1 0 869289716 103727104 22190 33554432000 4194304 13684479 140734023465280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1673/statm: 25324 22190 774 2317 0 23002 0
[pid=1665/tid=1672] ppid=1663 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 2 0 869289716 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 686884
[startup+3.10119 s]
/proc/loadavg: 2.24 1.73 0.85 3/655 1673
/proc/meminfo: memFree=25223784/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=297916 CPUtime=0.69 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 11200 932 1 0 60 9 0 0 19 0 2 0 869289637 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 74479 8318 1870 364 0 9366 0
[pid=1671] ppid=1665 vsize=287672 CPUtime=0 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869289716 294576128 6796 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879631 0 0 16781312 33554946 17904172507452113156 0 0 17 1 0 0 0
/proc/1671/statm: 71918 6796 352 364 0 6805 0
[pid=1673] ppid=1671 vsize=103956 CPUtime=2.29 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) R 1671 1673 1673 0 -1 4202496 24118 0 0 0 222 7 0 0 20 0 1 0 869289716 106450944 23156 33554432000 4194304 13684479 140734023465280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1673/statm: 25989 23156 768 2317 0 23667 0
[pid=1665/tid=1672] ppid=1663 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 2 0 869289716 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 689544
[startup+6.30061 s]
/proc/loadavg: 2.30 1.75 0.86 3/655 1673
/proc/meminfo: memFree=25219568/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=297916 CPUtime=0.69 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 11200 932 1 0 60 9 0 0 19 0 2 0 869289637 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 74479 8318 1870 364 0 9366 0
[pid=1671] ppid=1665 vsize=287672 CPUtime=0.02 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 920 0 0 0 1 1 0 0 15 0 1 0 869289716 294576128 6820 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879631 0 0 16781312 33554946 17904179310680310020 0 0 17 1 0 0 0
/proc/1671/statm: 71918 6820 376 364 0 6805 0
[pid=1673] ppid=1671 vsize=105024 CPUtime=5.5 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) R 1671 1673 1673 0 -1 4202496 24391 0 0 0 541 9 0 0 25 0 1 0 869289716 107544576 23429 33554432000 4194304 13684479 140734023465280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1673/statm: 26256 23429 772 2317 0 23934 0
[pid=1665/tid=1672] ppid=1663 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 2 0 869289716 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 690612
[startup+12.7004 s]
/proc/loadavg: 2.35 1.77 0.87 3/655 1673
/proc/meminfo: memFree=25219916/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=297916 CPUtime=0.69 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 11200 932 1 0 60 9 0 0 19 0 2 0 869289637 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 74479 8318 1870 364 0 9366 0
[pid=1671] ppid=1665 vsize=287672 CPUtime=0.04 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 922 0 0 0 2 2 0 0 15 0 1 0 869289716 294576128 6820 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373680 0 0 17 7 0 0 0
/proc/1671/statm: 71918 6820 376 364 0 6805 0
[pid=1673] ppid=1671 vsize=106580 CPUtime=11.9 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) R 1671 1673 1673 0 -1 4202496 24878 0 0 0 1180 10 0 0 25 0 1 0 869289716 109137920 23916 33554432000 4194304 13684479 140734023465280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1673/statm: 26645 23916 772 2317 0 24323 0
[pid=1665/tid=1672] ppid=1663 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 2 0 869289716 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 692168
[startup+25.5011 s]
/proc/loadavg: 2.27 1.78 0.89 3/655 1674
/proc/meminfo: memFree=25210112/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=297916 CPUtime=0.69 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 11200 932 1 0 60 9 0 0 19 0 2 0 869289637 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 74479 8318 1870 364 0 9366 0
[pid=1671] ppid=1665 vsize=287672 CPUtime=0.11 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 933 0 0 0 5 6 0 0 15 0 1 0 869289716 294576128 6820 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373680 0 0 17 7 0 0 0
/proc/1671/statm: 71918 6820 376 364 0 6805 0
[pid=1673] ppid=1671 vsize=116860 CPUtime=24.7 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) R 1671 1673 1673 0 -1 4202496 27799 0 0 0 2453 17 0 0 25 0 1 0 869289716 119664640 26649 33554432000 4194304 13684479 140734023465280 18446744073709551615 7361292 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1673/statm: 29215 26649 811 2317 0 26893 0
[pid=1665/tid=1672] ppid=1663 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 2 0 869289716 305065984 8318 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 702448
[startup+51.1015 s]
/proc/loadavg: 2.18 1.80 0.91 3/681 1700
/proc/meminfo: memFree=24987084/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=308172 CPUtime=0.71 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 12076 932 1 0 62 9 0 0 19 0 3 0 869289637 315568128 8325 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1665/statm: 77043 8325 1873 364 0 11927 0
[pid=1671] ppid=1665 vsize=297916 CPUtime=0.25 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 1116 0 0 0 10 15 0 0 16 0 2 0 869289716 305065984 6856 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1671/statm: 74479 6856 407 364 0 9366 0
[pid=1673] ppid=1671 vsize=173896 CPUtime=48.53 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) T 1671 1673 1673 0 -1 4202496 42590 0 0 0 4811 42 0 0 25 0 1 0 869289716 178069504 40409 33554432000 4194304 13684479 140734023465280 18446744073709551615 7419458 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1673/statm: 43474 40409 822 2317 0 41152 0
[pid=1671/tid=1675] ppid=1665 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1671/task/1675/stat : 1675 (python) S 1665 1665 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869294571 305065984 6856 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 3 0 0 0
[pid=1676] ppid=1665 vsize=297928 CPUtime=0 cores=1,3,5,7
/proc/1676/stat : 1676 (python) S 1665 1665 1117 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 869294574 305078272 6797 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879686 0 0 16781312 33554946 355234546028904448 0 0 17 3 0 0 0
/proc/1676/statm: 74482 6797 349 364 0 9366 0
[pid=1678] ppid=1676 vsize=8538024 CPUtime=2.8 cores=1,3,5,7
/proc/1678/stat : 1678 (java) S 1676 1678 1678 0 -1 4202496 44707 0 1 0 273 7 0 0 17 0 19 0 869294574 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1678/statm: 2134506 40493 2246 9 0 2125247 0
[pid=1678/tid=1679] ppid=1676 vsize=8538024 CPUtime=1.7 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (java) R 1676 1678 1678 0 -1 4202560 35209 0 1 0 165 5 0 0 25 0 19 0 869294575 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 46912505950226 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1678/tid=1680] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (java) S 1676 1678 1678 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1681] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1682] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1682/stat : 1682 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1683] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1683/stat : 1683 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1684] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1684/stat : 1684 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1685] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1685/stat : 1685 (java) S 1676 1678 1678 0 -1 4202560 229 0 0 0 0 0 0 0 16 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=1678/tid=1686] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1686/stat : 1686 (java) S 1676 1678 1678 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=1678/tid=1687] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1687/stat : 1687 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=1678/tid=1688] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1688/stat : 1688 (java) S 1676 1678 1678 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 869294577 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=1678/tid=1689] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1689/stat : 1689 (java) S 1676 1678 1678 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869294577 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1690] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1690/stat : 1690 (java) S 1676 1678 1678 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869294577 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=1678/tid=1691] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1691/stat : 1691 (java) S 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869294579 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=1678/tid=1692] ppid=1676 vsize=8538024 CPUtime=0.45 cores=1,3,5,7
/proc/1678/task/1692/stat : 1692 (java) S 1676 1678 1678 0 -1 4202560 2183 0 0 0 45 0 0 0 15 0 19 0 869294579 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=1678/tid=1693] ppid=1676 vsize=8538024 CPUtime=0.6 cores=1,3,5,7
/proc/1678/task/1693/stat : 1693 (java) S 1676 1678 1678 0 -1 4202560 4857 0 0 0 60 0 0 0 15 0 19 0 869294579 8742936576 40493 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=1678/tid=1694] ppid=1676 vsize=8538024 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=1678/tid=1690] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1690/stat : 1690 (java) T 1676 1678 1678 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869294577 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1691] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1691/stat : 1691 (java) T 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1692] ppid=1676 vsize=8548032 CPUtime=0.64 cores=1,3,5,7
/proc/1678/task/1692/stat : 1692 (java) T 1676 1678 1678 0 -1 4202560 6328 0 0 0 63 1 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1678/tid=1693] ppid=1676 vsize=8548032 CPUtime=0.65 cores=1,3,5,7
/proc/1678/task/1693/stat : 1693 (java) T 1676 1678 1678 0 -1 4202560 4866 0 0 0 65 0 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1694] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1694/stat : 1694 (java) T 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1695] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1695/stat : 1695 (java) T 1676 1678 1678 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1700] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1700/stat : 1700 (java) T 1676 1678 1678 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 869294637 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1676/tid=1702] ppid=1665 vsize=363464 CPUtime=0 cores=1,3,5,7
/proc/1676/task/1702/stat : 1702 (python) S 1665 1665 1117 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869299110 372187136 6847 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954800384 0 0 -1 3 0 0 0
[pid=1703] ppid=1665 vsize=308184 CPUtime=0.02 cores=1,3,5,7
/proc/1703/stat : 1703 (python) S 1665 1665 1117 0 -1 4202560 937 0 0 0 1 1 0 0 15 0 1 0 869299113 315580416 6825 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879686 0 0 16781312 33554946 4465144453002133766 0 0 17 1 0 0 0
/proc/1703/statm: 77046 6825 373 364 0 11927 0
[pid=1705] ppid=1703 vsize=104604 CPUtime=7.54 cores=1,3,5,7
/proc/1705/stat : 1705 (scip-2.0.1.linu) R 1703 1705 1705 0 -1 4202496 31090 0 0 0 745 9 0 0 25 0 1 0 869299113 107114496 22417 33554432000 4194304 15243407 140733639520896 18446744073709551615 7432175 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1705/statm: 26151 22417 861 2698 0 23446 0
[pid=1665/tid=1672] ppid=1663 vsize=318428 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 4 0 869289716 326070272 8331 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
[pid=1665/tid=1677] ppid=1663 vsize=318428 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1677/stat : 1677 (python) S 1663 1665 1117 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 4 0 869294574 326070272 8331 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
[pid=1665/tid=1704] ppid=1663 vsize=318428 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1704/stat : 1704 (python) S 1663 1665 1117 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 4 0 869299113 326070272 8331 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 103.98
Current children cumulated vsize (KiB) 10114524
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+144.002 s]
/proc/loadavg: 2.04 1.84 1.01 3/701 1723
/proc/meminfo: memFree=24755828/32951124 swapFree=53733252/67111528
[pid=1665] ppid=1663 vsize=328684 CPUtime=0.77 cores=1,3,5,7
/proc/1665/stat : 1665 (python) S 1663 1665 1117 0 -1 4202496 13909 932 1 0 67 10 0 0 20 0 5 0 869289637 336572416 8337 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1665/statm: 82171 8337 1877 364 0 17049 0
[pid=1671] ppid=1665 vsize=297916 CPUtime=0.25 cores=1,3,5,7
/proc/1671/stat : 1671 (python) S 1665 1665 1117 0 -1 4202560 1116 0 0 0 10 15 0 0 16 0 2 0 869289716 305065984 6856 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1671/statm: 74479 6856 407 364 0 9366 0
[pid=1673] ppid=1671 vsize=173896 CPUtime=48.53 cores=1,3,5,7
/proc/1673/stat : 1673 (scip-2.0.1.linu) T 1671 1673 1673 0 -1 4202496 42590 0 0 0 4811 42 0 0 25 0 1 0 869289716 178069504 40409 33554432000 4194304 13684479 140734023465280 18446744073709551615 7419458 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1673/statm: 43474 40409 822 2317 0 41152 0
[pid=1671/tid=1675] ppid=1665 vsize=297916 CPUtime=0 cores=1,3,5,7
/proc/1671/task/1675/stat : 1675 (python) S 1665 1665 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869294571 305065984 6856 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 3 0 0 0
[pid=1676] ppid=1665 vsize=363464 CPUtime=0.23 cores=1,3,5,7
/proc/1676/stat : 1676 (python) S 1665 1665 1117 0 -1 4202560 1113 0 0 0 10 13 0 0 17 0 2 0 869294574 372187136 6847 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1676/statm: 90866 6847 397 364 0 25750 0
[pid=1678] ppid=1676 vsize=8548032 CPUtime=46.67 cores=1,3,5,7
/proc/1678/stat : 1678 (java) T 1676 1678 1678 0 -1 4202496 77128 0 1 0 4657 10 0 0 15 0 19 0 869294574 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1678/statm: 2137008 69129 2258 9 0 2127749 0
[pid=1678/tid=1679] ppid=1676 vsize=8548032 CPUtime=45.06 cores=1,3,5,7
/proc/1678/task/1679/stat : 1679 (java) T 1676 1678 1678 0 -1 4202560 35281 0 1 0 4501 5 0 0 25 0 19 0 869294575 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 46912505801855 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1680] ppid=1676 vsize=8548032 CPUtime=0.01 cores=1,3,5,7
/proc/1678/task/1680/stat : 1680 (java) T 1676 1678 1678 0 -1 4202560 2084 0 0 0 1 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1681] ppid=1676 vsize=8548032 CPUtime=0.01 cores=1,3,5,7
/proc/1678/task/1681/stat : 1681 (java) T 1676 1678 1678 0 -1 4202560 3371 0 0 0 1 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1682] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1682/stat : 1682 (java) T 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1683] ppid=1676 vsize=8548032 CPUtime=0.02 cores=1,3,5,7
/proc/1678/task/1683/stat : 1683 (java) T 1676 1678 1678 0 -1 4202560 2272 0 0 0 2 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1684] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1684/stat : 1684 (java) T 1676 1678 1678 0 -1 4202560 2423 0 0 0 0 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1685] ppid=1676 vsize=8548032 CPUtime=0.01 cores=1,3,5,7
/proc/1678/task/1685/stat : 1685 (java) T 1676 1678 1678 0 -1 4202560 4402 0 0 0 1 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1686] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1686/stat : 1686 (java) T 1676 1678 1678 0 -1 4202560 588 0 0 0 0 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1687] ppid=1676 vsize=8548032 CPUtime=0.01 cores=1,3,5,7
/proc/1678/task/1687/stat : 1687 (java) T 1676 1678 1678 0 -1 4202560 2311 0 0 0 1 0 0 0 15 0 19 0 869294576 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1688] ppid=1676 vsize=8548032 CPUtime=0.15 cores=1,3,5,7
/proc/1678/task/1688/stat : 1688 (java) T 1676 1678 1678 0 -1 4202560 11797 0 0 0 15 0 0 0 15 0 19 0 869294577 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1678/tid=1689] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1689/stat : 1689 (java) T 1676 1678 1678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869294577 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1690] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1690/stat : 1690 (java) T 1676 1678 1678 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869294577 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1691] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1691/stat : 1691 (java) T 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1692] ppid=1676 vsize=8548032 CPUtime=0.64 cores=1,3,5,7
/proc/1678/task/1692/stat : 1692 (java) T 1676 1678 1678 0 -1 4202560 6328 0 0 0 63 1 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1678/tid=1693] ppid=1676 vsize=8548032 CPUtime=0.65 cores=1,3,5,7
/proc/1678/task/1693/stat : 1693 (java) T 1676 1678 1678 0 -1 4202560 4866 0 0 0 65 0 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1694] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1694/stat : 1694 (java) T 1676 1678 1678 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1678/tid=1695] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1695/stat : 1695 (java) T 1676 1678 1678 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869294579 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1678/tid=1700] ppid=1676 vsize=8548032 CPUtime=0 cores=1,3,5,7
/proc/1678/task/1700/stat : 1700 (java) T 1676 1678 1678 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 869294637 8753184768 69129 33554432000 1073741824 1073778376 140736077917920 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1676/tid=1702] ppid=1665 vsize=363464 CPUtime=0 cores=1,3,5,7
/proc/1676/task/1702/stat : 1702 (python) S 1665 1665 1117 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869299110 372187136 6847 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954800384 0 0 -1 3 0 0 0
[pid=1703] ppid=1665 vsize=308184 CPUtime=0.26 cores=1,3,5,7
/proc/1703/stat : 1703 (python) S 1665 1665 1117 0 -1 4202560 1132 0 0 0 12 14 0 0 16 0 2 0 869299113 315580416 6850 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1703/statm: 77046 6850 397 364 0 11927 0
[pid=1705] ppid=1703 vsize=113040 CPUtime=49.18 cores=1,3,5,7
/proc/1705/stat : 1705 (scip-2.0.1.linu) T 1703 1705 1705 0 -1 4202496 42635 0 0 0 4894 24 0 0 25 0 1 0 869299113 115752960 24766 33554432000 4194304 15243407 140733639520896 18446744073709551615 4965455 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1705/statm: 28260 24766 904 2698 0 25555 0
[pid=1703/tid=1708] ppid=1665 vsize=308184 CPUtime=0 cores=1,3,5,7
/proc/1703/task/1708/stat : 1708 (python) S 1665 1665 1117 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869304032 315580416 6850 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554946 18446604465242871936 0 0 -1 7 0 0 0
[pid=1709] ppid=1665 vsize=318440 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (python) S 1665 1665 1117 0 -1 4202560 744 0 0 0 0 0 0 0 19 0 1 0 869304035 326082560 6802 33554432000 4194304 5683644 140735426707056 18446744073709551615 253640879686 0 0 16781312 33554946 13994870597205590278 0 0 17 3 0 0 0
/proc/1709/statm: 79610 6802 346 364 0 14488 0
[pid=1711] ppid=1709 vsize=8460068 CPUtime=0.03 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1711 1711 0 -1 4202496 3703 0 1 0 2 1 0 0 17 0 13 0 869304035 8663109632 3158 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/1711/statm: 2115017 3158 1681 9 0 2105765 0
[pid=1711/tid=1712] ppid=1709 vsize=8465512 CPUtime=0.03 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1711 1711 0 -1 4202560 2643 0 1 0 3 0 0 0 22 0 18 0 869304036 8668684288 3514 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1711/tid=1713] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304037 8668684288 3514 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 7 0 0 0
[pid=1711/tid=1714] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869304037 8668684288 3514 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1715] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869304037 8668684288 3514 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1716] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304037 8668684288 3515 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1717] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304037 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1718] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304037 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1719] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304037 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1720] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304037 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1721] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1711 1711 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869304038 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652676096 0 0 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1722] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1711 1711 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869304038 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1723] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1711 1711 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869304038 8668684288 3516 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1724] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869304040 8668684288 3517 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652683185 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1725] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1711 1711 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 869304040 8668684288 3517 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1726] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1726/stat : 1726 (java) S 1709 1711 1711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869304040 8668684288 3518 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1727] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1727/stat : 1727 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869304040 8668684288 3519 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652675481 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1711/tid=1728] ppid=1709 vsize=8465512 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1728/stat : 1728 (java) S 1709 1711 1711 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869304040 8668684288 3519 33554432000 1073741824 1073778376 140736516572720 18446744073709551615 253652676096 0 4 0 16800975 18446604467016890176 0 0 -1 3 0 0 0
[pid=1665/tid=1672] ppid=1663 vsize=328684 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1672/stat : 1672 (python) S 1663 1665 1117 0 -1 4202560 29 932 0 0 0 0 0 0 19 0 5 0 869289716 336572416 8337 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
[pid=1665/tid=1677] ppid=1663 vsize=328684 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1677/stat : 1677 (python) S 1663 1665 1117 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 869294574 336572416 8337 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 1 0 0 0
[pid=1665/tid=1704] ppid=1663 vsize=328684 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1704/stat : 1704 (python) S 1663 1665 1117 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869299113 336572416 8337 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 7 0 0 0
[pid=1665/tid=1710] ppid=1663 vsize=328684 CPUtime=0 cores=1,3,5,7
/proc/1665/task/1710/stat : 1710 (python) S 1663 1665 1117 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 869304035 336572416 8337 33554432000 4194304 5683644 140735426707056 18446744073709551615 253652683185 0 0 16781312 33554434 18446604460418488448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.92
Current children cumulated vsize (KiB) 18911724
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 1665 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=673897
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=106983
# CPU time returned by wait4() is 0.78088
# while last known CPU time is 145.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.083
CPU time (s): 145.92
CPU user time (s): 144.63
CPU system time (s): 1.29
CPU usage (%): 101.275
Max. virtual memory (cumulated for all children) (KiB): 18911724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.673897
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14843
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= 1006
involuntary context switches= 22
runsolver used 0.85287 second user time and 1.9687 second system time
The end