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-3482240-1307578749/watcher-3482240-1307578749 -o /tmp/evaluation-result-3482240-1307578749/solver-3482240-1307578749 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482240-1307578749.opb -seed 1047288833 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.09 1.88 2/638 6551
/proc/meminfo: memFree=18310880/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 846 0 0 0 0 0 0 0 20 0 1 0 850291143 16142336 728 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6551/statm: 3941 728 334 364 0 428 0
[startup+0.11594 s]
/proc/loadavg: 2.26 2.09 1.88 2/638 6551
/proc/meminfo: memFree=18310880/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/6551/stat : 6551 (python) R 6549 6551 4987 0 -1 4202496 3169 930 1 0 7 2 0 0 18 0 1 0 850291143 98435072 2484 33554432000 4194304 5683644 140735441642016 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6551/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.200913 s]
/proc/loadavg: 2.26 2.09 1.88 2/638 6551
/proc/meminfo: memFree=18310880/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/6551/stat : 6551 (python) R 6549 6551 4987 0 -1 4202496 5358 930 1 0 11 4 0 0 17 0 1 0 850291143 126709760 3744 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106768528 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6551/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.300829 s]
/proc/loadavg: 2.26 2.09 1.88 2/638 6551
/proc/meminfo: memFree=18310880/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=184596 CPUtime=0.23 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 6344 930 1 0 17 6 0 0 17 0 1 0 850291143 189026304 4646 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6551/statm: 46149 4646 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184596
[startup+0.700794 s]
/proc/loadavg: 2.26 2.09 1.88 2/638 6551
/proc/meminfo: memFree=18310880/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=298208 CPUtime=0.59 cores=1,3,5,7
/proc/6551/stat : 6551 (python) R 6549 6551 4987 0 -1 4202496 12937 930 1 0 50 9 0 0 17 0 1 0 850291143 305364992 10799 33554432000 4194304 5683644 140735441642016 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6551/statm: 74552 10799 1781 364 0 9445 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 298208
[startup+1.50065 s]
/proc/loadavg: 2.24 2.09 1.89 3/639 6557
/proc/meminfo: memFree=18258520/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=327084 CPUtime=1.39 cores=1,3,5,7
/proc/6551/stat : 6551 (python) R 6549 6551 4987 0 -1 4202496 20147 930 1 0 129 10 0 0 18 0 1 0 850291143 334934016 18009 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106429637 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6551/statm: 81771 18009 1781 364 0 16664 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 327084
[startup+3.10037 s]
/proc/loadavg: 2.24 2.09 1.89 3/639 6557
/proc/meminfo: memFree=18231984/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=337856 CPUtime=2.99 cores=1,3,5,7
/proc/6551/stat : 6551 (python) R 6549 6551 4987 0 -1 4202496 32076 930 1 0 288 11 0 0 21 0 1 0 850291143 345964544 20812 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106427056 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/6551/statm: 84464 20812 1816 364 0 19357 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 337856
[startup+6.30081 s]
/proc/loadavg: 2.24 2.09 1.89 3/642 6560
/proc/meminfo: memFree=18177108/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=352128 CPUtime=4.09 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 33363 930 1 0 397 12 0 0 20 0 2 0 850291143 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6551/statm: 88032 21871 1870 364 0 22919 0
[pid=6558] ppid=6551 vsize=341884 CPUtime=0 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 850291562 350089216 20348 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788879 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/6558/statm: 85471 20348 351 364 0 20358 0
[pid=6560] ppid=6558 vsize=58424 CPUtime=2.1 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) R 6558 6560 6560 0 -1 4202496 26280 0 0 0 206 4 0 0 25 0 1 0 850291562 59826176 13644 33554432000 134512640 135751879 4292174256 18446744073709551615 135204850 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/6560/statm: 14606 13644 145 303 0 14301 0
[pid=6551/tid=6559] ppid=6549 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 850291562 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 752436
[startup+12.7007 s]
/proc/loadavg: 2.20 2.09 1.89 3/642 6560
/proc/meminfo: memFree=18168344/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=352128 CPUtime=4.09 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 33363 930 1 0 397 12 0 0 20 0 2 0 850291143 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6551/statm: 88032 21871 1870 364 0 22919 0
[pid=6558] ppid=6551 vsize=341884 CPUtime=0.04 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 927 0 0 0 2 2 0 0 15 0 1 0 850291562 350089216 20372 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788879 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/6558/statm: 85471 20372 375 364 0 20358 0
[pid=6560] ppid=6558 vsize=59636 CPUtime=8.49 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) R 6558 6560 6560 0 -1 4202496 36112 0 0 0 840 9 0 0 25 0 1 0 850291562 61067264 14034 33554432000 134512640 135751879 4292174256 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/6560/statm: 14909 14034 146 303 0 14604 0
[pid=6551/tid=6559] ppid=6549 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 850291562 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 753648
[startup+25.5004 s]
/proc/loadavg: 2.17 2.09 1.89 3/642 6560
/proc/meminfo: memFree=18162520/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=352128 CPUtime=4.09 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 33363 930 1 0 397 12 0 0 20 0 2 0 850291143 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6551/statm: 88032 21871 1870 364 0 22919 0
[pid=6558] ppid=6551 vsize=341884 CPUtime=0.11 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 934 0 0 0 5 6 0 0 15 0 1 0 850291562 350089216 20372 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788879 0 0 16781312 33554946 816239194367066112 0 0 17 5 0 0 0
/proc/6558/statm: 85471 20372 375 364 0 20358 0
[pid=6560] ppid=6558 vsize=66748 CPUtime=21.26 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) R 6558 6560 6560 0 -1 4202496 41451 0 0 0 2110 16 0 0 25 0 1 0 850291562 68349952 15757 33554432000 134512640 135751879 4292174256 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/6560/statm: 16687 15757 146 303 0 16382 0
[pid=6551/tid=6559] ppid=6549 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 850291562 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 760760
[startup+51.101 s]
/proc/loadavg: 2.11 2.08 1.89 3/642 6561
/proc/meminfo: memFree=18155988/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=352128 CPUtime=4.09 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 33363 930 1 0 397 12 0 0 20 0 2 0 850291143 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6551/statm: 88032 21871 1870 364 0 22919 0
[pid=6558] ppid=6551 vsize=341884 CPUtime=0.22 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 945 0 0 0 10 12 0 0 15 0 1 0 850291562 350089216 20372 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788879 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/6558/statm: 85471 20372 375 364 0 20358 0
[pid=6560] ppid=6558 vsize=73008 CPUtime=46.84 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) R 6558 6560 6560 0 -1 4202496 44332 0 0 0 4657 27 0 0 25 0 1 0 850291562 74760192 17328 33554432000 134512640 135751879 4292174256 18446744073709551615 134602965 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/6560/statm: 18252 17328 146 303 0 17947 0
[pid=6551/tid=6559] ppid=6549 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 850291562 360579072 21871 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 767020
[startup+102.301 s]
/proc/loadavg: 2.26 2.11 1.91 3/646 6566
/proc/meminfo: memFree=17149216/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=362384 CPUtime=4.11 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 34248 930 1 0 399 12 0 0 20 0 3 0 850291143 371081216 21878 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6551/statm: 90596 21878 1873 364 0 25480 0
[pid=6558] ppid=6551 vsize=352128 CPUtime=0.24 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 1105 0 0 0 11 13 0 0 16 0 2 0 850291562 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6558/statm: 88032 20408 406 364 0 22919 0
[pid=6560] ppid=6558 vsize=82296 CPUtime=47.52 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) T 6558 6560 6560 0 -1 4202496 47967 0 0 0 4724 28 0 0 25 0 1 0 850291562 84271104 19651 33554432000 134512640 135751879 4292174256 18446744073709551615 134611275 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/6560/statm: 20574 19651 146 303 0 20269 0
[pid=6558/tid=6562] ppid=6551 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6558/task/6562/stat : 6562 (python) S 6551 6551 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850296320 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604470601364608 0 0 -1 7 0 0 0
[pid=6563] ppid=6551 vsize=352140 CPUtime=0.22 cores=1,3,5,7
/proc/6563/stat : 6563 (python) S 6551 6551 4987 0 -1 4202560 958 0 0 0 11 11 0 0 15 0 1 0 850296323 360591360 20373 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788934 0 0 16781312 33554946 5623606151888251694 0 0 17 5 0 0 0
/proc/6563/statm: 88035 20373 372 364 0 22919 0
[pid=6565] ppid=6563 vsize=1024224 CPUtime=50.45 cores=1,3,5,7
/proc/6565/stat : 6565 (scip-2.0.1.linu) R 6563 6565 6565 0 -1 4202496 253500 0 0 0 4852 193 0 0 25 0 1 0 850296323 1048805376 249422 33554432000 4194304 13684479 140737051275408 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6565/statm: 256056 249422 728 2317 0 253734 0
[pid=6551/tid=6559] ppid=6549 vsize=362384 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 3 0 850291562 371081216 21878 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6564] ppid=6549 vsize=362384 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6564/stat : 6564 (python) S 6549 6551 4987 0 -1 4202560 23 930 0 0 0 0 0 0 20 0 3 0 850296323 371081216 21878 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.54
Current children cumulated vsize (KiB) 2173172
[startup+162.301 s]
/proc/loadavg: 2.25 2.13 1.93 3/672 6594
/proc/meminfo: memFree=14266740/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=382896 CPUtime=4.16 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 36034 930 1 0 404 12 0 0 19 0 5 0 850291143 392085504 21890 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6551/statm: 95724 21890 1877 364 0 30602 0
[pid=6558] ppid=6551 vsize=352128 CPUtime=0.24 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 1105 0 0 0 11 13 0 0 16 0 2 0 850291562 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6558/statm: 88032 20408 406 364 0 22919 0
[pid=6560] ppid=6558 vsize=82296 CPUtime=47.52 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) T 6558 6560 6560 0 -1 4202496 47967 0 0 0 4724 28 0 0 25 0 1 0 850291562 84271104 19651 33554432000 134512640 135751879 4292174256 18446744073709551615 134611275 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/6560/statm: 20574 19651 146 303 0 20269 0
[pid=6558/tid=6562] ppid=6551 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6558/task/6562/stat : 6562 (python) S 6551 6551 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850296320 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604470601364608 0 0 -1 7 0 0 0
[pid=6563] ppid=6551 vsize=352140 CPUtime=0.23 cores=1,3,5,7
/proc/6563/stat : 6563 (python) S 6551 6551 4987 0 -1 4202560 1120 0 0 0 12 11 0 0 16 0 2 0 850296323 360591360 20398 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6563/statm: 88035 20398 396 364 0 22919 0
[pid=6565] ppid=6563 vsize=1026268 CPUtime=52.43 cores=1,3,5,7
/proc/6565/stat : 6565 (scip-2.0.1.linu) T 6563 6565 6565 0 -1 4202496 253889 0 0 0 5050 193 0 0 25 0 1 0 850296323 1050898432 249811 33554432000 4194304 13684479 140737051275408 18446744073709551615 4880943 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/6565/statm: 256567 249811 728 2317 0 254245 0
[pid=6563/tid=6567] ppid=6551 vsize=352140 CPUtime=0 cores=1,3,5,7
/proc/6563/task/6567/stat : 6567 (python) S 6551 6551 4987 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850301573 360591360 20398 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604466254022720 0 0 -1 5 0 0 0
[pid=6568] ppid=6551 vsize=362396 CPUtime=0.22 cores=1,3,5,7
################
# More data... #
################
[pid=6600/tid=6612] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6612/stat : 6612 (java) S 6598 6600 6600 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 18 0 850315684 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6613] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6613/stat : 6613 (java) S 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118592433 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6614] ppid=6598 vsize=8537008 CPUtime=0.24 cores=1,3,5,7
/proc/6600/task/6614/stat : 6614 (java) S 6598 6600 6600 0 -1 4202560 2802 0 0 0 24 0 0 0 21 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6615] ppid=6598 vsize=8537008 CPUtime=0.28 cores=1,3,5,7
/proc/6600/task/6615/stat : 6615 (java) S 6598 6600 6600 0 -1 4202560 2383 0 0 0 28 0 0 0 15 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 3 0 0 0
[pid=6600/tid=6617] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6617/stat : 6617 (java) S 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6618] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6618/stat : 6618 (java) R 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6551/tid=6559] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 850291562 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6564] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6564/stat : 6564 (python) S 6549 6551 4987 0 -1 4202560 23 930 0 0 0 0 0 0 20 0 6 0 850296323 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 5 0 0 0
[pid=6551/tid=6569] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6569/stat : 6569 (python) S 6549 6551 4987 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 850301575 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6593] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6593/stat : 6593 (python) S 6549 6551 4987 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 850306245 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6599] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6599/stat : 6599 (python) S 6549 6551 4987 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 850315681 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 250.96
Current children cumulated vsize (KiB) 20453768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+246.402 s]
/proc/loadavg: 2.08 2.11 1.93 6/693 6618
/proc/meminfo: memFree=14059076/32951124 swapFree=56717704/67111528
[pid=6551] ppid=6549 vsize=393152 CPUtime=4.19 cores=1,3,5,7
/proc/6551/stat : 6551 (python) S 6549 6551 4987 0 -1 4202496 36953 930 1 0 406 13 0 0 19 0 6 0 850291143 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 98288 21896 1879 364 0 33163 0
[pid=6558] ppid=6551 vsize=352128 CPUtime=0.24 cores=1,3,5,7
/proc/6558/stat : 6558 (python) S 6551 6551 4987 0 -1 4202560 1105 0 0 0 11 13 0 0 16 0 2 0 850291562 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6558/statm: 88032 20408 406 364 0 22919 0
[pid=6560] ppid=6558 vsize=82296 CPUtime=47.52 cores=1,3,5,7
/proc/6560/stat : 6560 (wbo1.4a) T 6558 6560 6560 0 -1 4202496 47967 0 0 0 4724 28 0 0 25 0 1 0 850291562 84271104 19651 33554432000 134512640 135751879 4292174256 18446744073709551615 134611275 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/6560/statm: 20574 19651 146 303 0 20269 0
[pid=6558/tid=6562] ppid=6551 vsize=352128 CPUtime=0 cores=1,3,5,7
/proc/6558/task/6562/stat : 6562 (python) S 6551 6551 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850296320 360579072 20408 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604470601364608 0 0 -1 7 0 0 0
[pid=6563] ppid=6551 vsize=352140 CPUtime=0.23 cores=1,3,5,7
/proc/6563/stat : 6563 (python) S 6551 6551 4987 0 -1 4202560 1120 0 0 0 12 11 0 0 16 0 2 0 850296323 360591360 20398 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6563/statm: 88035 20398 396 364 0 22919 0
[pid=6565] ppid=6563 vsize=1026268 CPUtime=52.43 cores=1,3,5,7
/proc/6565/stat : 6565 (scip-2.0.1.linu) T 6563 6565 6565 0 -1 4202496 253889 0 0 0 5050 193 0 0 25 0 1 0 850296323 1050898432 249811 33554432000 4194304 13684479 140737051275408 18446744073709551615 4880943 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/6565/statm: 256567 249811 728 2317 0 254245 0
[pid=6563/tid=6567] ppid=6551 vsize=352140 CPUtime=0 cores=1,3,5,7
/proc/6563/task/6567/stat : 6567 (python) S 6551 6551 4987 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850301573 360591360 20398 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604466254022720 0 0 -1 5 0 0 0
[pid=6568] ppid=6551 vsize=362396 CPUtime=0.22 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6551 6551 4987 0 -1 4202560 1118 0 0 0 10 12 0 0 17 0 2 0 850301575 371093504 20402 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6568/statm: 90599 20402 396 364 0 25480 0
[pid=6570] ppid=6568 vsize=8544096 CPUtime=49.77 cores=1,3,5,7
/proc/6570/stat : 6570 (java) T 6568 6570 6570 0 -1 4202496 727503 0 1 0 4899 78 0 0 18 0 19 0 850301575 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6570/statm: 2136024 710728 2260 9 0 2126765 0
[pid=6570/tid=6571] ppid=6568 vsize=8544096 CPUtime=45.99 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) T 6568 6570 6570 0 -1 4202560 631805 0 1 0 4534 65 0 0 25 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 46912505878122 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6572] ppid=6568 vsize=8544096 CPUtime=0.19 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) T 6568 6570 6570 0 -1 4202560 12646 0 0 0 18 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6573] ppid=6568 vsize=8544096 CPUtime=0.1 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) T 6568 6570 6570 0 -1 4202560 7540 0 0 0 10 0 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6574] ppid=6568 vsize=8544096 CPUtime=0.12 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) T 6568 6570 6570 0 -1 4202560 8401 0 0 0 11 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6575] ppid=6568 vsize=8544096 CPUtime=0.16 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) T 6568 6570 6570 0 -1 4202560 10683 0 0 0 15 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6576] ppid=6568 vsize=8544096 CPUtime=0.18 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) T 6568 6570 6570 0 -1 4202560 10981 0 0 0 17 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6577] ppid=6568 vsize=8544096 CPUtime=0.18 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) T 6568 6570 6570 0 -1 4202560 11520 0 0 0 17 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6578] ppid=6568 vsize=8544096 CPUtime=0.1 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) T 6568 6570 6570 0 -1 4202560 6326 0 0 0 10 0 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6570/tid=6579] ppid=6568 vsize=8544096 CPUtime=0.19 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) T 6568 6570 6570 0 -1 4202560 11794 0 0 0 18 1 0 0 15 0 19 0 850301577 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6570/tid=6580] ppid=6568 vsize=8544096 CPUtime=0.23 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) T 6568 6570 6570 0 -1 4202560 1746 0 0 0 23 0 0 0 15 0 19 0 850301578 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6581] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) T 6568 6570 6570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850301579 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6582] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) T 6568 6570 6570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850301579 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6583] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) T 6568 6570 6570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850301581 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6584] ppid=6568 vsize=8544096 CPUtime=1.2 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) T 6568 6570 6570 0 -1 4202560 7969 0 0 0 119 1 0 0 15 0 19 0 850301581 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6585] ppid=6568 vsize=8544096 CPUtime=0.97 cores=1,3,5,7
/proc/6570/task/6585/stat : 6585 (java) T 6568 6570 6570 0 -1 4202560 4701 0 0 0 97 0 0 0 15 0 19 0 850301581 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6586] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6586/stat : 6586 (java) T 6568 6570 6570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850301581 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6570/tid=6587] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6587/stat : 6587 (java) T 6568 6570 6570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850301581 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6570/tid=6588] ppid=6568 vsize=8544096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6588/stat : 6588 (java) T 6568 6570 6570 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850301745 8749154304 710728 33554432000 1073741824 1073778376 140735057062880 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6568/tid=6591] ppid=6551 vsize=362396 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6591/stat : 6591 (python) S 6551 6551 4987 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850306242 371093504 20402 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604470016666560 0 0 -1 7 0 0 0
[pid=6592] ppid=6551 vsize=372652 CPUtime=0.43 cores=1,3,5,7
/proc/6592/stat : 6592 (python) S 6551 6551 4987 0 -1 4202560 1192 0 0 0 20 23 0 0 16 0 2 0 850306245 381595648 20406 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6592/statm: 93163 20406 396 364 0 28041 0
[pid=6594] ppid=6592 vsize=48724 CPUtime=94.31 cores=1,3,5,7
/proc/6594/stat : 6594 (clasp-1.3.7-x86) T 6592 6594 6594 0 -1 4202496 14522 0 0 0 9430 1 0 0 25 0 1 0 850306245 49893376 11899 33554432000 134512640 136139019 4287044192 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/6594/statm: 12181 11899 190 398 0 11781 0
[pid=6592/tid=6597] ppid=6551 vsize=372652 CPUtime=0 cores=1,3,5,7
/proc/6592/task/6597/stat : 6597 (python) S 6551 6551 4987 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850315678 381595648 20406 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554946 18446604471136892096 0 0 -1 7 0 0 0
[pid=6598] ppid=6551 vsize=382908 CPUtime=0 cores=1,3,5,7
/proc/6598/stat : 6598 (python) S 6551 6551 4987 0 -1 4202560 824 0 0 0 0 0 0 0 18 0 1 0 850315680 392097792 20361 33554432000 4194304 5683644 140735441642016 18446744073709551615 255106788934 0 0 16781312 33554946 761975374958559232 0 0 17 1 0 0 0
/proc/6598/statm: 95727 20361 348 364 0 30602 0
[pid=6600] ppid=6598 vsize=8537008 CPUtime=1.62 cores=1,3,5,7
/proc/6600/stat : 6600 (java) S 6598 6600 6600 0 -1 4202496 48601 0 1 0 157 5 0 0 20 0 18 0 850315681 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6600/statm: 2134252 45947 2229 9 0 2124993 0
[pid=6600/tid=6601] ppid=6598 vsize=8537008 CPUtime=1 cores=1,3,5,7
/proc/6600/task/6601/stat : 6601 (java) R 6598 6600 6600 0 -1 4202560 35191 0 1 0 96 4 0 0 25 0 18 0 850315682 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 46912505551827 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6600/tid=6602] ppid=6598 vsize=8537008 CPUtime=0.01 cores=1,3,5,7
/proc/6600/task/6602/stat : 6602 (java) S 6598 6600 6600 0 -1 4202560 999 0 0 0 1 0 0 0 15 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6603] ppid=6598 vsize=8537008 CPUtime=0.01 cores=1,3,5,7
/proc/6600/task/6603/stat : 6603 (java) S 6598 6600 6600 0 -1 4202560 898 0 0 0 1 0 0 0 16 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6604] ppid=6598 vsize=8537008 CPUtime=0.01 cores=1,3,5,7
/proc/6600/task/6604/stat : 6604 (java) S 6598 6600 6600 0 -1 4202560 1413 0 0 0 1 0 0 0 16 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 7 0 0 0
[pid=6600/tid=6605] ppid=6598 vsize=8537008 CPUtime=0.01 cores=1,3,5,7
/proc/6600/task/6605/stat : 6605 (java) S 6598 6600 6600 0 -1 4202560 698 0 0 0 1 0 0 0 15 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 7 0 0 0
[pid=6600/tid=6606] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6606/stat : 6606 (java) S 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 1 0 0 0
[pid=6600/tid=6607] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6607/stat : 6607 (java) S 6598 6600 6600 0 -1 4202560 946 0 0 0 0 0 0 0 16 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 1 0 0 0
[pid=6600/tid=6608] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6608/stat : 6608 (java) S 6598 6600 6600 0 -1 4202560 491 0 0 0 0 0 0 0 16 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6609] ppid=6598 vsize=8537008 CPUtime=0.01 cores=1,3,5,7
/proc/6600/task/6609/stat : 6609 (java) S 6598 6600 6600 0 -1 4202560 1326 0 0 0 1 0 0 0 16 0 18 0 850315683 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 1 0 0 0
[pid=6600/tid=6610] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6610/stat : 6610 (java) S 6598 6600 6600 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 18 0 850315684 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118585344 0 0 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6611] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6611/stat : 6611 (java) S 6598 6600 6600 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 850315684 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6612] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6612/stat : 6612 (java) S 6598 6600 6600 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 18 0 850315684 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6613] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6613/stat : 6613 (java) S 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118592433 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6614] ppid=6598 vsize=8537008 CPUtime=0.24 cores=1,3,5,7
/proc/6600/task/6614/stat : 6614 (java) S 6598 6600 6600 0 -1 4202560 2802 0 0 0 24 0 0 0 21 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6615] ppid=6598 vsize=8537008 CPUtime=0.28 cores=1,3,5,7
/proc/6600/task/6615/stat : 6615 (java) S 6598 6600 6600 0 -1 4202560 2383 0 0 0 28 0 0 0 15 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 3 0 0 0
[pid=6600/tid=6617] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6617/stat : 6617 (java) S 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118584729 0 4 0 16800975 18446604470016663872 0 0 -1 5 0 0 0
[pid=6600/tid=6618] ppid=6598 vsize=8537008 CPUtime=0 cores=1,3,5,7
/proc/6600/task/6618/stat : 6618 (java) R 6598 6600 6600 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 850315686 8741896192 45947 33554432000 1073741824 1073778376 140734100877248 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6551/tid=6559] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6559/stat : 6559 (python) S 6549 6551 4987 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 850291562 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6564] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6564/stat : 6564 (python) S 6549 6551 4987 0 -1 4202560 23 930 0 0 0 0 0 0 20 0 6 0 850296323 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 5 0 0 0
[pid=6551/tid=6569] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6569/stat : 6569 (python) S 6549 6551 4987 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 850301575 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6593] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6593/stat : 6593 (python) S 6549 6551 4987 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 850306245 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 7 0 0 0
[pid=6551/tid=6599] ppid=6549 vsize=393152 CPUtime=0 cores=1,3,5,7
/proc/6551/task/6599/stat : 6599 (python) S 6549 6551 4987 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 850315681 402587648 21896 33554432000 4194304 5683644 140735441642016 18446744073709551615 255118592433 0 0 16781312 33554434 18446604467488625792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 250.96
Current children cumulated vsize (KiB) 20453768
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6551 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=69381
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=139978
# CPU time returned by wait4() is 4.20936
# while last known CPU time is 250.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 246.488
CPU time (s): 250.96
CPU user time (s): 247.19
CPU system time (s): 3.77
CPU usage (%): 101.814
Max. virtual memory (cumulated for all children) (KiB): 20453768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.06938
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37886
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= 1007
involuntary context switches= 26
runsolver used 1.69274 second user time and 3.44048 second system time
The end