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-3481896-1307576420/watcher-3481896-1307576420 -o /tmp/evaluation-result-3481896-1307576420/solver-3481896-1307576420 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481896-1307576420.opb -seed 262160610 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.21 0.33 0.11 3/461 15054
/proc/meminfo: memFree=31891428/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/15054/stat : 15054 (python) R 15052 15054 14938 0 -1 4202496 879 0 0 0 0 0 0 0 17 0 1 0 869240234 16150528 760 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335553221 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15054/statm: 3943 760 343 364 0 430 0
[startup+0.0730289 s]
/proc/loadavg: 1.21 0.33 0.11 3/461 15054
/proc/meminfo: memFree=31891428/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=50300 CPUtime=0.05 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 1978 0 0 0 4 1 0 0 17 0 1 0 869240234 51507200 1738 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0
/proc/15054/statm: 12575 1738 480 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50300
[startup+0.102703 s]
/proc/loadavg: 1.21 0.33 0.11 3/461 15054
/proc/meminfo: memFree=31891428/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 3033 464 1 0 5 1 0 0 18 0 1 0 869240234 98435072 2483 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/15054/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.301086 s]
/proc/loadavg: 1.21 0.33 0.11 3/461 15054
/proc/meminfo: memFree=31891428/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 5357 929 1 0 12 5 0 0 17 0 1 0 869240234 126709760 3744 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 0
/proc/15054/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700961 s]
/proc/loadavg: 1.21 0.33 0.11 3/461 15054
/proc/meminfo: memFree=31891428/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=283412 CPUtime=0.43 cores=1,3,5,7
/proc/15054/stat : 15054 (python) R 15052 15054 14938 0 -1 4202496 9340 929 1 0 33 10 0 0 16 0 1 0 869240234 290213888 7201 33554432000 4194304 5683644 140734606569184 18446744073709551615 4509088 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/15054/statm: 70853 7201 1816 364 0 5746 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283412
[startup+1.50077 s]
/proc/loadavg: 1.27 0.36 0.12 3/465 15062
/proc/meminfo: memFree=31839672/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=293844 CPUtime=0.47 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 9800 929 1 0 37 10 0 0 18 0 2 0 869240234 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 73461 7303 1870 364 0 8348 0
[pid=15060] ppid=15054 vsize=283600 CPUtime=0 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869240309 290406400 5781 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912463 0 0 16781312 33554946 2672214667434131456 0 0 17 7 0 0 0
/proc/15060/statm: 70900 5781 352 364 0 5787 0
[pid=15062] ppid=15060 vsize=39408 CPUtime=0.74 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) R 15060 15062 15062 0 -1 4202496 8225 0 0 0 69 5 0 0 18 0 1 0 869240309 40353792 7531 33554432000 4194304 13684479 140735042566864 18446744073709551615 7098848 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/15062/statm: 9852 7531 766 2317 0 7530 0
[pid=15054/tid=15061] ppid=15052 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 869240309 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 616852
[startup+3.3055 s]
/proc/loadavg: 1.27 0.36 0.12 3/465 15062
/proc/meminfo: memFree=31839672/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=293844 CPUtime=0.47 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 9800 929 1 0 37 10 0 0 18 0 2 0 869240234 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 73461 7303 1870 364 0 8348 0
[pid=15060] ppid=15054 vsize=283600 CPUtime=0 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 869240309 290406400 5781 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912463 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/15060/statm: 70900 5781 352 364 0 5787 0
[pid=15062] ppid=15060 vsize=64184 CPUtime=2.54 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) R 15060 15062 15062 0 -1 4202496 14432 0 0 0 245 9 0 0 18 0 1 0 869240309 65724416 13689 33554432000 4194304 13684479 140735042566864 18446744073709551615 4412900 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15062/statm: 16046 13689 768 2317 0 13724 0
[pid=15054/tid=15061] ppid=15052 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 869240309 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 641628
[startup+6.30096 s]
/proc/loadavg: 1.33 0.39 0.13 3/465 15063
/proc/meminfo: memFree=31787520/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=293844 CPUtime=0.47 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 9800 929 1 0 37 10 0 0 18 0 2 0 869240234 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 73461 7303 1870 364 0 8348 0
[pid=15060] ppid=15054 vsize=283600 CPUtime=0.02 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 912 0 0 0 1 1 0 0 15 0 1 0 869240309 290406400 5805 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912463 0 0 16781312 33554946 894885036308824064 0 0 17 7 0 0 0
/proc/15060/statm: 70900 5805 376 364 0 5787 0
[pid=15062] ppid=15060 vsize=89932 CPUtime=5.52 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) R 15060 15062 15062 0 -1 4202496 20816 0 0 0 537 15 0 0 19 0 1 0 869240309 92090368 20065 33554432000 4194304 13684479 140735042566864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15062/statm: 22483 20065 769 2317 0 20161 0
[pid=15054/tid=15061] ppid=15052 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 869240309 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 667376
[startup+12.7178 s]
/proc/loadavg: 1.46 0.43 0.15 3/465 15063
/proc/meminfo: memFree=31769948/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=293844 CPUtime=0.47 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 9800 929 1 0 37 10 0 0 18 0 2 0 869240234 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 73461 7303 1870 364 0 8348 0
[pid=15060] ppid=15054 vsize=283600 CPUtime=0.06 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 919 0 0 0 3 3 0 0 15 0 1 0 869240309 290406400 5805 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912463 0 0 16781312 33554946 3814648136782053376 0 0 17 3 0 0 0
/proc/15060/statm: 70900 5805 376 364 0 5787 0
[pid=15062] ppid=15060 vsize=102112 CPUtime=11.94 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) R 15060 15062 15062 0 -1 4202496 24536 0 0 0 1168 26 0 0 25 0 1 0 869240309 104562688 22970 33554432000 4194304 13684479 140735042566864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15062/statm: 25528 22970 826 2317 0 23206 0
[pid=15054/tid=15061] ppid=15052 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 869240309 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 679556
[startup+25.5005 s]
/proc/loadavg: 1.55 0.48 0.17 3/465 15063
/proc/meminfo: memFree=31754568/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=293844 CPUtime=0.47 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 9800 929 1 0 37 10 0 0 18 0 2 0 869240234 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 73461 7303 1870 364 0 8348 0
[pid=15060] ppid=15054 vsize=283600 CPUtime=0.09 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 923 0 0 0 4 5 0 0 15 0 1 0 869240309 290406400 5805 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912463 0 0 16781312 33554946 5623311482772007715 0 0 17 1 0 0 0
/proc/15060/statm: 70900 5805 376 364 0 5787 0
[pid=15062] ppid=15060 vsize=102112 CPUtime=24.7 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) R 15060 15062 15062 0 -1 4202496 24570 0 0 0 2414 56 0 0 25 0 1 0 869240309 104562688 22971 33554432000 4194304 13684479 140735042566864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15062/statm: 25528 22971 794 2317 0 23206 0
[pid=15054/tid=15061] ppid=15052 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 869240309 300896256 7303 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 679556
[startup+51.101 s]
/proc/loadavg: 1.88 0.67 0.24 3/509 15108
/proc/meminfo: memFree=31251916/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=304532 CPUtime=0.51 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 10630 929 1 0 40 11 0 0 20 0 3 0 869240234 311840768 7431 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15054/statm: 76133 7431 1873 364 0 11017 0
[pid=15060] ppid=15054 vsize=293844 CPUtime=0.21 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 1093 0 0 0 10 11 0 0 16 0 2 0 869240309 300896256 5841 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/15060/statm: 73461 5841 407 364 0 8348 0
[pid=15062] ppid=15060 vsize=102680 CPUtime=49.01 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) T 15060 15062 15062 0 -1 4202496 24734 0 0 0 4794 107 0 0 25 0 1 0 869240309 105144320 23135 33554432000 4194304 13684479 140735042566864 18446744073709551615 7361327 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15062/statm: 25670 23135 798 2317 0 23348 0
[pid=15060/tid=15087] ppid=15054 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15060/task/15087/stat : 15087 (python) S 15054 15054 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869245215 300896256 5841 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554946 18446604467522062464 0 0 -1 1 0 0 0
[pid=15088] ppid=15054 vsize=294288 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (python) S 15054 15054 14938 0 -1 4202560 796 0 0 0 0 0 0 0 15 0 1 0 869245218 301350912 5903 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912518 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/15088/statm: 73572 5903 349 364 0 8456 0
[pid=15090] ppid=15088 vsize=8538480 CPUtime=1.97 cores=1,3,5,7
/proc/15090/stat : 15090 (java) S 15088 15090 15090 0 -1 4202496 16592 0 1 0 194 3 0 0 20 0 19 0 869245218 8743403520 14588 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15090/statm: 2134620 14588 2227 9 0 2125361 0
[pid=15090/tid=15091] ppid=15088 vsize=8538480 CPUtime=1.26 cores=1,3,5,7
/proc/15090/task/15091/stat : 15091 (java) R 15088 15090 15090 0 -1 4202560 10664 0 1 0 124 2 0 0 20 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 46912505620126 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15090/tid=15092] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15092/stat : 15092 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 3 0 0 0
[pid=15090/tid=15093] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15093/stat : 15093 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15094] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15094/stat : 15094 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15095] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15095/stat : 15095 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15096] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15096/stat : 15096 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15097] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15097/stat : 15097 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15098] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15098/stat : 15098 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869245219 8743403520 14630 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15099] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15099/stat : 15099 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869245219 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15100] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15100/stat : 15100 (java) S 15088 15090 15090 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869245220 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 0 0 16800975 18446604454517513280 0 0 -1 5 0 0 0
[pid=15090/tid=15101] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15101/stat : 15101 (java) S 15088 15090 15090 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869245221 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 3 0 0 0
[pid=15090/tid=15102] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15102/stat : 15102 (java) S 15088 15090 15090 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869245221 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 3 0 0 0
[pid=15090/tid=15103] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15103/stat : 15103 (java) S 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869245223 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347716017 0 4 0 16800975 18446604454517513280 0 0 -1 3 0 0 0
[pid=15090/tid=15104] ppid=15088 vsize=8538480 CPUtime=0.35 cores=1,3,5,7
/proc/15090/task/15104/stat : 15104 (java) S 15088 15090 15090 0 -1 4202560 1955 0 0 0 35 0 0 0 22 0 19 0 869245223 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 7 0 0 0
[pid=15090/tid=15105] ppid=15088 vsize=8538480 CPUtime=0.34 cores=1,3,5,7
/proc/15090/task/15105/stat : 15105 (java) S 15088 15090 15090 0 -1 4202560 2611 0 0 0 34 0 0 0 15 0 19 0 869245223 8743403520 14631 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446604454517513280 0 0 -1 5 0 0 0
[pid=15090/tid=15106] ppid=15088 vsize=8538480 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=15090/tid=15103] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15103/stat : 15103 (java) T 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15104] ppid=15088 vsize=8537828 CPUtime=0.42 cores=1,3,5,7
/proc/15090/task/15104/stat : 15104 (java) T 15088 15090 15090 0 -1 4202560 1965 0 0 0 42 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15105] ppid=15088 vsize=8537828 CPUtime=0.48 cores=1,3,5,7
/proc/15090/task/15105/stat : 15105 (java) T 15088 15090 15090 0 -1 4202560 2643 0 0 0 48 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15090/tid=15106] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15106/stat : 15106 (java) T 15088 15090 15090 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15107] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15107/stat : 15107 (java) T 15088 15090 15090 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15108] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15108/stat : 15108 (java) T 15088 15090 15090 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869245252 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15088/tid=15114] ppid=15054 vsize=294288 CPUtime=0 cores=1,3,5,7
/proc/15088/task/15114/stat : 15114 (python) S 15054 15054 14938 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869249929 301350912 5958 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458506675136 0 0 -1 3 0 0 0
[pid=15115] ppid=15054 vsize=304280 CPUtime=0.01 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15054 15054 14938 0 -1 4202560 1007 0 0 0 1 0 0 0 15 0 1 0 869249931 311582720 5856 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912518 0 0 16781312 33554946 778522144488292352 0 0 17 7 0 0 0
/proc/15115/statm: 76070 5856 379 364 0 10951 0
[pid=15117] ppid=15115 vsize=85132 CPUtime=5.32 cores=1,3,5,7
/proc/15117/stat : 15117 (scip-2.0.1.linu) R 15115 15117 15117 0 -1 4202496 18624 0 0 0 525 7 0 0 18 0 1 0 869249931 87175168 17996 33554432000 4194304 15243407 140735047001136 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15117/statm: 21283 17996 864 2698 0 18578 0
[pid=15054/tid=15061] ppid=15052 vsize=314524 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 4 0 869240309 322072576 7356 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
[pid=15054/tid=15089] ppid=15052 vsize=314524 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15089/stat : 15089 (python) S 15052 15054 14938 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 4 0 869245218 322072576 7356 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 5 0 0 0
[pid=15054/tid=15116] ppid=15052 vsize=314524 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15116/stat : 15116 (python) S 15052 15054 14938 0 -1 4202560 108 929 0 0 0 0 0 0 21 0 4 0 869249931 322072576 7356 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 103.51
Current children cumulated vsize (KiB) 9932576
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+143.501 s]
/proc/loadavg: 2.10 1.07 0.42 6/539 15140
/proc/meminfo: memFree=29758796/32951124 swapFree=57654872/67111528
[pid=15054] ppid=15052 vsize=325224 CPUtime=0.55 cores=1,3,5,7
/proc/15054/stat : 15054 (python) S 15052 15054 14938 0 -1 4202496 12486 929 1 0 44 11 0 0 19 0 5 0 869240234 333029376 7472 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15054/statm: 81306 7472 1877 364 0 16184 0
[pid=15060] ppid=15054 vsize=293844 CPUtime=0.21 cores=1,3,5,7
/proc/15060/stat : 15060 (python) S 15054 15054 14938 0 -1 4202560 1093 0 0 0 10 11 0 0 16 0 2 0 869240309 300896256 5841 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/15060/statm: 73461 5841 407 364 0 8348 0
[pid=15062] ppid=15060 vsize=102680 CPUtime=49.01 cores=1,3,5,7
/proc/15062/stat : 15062 (scip-2.0.1.linu) T 15060 15062 15062 0 -1 4202496 24734 0 0 0 4794 107 0 0 25 0 1 0 869240309 105144320 23135 33554432000 4194304 13684479 140735042566864 18446744073709551615 7361327 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15062/statm: 25670 23135 798 2317 0 23348 0
[pid=15060/tid=15087] ppid=15054 vsize=293844 CPUtime=0 cores=1,3,5,7
/proc/15060/task/15087/stat : 15087 (python) S 15054 15054 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869245215 300896256 5841 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554946 18446604467522062464 0 0 -1 1 0 0 0
[pid=15088] ppid=15054 vsize=294288 CPUtime=0.21 cores=1,3,5,7
/proc/15088/stat : 15088 (python) S 15054 15054 14938 0 -1 4202560 1175 0 0 0 11 10 0 0 16 0 2 0 869245218 301350912 5958 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/15088/statm: 73572 5958 403 364 0 8456 0
[pid=15090] ppid=15088 vsize=8537828 CPUtime=48.22 cores=1,3,5,7
/proc/15090/stat : 15090 (java) T 15088 15090 15090 0 -1 4202496 59578 0 1 0 4812 10 0 0 18 0 19 0 869245218 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15090/statm: 2134457 51454 2254 9 0 2125198 0
[pid=15090/tid=15091] ppid=15088 vsize=8537828 CPUtime=46.69 cores=1,3,5,7
/proc/15090/task/15091/stat : 15091 (java) T 15088 15090 15090 0 -1 4202560 15369 0 1 0 4666 3 0 0 25 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 46912505764524 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15092] ppid=15088 vsize=8537828 CPUtime=0.03 cores=1,3,5,7
/proc/15090/task/15092/stat : 15092 (java) T 15088 15090 15090 0 -1 4202560 2637 0 0 0 3 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15090/tid=15093] ppid=15088 vsize=8537828 CPUtime=0.04 cores=1,3,5,7
/proc/15090/task/15093/stat : 15093 (java) T 15088 15090 15090 0 -1 4202560 2138 0 0 0 4 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15094] ppid=15088 vsize=8537828 CPUtime=0.02 cores=1,3,5,7
/proc/15090/task/15094/stat : 15094 (java) T 15088 15090 15090 0 -1 4202560 1561 0 0 0 2 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15090/tid=15095] ppid=15088 vsize=8537828 CPUtime=0.03 cores=1,3,5,7
/proc/15090/task/15095/stat : 15095 (java) T 15088 15090 15090 0 -1 4202560 1308 0 0 0 3 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15096] ppid=15088 vsize=8537828 CPUtime=0.02 cores=1,3,5,7
/proc/15090/task/15096/stat : 15096 (java) T 15088 15090 15090 0 -1 4202560 6106 0 0 0 2 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15090/tid=15097] ppid=15088 vsize=8537828 CPUtime=0.03 cores=1,3,5,7
/proc/15090/task/15097/stat : 15097 (java) T 15088 15090 15090 0 -1 4202560 4526 0 0 0 3 0 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15098] ppid=15088 vsize=8537828 CPUtime=0.04 cores=1,3,5,7
/proc/15090/task/15098/stat : 15098 (java) T 15088 15090 15090 0 -1 4202560 4968 0 0 0 3 1 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15090/tid=15099] ppid=15088 vsize=8537828 CPUtime=0.05 cores=1,3,5,7
/proc/15090/task/15099/stat : 15099 (java) T 15088 15090 15090 0 -1 4202560 6468 0 0 0 4 1 0 0 15 0 19 0 869245219 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15090/tid=15100] ppid=15088 vsize=8537828 CPUtime=0.28 cores=1,3,5,7
/proc/15090/task/15100/stat : 15100 (java) T 15088 15090 15090 0 -1 4202560 8490 0 0 0 28 0 0 0 15 0 19 0 869245220 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15101] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15101/stat : 15101 (java) T 15088 15090 15090 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869245221 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15102] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15102/stat : 15102 (java) T 15088 15090 15090 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869245221 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15103] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15103/stat : 15103 (java) T 15088 15090 15090 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15090/tid=15104] ppid=15088 vsize=8537828 CPUtime=0.42 cores=1,3,5,7
/proc/15090/task/15104/stat : 15104 (java) T 15088 15090 15090 0 -1 4202560 1965 0 0 0 42 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15105] ppid=15088 vsize=8537828 CPUtime=0.48 cores=1,3,5,7
/proc/15090/task/15105/stat : 15105 (java) T 15088 15090 15090 0 -1 4202560 2643 0 0 0 48 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15090/tid=15106] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15106/stat : 15106 (java) T 15088 15090 15090 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15107] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15107/stat : 15107 (java) T 15088 15090 15090 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869245223 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15090/tid=15108] ppid=15088 vsize=8537828 CPUtime=0 cores=1,3,5,7
/proc/15090/task/15108/stat : 15108 (java) T 15088 15090 15090 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869245252 8742735872 51454 33554432000 1073741824 1073778376 140735425799600 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15088/tid=15114] ppid=15054 vsize=294288 CPUtime=0 cores=1,3,5,7
/proc/15088/task/15114/stat : 15114 (python) S 15054 15054 14938 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869249929 301350912 5958 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458506675136 0 0 -1 3 0 0 0
[pid=15115] ppid=15054 vsize=304280 CPUtime=0.18 cores=1,3,5,7
/proc/15115/stat : 15115 (python) S 15054 15054 14938 0 -1 4202560 1182 0 0 0 9 9 0 0 17 0 2 0 869249931 311582720 5881 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/15115/statm: 76070 5881 403 364 0 10951 0
[pid=15117] ppid=15115 vsize=122204 CPUtime=45.84 cores=1,3,5,7
/proc/15117/stat : 15117 (scip-2.0.1.linu) T 15115 15117 15117 0 -1 4202496 32828 0 0 0 4566 18 0 0 25 0 1 0 869249931 125136896 27318 33554432000 4194304 15243407 140735047001136 18446744073709551615 8135854 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15117/statm: 30551 27318 905 2698 0 27846 0
[pid=15115/tid=15119] ppid=15054 vsize=304280 CPUtime=0 cores=1,3,5,7
/proc/15115/task/15119/stat : 15119 (python) S 15054 15054 14938 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869254516 311582720 5881 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464316236032 0 0 -1 5 0 0 0
[pid=15120] ppid=15054 vsize=314980 CPUtime=0 cores=1,3,5,7
/proc/15120/stat : 15120 (python) S 15054 15054 14938 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869254519 322539520 5940 33554432000 4194304 5683644 140734606569184 18446744073709551615 232335912518 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/15120/statm: 78745 5940 349 364 0 13623 0
[pid=15122] ppid=15120 vsize=8538460 CPUtime=1.23 cores=1,3,5,7
/proc/15122/stat : 15122 (java) S 15120 15122 15122 0 -1 4202496 13375 0 1 0 120 3 0 0 20 0 19 0 869254519 8743383040 11513 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15122/statm: 2134615 11513 2229 9 0 2125356 0
[pid=15122/tid=15123] ppid=15120 vsize=8538460 CPUtime=0.63 cores=1,3,5,7
/proc/15122/task/15123/stat : 15123 (java) R 15120 15122 15122 0 -1 4202560 7608 0 1 0 61 2 0 0 19 0 19 0 869254520 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347718325 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15122/tid=15124] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15124/stat : 15124 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15125] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15125/stat : 15125 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15126] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15126/stat : 15126 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15127] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15127/stat : 15127 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15128] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15128/stat : 15128 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15129] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15129/stat : 15129 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15130] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15130/stat : 15130 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15131] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15131/stat : 15131 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254521 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15132] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15132/stat : 15132 (java) S 15120 15122 15122 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869254522 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708928 0 0 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15133] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15133/stat : 15133 (java) S 15120 15122 15122 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869254522 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15134] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15134/stat : 15134 (java) S 15120 15122 15122 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869254522 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15135] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15135/stat : 15135 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254525 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347716017 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15136] ppid=15120 vsize=8538460 CPUtime=0.34 cores=1,3,5,7
/proc/15122/task/15136/stat : 15136 (java) R 15120 15122 15122 0 -1 4202560 1410 0 0 0 34 0 0 0 16 0 19 0 869254525 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347711208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15122/tid=15137] ppid=15120 vsize=8538460 CPUtime=0.27 cores=1,3,5,7
/proc/15122/task/15137/stat : 15137 (java) R 15120 15122 15122 0 -1 4202560 2995 0 0 0 27 0 0 0 17 0 19 0 869254525 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 47939855975192 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15122/tid=15138] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15138/stat : 15138 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869254525 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708313 0 4 0 16800975 18446604457989061312 0 0 -1 3 0 0 0
[pid=15122/tid=15139] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15139/stat : 15139 (java) S 15120 15122 15122 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869254525 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708928 0 4 0 16800975 18446604457989061312 0 0 -1 1 0 0 0
[pid=15122/tid=15140] ppid=15120 vsize=8538460 CPUtime=0 cores=1,3,5,7
/proc/15122/task/15140/stat : 15140 (java) S 15120 15122 15122 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869254555 8743383040 11550 33554432000 1073741824 1073778376 140733634627440 18446744073709551615 232347708928 0 4 0 16800975 18446604457989061312 0 0 -1 7 0 0 0
[pid=15054/tid=15061] ppid=15052 vsize=325224 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15061/stat : 15061 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 5 0 869240309 333029376 7472 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
[pid=15054/tid=15089] ppid=15052 vsize=325224 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15089/stat : 15089 (python) S 15052 15054 14938 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869245218 333029376 7472 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 5 0 0 0
[pid=15054/tid=15116] ppid=15052 vsize=325224 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15116/stat : 15116 (python) S 15052 15054 14938 0 -1 4202560 108 929 0 0 0 0 0 0 21 0 5 0 869249931 333029376 7472 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 7 0 0 0
[pid=15054/tid=15121] ppid=15052 vsize=325224 CPUtime=0 cores=1,3,5,7
/proc/15054/task/15121/stat : 15121 (python) S 15052 15054 14938 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869254519 333029376 7472 33554432000 4194304 5683644 140734606569184 18446744073709551615 232347716017 0 0 16781312 33554434 18446604460500633536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 145.45
Current children cumulated vsize (KiB) 18833788
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 15054 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=451931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116982
# CPU time returned by wait4() is 0.568913
# while last known CPU time is 145.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 143.575
CPU time (s): 145.45
CPU user time (s): 143.66
CPU system time (s): 1.79
CPU usage (%): 101.306
Max. virtual memory (cumulated for all children) (KiB): 18833788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.451931
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13417
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= 2577
involuntary context switches= 15
runsolver used 0.72189 second user time and 1.52377 second system time
The end