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-3481803-1307576855/watcher-3481803-1307576855 -o /tmp/evaluation-result-3481803-1307576855/solver-3481803-1307576855 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481803-1307576855.opb -seed 1060511189 -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.05 1.57 0.75 3/576 18232
/proc/meminfo: memFree=22641084/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 947915995 15749120 681 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/18232/statm: 3845 681 322 364 0 332 0
[startup+0.0486071 s]
/proc/loadavg: 2.05 1.57 0.75 3/576 18232
/proc/meminfo: memFree=22641084/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=29788 CPUtime=0.02 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 1415 0 0 0 2 0 0 0 25 0 1 0 947915995 30502912 1258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18232/statm: 7447 1258 443 364 0 817 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29788
[startup+0.107262 s]
/proc/loadavg: 2.05 1.57 0.75 3/576 18232
/proc/meminfo: memFree=22641084/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/18232/stat : 18232 (python) R 18230 18232 17566 0 -1 4202496 3170 929 1 0 6 1 0 0 18 0 1 0 947915995 98430976 2483 33554432000 4194304 5683644 140734066206896 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18232/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301193 s]
/proc/loadavg: 2.05 1.57 0.75 3/576 18232
/proc/meminfo: memFree=22641084/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=200776 CPUtime=0.24 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 6649 929 1 0 18 6 0 0 17 0 1 0 947915995 205594624 4936 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18232/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 200776
[startup+0.701162 s]
/proc/loadavg: 2.05 1.57 0.75 3/576 18232
/proc/meminfo: memFree=22641084/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 293648
[startup+1.50102 s]
/proc/loadavg: 2.05 1.57 0.75 3/580 18240
/proc/meminfo: memFree=22591080/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
[pid=18238] ppid=18232 vsize=283404 CPUtime=0 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 947916051 290205696 5744 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085903 0 0 16781312 33554946 378916411583496192 0 0 17 0 0 0 0
/proc/18238/statm: 70851 5744 352 364 0 5738 0
[pid=18240] ppid=18238 vsize=45208 CPUtime=0.93 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) R 18238 18240 18240 0 -1 4202496 9701 0 0 0 91 2 0 0 18 0 1 0 947916051 46292992 8900 33554432000 4194304 13684479 140737335759328 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18240/statm: 11302 8900 781 2317 0 8980 0
[pid=18232/tid=18239] ppid=18230 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947916051 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 622260
[startup+3.10069 s]
/proc/loadavg: 2.05 1.57 0.75 3/580 18240
/proc/meminfo: memFree=22575456/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
[pid=18238] ppid=18232 vsize=283404 CPUtime=0 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 947916051 290205696 5744 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085903 0 0 16781312 33554946 2864439171466919936 0 0 17 0 0 0 0
/proc/18238/statm: 70851 5744 352 364 0 5738 0
[pid=18240] ppid=18238 vsize=56920 CPUtime=2.53 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) R 18238 18240 18240 0 -1 4202496 12844 0 0 0 248 5 0 0 18 0 1 0 947916051 58286080 11925 33554432000 4194304 13684479 140737335759328 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18240/statm: 14230 11925 775 2317 0 11908 0
[pid=18232/tid=18239] ppid=18230 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947916051 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 633972
[startup+6.30112 s]
/proc/loadavg: 2.05 1.58 0.75 3/580 18240
/proc/meminfo: memFree=22568056/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
[pid=18238] ppid=18232 vsize=283404 CPUtime=0.02 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 893 0 0 0 1 1 0 0 15 0 1 0 947916051 290205696 5768 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085903 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/18238/statm: 70851 5768 376 364 0 5738 0
[pid=18240] ppid=18238 vsize=63204 CPUtime=5.73 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) R 18238 18240 18240 0 -1 4202496 14422 0 0 0 565 8 0 0 24 0 1 0 947916051 64720896 13503 33554432000 4194304 13684479 140737335759328 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18240/statm: 15801 13503 797 2317 0 13479 0
[pid=18232/tid=18239] ppid=18230 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947916051 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 640256
[startup+12.7009 s]
/proc/loadavg: 2.04 1.59 0.76 3/584 18244
/proc/meminfo: memFree=22477000/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
[pid=18238] ppid=18232 vsize=283404 CPUtime=0.04 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 896 0 0 0 2 2 0 0 15 0 1 0 947916051 290205696 5768 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085903 0 0 16781312 33554946 3880850496394625024 0 0 17 6 0 0 0
/proc/18238/statm: 70851 5768 376 364 0 5738 0
[pid=18240] ppid=18238 vsize=63204 CPUtime=12.13 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) R 18238 18240 18240 0 -1 4202496 14425 0 0 0 1200 13 0 0 25 0 1 0 947916051 64720896 13504 33554432000 4194304 13684479 140737335759328 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18240/statm: 15801 13504 796 2317 0 13479 0
[pid=18232/tid=18239] ppid=18230 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947916051 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 640256
[startup+25.5005 s]
/proc/loadavg: 2.03 1.61 0.78 3/584 18245
/proc/meminfo: memFree=22467712/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=293648 CPUtime=0.48 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 9751 929 1 0 38 10 0 0 19 0 2 0 947915995 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18232/statm: 73412 7258 1862 364 0 8299 0
[pid=18238] ppid=18232 vsize=283404 CPUtime=0.09 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 988 0 0 0 4 5 0 0 15 0 1 0 947916051 290205696 5773 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949403 0 0 17 6 0 0 0
/proc/18238/statm: 70851 5773 381 364 0 5738 0
[pid=18240] ppid=18238 vsize=63204 CPUtime=24.92 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) R 18238 18240 18240 0 -1 4202496 14425 0 0 0 2467 25 0 0 25 0 1 0 947916051 64720896 13504 33554432000 4194304 13684479 140737335759328 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18240/statm: 15801 13504 796 2317 0 13479 0
[pid=18232/tid=18239] ppid=18230 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947916051 300695552 7258 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 640256
[startup+51.1018 s]
/proc/loadavg: 2.16 1.67 0.82 3/606 18267
/proc/meminfo: memFree=22406384/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=304408 CPUtime=0.51 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 10628 929 1 0 41 10 0 0 20 0 3 0 947915995 311713792 7400 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/18232/statm: 76102 7400 1873 364 0 10986 0
[pid=18238] ppid=18232 vsize=293648 CPUtime=0.21 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 1139 0 0 0 10 11 0 0 16 0 2 0 947916051 300695552 5809 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18238/statm: 73412 5809 412 364 0 8299 0
[pid=18240] ppid=18238 vsize=74132 CPUtime=48.08 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) T 18238 18240 18240 0 -1 4202496 20694 0 0 0 4759 49 0 0 25 0 1 0 947916051 75911168 15925 33554432000 4194304 13684479 140737335759328 18446744073709551615 7154457 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/18240/statm: 18533 15925 814 2317 0 16211 0
[pid=18238/tid=18246] ppid=18232 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (python) S 18232 18232 17566 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947920861 300695552 5809 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554946 18446604449686270336 0 0 -1 6 0 0 0
[pid=18247] ppid=18232 vsize=294164 CPUtime=0 cores=0,2,4,6
/proc/18247/stat : 18247 (python) S 18232 18232 17566 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 947920863 301223936 5872 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085958 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/18247/statm: 73541 5872 349 364 0 8425 0
[pid=18249] ppid=18247 vsize=8537172 CPUtime=3.15 cores=0,2,4,6
/proc/18249/stat : 18249 (java) S 18247 18249 18249 0 -1 4202496 14856 0 1 0 313 2 0 0 21 0 19 0 947920863 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18249/statm: 2134293 12800 2253 9 0 2125034 0
[pid=18249/tid=18250] ppid=18247 vsize=8537172 CPUtime=2.36 cores=0,2,4,6
/proc/18249/task/18250/stat : 18250 (java) R 18247 18249 18249 0 -1 4202560 6953 0 1 0 235 1 0 0 23 0 19 0 947920864 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 46912505793036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18249/tid=18251] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18251/stat : 18251 (java) S 18247 18249 18249 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 0 0 0 0
[pid=18249/tid=18252] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18252/stat : 18252 (java) S 18247 18249 18249 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 0 0 0 0
[pid=18249/tid=18253] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18253/stat : 18253 (java) S 18247 18249 18249 0 -1 4202560 358 0 0 0 0 0 0 0 16 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 0 0 0 0
[pid=18249/tid=18254] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18254/stat : 18254 (java) S 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18255] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18255/stat : 18255 (java) S 18247 18249 18249 0 -1 4202560 411 0 0 0 0 0 0 0 16 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18256] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18256/stat : 18256 (java) S 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18257] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18257/stat : 18257 (java) S 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18258] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18258/stat : 18258 (java) S 18247 18249 18249 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 947920865 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18259] ppid=18247 vsize=8537172 CPUtime=0.01 cores=0,2,4,6
/proc/18249/task/18259/stat : 18259 (java) S 18247 18249 18249 0 -1 4202560 728 0 0 0 1 0 0 0 15 0 19 0 947920866 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 0 0 16800975 18446604448497986560 0 0 -1 6 0 0 0
[pid=18249/tid=18260] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18260/stat : 18260 (java) S 18247 18249 18249 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947920867 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 6 0 0 0
[pid=18249/tid=18261] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18261/stat : 18261 (java) S 18247 18249 18249 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947920867 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 6 0 0 0
[pid=18249/tid=18262] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18262/stat : 18262 (java) S 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920869 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469889457 0 4 0 16800975 18446604448497986560 0 0 -1 6 0 0 0
[pid=18249/tid=18263] ppid=18247 vsize=8537172 CPUtime=0.41 cores=0,2,4,6
/proc/18249/task/18263/stat : 18263 (java) S 18247 18249 18249 0 -1 4202560 2556 0 0 0 41 0 0 0 15 0 19 0 947920869 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 2 0 0 0
[pid=18249/tid=18264] ppid=18247 vsize=8537172 CPUtime=0.34 cores=0,2,4,6
/proc/18249/task/18264/stat : 18264 (java) S 18247 18249 18249 0 -1 4202560 1993 0 0 0 34 0 0 0 15 0 19 0 947920869 8742064128 12800 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446604448497986560 0 0 -1 6 0 0 0
[pid=18249/tid=18265] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=18249/tid=18261] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18261/stat : 18261 (java) T 18247 18249 18249 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947920867 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18262] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18262/stat : 18262 (java) T 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18263] ppid=18247 vsize=8537172 CPUtime=0.51 cores=0,2,4,6
/proc/18249/task/18263/stat : 18263 (java) T 18247 18249 18249 0 -1 4202560 2573 0 0 0 51 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18264] ppid=18247 vsize=8537172 CPUtime=0.38 cores=0,2,4,6
/proc/18249/task/18264/stat : 18264 (java) T 18247 18249 18249 0 -1 4202560 2000 0 0 0 38 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18265] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18265/stat : 18265 (java) T 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18249/tid=18266] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18266/stat : 18266 (java) T 18247 18249 18249 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18267] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18267/stat : 18267 (java) T 18247 18249 18249 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947920896 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18247/tid=18274] ppid=18232 vsize=294164 CPUtime=0 cores=0,2,4,6
/proc/18247/task/18274/stat : 18274 (python) S 18232 18232 17566 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947925593 301223936 5921 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444477684480 0 0 -1 2 0 0 0
[pid=18275] ppid=18232 vsize=304252 CPUtime=0.02 cores=0,2,4,6
/proc/18275/stat : 18275 (python) S 18232 18232 17566 0 -1 4202560 928 0 0 0 1 1 0 0 15 0 1 0 947925595 311554048 5842 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085958 0 0 16781312 33554946 2695054891197399040 0 0 17 2 0 0 0
/proc/18275/statm: 76063 5842 373 364 0 10944 0
[pid=18277] ppid=18275 vsize=52952 CPUtime=6.3 cores=0,2,4,6
/proc/18277/stat : 18277 (scip-2.0.1.linu) R 18275 18277 18277 0 -1 4202496 12636 0 0 0 623 7 0 0 22 0 1 0 947925596 54222848 9582 33554432000 4194304 15243407 140734856956672 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18277/statm: 13238 9582 907 2698 0 10533 0
[pid=18232/tid=18239] ppid=18230 vsize=314496 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 4 0 947916051 322043904 7348 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
[pid=18232/tid=18248] ppid=18230 vsize=314496 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18248/stat : 18248 (python) S 18230 18232 17566 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947920863 322043904 7348 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 2 0 0 0
[pid=18232/tid=18276] ppid=18230 vsize=314496 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18276/stat : 18276 (python) S 18230 18232 17566 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 4 0 947925596 322043904 7348 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.61
Current children cumulated vsize (KiB) 9870816
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.202 s]
/proc/loadavg: 2.12 1.78 0.94 7/639 18303
/proc/meminfo: memFree=22154756/32951124 swapFree=56297244/67111528
[pid=18232] ppid=18230 vsize=325136 CPUtime=0.57 cores=0,2,4,6
/proc/18232/stat : 18232 (python) S 18230 18232 17566 0 -1 4202496 12445 929 1 0 46 11 0 0 20 0 5 0 947915995 332939264 7450 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18232/statm: 81284 7450 1877 364 0 16162 0
[pid=18238] ppid=18232 vsize=293648 CPUtime=0.21 cores=0,2,4,6
/proc/18238/stat : 18238 (python) S 18232 18232 17566 0 -1 4202560 1139 0 0 0 10 11 0 0 16 0 2 0 947916051 300695552 5809 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18238/statm: 73412 5809 412 364 0 8299 0
[pid=18240] ppid=18238 vsize=74132 CPUtime=48.08 cores=0,2,4,6
/proc/18240/stat : 18240 (scip-2.0.1.linu) T 18238 18240 18240 0 -1 4202496 20694 0 0 0 4759 49 0 0 25 0 1 0 947916051 75911168 15925 33554432000 4194304 13684479 140737335759328 18446744073709551615 7154457 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/18240/statm: 18533 15925 814 2317 0 16211 0
[pid=18238/tid=18246] ppid=18232 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18246/stat : 18246 (python) S 18232 18232 17566 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947920861 300695552 5809 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554946 18446604449686270336 0 0 -1 6 0 0 0
[pid=18247] ppid=18232 vsize=294164 CPUtime=0.22 cores=0,2,4,6
/proc/18247/stat : 18247 (python) S 18232 18232 17566 0 -1 4202560 1113 0 0 0 11 11 0 0 17 0 2 0 947920863 301223936 5921 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 73541 5921 397 364 0 8425 0
[pid=18249] ppid=18247 vsize=8537172 CPUtime=48.25 cores=0,2,4,6
/proc/18249/stat : 18249 (java) T 18247 18249 18249 0 -1 4202496 17032 0 1 0 4822 3 0 0 18 0 19 0 947920863 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18249/statm: 2134293 14839 2255 9 0 2125034 0
[pid=18249/tid=18250] ppid=18247 vsize=8537172 CPUtime=46.75 cores=0,2,4,6
/proc/18249/task/18250/stat : 18250 (java) T 18247 18249 18249 0 -1 4202560 6980 0 1 0 4674 1 0 0 25 0 19 0 947920864 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 46912505730047 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18251] ppid=18247 vsize=8537172 CPUtime=0.02 cores=0,2,4,6
/proc/18249/task/18251/stat : 18251 (java) T 18247 18249 18249 0 -1 4202560 379 0 0 0 2 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18249/tid=18252] ppid=18247 vsize=8537172 CPUtime=0.01 cores=0,2,4,6
/proc/18249/task/18252/stat : 18252 (java) T 18247 18249 18249 0 -1 4202560 250 0 0 0 1 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18249/tid=18253] ppid=18247 vsize=8537172 CPUtime=0.03 cores=0,2,4,6
/proc/18249/task/18253/stat : 18253 (java) T 18247 18249 18249 0 -1 4202560 603 0 0 0 3 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18249/tid=18254] ppid=18247 vsize=8537172 CPUtime=0.02 cores=0,2,4,6
/proc/18249/task/18254/stat : 18254 (java) T 18247 18249 18249 0 -1 4202560 267 0 0 0 2 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18255] ppid=18247 vsize=8537172 CPUtime=0.02 cores=0,2,4,6
/proc/18249/task/18255/stat : 18255 (java) T 18247 18249 18249 0 -1 4202560 487 0 0 0 2 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18256] ppid=18247 vsize=8537172 CPUtime=0.03 cores=0,2,4,6
/proc/18249/task/18256/stat : 18256 (java) T 18247 18249 18249 0 -1 4202560 153 0 0 0 3 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18257] ppid=18247 vsize=8537172 CPUtime=0.02 cores=0,2,4,6
/proc/18249/task/18257/stat : 18257 (java) T 18247 18249 18249 0 -1 4202560 180 0 0 0 2 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18258] ppid=18247 vsize=8537172 CPUtime=0.02 cores=0,2,4,6
/proc/18249/task/18258/stat : 18258 (java) T 18247 18249 18249 0 -1 4202560 328 0 0 0 2 0 0 0 15 0 19 0 947920865 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18259] ppid=18247 vsize=8537172 CPUtime=0.37 cores=0,2,4,6
/proc/18249/task/18259/stat : 18259 (java) T 18247 18249 18249 0 -1 4202560 1434 0 0 0 37 0 0 0 15 0 19 0 947920866 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18260] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18260/stat : 18260 (java) T 18247 18249 18249 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947920867 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18261] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18261/stat : 18261 (java) T 18247 18249 18249 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947920867 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18262] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18262/stat : 18262 (java) T 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18263] ppid=18247 vsize=8537172 CPUtime=0.51 cores=0,2,4,6
/proc/18249/task/18263/stat : 18263 (java) T 18247 18249 18249 0 -1 4202560 2573 0 0 0 51 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18249/tid=18264] ppid=18247 vsize=8537172 CPUtime=0.38 cores=0,2,4,6
/proc/18249/task/18264/stat : 18264 (java) T 18247 18249 18249 0 -1 4202560 2000 0 0 0 38 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18265] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18265/stat : 18265 (java) T 18247 18249 18249 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18249/tid=18266] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18266/stat : 18266 (java) T 18247 18249 18249 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947920869 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18249/tid=18267] ppid=18247 vsize=8537172 CPUtime=0 cores=0,2,4,6
/proc/18249/task/18267/stat : 18267 (java) T 18247 18249 18249 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947920896 8742064128 14839 33554432000 1073741824 1073778376 140733842289888 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18247/tid=18274] ppid=18232 vsize=294164 CPUtime=0 cores=0,2,4,6
/proc/18247/task/18274/stat : 18274 (python) S 18232 18232 17566 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947925593 301223936 5921 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444477684480 0 0 -1 2 0 0 0
[pid=18275] ppid=18232 vsize=304252 CPUtime=0.22 cores=0,2,4,6
/proc/18275/stat : 18275 (python) S 18232 18232 17566 0 -1 4202560 1105 0 0 0 11 11 0 0 17 0 2 0 947925595 311554048 5867 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18275/statm: 76063 5867 397 364 0 10944 0
[pid=18277] ppid=18275 vsize=51080 CPUtime=50.05 cores=0,2,4,6
/proc/18277/stat : 18277 (scip-2.0.1.linu) T 18275 18277 18277 0 -1 4202496 33926 0 0 0 4973 32 0 0 25 0 1 0 947925596 52305920 10199 33554432000 4194304 15243407 140734856956672 18446744073709551615 6951477 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/18277/statm: 12770 10199 945 2698 0 10065 0
[pid=18275/tid=18283] ppid=18232 vsize=304252 CPUtime=0 cores=0,2,4,6
/proc/18275/task/18283/stat : 18283 (python) S 18232 18232 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947930602 311554048 5867 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554946 18446604451007881344 0 0 -1 6 0 0 0
[pid=18284] ppid=18232 vsize=314892 CPUtime=0 cores=0,2,4,6
/proc/18284/stat : 18284 (python) R 18232 18232 17566 0 -1 4202560 781 0 0 0 0 0 0 0 19 0 1 0 947930605 322449408 5918 33554432000 4194304 5683644 140734066206896 18446744073709551615 252458085958 0 0 16781312 33554946 0 0 0 17 6 0 0 0
/proc/18284/statm: 78723 5918 349 364 0 13601 0
[pid=18286] ppid=18284 vsize=8532588 CPUtime=0.12 cores=0,2,4,6
/proc/18286/stat : 18286 (java) S 18284 18286 18286 0 -1 4202496 5597 0 1 0 11 1 0 0 17 0 18 0 947930605 8737370112 5054 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18286/statm: 2133147 5054 2088 9 0 2123888 0
[pid=18286/tid=18287] ppid=18284 vsize=8532780 CPUtime=0.12 cores=0,2,4,6
/proc/18286/task/18287/stat : 18287 (java) R 18284 18286 18286 0 -1 4202560 3522 0 1 0 11 1 0 0 18 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 47408617727594 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18286/tid=18288] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18288/stat : 18288 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 6 0 0 0
[pid=18286/tid=18289] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18289/stat : 18289 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18290] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18290/stat : 18290 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18291] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18291/stat : 18291 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18292] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18292/stat : 18292 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18293] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18293/stat : 18293 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947930606 8737566720 5219 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18294] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18294/stat : 18294 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947930606 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18295] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18295/stat : 18295 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947930606 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18296] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18296/stat : 18296 (java) S 18284 18286 18286 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 947930607 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469882368 0 0 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18297] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18297/stat : 18297 (java) S 18284 18286 18286 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 947930608 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 6 0 0 0
[pid=18286/tid=18298] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18298/stat : 18298 (java) S 18284 18286 18286 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 18 0 947930608 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 0 0 0 0
[pid=18286/tid=18299] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18299/stat : 18299 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930610 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469889457 0 4 0 16800975 18446604449670713792 0 0 -1 6 0 0 0
[pid=18286/tid=18300] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18300/stat : 18300 (java) R 18284 18286 18286 0 -1 4202560 254 0 0 0 0 0 0 0 17 0 18 0 947930610 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18286/tid=18301] ppid=18284 vsize=8532780 CPUtime=0.01 cores=0,2,4,6
/proc/18286/task/18301/stat : 18301 (java) R 18284 18286 18286 0 -1 4202560 595 0 0 0 1 0 0 0 25 0 18 0 947930610 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252457759710 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18286/tid=18302] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18302/stat : 18302 (java) S 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930610 8737566720 5221 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469881753 0 4 0 16800975 18446604449670713792 0 0 -1 6 0 0 0
[pid=18286/tid=18303] ppid=18284 vsize=8532780 CPUtime=0 cores=0,2,4,6
/proc/18286/task/18303/stat : 18303 (java) R 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930610 8737566720 5222 33554432000 1073741824 1073778376 140737365388544 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18232/tid=18239] ppid=18230 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18239/stat : 18239 (python) S 18230 18232 17566 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 5 0 947916051 332939264 7450 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
[pid=18232/tid=18248] ppid=18230 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18248/stat : 18248 (python) S 18230 18232 17566 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 947920863 332939264 7450 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 2 0 0 0
[pid=18232/tid=18276] ppid=18230 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18276/stat : 18276 (python) S 18230 18232 17566 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 947925596 332939264 7450 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 0 0 0 0
[pid=18232/tid=18285] ppid=18230 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/18232/task/18285/stat : 18285 (python) S 18230 18232 17566 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 5 0 947930605 332939264 7450 33554432000 4194304 5683644 140734066206896 18446744073709551615 252469889457 0 0 16781312 33554434 18446604451738974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 147.72
Current children cumulated vsize (KiB) 18727064
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 18232 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=466929
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 0.582911
# while last known CPU time is 147.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.278
CPU time (s): 147.72
CPU user time (s): 146.43
CPU system time (s): 1.29
CPU usage (%): 100.986
Max. virtual memory (cumulated for all children) (KiB): 18727064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.466929
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13376
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= 18
runsolver used 0.845871 second user time and 1.63975 second system time
The end