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-3481894-1307577443/watcher-3481894-1307577443 -o /tmp/evaluation-result-3481894-1307577443/solver-3481894-1307577443 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481894-1307577443.opb -seed 2140946067 -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.09 1.97 1.36 2/542 21795
/proc/meminfo: memFree=29769468/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/21795/stat : 21795 (python) R 21793 21795 21589 0 -1 4202496 998 0 0 0 0 0 0 0 25 0 1 0 850160625 16629760 870 33554432000 4194304 5683644 140735012138480 18446744073709551615 4509190 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21795/statm: 4060 870 368 364 0 547 0
[startup+0.0725529 s]
/proc/loadavg: 2.09 1.97 1.36 2/542 21795
/proc/meminfo: memFree=29769468/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=36836 CPUtime=0.03 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 1624 0 0 0 3 0 0 0 25 0 1 0 850160625 37720064 1453 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/21795/statm: 9209 1453 452 364 0 1026 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36836
[startup+0.100555 s]
/proc/loadavg: 2.09 1.97 1.36 2/542 21795
/proc/meminfo: memFree=29769468/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 2665 0 0 0 4 1 0 0 18 0 1 0 850160625 87674880 2382 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/21795/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.304568 s]
/proc/loadavg: 2.09 1.97 1.36 2/542 21795
/proc/meminfo: memFree=29769468/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 5357 927 1 0 11 5 0 0 18 0 1 0 850160625 126713856 3744 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039651333 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/21795/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.710965 s]
/proc/loadavg: 2.09 1.97 1.36 2/542 21795
/proc/meminfo: memFree=29769468/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9570 927 1 0 32 10 0 0 17 0 2 0 850160625 300105728 7131 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7131 1865 364 0 8155 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293072
[startup+1.50031 s]
/proc/loadavg: 2.09 1.97 1.36 3/546 21803
/proc/meminfo: memFree=29726276/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=282828 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 867 0 0 0 0 0 0 0 15 0 1 0 850160696 289615872 5623 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 2753331593039839232 0 0 17 6 0 0 0
/proc/21801/statm: 70707 5623 358 364 0 5594 0
[pid=21803] ppid=21801 vsize=29832 CPUtime=0.78 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5613 0 0 0 73 5 0 0 18 0 1 0 850160696 30547968 4998 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7458 4998 807 2317 0 5136 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 605732
[startup+3.10103 s]
/proc/loadavg: 2.09 1.97 1.36 3/546 21803
/proc/meminfo: memFree=29726276/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=282828 CPUtime=0 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 876 0 0 0 0 0 0 0 15 0 1 0 850160696 289615872 5623 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 1068468875470831616 0 0 17 6 0 0 0
/proc/21801/statm: 70707 5623 358 364 0 5594 0
[pid=21803] ppid=21801 vsize=29832 CPUtime=2.38 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5614 0 0 0 220 18 0 0 18 0 1 0 850160696 30547968 4999 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7458 4999 807 2317 0 5136 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 605732
[startup+6.30045 s]
/proc/loadavg: 2.16 1.99 1.37 3/546 21803
/proc/meminfo: memFree=29724284/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=282960 CPUtime=0.03 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1013 0 0 0 2 1 0 0 15 0 1 0 850160696 289751040 5660 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 1886355761026564096 0 0 17 6 0 0 0
/proc/21801/statm: 70740 5660 384 364 0 5627 0
[pid=21803] ppid=21801 vsize=29832 CPUtime=5.58 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5614 0 0 0 518 40 0 0 18 0 1 0 850160696 30547968 4999 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7458 4999 807 2317 0 5136 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 605864
[startup+12.7003 s]
/proc/loadavg: 2.15 1.99 1.37 3/546 21804
/proc/meminfo: memFree=29718568/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=283100 CPUtime=0.1 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1045 0 0 0 7 3 0 0 15 0 1 0 850160696 289894400 5688 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 3573659922690211840 0 0 17 2 0 0 0
/proc/21801/statm: 70775 5688 384 364 0 5662 0
[pid=21803] ppid=21801 vsize=29832 CPUtime=11.98 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5620 0 0 0 1119 79 0 0 18 0 1 0 850160696 30547968 5005 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7458 5005 807 2317 0 5136 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 606004
[startup+25.501 s]
/proc/loadavg: 2.26 2.02 1.39 3/546 21804
/proc/meminfo: memFree=29707768/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=283100 CPUtime=0.21 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1074 0 0 0 15 6 0 0 15 0 1 0 850160696 289894400 5712 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 2790715314801737728 0 0 17 2 0 0 0
/proc/21801/statm: 70775 5712 384 364 0 5662 0
[pid=21803] ppid=21801 vsize=30048 CPUtime=24.79 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5822 0 0 0 2328 151 0 0 18 0 1 0 850160696 30769152 5207 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7512 5207 807 2317 0 5190 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 606220
[startup+51.1005 s]
/proc/loadavg: 2.30 2.05 1.42 3/546 21805
/proc/meminfo: memFree=29687900/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 9632 927 1 0 32 10 0 0 18 0 2 0 850160625 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 73268 7139 1870 364 0 8155 0
[pid=21801] ppid=21795 vsize=283448 CPUtime=0.43 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1142 0 0 0 29 14 0 0 15 0 1 0 850160696 290250752 5771 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675407 0 0 16781312 33554946 1057352318992777216 0 0 17 2 0 0 0
/proc/21801/statm: 70862 5771 384 364 0 5749 0
[pid=21803] ppid=21801 vsize=30048 CPUtime=50.37 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) R 21801 21803 21803 0 -1 4202496 5822 0 0 0 4715 322 0 0 18 0 1 0 850160696 30769152 5207 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21803/statm: 7512 5207 807 2317 0 5190 0
[pid=21795/tid=21802] ppid=21793 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 850160696 300105728 7139 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 606568
[startup+102.301 s]
/proc/loadavg: 2.33 2.09 1.46 3/550 21810
/proc/meminfo: memFree=29544276/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=303872 CPUtime=0.45 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 10494 927 1 0 35 10 0 0 20 0 3 0 850160625 311164928 7266 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/21795/statm: 75968 7266 1873 364 0 10852 0
[pid=21801] ppid=21795 vsize=293692 CPUtime=0.47 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1279 0 0 0 31 16 0 0 17 0 2 0 850160696 300740608 5808 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/21801/statm: 73423 5808 414 364 0 8310 0
[pid=21803] ppid=21801 vsize=30048 CPUtime=51.39 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) T 21801 21803 21803 0 -1 4202496 5822 0 0 0 4809 330 0 0 20 0 1 0 850160696 30769152 5207 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21803/statm: 7512 5207 807 2317 0 5190 0
[pid=21801/tid=21806] ppid=21795 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21806/stat : 21806 (python) S 21795 21795 21589 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850165837 300740608 5808 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604451686231104 0 0 -1 2 0 0 0
[pid=21807] ppid=21795 vsize=293628 CPUtime=0.22 cores=0,2,4,6
/proc/21807/stat : 21807 (python) S 21795 21795 21589 0 -1 4202560 942 0 0 0 10 12 0 0 15 0 1 0 850165840 300675072 5762 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675462 0 0 16781312 33554946 72556772316949181 0 0 17 6 0 0 0
/proc/21807/statm: 73407 5762 373 364 0 8291 0
[pid=21809] ppid=21807 vsize=112768 CPUtime=50.15 cores=0,2,4,6
/proc/21809/stat : 21809 (wbo1.4a) R 21807 21809 21809 0 -1 4202496 27990 0 0 0 4973 42 0 0 25 0 1 0 850165840 115474432 27723 33554432000 134512640 135751879 4292558352 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/21809/statm: 28192 27723 143 303 0 27887 0
[pid=21795/tid=21802] ppid=21793 vsize=303872 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 3 0 850160696 311164928 7266 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
[pid=21795/tid=21808] ppid=21793 vsize=303872 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21808/stat : 21808 (python) S 21793 21795 21589 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 3 0 850165840 311164928 7266 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.68
Current children cumulated vsize (KiB) 1034008
[startup+162.302 s]
/proc/loadavg: 2.12 2.07 1.49 3/576 21838
/proc/meminfo: memFree=28714028/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=324592 CPUtime=0.5 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 12231 927 1 0 40 10 0 0 20 0 5 0 850160625 332382208 7314 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/21795/statm: 81148 7314 1877 364 0 16026 0
[pid=21801] ppid=21795 vsize=293692 CPUtime=0.47 cores=0,2,4,6
################
# More data... #
################
[pid=21795/tid=21813] ppid=21793 vsize=334848 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21813/stat : 21813 (python) S 21793 21795 21589 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 6 0 850170924 342884352 7320 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
[pid=21795/tid=21818] ppid=21793 vsize=334848 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21818/stat : 21818 (python) S 21793 21795 21589 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 850176068 342884352 7320 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 2 0 0 0
[pid=21795/tid=21842] ppid=21793 vsize=334848 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21842/stat : 21842 (python) S 21793 21795 21589 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 850180891 342884352 7320 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.34
Current children cumulated vsize (KiB) 10606580
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+341.202 s]
/proc/loadavg: 2.03 2.06 1.58 4/624 21938
/proc/meminfo: memFree=30313116/32951124 swapFree=39903648/67111528
[pid=21795] ppid=21793 vsize=344808 CPUtime=0.56 cores=0,2,4,6
/proc/21795/stat : 21795 (python) S 21793 21795 21589 0 -1 4202496 13941 927 1 0 45 11 0 0 20 0 7 0 850160625 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21795/statm: 86202 7262 1881 364 0 21074 0
[pid=21801] ppid=21795 vsize=293692 CPUtime=0.47 cores=0,2,4,6
/proc/21801/stat : 21801 (python) S 21795 21795 21589 0 -1 4202560 1279 0 0 0 31 16 0 0 17 0 2 0 850160696 300740608 5808 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/21801/statm: 73423 5808 414 364 0 8310 0
[pid=21803] ppid=21801 vsize=30048 CPUtime=51.39 cores=0,2,4,6
/proc/21803/stat : 21803 (scip-2.0.1.linu) T 21801 21803 21803 0 -1 4202496 5822 0 0 0 4809 330 0 0 20 0 1 0 850160696 30769152 5207 33554432000 4194304 13684479 140735497297152 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21803/statm: 7512 5207 807 2317 0 5190 0
[pid=21801/tid=21806] ppid=21795 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21806/stat : 21806 (python) S 21795 21795 21589 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 850165837 300740608 5808 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604451686231104 0 0 -1 2 0 0 0
[pid=21807] ppid=21795 vsize=293628 CPUtime=0.24 cores=0,2,4,6
/proc/21807/stat : 21807 (python) S 21795 21795 21589 0 -1 4202560 1103 0 0 0 11 13 0 0 16 0 2 0 850165840 300675072 5787 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21807/statm: 73407 5787 397 364 0 8291 0
[pid=21809] ppid=21807 vsize=114220 CPUtime=50.8 cores=0,2,4,6
/proc/21809/stat : 21809 (wbo1.4a) T 21807 21809 21809 0 -1 4202496 28349 0 0 0 5038 42 0 0 25 0 1 0 850165840 116961280 28082 33554432000 134512640 135751879 4292558352 18446744073709551615 134605428 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/21809/statm: 28555 28082 143 303 0 28250 0
[pid=21807/tid=21811] ppid=21795 vsize=293628 CPUtime=0 cores=0,2,4,6
/proc/21807/task/21811/stat : 21811 (python) S 21795 21795 21589 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850170921 300675072 5787 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604444442377216 0 0 -1 6 0 0 0
[pid=21812] ppid=21795 vsize=304336 CPUtime=0.62 cores=0,2,4,6
/proc/21812/stat : 21812 (python) S 21795 21795 21589 0 -1 4202560 1243 0 0 0 44 18 0 0 17 0 2 0 850170924 311640064 5805 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/21812/statm: 76084 5805 399 364 0 10965 0
[pid=21814] ppid=21812 vsize=32488 CPUtime=51.29 cores=0,2,4,6
/proc/21814/stat : 21814 (scip-2.0.1.linu) T 21812 21814 21814 0 -1 4202496 8884 0 0 0 4860 269 0 0 18 0 1 0 850170924 33267712 5065 33554432000 4194304 15243407 140736838049152 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/21814/statm: 8122 5065 935 2698 0 5417 0
[pid=21812/tid=21816] ppid=21795 vsize=304336 CPUtime=0 cores=0,2,4,6
/proc/21812/task/21816/stat : 21816 (python) S 21795 21795 21589 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850176065 311640064 5805 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604450022199424 0 0 -1 0 0 0 0
[pid=21817] ppid=21795 vsize=314348 CPUtime=0.25 cores=0,2,4,6
/proc/21817/stat : 21817 (python) S 21795 21795 21589 0 -1 4202560 1116 0 0 0 12 13 0 0 16 0 2 0 850176067 321892352 5831 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/21817/statm: 78587 5831 397 364 0 13465 0
[pid=21819] ppid=21817 vsize=8543820 CPUtime=49.79 cores=0,2,4,6
/proc/21819/stat : 21819 (java) T 21817 21819 21819 0 -1 4202496 236119 0 117 0 4952 27 0 0 18 0 19 0 850176068 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 15
/proc/21819/statm: 2135955 206641 2244 9 0 2126696 0
[pid=21819/tid=21820] ppid=21817 vsize=8543820 CPUtime=47.5 cores=0,2,4,6
/proc/21819/task/21820/stat : 21820 (java) T 21817 21819 21819 0 -1 4202560 201167 0 59 0 4728 22 0 0 25 0 19 0 850176085 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 46912505535731 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 11
[pid=21819/tid=21821] ppid=21817 vsize=8543820 CPUtime=0.06 cores=0,2,4,6
/proc/21819/task/21821/stat : 21821 (java) T 21817 21819 21819 0 -1 4202560 2277 0 0 0 6 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21819/tid=21822] ppid=21817 vsize=8543820 CPUtime=0.06 cores=0,2,4,6
/proc/21819/task/21822/stat : 21822 (java) T 21817 21819 21819 0 -1 4202560 2563 0 0 0 6 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21819/tid=21823] ppid=21817 vsize=8543820 CPUtime=0.1 cores=0,2,4,6
/proc/21819/task/21823/stat : 21823 (java) T 21817 21819 21819 0 -1 4202560 2995 0 0 0 10 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21819/tid=21824] ppid=21817 vsize=8543820 CPUtime=0.08 cores=0,2,4,6
/proc/21819/task/21824/stat : 21824 (java) T 21817 21819 21819 0 -1 4202560 3642 0 0 0 8 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21825] ppid=21817 vsize=8543820 CPUtime=0.07 cores=0,2,4,6
/proc/21819/task/21825/stat : 21825 (java) T 21817 21819 21819 0 -1 4202560 1884 0 0 0 7 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21819/tid=21826] ppid=21817 vsize=8543820 CPUtime=0.08 cores=0,2,4,6
/proc/21819/task/21826/stat : 21826 (java) T 21817 21819 21819 0 -1 4202560 2479 0 0 0 8 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21819/tid=21827] ppid=21817 vsize=8543820 CPUtime=0.08 cores=0,2,4,6
/proc/21819/task/21827/stat : 21827 (java) T 21817 21819 21819 0 -1 4202560 2420 0 0 0 8 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21828] ppid=21817 vsize=8543820 CPUtime=0.07 cores=0,2,4,6
/proc/21819/task/21828/stat : 21828 (java) T 21817 21819 21819 0 -1 4202560 2542 0 0 0 7 0 0 0 15 0 19 0 850176089 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21819/tid=21829] ppid=21817 vsize=8543820 CPUtime=0.06 cores=0,2,4,6
/proc/21819/task/21829/stat : 21829 (java) T 21817 21819 21819 0 -1 4202560 518 0 0 0 6 0 0 0 15 0 19 0 850176092 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471872 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21819/tid=21830] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21830/stat : 21830 (java) T 21817 21819 21819 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850176093 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21831] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21831/stat : 21831 (java) T 21817 21819 21819 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850176093 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21832] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21832/stat : 21832 (java) T 21817 21819 21819 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850176099 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051478961 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21833] ppid=21817 vsize=8543820 CPUtime=0.58 cores=0,2,4,6
/proc/21819/task/21833/stat : 21833 (java) T 21817 21819 21819 0 -1 4202560 5907 0 0 0 58 0 0 0 15 0 19 0 850176099 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21819/tid=21834] ppid=21817 vsize=8543820 CPUtime=0.94 cores=0,2,4,6
/proc/21819/task/21834/stat : 21834 (java) T 21817 21819 21819 0 -1 4202560 6389 0 2 0 94 0 0 0 15 0 19 0 850176099 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21819/tid=21835] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21835/stat : 21835 (java) T 21817 21819 21819 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850176099 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21819/tid=21836] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21836/stat : 21836 (java) T 21817 21819 21819 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850176099 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21819/tid=21837] ppid=21817 vsize=8543820 CPUtime=0 cores=0,2,4,6
/proc/21819/task/21837/stat : 21837 (java) T 21817 21819 21819 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850176111 8748871680 206641 33554432000 1073741824 1073778376 140733968436576 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21817/tid=21840] ppid=21795 vsize=314348 CPUtime=0 cores=0,2,4,6
/proc/21817/task/21840/stat : 21840 (python) S 21795 21795 21589 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850180888 321892352 5831 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604443840233536 0 0 -1 2 0 0 0
[pid=21841] ppid=21795 vsize=324604 CPUtime=0.62 cores=0,2,4,6
/proc/21841/stat : 21841 (python) S 21795 21795 21589 0 -1 4202560 1168 0 0 0 30 32 0 0 17 0 2 0 850180891 332394496 5835 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21841/statm: 81151 5835 397 364 0 16026 0
[pid=21843] ppid=21841 vsize=21184 CPUtime=137.83 cores=0,2,4,6
/proc/21843/stat : 21843 (bsolo_pb10) T 21841 21843 21843 0 -1 4202496 1163 0 0 0 13763 20 0 0 25 0 1 0 850180891 21692416 896 33554432000 134512640 137138936 4290588480 18446744073709551615 134542761 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/21843/statm: 5296 896 192 642 0 4652 0
[pid=21841/tid=21917] ppid=21795 vsize=324604 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21917/stat : 21917 (python) S 21795 21795 21589 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850194678 332394496 5835 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554946 18446604444163920960 0 0 -1 6 0 0 0
[pid=21918] ppid=21795 vsize=334564 CPUtime=0 cores=0,2,4,6
/proc/21918/stat : 21918 (python) S 21795 21795 21589 0 -1 4202560 803 0 0 0 0 0 0 0 15 0 1 0 850194680 342593536 5726 33554432000 4194304 5683644 140735012138480 18446744073709551615 212039675462 0 0 16781312 33554946 1076560460712476931 0 0 17 6 0 0 0
/proc/21918/statm: 83641 5726 349 364 0 18513 0
[pid=21920] ppid=21918 vsize=8537416 CPUtime=0.98 cores=0,2,4,6
/proc/21920/stat : 21920 (java) S 21918 21920 21920 0 -1 4202496 16182 0 1 0 96 2 0 0 20 0 19 0 850194681 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/21920/statm: 2134354 14489 2224 9 0 2125095 0
[pid=21920/tid=21921] ppid=21918 vsize=8537416 CPUtime=0.65 cores=0,2,4,6
/proc/21920/task/21921/stat : 21921 (java) R 21918 21920 21920 0 -1 4202560 10539 0 1 0 64 1 0 0 18 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 46912505529044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21920/tid=21922] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21922/stat : 21922 (java) S 21918 21920 21920 0 -1 4202560 103 0 0 0 0 0 0 0 17 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21923] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21923/stat : 21923 (java) S 21918 21920 21920 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21924] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21924/stat : 21924 (java) S 21918 21920 21920 0 -1 4202560 23 0 0 0 0 0 0 0 19 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21925] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21925/stat : 21925 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21926] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21926/stat : 21926 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=21920/tid=21927] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21927/stat : 21927 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21928] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21928/stat : 21928 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21929] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21929/stat : 21929 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850194682 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21930] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21930/stat : 21930 (java) S 21918 21920 21920 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 19 0 850194683 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471872 0 0 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21931] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21931/stat : 21931 (java) S 21918 21920 21920 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 850194684 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21932] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21932/stat : 21932 (java) S 21918 21920 21920 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 850194684 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21933] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21933/stat : 21933 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850194686 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051478961 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21934] ppid=21918 vsize=8537416 CPUtime=0.16 cores=0,2,4,6
/proc/21920/task/21934/stat : 21934 (java) S 21918 21920 21920 0 -1 4202560 1696 0 0 0 16 0 0 0 17 0 19 0 850194686 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 6 0 0 0
[pid=21920/tid=21935] ppid=21918 vsize=8537416 CPUtime=0.14 cores=0,2,4,6
/proc/21920/task/21935/stat : 21935 (java) S 21918 21920 21920 0 -1 4202560 2115 0 0 0 14 0 0 0 15 0 19 0 850194686 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21936] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21936/stat : 21936 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850194686 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471257 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21937] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21937/stat : 21937 (java) S 21918 21920 21920 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850194686 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 2 0 0 0
[pid=21920/tid=21938] ppid=21918 vsize=8537416 CPUtime=0 cores=0,2,4,6
/proc/21920/task/21938/stat : 21938 (java) S 21918 21920 21920 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850194694 8742313984 14489 33554432000 1073741824 1073778376 140737019938768 18446744073709551615 212051471872 0 4 0 16800975 18446604453973748672 0 0 -1 0 0 0 0
[pid=21795/tid=21802] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21802/stat : 21802 (python) S 21793 21795 21589 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 7 0 850160696 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
[pid=21795/tid=21808] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21808/stat : 21808 (python) S 21793 21795 21589 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 7 0 850165840 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
[pid=21795/tid=21813] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21813/stat : 21813 (python) S 21793 21795 21589 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 7 0 850170924 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
[pid=21795/tid=21818] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21818/stat : 21818 (python) S 21793 21795 21589 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 7 0 850176068 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 2 0 0 0
[pid=21795/tid=21842] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21842/stat : 21842 (python) S 21793 21795 21589 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 7 0 850180891 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 0 0 0 0
[pid=21795/tid=21919] ppid=21793 vsize=344808 CPUtime=0 cores=0,2,4,6
/proc/21795/task/21919/stat : 21919 (python) S 21793 21795 21589 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 7 0 850194680 353083392 7262 33554432000 4194304 5683644 140735012138480 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447449194752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 344.84
Current children cumulated vsize (KiB) 19489156
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 21795 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=454930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 0.575911
# while last known CPU time is 344.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 341.293
CPU time (s): 344.84
CPU user time (s): 336.91
CPU system time (s): 7.93
CPU usage (%): 101.039
Max. virtual memory (cumulated for all children) (KiB): 19489156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45493
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14872
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= 2878
involuntary context switches= 23
runsolver used 2.52761 second user time and 5.2472 second system time
The end