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-3481578-1307578312/watcher-3481578-1307578312 -o /tmp/evaluation-result-3481578-1307578312/solver-3481578-1307578312 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481578-1307578312.opb -seed 2099299377 -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.08 2.12 1.84 2/754 9113
/proc/meminfo: memFree=12610616/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 794 0 0 0 0 0 0 0 25 0 1 0 850247124 15749120 681 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9113/statm: 3845 681 322 364 0 332 0
[startup+0.113757 s]
/proc/loadavg: 2.08 2.12 1.84 2/754 9113
/proc/meminfo: memFree=12610616/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 3034 464 1 0 5 2 0 0 18 0 1 0 850247124 98435072 2483 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510297344 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/9113/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200703 s]
/proc/loadavg: 2.08 2.12 1.84 2/754 9113
/proc/meminfo: memFree=12610616/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=119984 CPUtime=0.12 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 4928 927 1 0 9 3 0 0 17 0 1 0 850247124 122863616 3351 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510293349 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9113/statm: 29996 3351 919 364 0 2445 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119984
[startup+0.300716 s]
/proc/loadavg: 2.08 2.12 1.84 2/754 9113
/proc/meminfo: memFree=12610616/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 5357 927 1 0 12 5 0 0 17 0 1 0 850247124 126709760 3744 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9113/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700642 s]
/proc/loadavg: 2.08 2.12 1.84 2/754 9113
/proc/meminfo: memFree=12610616/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=282532 CPUtime=0.42 cores=0,2,4,6
/proc/9113/stat : 9113 (python) R 9111 9113 7805 0 -1 4202496 9214 927 1 0 30 12 0 0 17 0 1 0 850247124 289312768 6946 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/9113/statm: 70633 6946 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282532
[startup+1.50048 s]
/proc/loadavg: 2.08 2.12 1.84 3/758 9122
/proc/meminfo: memFree=12563820/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=293744 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 10880 1328 1 0 39 13 2 0 19 0 2 0 850247124 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9113/statm: 73436 7276 1871 364 0 8323 0
[pid=9120] ppid=9113 vsize=283500 CPUtime=0 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 1 0 850247203 290304000 5726 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 33554946 6365512725220524289 0 0 17 2 0 0 0
/proc/9120/statm: 70875 5726 325 364 0 5762 0
[pid=9122] ppid=9120 vsize=49656 CPUtime=0.69 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) R 9120 9122 9122 0 -1 4202496 12442 0 0 0 60 9 0 0 21 0 1 0 850247203 50847744 10279 33554432000 4194304 13684479 140737193574304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9122/statm: 12414 10279 830 2317 0 10092 0
[pid=9113/tid=9121] ppid=9111 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 2 0 850247203 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 626900
[startup+3.10119 s]
/proc/loadavg: 2.15 2.13 1.84 3/758 9122
/proc/meminfo: memFree=12542480/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=293744 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 10880 1328 1 0 39 13 2 0 19 0 2 0 850247124 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9113/statm: 73436 7276 1871 364 0 8323 0
[pid=9120] ppid=9113 vsize=283500 CPUtime=0 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 801 0 0 0 0 0 0 0 15 0 1 0 850247203 290304000 5726 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 33554946 1252666884491313152 0 0 17 2 0 0 0
/proc/9120/statm: 70875 5726 325 364 0 5762 0
[pid=9122] ppid=9120 vsize=57076 CPUtime=2.29 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) R 9120 9122 9122 0 -1 4202496 13888 0 0 0 219 10 0 0 18 0 1 0 850247203 58445824 11722 33554432000 4194304 13684479 140737193574304 18446744073709551615 5095476 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9122/statm: 14269 11722 830 2317 0 11947 0
[pid=9113/tid=9121] ppid=9111 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 2 0 850247203 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 634320
[startup+6.30061 s]
/proc/loadavg: 2.15 2.13 1.84 3/758 9122
/proc/meminfo: memFree=12539804/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=293744 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 10880 1328 1 0 39 13 2 0 19 0 2 0 850247124 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9113/statm: 73436 7276 1871 364 0 8323 0
[pid=9120] ppid=9113 vsize=283500 CPUtime=0.02 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 937 0 0 0 1 1 0 0 15 0 1 0 850247203 290304000 5749 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 33554946 2827093636259250176 0 0 17 2 0 0 0
/proc/9120/statm: 70875 5749 348 364 0 5762 0
[pid=9122] ppid=9120 vsize=57076 CPUtime=5.49 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) R 9120 9122 9122 0 -1 4202496 13912 0 0 0 537 12 0 0 20 0 1 0 850247203 58445824 11741 33554432000 4194304 13684479 140737193574304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9122/statm: 14269 11741 833 2317 0 11947 0
[pid=9113/tid=9121] ppid=9111 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 2 0 850247203 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 634320
[startup+12.7005 s]
/proc/loadavg: 2.13 2.12 1.84 3/758 9122
/proc/meminfo: memFree=12534652/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=293744 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 10880 1328 1 0 39 13 2 0 19 0 2 0 850247124 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9113/statm: 73436 7276 1871 364 0 8323 0
[pid=9120] ppid=9113 vsize=283500 CPUtime=0.04 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 941 0 0 0 2 2 0 0 15 0 1 0 850247203 290304000 5749 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/9120/statm: 70875 5749 348 364 0 5762 0
[pid=9122] ppid=9120 vsize=58932 CPUtime=11.9 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) R 9120 9122 9122 0 -1 4202496 15482 0 0 0 1175 15 0 0 25 0 1 0 850247203 60346368 12573 33554432000 4194304 13684479 140737193574304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9122/statm: 14733 12573 834 2317 0 12411 0
[pid=9113/tid=9121] ppid=9111 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 2 0 850247203 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 636176
[startup+25.5012 s]
/proc/loadavg: 2.11 2.12 1.84 3/758 9122
/proc/meminfo: memFree=12534700/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=293744 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 10880 1328 1 0 39 13 2 0 19 0 2 0 850247124 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9113/statm: 73436 7276 1871 364 0 8323 0
[pid=9120] ppid=9113 vsize=283500 CPUtime=0.11 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 956 0 0 0 6 5 0 0 15 0 1 0 850247203 290304000 5749 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317583 0 0 16781312 33554946 72556772316949288 0 0 17 6 0 0 0
/proc/9120/statm: 70875 5749 348 364 0 5762 0
[pid=9122] ppid=9120 vsize=58932 CPUtime=24.59 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) R 9120 9122 9122 0 -1 4202496 15485 0 0 0 2433 26 0 0 25 0 1 0 850247203 60346368 12576 33554432000 4194304 13684479 140737193574304 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9122/statm: 14733 12576 834 2317 0 12411 0
[pid=9113/tid=9121] ppid=9111 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 2 0 850247203 300793856 7276 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 636176
[startup+51.1006 s]
/proc/loadavg: 2.13 2.12 1.85 3/761 9126
/proc/meminfo: memFree=12509820/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=304504 CPUtime=0.56 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 11709 1328 1 0 41 13 2 0 20 0 3 0 850247124 311812096 7409 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/9113/statm: 76126 7409 1874 364 0 11010 0
[pid=9120] ppid=9113 vsize=293744 CPUtime=0.25 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 1172 0 0 0 13 12 0 0 16 0 2 0 850247203 300793856 5817 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9120/statm: 73436 5817 411 364 0 8323 0
[pid=9122] ppid=9120 vsize=58932 CPUtime=50.08 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) T 9120 9122 9122 0 -1 4202496 15487 0 0 0 4962 46 0 0 25 0 1 0 850247203 60346368 12578 33554432000 4194304 13684479 140737193574304 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/9122/statm: 14733 12578 834 2317 0 12411 0
[pid=9113/tid=9121] ppid=9111 vsize=304504 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 3 0 850247203 311812096 7409 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 657180
[startup+102.301 s]
/proc/loadavg: 2.06 2.10 1.86 3/787 9154
/proc/meminfo: memFree=12298868/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=314760 CPUtime=0.59 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 12545 1328 1 0 44 13 2 0 20 0 4 0 850247124 322314240 7415 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9113/statm: 78690 7415 1876 364 0 13571 0
[pid=9120] ppid=9113 vsize=293744 CPUtime=0.25 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 1172 0 0 0 13 12 0 0 16 0 2 0 850247203 300793856 5817 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9120/statm: 73436 5817 411 364 0 8323 0
[pid=9122] ppid=9120 vsize=58932 CPUtime=50.08 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) T 9120 9122 9122 0 -1 4202496 15487 0 0 0 4962 46 0 0 25 0 1 0 850247203 60346368 12578 33554432000 4194304 13684479 140737193574304 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/9122/statm: 14733 12578 834 2317 0 12411 0
[pid=9120/tid=9127] ppid=9113 vsize=293744 CPUtime=0 cores=0,2,4,6
/proc/9120/task/9127/stat : 9127 (python) S 9113 9113 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850252223 300793856 5817 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440956884224 0 0 -1 6 0 0 0
[pid=9128] ppid=9113 vsize=294260 CPUtime=0.23 cores=0,2,4,6
/proc/9128/stat : 9128 (python) S 9113 9113 7805 0 -1 4202560 1113 0 0 0 13 10 0 0 17 0 2 0 850252226 301322240 5923 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/9128/statm: 73565 5923 391 364 0 8449 0
[pid=9130] ppid=9128 vsize=60520 CPUtime=48.28 cores=0,2,4,6
/proc/9130/stat : 9130 (scip-2.0.1.linu) T 9128 9130 9130 0 -1 4202496 13320 0 0 0 4809 19 0 0 25 0 1 0 850252226 61972480 12432 33554432000 4194304 15243407 140734913006048 18446744073709551615 8113548 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/9130/statm: 15130 12432 944 2698 0 12425 0
[pid=9128/tid=9132] ppid=9113 vsize=294260 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (python) S 9113 9113 7805 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850257055 301322240 5923 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554946 18446604447561459008 0 0 -1 4 0 0 0
[pid=9133] ppid=9113 vsize=304516 CPUtime=0 cores=0,2,4,6
/proc/9133/stat : 9133 (python) S 9113 9113 7805 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 850257058 311824384 5855 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317638 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/9133/statm: 76129 5855 320 364 0 11010 0
[pid=9135] ppid=9133 vsize=8540832 CPUtime=3.56 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 9135 0 -1 4202496 43108 0 1 0 350 6 0 0 20 0 19 0 850257059 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9135/statm: 2135208 41191 2253 9 0 2125949 0
[pid=9135/tid=9136] ppid=9133 vsize=8540832 CPUtime=2.89 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 9135 0 -1 4202560 35313 0 1 0 285 4 0 0 25 0 19 0 850257060 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 46912505557664 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9135/tid=9137] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9137/stat : 9137 (java) S 9133 9135 9135 0 -1 4202560 451 0 0 0 0 0 0 0 15 0 19 0 850257060 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 9135 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 850257060 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=9135/tid=9144] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 9135 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 850257060 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=8540832 CPUtime=0.02 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 9135 0 -1 4202560 667 0 0 0 2 0 0 0 16 0 19 0 850257061 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 0 0 16800975 18446604444126835968 0 0 -1 4 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 9135 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850257062 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 9135 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850257062 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 9135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850257064 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522121137 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=8540832 CPUtime=0.32 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 9135 0 -1 4202560 2458 0 0 0 32 0 0 0 16 0 19 0 850257064 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=8540832 CPUtime=0.26 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 9135 0 -1 4202560 2211 0 0 0 26 0 0 0 16 0 19 0 850257064 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 9135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850257064 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446604444126835968 0 0 -1 2 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 9135 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850257064 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446604444126835968 0 0 -1 4 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 9135 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850257086 8745811968 41191 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446604444126835968 0 0 -1 6 0 0 0
[pid=9113/tid=9121] ppid=9111 vsize=314760 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 4 0 850247203 322314240 7415 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
[pid=9113/tid=9129] ppid=9111 vsize=314760 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (python) S 9111 9113 7805 0 -1 4202560 33 1328 0 0 0 0 2 0 20 0 4 0 850252226 322314240 7415 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
[pid=9113/tid=9134] ppid=9111 vsize=314760 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9134/stat : 9134 (python) S 9111 9113 7805 0 -1 4202560 30 1328 0 0 0 0 2 0 20 0 4 0 850257058 322314240 7415 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.99
Current children cumulated vsize (KiB) 9867564
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+149.102 s]
/proc/loadavg: 2.02 2.08 1.86 5/810 9178
/proc/meminfo: memFree=12192144/32951124 swapFree=64303752/67111528
[pid=9113] ppid=9111 vsize=325016 CPUtime=0.61 cores=0,2,4,6
/proc/9113/stat : 9113 (python) S 9111 9113 7805 0 -1 4202496 13432 1328 1 0 46 13 2 0 20 0 5 0 850247124 332816384 7439 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9113/statm: 81254 7439 1878 364 0 16132 0
[pid=9120] ppid=9113 vsize=293744 CPUtime=0.25 cores=0,2,4,6
/proc/9120/stat : 9120 (python) S 9113 9113 7805 0 -1 4202560 1172 0 0 0 13 12 0 0 16 0 2 0 850247203 300793856 5817 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9120/statm: 73436 5817 411 364 0 8323 0
[pid=9122] ppid=9120 vsize=58932 CPUtime=50.08 cores=0,2,4,6
/proc/9122/stat : 9122 (scip-2.0.1.linu) T 9120 9122 9122 0 -1 4202496 15487 0 0 0 4962 46 0 0 25 0 1 0 850247203 60346368 12578 33554432000 4194304 13684479 140737193574304 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/9122/statm: 14733 12578 834 2317 0 12411 0
[pid=9120/tid=9127] ppid=9113 vsize=293744 CPUtime=0 cores=0,2,4,6
/proc/9120/task/9127/stat : 9127 (python) S 9113 9113 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850252223 300793856 5817 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440956884224 0 0 -1 6 0 0 0
[pid=9128] ppid=9113 vsize=294260 CPUtime=0.23 cores=0,2,4,6
/proc/9128/stat : 9128 (python) S 9113 9113 7805 0 -1 4202560 1113 0 0 0 13 10 0 0 17 0 2 0 850252226 301322240 5923 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/9128/statm: 73565 5923 391 364 0 8449 0
[pid=9130] ppid=9128 vsize=60520 CPUtime=48.28 cores=0,2,4,6
/proc/9130/stat : 9130 (scip-2.0.1.linu) T 9128 9130 9130 0 -1 4202496 13320 0 0 0 4809 19 0 0 25 0 1 0 850252226 61972480 12432 33554432000 4194304 15243407 140734913006048 18446744073709551615 8113548 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/9130/statm: 15130 12432 944 2698 0 12425 0
[pid=9128/tid=9132] ppid=9113 vsize=294260 CPUtime=0 cores=0,2,4,6
/proc/9128/task/9132/stat : 9132 (python) S 9113 9113 7805 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850257055 301322240 5923 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554946 18446604447561459008 0 0 -1 4 0 0 0
[pid=9133] ppid=9113 vsize=304516 CPUtime=0.26 cores=0,2,4,6
/proc/9133/stat : 9133 (python) S 9113 9113 7805 0 -1 4202560 1131 0 0 0 14 12 0 0 16 0 2 0 850257058 311824384 5927 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9133/statm: 76129 5927 391 364 0 11010 0
[pid=9135] ppid=9133 vsize=8540832 CPUtime=49.63 cores=0,2,4,6
/proc/9135/stat : 9135 (java) T 9133 9135 9135 0 -1 4202496 49915 0 1 0 4954 9 0 0 18 0 19 0 850257059 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9135/statm: 2135208 26335 2253 9 0 2125949 0
[pid=9135/tid=9136] ppid=9133 vsize=8540832 CPUtime=48.23 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) T 9133 9135 9135 0 -1 4202560 35388 0 1 0 4819 4 0 0 25 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9135/tid=9137] ppid=9133 vsize=8540832 CPUtime=0.05 cores=0,2,4,6
/proc/9135/task/9137/stat : 9137 (java) T 9133 9135 9135 0 -1 4202560 1088 0 0 0 5 0 0 0 16 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=8540832 CPUtime=0.04 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) T 9133 9135 9135 0 -1 4202560 750 0 0 0 4 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 47936349553826 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=8540832 CPUtime=0.03 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) T 9133 9135 9135 0 -1 4202560 601 0 0 0 3 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=8540832 CPUtime=0.05 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) T 9133 9135 9135 0 -1 4202560 1135 0 0 0 5 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 47936349553826 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=8540832 CPUtime=0.03 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) T 9133 9135 9135 0 -1 4202560 1613 0 0 0 3 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=8540832 CPUtime=0.04 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) T 9133 9135 9135 0 -1 4202560 612 0 0 0 4 0 0 0 16 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=8540832 CPUtime=0.04 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) T 9133 9135 9135 0 -1 4202560 350 0 0 0 4 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=8540832 CPUtime=0.03 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) T 9133 9135 9135 0 -1 4202560 858 0 0 0 3 0 0 0 15 0 19 0 850257060 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=8540832 CPUtime=0.35 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) T 9133 9135 9135 0 -1 4202560 1446 0 0 0 34 1 0 0 15 0 19 0 850257061 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) T 9133 9135 9135 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850257062 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) T 9133 9135 9135 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850257062 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) T 9133 9135 9135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850257064 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=8540832 CPUtime=0.36 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) T 9133 9135 9135 0 -1 4202560 2470 0 0 0 36 0 0 0 15 0 19 0 850257064 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=8540832 CPUtime=0.27 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) T 9133 9135 9135 0 -1 4202560 2212 0 0 0 27 0 0 0 15 0 19 0 850257064 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) T 9133 9135 9135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850257064 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) T 9133 9135 9135 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850257064 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=8540832 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) T 9133 9135 9135 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850257086 8745811968 26335 33554432000 1073741824 1073778376 140733376725504 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=9133/tid=9157] ppid=9113 vsize=304516 CPUtime=0 cores=0,2,4,6
/proc/9133/task/9157/stat : 9157 (python) S 9113 9113 7805 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850261944 311824384 5927 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770867648 0 0 -1 6 0 0 0
[pid=9158] ppid=9113 vsize=314772 CPUtime=0 cores=0,2,4,6
/proc/9158/stat : 9158 (python) S 9113 9113 7805 0 -1 4202560 800 0 0 0 0 0 0 0 15 0 1 0 850261946 322326528 5877 33554432000 4194304 5683644 140734064462208 18446744073709551615 233510317638 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/9158/statm: 78693 5877 320 364 0 13571 0
[pid=9160] ppid=9158 vsize=8545968 CPUtime=2.16 cores=0,2,4,6
/proc/9160/stat : 9160 (java) S 9158 9160 9160 0 -1 4202496 40733 0 1 0 211 5 0 0 21 0 19 0 850261947 8751071232 35116 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9160/statm: 2136492 35117 2224 9 0 2127233 0
[pid=9160/tid=9161] ppid=9158 vsize=8545968 CPUtime=0.89 cores=0,2,4,6
/proc/9160/task/9161/stat : 9161 (java) R 9158 9160 9160 0 -1 4202560 27097 0 1 0 86 3 0 0 25 0 19 0 850261947 8751071232 36284 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 46912505623295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9160/tid=9162] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9162/stat : 9162 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850261948 8751071232 36286 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9163] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9163/stat : 9163 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36288 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9164] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9164/stat : 9164 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36289 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9165] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9165/stat : 9165 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36291 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 6 0 0 0
[pid=9160/tid=9166] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9166/stat : 9166 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36292 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9167] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9167/stat : 9167 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36293 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9168] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9168/stat : 9168 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36293 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9169] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9169/stat : 9169 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850261948 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9160/tid=9170] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9170/stat : 9170 (java) S 9158 9160 9160 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850261949 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522114048 0 0 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9171] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9171/stat : 9171 (java) S 9158 9160 9160 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850261949 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9172] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9172/stat : 9172 (java) S 9158 9160 9160 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850261949 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 6 0 0 0
[pid=9160/tid=9173] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9173/stat : 9173 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850261951 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522121137 0 4 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9174] ppid=9158 vsize=8545968 CPUtime=0.63 cores=0,2,4,6
/proc/9160/task/9174/stat : 9174 (java) R 9158 9160 9160 0 -1 4202560 3977 0 0 0 63 0 0 0 17 0 19 0 850261951 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 47233455978539 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9160/tid=9175] ppid=9158 vsize=8545968 CPUtime=0.64 cores=0,2,4,6
/proc/9160/task/9175/stat : 9175 (java) S 9158 9160 9160 0 -1 4202560 9425 0 0 0 63 1 0 0 17 0 19 0 850261951 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9176] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9176/stat : 9176 (java) S 9158 9160 9160 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850261951 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522113433 0 4 0 16800975 18446604440770870336 0 0 -1 2 0 0 0
[pid=9160/tid=9177] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9177/stat : 9177 (java) S 9158 9160 9160 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850261951 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522114048 0 4 0 16800975 18446604440770870336 0 0 -1 0 0 0 0
[pid=9160/tid=9178] ppid=9158 vsize=8545968 CPUtime=0 cores=0,2,4,6
/proc/9160/task/9178/stat : 9178 (java) S 9158 9160 9160 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 850261975 8751071232 36296 33554432000 1073741824 1073778376 140737141067216 18446744073709551615 233522114048 0 4 0 16800975 18446604440770870336 0 0 -1 4 0 0 0
[pid=9113/tid=9121] ppid=9111 vsize=325016 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (python) S 9111 9113 7805 0 -1 4202560 24 1328 0 0 0 0 2 0 19 0 5 0 850247203 332816384 7439 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
[pid=9113/tid=9129] ppid=9111 vsize=325016 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (python) S 9111 9113 7805 0 -1 4202560 33 1328 0 0 0 0 2 0 20 0 5 0 850252226 332816384 7439 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 6 0 0 0
[pid=9113/tid=9134] ppid=9111 vsize=325016 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9134/stat : 9134 (python) S 9111 9113 7805 0 -1 4202560 30 1328 0 0 0 0 2 0 20 0 5 0 850257058 332816384 7439 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 2 0 0 0
[pid=9113/tid=9159] ppid=9111 vsize=325016 CPUtime=0.02 cores=0,2,4,6
/proc/9113/task/9159/stat : 9159 (python) S 9111 9113 7805 0 -1 4202560 28 1328 0 0 0 0 2 0 20 0 5 0 850261947 332816384 7439 33554432000 4194304 5683644 140734064462208 18446744073709551615 233522121137 0 0 16781312 33554434 18446604450781817536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 151.5
Current children cumulated vsize (KiB) 18738560
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 9113 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=489925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=141978
# CPU time returned by wait4() is 0.631903
# while last known CPU time is 151.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 149.184
CPU time (s): 151.5
CPU user time (s): 150.24
CPU system time (s): 1.26
CPU usage (%): 101.553
Max. virtual memory (cumulated for all children) (KiB): 18738560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.489925
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14761
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= 4031
involuntary context switches= 19
runsolver used 1.02584 second user time and 1.88571 second system time
The end