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-3481762-1307576880/watcher-3481762-1307576880 -o /tmp/evaluation-result-3481762-1307576880/solver-3481762-1307576880 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481762-1307576880.opb -seed 2057148573 -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.07 1.60 0.77 3/475 27145
/proc/meminfo: memFree=22284680/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/27145/stat : 27145 (python) R 27143 27145 26377 0 -1 4202496 1045 0 0 0 0 0 0 0 25 0 1 0 869290799 16633856 917 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370651092 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27145/statm: 4061 917 381 364 0 548 0
[startup+0.093286 s]
/proc/loadavg: 2.07 1.60 0.77 3/475 27145
/proc/meminfo: memFree=22284680/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=96132 CPUtime=0.06 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 3033 464 1 0 4 2 0 0 18 0 1 0 869290799 98439168 2483 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370957056 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/27145/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132
[startup+0.107326 s]
/proc/loadavg: 2.07 1.60 0.77 3/475 27145
/proc/meminfo: memFree=22284680/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/27145/stat : 27145 (python) R 27143 27145 26377 0 -1 4202496 3168 930 1 0 5 2 0 0 18 0 1 0 869290799 98435072 2483 33554432000 4194304 5683644 140734980867984 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27145/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301281 s]
/proc/loadavg: 2.07 1.60 0.77 3/475 27145
/proc/meminfo: memFree=22284680/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=200780 CPUtime=0.23 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 6649 930 1 0 17 6 0 0 17 0 1 0 869290799 205598720 4936 33554432000 4194304 5683644 140734980867984 18446744073709551615 218366033543 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/27145/statm: 50715 4944 1472 364 0 3677 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200780
[startup+0.700216 s]
/proc/loadavg: 2.07 1.60 0.77 3/475 27145
/proc/meminfo: memFree=22284680/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293096
[startup+1.50107 s]
/proc/loadavg: 2.07 1.60 0.77 3/479 27153
/proc/meminfo: memFree=22241640/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
[pid=27151] ppid=27145 vsize=282852 CPUtime=0 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 869290850 289640448 5621 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977295 0 0 16781312 33554946 737588585011609600 0 0 17 0 0 0 0
/proc/27151/statm: 70713 5621 352 364 0 5600 0
[pid=27153] ppid=27151 vsize=30360 CPUtime=0.97 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) R 27151 27153 27153 0 -1 4202496 6772 0 0 0 96 1 0 0 18 0 1 0 869290850 31088640 5334 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27153/statm: 7590 5334 777 2317 0 5268 0
[pid=27145/tid=27152] ppid=27143 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869290850 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 606308
[startup+3.10076 s]
/proc/loadavg: 2.07 1.60 0.77 3/479 27153
/proc/meminfo: memFree=22238292/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
[pid=27151] ppid=27145 vsize=282852 CPUtime=0 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869290850 289640448 5621 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977295 0 0 16781312 33554946 3936011547356168192 0 0 17 0 0 0 0
/proc/27151/statm: 70713 5621 352 364 0 5600 0
[pid=27153] ppid=27151 vsize=30360 CPUtime=2.58 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) R 27151 27153 27153 0 -1 4202496 6773 0 0 0 251 7 0 0 18 0 1 0 869290850 31088640 5335 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27153/statm: 7590 5335 778 2317 0 5268 0
[pid=27145/tid=27152] ppid=27143 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869290850 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 606308
[startup+6.30122 s]
/proc/loadavg: 2.07 1.60 0.77 3/479 27153
/proc/meminfo: memFree=22241180/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
[pid=27151] ppid=27145 vsize=282852 CPUtime=0.02 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 881 0 0 0 1 1 0 0 15 0 1 0 869290850 289640448 5645 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977295 0 0 16781312 33554946 2143805764425220096 0 0 17 0 0 0 0
/proc/27151/statm: 70713 5645 376 364 0 5600 0
[pid=27153] ppid=27151 vsize=30360 CPUtime=5.77 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) R 27151 27153 27153 0 -1 4202496 6775 0 0 0 564 13 0 0 25 0 1 0 869290850 31088640 5337 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27153/statm: 7590 5337 780 2317 0 5268 0
[pid=27145/tid=27152] ppid=27143 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869290850 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 606308
[startup+12.7011 s]
/proc/loadavg: 2.06 1.62 0.78 3/479 27153
/proc/meminfo: memFree=22240948/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
[pid=27151] ppid=27145 vsize=282852 CPUtime=0.05 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 894 0 0 0 3 2 0 0 16 0 1 0 869290850 289640448 5645 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/27151/statm: 70713 5645 376 364 0 5600 0
[pid=27153] ppid=27151 vsize=30892 CPUtime=12.17 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) R 27151 27153 27153 0 -1 4202496 8555 0 0 0 1188 29 0 0 18 0 1 0 869290850 31633408 5442 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27153/statm: 7723 5442 782 2317 0 5401 0
[pid=27145/tid=27152] ppid=27143 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869290850 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 606840
[startup+25.5008 s]
/proc/loadavg: 2.05 1.63 0.80 3/479 27154
/proc/meminfo: memFree=22231916/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=293096 CPUtime=0.42 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 9636 930 1 0 33 9 0 0 19 0 2 0 869290799 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 73274 7143 1870 364 0 8161 0
[pid=27151] ppid=27145 vsize=282852 CPUtime=0.1 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 902 0 0 0 6 4 0 0 15 0 1 0 869290850 289640448 5645 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977295 0 0 16781312 33554946 1067158996344897536 0 0 17 0 0 0 0
/proc/27151/statm: 70713 5645 376 364 0 5600 0
[pid=27153] ppid=27151 vsize=41504 CPUtime=24.98 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) R 27151 27153 27153 0 -1 4202496 11118 0 0 0 2440 58 0 0 20 0 1 0 869290850 42500096 8004 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27153/statm: 10376 8004 805 2317 0 8054 0
[pid=27145/tid=27152] ppid=27143 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869290850 300130304 7143 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 617452
[startup+51.1013 s]
/proc/loadavg: 2.03 1.66 0.83 5/522 27197
/proc/meminfo: memFree=22093768/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=303892 CPUtime=0.44 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 10480 930 1 0 35 9 0 0 19 0 3 0 869290799 311185408 7270 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/27145/statm: 75973 7270 1873 364 0 10857 0
[pid=27151] ppid=27145 vsize=293096 CPUtime=0.21 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 1083 0 0 0 12 9 0 0 17 0 2 0 869290850 300130304 5681 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27151/statm: 73274 5681 407 364 0 8161 0
[pid=27153] ppid=27151 vsize=44124 CPUtime=49.79 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) T 27151 27153 27153 0 -1 4202496 11870 0 0 0 4863 116 0 0 18 0 1 0 869290850 45182976 8754 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/27153/statm: 11031 8754 805 2317 0 8709 0
[pid=27151/tid=27177] ppid=27145 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27151/task/27177/stat : 27177 (python) S 27145 27145 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869295830 300130304 5681 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554946 18446604446411910208 0 0 -1 6 0 0 0
[pid=27178] ppid=27145 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/27178/stat : 27178 (python) S 27145 27145 26377 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869295832 300695552 5742 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977350 0 0 16781312 33554946 3736311021384499200 0 0 17 0 0 0 0
/proc/27178/statm: 73412 5742 349 364 0 8296 0
[pid=27180] ppid=27178 vsize=8536756 CPUtime=1.05 cores=0,2,4,6
/proc/27180/stat : 27180 (java) S 27178 27180 27180 0 -1 4202496 10013 0 1 0 103 2 0 0 20 0 19 0 869295832 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27180/statm: 2134189 8787 2239 9 0 2124930 0
[pid=27180/tid=27181] ppid=27178 vsize=8536756 CPUtime=0.71 cores=0,2,4,6
/proc/27180/task/27181/stat : 27181 (java) R 27178 27180 27180 0 -1 4202560 4568 0 1 0 71 0 0 0 25 0 19 0 869295833 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 46912505591748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27180/tid=27182] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27182/stat : 27182 (java) S 27178 27180 27180 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 27180 0 -1 4202560 118 0 0 0 0 0 0 0 17 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 0 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 27180 0 -1 4202560 134 0 0 0 0 0 0 0 16 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 2 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 27180 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 27180 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 27180 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 0 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 27180 0 -1 4202560 138 0 0 0 0 0 0 0 19 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 27180 0 -1 4202560 209 0 0 0 0 0 0 0 18 0 19 0 869295834 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=8536756 CPUtime=0.01 cores=0,2,4,6
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 27180 0 -1 4202560 602 0 0 0 1 0 0 0 19 0 19 0 869295835 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773760 0 0 0 16800975 18446604446389658752 0 0 -1 2 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 27180 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 869295835 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 27180 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 869295835 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 27180 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869295837 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382780849 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=8536756 CPUtime=0.09 cores=0,2,4,6
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 27180 0 -1 4202560 628 0 0 0 9 0 0 0 22 0 19 0 869295837 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 2 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=8536756 CPUtime=0.2 cores=0,2,4,6
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 27180 0 -1 4202560 2012 0 0 0 20 0 0 0 15 0 19 0 869295837 8741638144 8787 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446604446389658752 0 0 -1 6 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=8536756 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=27217/tid=27225] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27225/stat : 27225 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27226] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27226/stat : 27226 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27227] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27227/stat : 27227 (java) S 27215 27217 27217 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 0 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27228] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27228/stat : 27228 (java) S 27215 27217 27217 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27229] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27229/stat : 27229 (java) S 27215 27217 27217 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27230] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27230/stat : 27230 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382780849 0 4 0 16800975 18446604449245581696 0 0 -1 2 0 0 0
[pid=27217/tid=27231] ppid=27215 vsize=8610792 CPUtime=0.47 cores=0,2,4,6
/proc/27217/task/27231/stat : 27231 (java) S 27215 27217 27217 0 -1 4202560 3580 0 0 0 47 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27232] ppid=27215 vsize=8610792 CPUtime=0.46 cores=0,2,4,6
/proc/27217/task/27232/stat : 27232 (java) S 27215 27217 27217 0 -1 4202560 7476 0 0 0 45 1 0 0 16 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27233] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27233/stat : 27233 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27234] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27234/stat : 27234 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27235] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27235/stat : 27235 (java) S 27215 27217 27217 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869305026 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27145/tid=27152] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 5 0 869290850 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
[pid=27145/tid=27179] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27179/stat : 27179 (python) S 27143 27145 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869295832 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
[pid=27145/tid=27207] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27207/stat : 27207 (python) S 27143 27145 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869300356 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 2 0 0 0
[pid=27145/tid=27216] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27216/stat : 27216 (python) S 27143 27145 26377 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 869305010 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 144.88
Current children cumulated vsize (KiB) 18756160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+142.902 s]
/proc/loadavg: 2.03 1.76 0.94 5/557 27235
/proc/meminfo: memFree=21774176/32951124 swapFree=49244124/67111528
[pid=27145] ppid=27143 vsize=324604 CPUtime=0.49 cores=0,2,4,6
/proc/27145/stat : 27145 (python) S 27143 27145 26377 0 -1 4202496 12226 930 1 0 40 9 0 0 20 0 5 0 869290799 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27145/statm: 81151 7316 1877 364 0 16029 0
[pid=27151] ppid=27145 vsize=293096 CPUtime=0.21 cores=0,2,4,6
/proc/27151/stat : 27151 (python) S 27145 27145 26377 0 -1 4202560 1083 0 0 0 12 9 0 0 17 0 2 0 869290850 300130304 5681 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27151/statm: 73274 5681 407 364 0 8161 0
[pid=27153] ppid=27151 vsize=44124 CPUtime=49.79 cores=0,2,4,6
/proc/27153/stat : 27153 (scip-2.0.1.linu) T 27151 27153 27153 0 -1 4202496 11870 0 0 0 4863 116 0 0 18 0 1 0 869290850 45182976 8754 33554432000 4194304 13684479 140736989212128 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/27153/statm: 11031 8754 805 2317 0 8709 0
[pid=27151/tid=27177] ppid=27145 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/27151/task/27177/stat : 27177 (python) S 27145 27145 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869295830 300130304 5681 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554946 18446604446411910208 0 0 -1 6 0 0 0
[pid=27178] ppid=27145 vsize=293648 CPUtime=0.2 cores=0,2,4,6
/proc/27178/stat : 27178 (python) S 27145 27145 26377 0 -1 4202560 1108 0 0 0 11 9 0 0 16 0 2 0 869295832 300695552 5791 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/27178/statm: 73412 5791 397 364 0 8296 0
[pid=27180] ppid=27178 vsize=8535980 CPUtime=45.74 cores=0,2,4,6
/proc/27180/stat : 27180 (java) T 27178 27180 27180 0 -1 4202496 13191 0 1 0 4570 4 0 0 18 0 19 0 869295832 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27180/statm: 2133995 11120 2241 9 0 2124736 0
[pid=27180/tid=27181] ppid=27178 vsize=8535980 CPUtime=43.3 cores=0,2,4,6
/proc/27180/task/27181/stat : 27181 (java) T 27178 27180 27180 0 -1 4202560 4699 0 1 0 4329 1 0 0 25 0 19 0 869295833 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27182] ppid=27178 vsize=8535980 CPUtime=0.08 cores=0,2,4,6
/proc/27180/task/27182/stat : 27182 (java) T 27178 27180 27180 0 -1 4202560 109 0 0 0 8 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 47787321664674 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=8535980 CPUtime=0.08 cores=0,2,4,6
/proc/27180/task/27183/stat : 27183 (java) T 27178 27180 27180 0 -1 4202560 193 0 0 0 8 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=8535980 CPUtime=0.05 cores=0,2,4,6
/proc/27180/task/27184/stat : 27184 (java) T 27178 27180 27180 0 -1 4202560 153 0 0 0 5 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=8535980 CPUtime=0.06 cores=0,2,4,6
/proc/27180/task/27185/stat : 27185 (java) T 27178 27180 27180 0 -1 4202560 181 0 0 0 6 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=8535980 CPUtime=0.09 cores=0,2,4,6
/proc/27180/task/27186/stat : 27186 (java) T 27178 27180 27180 0 -1 4202560 94 0 0 0 9 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=8535980 CPUtime=0.06 cores=0,2,4,6
/proc/27180/task/27187/stat : 27187 (java) T 27178 27180 27180 0 -1 4202560 273 0 0 0 6 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=8535980 CPUtime=0.1 cores=0,2,4,6
/proc/27180/task/27188/stat : 27188 (java) T 27178 27180 27180 0 -1 4202560 243 0 0 0 10 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=8535980 CPUtime=0.07 cores=0,2,4,6
/proc/27180/task/27189/stat : 27189 (java) T 27178 27180 27180 0 -1 4202560 250 0 0 0 7 0 0 0 15 0 19 0 869295834 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=8535980 CPUtime=1.44 cores=0,2,4,6
/proc/27180/task/27190/stat : 27190 (java) T 27178 27180 27180 0 -1 4202560 2100 0 0 0 143 1 0 0 15 0 19 0 869295835 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27191/stat : 27191 (java) T 27178 27180 27180 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869295835 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27192/stat : 27192 (java) T 27178 27180 27180 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869295835 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27193/stat : 27193 (java) T 27178 27180 27180 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869295837 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=8535980 CPUtime=0.14 cores=0,2,4,6
/proc/27180/task/27194/stat : 27194 (java) T 27178 27180 27180 0 -1 4202560 1496 0 0 0 14 0 0 0 15 0 19 0 869295837 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=8535980 CPUtime=0.2 cores=0,2,4,6
/proc/27180/task/27195/stat : 27195 (java) T 27178 27180 27180 0 -1 4202560 2012 0 0 0 20 0 0 0 15 0 19 0 869295837 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27196/stat : 27196 (java) T 27178 27180 27180 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869295837 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27197/stat : 27197 (java) T 27178 27180 27180 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869295837 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=8535980 CPUtime=0 cores=0,2,4,6
/proc/27180/task/27198/stat : 27198 (java) T 27178 27180 27180 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869295850 8740843520 11120 33554432000 1073741824 1073778376 140734160466128 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27178/tid=27205] ppid=27145 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/27178/task/27205/stat : 27205 (python) S 27145 27145 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869300353 300695552 5791 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554946 18446604448595484864 0 0 -1 0 0 0 0
[pid=27206] ppid=27145 vsize=303600 CPUtime=0.18 cores=0,2,4,6
/proc/27206/stat : 27206 (python) S 27145 27145 26377 0 -1 4202560 1108 0 0 0 10 8 0 0 16 0 2 0 869300356 310886400 5719 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27206/statm: 75900 5719 397 364 0 10781 0
[pid=27208] ppid=27206 vsize=35956 CPUtime=46.51 cores=0,2,4,6
/proc/27208/stat : 27208 (scip-2.0.1.linu) T 27206 27208 27208 0 -1 4202496 12160 0 0 0 4599 52 0 0 21 0 1 0 869300356 36818944 6225 33554432000 4194304 15243407 140736513852768 18446744073709551615 8298735 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/27208/statm: 8989 6225 929 2698 0 6284 0
[pid=27206/tid=27214] ppid=27145 vsize=303600 CPUtime=0 cores=0,2,4,6
/proc/27206/task/27214/stat : 27214 (python) S 27145 27145 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869305007 310886400 5719 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449938948416 0 0 -1 6 0 0 0
[pid=27215] ppid=27145 vsize=314360 CPUtime=0 cores=0,2,4,6
/proc/27215/stat : 27215 (python) S 27145 27145 26377 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 1 0 869305010 321904640 5784 33554432000 4194304 5683644 140734980867984 18446744073709551615 218370977350 0 0 16781312 33554946 4294934788 0 0 17 0 0 0 0
/proc/27215/statm: 78590 5784 349 364 0 13468 0
[pid=27217] ppid=27215 vsize=8610792 CPUtime=1.76 cores=0,2,4,6
/proc/27217/stat : 27217 (java) S 27215 27217 27217 0 -1 4202496 48340 0 1 0 170 6 0 0 20 0 19 0 869305010 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27217/statm: 2152698 44362 2227 9 0 2143439 0
[pid=27217/tid=27218] ppid=27215 vsize=8610792 CPUtime=0.79 cores=0,2,4,6
/proc/27217/task/27218/stat : 27218 (java) R 27215 27217 27217 0 -1 4202560 35286 0 1 0 75 4 0 0 18 0 19 0 869305011 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 46912505580444 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27217/tid=27219] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27219/stat : 27219 (java) S 27215 27217 27217 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 19 0 869305011 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 2 0 0 0
[pid=27217/tid=27220] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27220/stat : 27220 (java) S 27215 27217 27217 0 -1 4202560 202 0 0 0 0 0 0 0 16 0 19 0 869305011 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27221] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27221/stat : 27221 (java) S 27215 27217 27217 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 19 0 869305011 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27222] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27222/stat : 27222 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305011 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27223] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27223/stat : 27223 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27224] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27224/stat : 27224 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27225] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27225/stat : 27225 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27226] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27226/stat : 27226 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305012 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27227] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27227/stat : 27227 (java) S 27215 27217 27217 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 0 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27228] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27228/stat : 27228 (java) S 27215 27217 27217 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27229] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27229/stat : 27229 (java) S 27215 27217 27217 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869305013 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27230] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27230/stat : 27230 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382780849 0 4 0 16800975 18446604449245581696 0 0 -1 2 0 0 0
[pid=27217/tid=27231] ppid=27215 vsize=8610792 CPUtime=0.47 cores=0,2,4,6
/proc/27217/task/27231/stat : 27231 (java) S 27215 27217 27217 0 -1 4202560 3580 0 0 0 47 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27232] ppid=27215 vsize=8610792 CPUtime=0.46 cores=0,2,4,6
/proc/27217/task/27232/stat : 27232 (java) S 27215 27217 27217 0 -1 4202560 7476 0 0 0 45 1 0 0 16 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27217/tid=27233] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27233/stat : 27233 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773145 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27234] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27234/stat : 27234 (java) S 27215 27217 27217 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869305015 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 4 0 16800975 18446604449245581696 0 0 -1 0 0 0 0
[pid=27217/tid=27235] ppid=27215 vsize=8610792 CPUtime=0 cores=0,2,4,6
/proc/27217/task/27235/stat : 27235 (java) S 27215 27217 27217 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869305026 8817451008 44362 33554432000 1073741824 1073778376 140735356214464 18446744073709551615 218382773760 0 4 0 16800975 18446604449245581696 0 0 -1 6 0 0 0
[pid=27145/tid=27152] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27152/stat : 27152 (python) S 27143 27145 26377 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 5 0 869290850 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
[pid=27145/tid=27179] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27179/stat : 27179 (python) S 27143 27145 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869295832 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 6 0 0 0
[pid=27145/tid=27207] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27207/stat : 27207 (python) S 27143 27145 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869300356 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 2 0 0 0
[pid=27145/tid=27216] ppid=27143 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/27145/task/27216/stat : 27216 (python) S 27143 27145 26377 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 869305010 332394496 7316 33554432000 4194304 5683644 140734980867984 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444578509760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 144.88
Current children cumulated vsize (KiB) 18756160
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27145 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=404938
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=100984
# CPU time returned by wait4() is 0.505922
# while last known CPU time is 144.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 142.972
CPU time (s): 144.88
CPU user time (s): 142.75
CPU system time (s): 2.13
CPU usage (%): 101.335
Max. virtual memory (cumulated for all children) (KiB): 18756160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.404938
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13157
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= 1004
involuntary context switches= 20
runsolver used 0.673897 second user time and 1.26981 second system time
The end