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-3481546-1307578113/watcher-3481546-1307578113 -o /tmp/evaluation-result-3481546-1307578113/solver-3481546-1307578113 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481546-1307578113.opb -seed 1500041693 -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.29 2.17 1.79 3/638 3952
/proc/meminfo: memFree=18719040/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (python) R 3950 3952 1406 0 -1 4202496 814 0 0 0 0 0 0 0 22 0 1 0 869409574 15757312 699 33554432000 4194304 5683644 140736021642736 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3952/statm: 3847 699 334 364 0 334 0
[startup+0.051474 s]
/proc/loadavg: 2.29 2.17 1.79 3/638 3952
/proc/meminfo: memFree=18719040/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=23208 CPUtime=0.02 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 1324 0 0 0 2 0 0 0 22 0 1 0 869409574 23764992 1173 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/3952/statm: 5802 1173 432 364 0 729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23208
[startup+0.100472 s]
/proc/loadavg: 2.29 2.17 1.79 3/638 3952
/proc/meminfo: memFree=18719040/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 2666 0 0 0 5 1 0 0 22 0 1 0 869409574 87674880 2382 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/3952/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300472 s]
/proc/loadavg: 2.29 2.17 1.79 3/638 3952
/proc/meminfo: memFree=18719040/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 5357 927 1 0 12 4 0 0 17 0 1 0 869409574 126713856 3744 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516830213 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/3952/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700408 s]
/proc/loadavg: 2.29 2.17 1.79 3/638 3952
/proc/meminfo: memFree=18719040/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=282828 CPUtime=0.42 cores=0,2,4,6
/proc/3952/stat : 3952 (python) R 3950 3952 1406 0 -1 4202496 9502 1346 1 0 30 10 2 0 17 0 1 0 869409574 289615872 7016 33554432000 4194304 5683644 140736021642736 18446744073709551615 5293265 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3952/statm: 70707 7016 1777 364 0 5600 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282828
[startup+1.50127 s]
/proc/loadavg: 2.29 2.17 1.79 3/642 3961
/proc/meminfo: memFree=18658488/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=293752 CPUtime=0.52 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 10829 1346 1 0 39 11 2 0 19 0 2 0 869409574 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 73438 7278 1871 364 0 8325 0
[pid=3959] ppid=3952 vsize=283508 CPUtime=0 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 1 0 869409653 290312192 5722 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854287 0 0 16781312 33554946 3189085084967763968 0 0 17 4 0 0 0
/proc/3959/statm: 70877 5722 319 364 0 5764 0
[pid=3961] ppid=3959 vsize=36860 CPUtime=0.7 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) R 3959 3961 3961 0 -1 4202496 7582 0 0 0 66 4 0 0 18 0 1 0 869409653 37744640 6911 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3961/statm: 9215 6911 775 2317 0 6893 0
[pid=3952/tid=3960] ppid=3950 vsize=293752 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 2 0 869409653 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 614120
[startup+3.10098 s]
/proc/loadavg: 2.26 2.16 1.79 3/642 3961
/proc/meminfo: memFree=18619800/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=293752 CPUtime=0.52 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 10829 1346 1 0 39 11 2 0 19 0 2 0 869409574 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 73438 7278 1871 364 0 8325 0
[pid=3959] ppid=3952 vsize=283508 CPUtime=0 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869409653 290312192 5722 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854287 0 0 16781312 33554946 495067286638428160 0 0 17 4 0 0 0
/proc/3959/statm: 70877 5722 319 364 0 5764 0
[pid=3961] ppid=3959 vsize=51356 CPUtime=2.3 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) R 3959 3961 3961 0 -1 4202496 12077 0 0 0 223 7 0 0 18 0 1 0 869409653 52588544 10626 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3961/statm: 12839 10626 779 2317 0 10517 0
[pid=3952/tid=3960] ppid=3950 vsize=293752 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 2 0 869409653 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 628616
[startup+6.3004 s]
/proc/loadavg: 2.26 2.16 1.79 3/642 3961
/proc/meminfo: memFree=18560680/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=293752 CPUtime=0.52 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 10829 1346 1 0 39 11 2 0 19 0 2 0 869409574 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 73438 7278 1871 364 0 8325 0
[pid=3959] ppid=3952 vsize=283508 CPUtime=0.02 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 884 0 0 0 1 1 0 0 15 0 1 0 869409653 290312192 5746 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854287 0 0 16781312 33554946 2090159144702050304 0 0 17 4 0 0 0
/proc/3959/statm: 70877 5746 343 364 0 5764 0
[pid=3961] ppid=3959 vsize=51356 CPUtime=5.5 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) R 3959 3961 3961 0 -1 4202496 12822 0 0 0 534 16 0 0 18 0 1 0 869409653 52588544 10635 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3961/statm: 12839 10635 787 2317 0 10517 0
[pid=3952/tid=3960] ppid=3950 vsize=293752 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 2 0 869409653 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 628616
[startup+12.7012 s]
/proc/loadavg: 2.22 2.16 1.79 3/642 3961
/proc/meminfo: memFree=18531080/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=293752 CPUtime=0.52 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 10829 1346 1 0 39 11 2 0 19 0 2 0 869409574 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 73438 7278 1871 364 0 8325 0
[pid=3959] ppid=3952 vsize=283508 CPUtime=0.06 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 898 0 0 0 3 3 0 0 15 0 1 0 869409653 290312192 5746 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854287 0 0 16781312 33554946 57831485532536832 0 0 17 6 0 0 0
/proc/3959/statm: 70877 5746 343 364 0 5764 0
[pid=3961] ppid=3959 vsize=54296 CPUtime=11.9 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) R 3959 3961 3961 0 -1 4202496 15979 0 0 0 1154 36 0 0 19 0 1 0 869409653 55599104 11356 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3961/statm: 13574 11356 803 2317 0 11252 0
[pid=3952/tid=3960] ppid=3950 vsize=293752 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 2 0 869409653 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 631556
[startup+25.5009 s]
/proc/loadavg: 2.19 2.15 1.79 3/642 3962
/proc/meminfo: memFree=18486316/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=293752 CPUtime=0.52 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 10829 1346 1 0 39 11 2 0 19 0 2 0 869409574 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 73438 7278 1871 364 0 8325 0
[pid=3959] ppid=3952 vsize=283508 CPUtime=0.12 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 923 0 0 0 6 6 0 0 15 0 1 0 869409653 290312192 5747 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854287 0 0 16781312 33554946 3432269015190339584 0 0 17 6 0 0 0
/proc/3959/statm: 70877 5747 343 364 0 5764 0
[pid=3961] ppid=3959 vsize=61972 CPUtime=24.7 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) R 3959 3961 3961 0 -1 4202496 25484 0 0 0 2384 86 0 0 18 0 1 0 869409653 63459328 13320 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3961/statm: 15493 13320 803 2317 0 13171 0
[pid=3952/tid=3960] ppid=3950 vsize=293752 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 2 0 869409653 300802048 7278 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 639232
[startup+51.1012 s]
/proc/loadavg: 2.12 2.14 1.80 3/686 4006
/proc/meminfo: memFree=17912932/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=304512 CPUtime=0.54 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 11700 1346 1 0 41 11 2 0 20 0 3 0 869409574 311820288 7411 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3952/statm: 76128 7411 1874 364 0 11012 0
[pid=3959] ppid=3952 vsize=293752 CPUtime=0.26 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 1144 0 0 0 14 12 0 0 17 0 2 0 869409653 300802048 5816 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3959/statm: 73438 5816 407 364 0 8325 0
[pid=3961] ppid=3959 vsize=77892 CPUtime=48.17 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) T 3959 3961 3961 0 -1 4202496 30995 0 0 0 4639 178 0 0 18 0 1 0 869409653 79761408 17294 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3961/statm: 19473 17294 807 2317 0 17151 0
[pid=3959/tid=3985] ppid=3952 vsize=293752 CPUtime=0 cores=0,2,4,6
/proc/3959/task/3985/stat : 3985 (python) S 3952 3952 1406 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869414471 300802048 5816 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453374518272 0 0 -1 4 0 0 0
[pid=3986] ppid=3952 vsize=294268 CPUtime=0 cores=0,2,4,6
/proc/3986/stat : 3986 (python) S 3952 3952 1406 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869414474 301330432 5853 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854342 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/3986/statm: 73567 5853 320 364 0 8451 0
[pid=3988] ppid=3986 vsize=8540596 CPUtime=2.76 cores=0,2,4,6
/proc/3988/stat : 3988 (java) S 3986 3988 3988 0 -1 4202496 27652 0 1 0 271 5 0 0 20 0 19 0 869414474 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3988/statm: 2135149 25767 2253 9 0 2125890 0
[pid=3988/tid=3989] ppid=3986 vsize=8540596 CPUtime=2.01 cores=0,2,4,6
/proc/3988/task/3989/stat : 3989 (java) R 3986 3988 3988 0 -1 4202560 16938 0 1 0 198 3 0 0 19 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 46912505659807 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3990/stat : 3990 (java) S 3986 3988 3988 0 -1 4202560 386 0 0 0 0 0 0 0 15 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 4 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3988 0 -1 4202560 829 0 0 0 0 0 0 0 15 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 6 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3988 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 4 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3988 0 -1 4202560 362 0 0 0 0 0 0 0 16 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 2 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3988 0 -1 4202560 189 0 0 0 0 0 0 0 16 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 6 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3988 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 4 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3988 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 6 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3988 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869414475 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 6 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=8540596 CPUtime=0.05 cores=0,2,4,6
/proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3988 0 -1 4202560 1757 0 0 0 5 0 0 0 15 0 19 0 869414476 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650752 0 0 0 16800975 18446604443166292992 0 0 -1 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3988 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869414477 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3988 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869414477 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3988 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869414479 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528657841 0 4 0 16800975 18446604443166292992 0 0 -1 4 0 0 0
[pid=3988/tid=4002] ppid=3986 vsize=8540596 CPUtime=0.33 cores=0,2,4,6
/proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3988 0 -1 4202560 2737 0 0 0 33 0 0 0 15 0 19 0 869414479 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 2 0 0 0
[pid=3988/tid=4003] ppid=3986 vsize=8540596 CPUtime=0.31 cores=0,2,4,6
/proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3988 0 -1 4202560 2557 0 0 0 31 0 0 0 15 0 19 0 869414479 8745570304 25767 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446604443166292992 0 0 -1 0 0 0 0
[pid=3988/tid=4004] ppid=3986 vsize=8540596 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=4018/tid=4024] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4024/stat : 4024 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4025] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4025/stat : 4025 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4026] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4026/stat : 4026 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4027] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4027/stat : 4027 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4028] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4028/stat : 4028 (java) S 4016 4018 4018 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869423850 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650752 0 0 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4029] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4029/stat : 4029 (java) S 4016 4018 4018 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869423851 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4030] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4030/stat : 4030 (java) S 4016 4018 4018 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869423851 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4031] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4031/stat : 4031 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528657841 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4032] ppid=4016 vsize=8532276 CPUtime=0.01 cores=0,2,4,6
/proc/4018/task/4032/stat : 4032 (java) R 4016 4018 4018 0 -1 4202560 202 0 0 0 1 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 47901439304240 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4018/tid=4033] ppid=4016 vsize=8532276 CPUtime=0.01 cores=0,2,4,6
/proc/4018/task/4033/stat : 4033 (java) R 4016 4018 4018 0 -1 4202560 554 0 0 0 1 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 47901444173640 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4018/tid=4034] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4034/stat : 4034 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423853 8737050624 5533 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4035] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4035/stat : 4035 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869423853 8737050624 5533 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650752 0 4 0 16800975 18446604446052169920 0 0 -1 6 0 0 0
[pid=3952/tid=3960] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 5 0 869409653 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
[pid=3952/tid=3987] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3987/stat : 3987 (python) S 3950 3952 1406 0 -1 4202560 32 1346 0 0 0 0 2 0 20 0 5 0 869414474 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 0 0 0 0
[pid=3952/tid=4011] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/4011/stat : 4011 (python) S 3950 3952 1406 0 -1 4202560 31 1346 0 0 0 0 2 0 20 0 5 0 869419040 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
[pid=3952/tid=4017] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/4017/stat : 4017 (python) S 3950 3952 1406 0 -1 4202560 29 1346 0 0 0 0 2 0 20 0 5 0 869423848 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 144.33
Current children cumulated vsize (KiB) 18818836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+142.901 s]
/proc/loadavg: 2.33 2.17 1.84 6/712 4035
/proc/meminfo: memFree=15952860/32951124 swapFree=43359760/67111528
[pid=3952] ppid=3950 vsize=325164 CPUtime=0.59 cores=0,2,4,6
/proc/3952/stat : 3952 (python) S 3950 3952 1406 0 -1 4202496 13568 1346 1 0 46 11 2 0 20 0 5 0 869409574 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3952/statm: 81291 7476 1878 364 0 16169 0
[pid=3959] ppid=3952 vsize=293752 CPUtime=0.26 cores=0,2,4,6
/proc/3959/stat : 3959 (python) S 3952 3952 1406 0 -1 4202560 1144 0 0 0 14 12 0 0 17 0 2 0 869409653 300802048 5816 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3959/statm: 73438 5816 407 364 0 8325 0
[pid=3961] ppid=3959 vsize=77892 CPUtime=48.17 cores=0,2,4,6
/proc/3961/stat : 3961 (scip-2.0.1.linu) T 3959 3961 3961 0 -1 4202496 30995 0 0 0 4639 178 0 0 18 0 1 0 869409653 79761408 17294 33554432000 4194304 13684479 140734385813552 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3961/statm: 19473 17294 807 2317 0 17151 0
[pid=3959/tid=3985] ppid=3952 vsize=293752 CPUtime=0 cores=0,2,4,6
/proc/3959/task/3985/stat : 3985 (python) S 3952 3952 1406 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869414471 300802048 5816 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453374518272 0 0 -1 4 0 0 0
[pid=3986] ppid=3952 vsize=294268 CPUtime=0.23 cores=0,2,4,6
/proc/3986/stat : 3986 (python) S 3952 3952 1406 0 -1 4202560 1128 0 0 0 11 12 0 0 17 0 2 0 869414474 301330432 5925 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3986/statm: 73567 5925 391 364 0 8451 0
[pid=3988] ppid=3986 vsize=8603604 CPUtime=46.6 cores=0,2,4,6
/proc/3988/stat : 3988 (java) T 3986 3988 3988 0 -1 4202496 33993 0 1 0 4653 7 0 0 18 0 19 0 869414474 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3988/statm: 2150901 31410 2254 9 0 2141642 0
[pid=3988/tid=3989] ppid=3986 vsize=8603604 CPUtime=44.27 cores=0,2,4,6
/proc/3988/task/3989/stat : 3989 (java) T 3986 3988 3988 0 -1 4202560 21172 0 1 0 4423 4 0 0 25 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=8603604 CPUtime=0.06 cores=0,2,4,6
/proc/3988/task/3990/stat : 3990 (java) T 3986 3988 3988 0 -1 4202560 445 0 0 0 6 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246516787511 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=8603604 CPUtime=0.07 cores=0,2,4,6
/proc/3988/task/3991/stat : 3991 (java) T 3986 3988 3988 0 -1 4202560 862 0 0 0 7 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246516787511 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=8603604 CPUtime=0.06 cores=0,2,4,6
/proc/3988/task/3992/stat : 3992 (java) T 3986 3988 3988 0 -1 4202560 339 0 0 0 6 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=8603604 CPUtime=0.07 cores=0,2,4,6
/proc/3988/task/3993/stat : 3993 (java) T 3986 3988 3988 0 -1 4202560 524 0 0 0 7 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 47969029153954 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=8603604 CPUtime=0.05 cores=0,2,4,6
/proc/3988/task/3994/stat : 3994 (java) T 3986 3988 3988 0 -1 4202560 200 0 0 0 5 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246516787511 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=8603604 CPUtime=0.09 cores=0,2,4,6
/proc/3988/task/3995/stat : 3995 (java) T 3986 3988 3988 0 -1 4202560 405 0 0 0 9 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 47969028604151 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=8603604 CPUtime=0.06 cores=0,2,4,6
/proc/3988/task/3996/stat : 3996 (java) T 3986 3988 3988 0 -1 4202560 52 0 0 0 6 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=8603604 CPUtime=0.08 cores=0,2,4,6
/proc/3988/task/3997/stat : 3997 (java) T 3986 3988 3988 0 -1 4202560 52 0 0 0 8 0 0 0 15 0 19 0 869414475 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246516787511 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=8603604 CPUtime=1.04 cores=0,2,4,6
/proc/3988/task/3998/stat : 3998 (java) T 3986 3988 3988 0 -1 4202560 3249 0 0 0 104 0 0 0 15 0 19 0 869414476 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/3999/stat : 3999 (java) T 3986 3988 3988 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869414477 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4000/stat : 4000 (java) T 3986 3988 3988 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869414477 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4001/stat : 4001 (java) T 3986 3988 3988 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414479 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=4002] ppid=3986 vsize=8603604 CPUtime=0.35 cores=0,2,4,6
/proc/3988/task/4002/stat : 4002 (java) T 3986 3988 3988 0 -1 4202560 2742 0 0 0 35 0 0 0 15 0 19 0 869414479 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3988/tid=4003] ppid=3986 vsize=8603604 CPUtime=0.31 cores=0,2,4,6
/proc/3988/task/4003/stat : 4003 (java) T 3986 3988 3988 0 -1 4202560 2557 0 0 0 31 0 0 0 15 0 19 0 869414479 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3988/tid=4004] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4004/stat : 4004 (java) T 3986 3988 3988 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414479 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3988/tid=4005] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4005/stat : 4005 (java) T 3986 3988 3988 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869414479 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3988/tid=4006] ppid=3986 vsize=8603604 CPUtime=0 cores=0,2,4,6
/proc/3988/task/4006/stat : 4006 (java) T 3986 3988 3988 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869414501 8810090496 31410 33554432000 1073741824 1073778376 140734921907600 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3986/tid=4009] ppid=3952 vsize=294268 CPUtime=0 cores=0,2,4,6
/proc/3986/task/4009/stat : 4009 (python) S 3952 3952 1406 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869419037 301330432 5925 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554946 18446604441801070720 0 0 -1 0 0 0 0
[pid=4010] ppid=3952 vsize=304664 CPUtime=0.28 cores=0,2,4,6
/proc/4010/stat : 4010 (python) S 3952 3952 1406 0 -1 4202560 1155 0 0 0 16 12 0 0 16 0 2 0 869419040 311975936 5965 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4010/statm: 76166 5965 392 364 0 11047 0
[pid=4012] ppid=4010 vsize=72296 CPUtime=47.99 cores=0,2,4,6
/proc/4012/stat : 4012 (scip-2.0.1.linu) T 4010 4012 4012 0 -1 4202496 31390 0 0 0 4704 95 0 0 18 0 1 0 869419040 74031104 15473 33554432000 4194304 15243407 140736394839360 18446744073709551615 4520311 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4012/statm: 18074 15473 928 2698 0 15369 0
[pid=4010/tid=4015] ppid=3952 vsize=304664 CPUtime=0 cores=0,2,4,6
/proc/4010/task/4015/stat : 4015 (python) S 3952 3952 1406 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869423845 311975936 5965 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554946 18446604448498627712 0 0 -1 4 0 0 0
[pid=4016] ppid=3952 vsize=314920 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (python) S 3952 3952 1406 0 -1 4202560 774 0 0 0 0 0 0 0 19 0 1 0 869423848 322478080 5914 33554432000 4194304 5683644 140736021642736 18446744073709551615 246516854342 0 0 16781312 33554946 750631378487345152 0 0 17 6 0 0 0
/proc/4016/statm: 78730 5914 320 364 0 13608 0
[pid=4018] ppid=4016 vsize=8532276 CPUtime=0.21 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4016 4018 4018 0 -1 4202496 6043 0 1 0 20 1 0 0 20 0 18 0 869423848 8737050624 5492 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4018/statm: 2133069 5492 2155 9 0 2123810 0
[pid=4018/tid=4019] ppid=4016 vsize=8532276 CPUtime=0.17 cores=0,2,4,6
/proc/4018/task/4019/stat : 4019 (java) R 4016 4018 4018 0 -1 4202560 3928 0 1 0 17 0 0 0 18 0 18 0 869423849 8737050624 5531 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 47901440562824 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4018/tid=4020] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4020/stat : 4020 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869423849 8737050624 5531 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4021] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4021/stat : 4021 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869423849 8737050624 5531 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4022] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4022/stat : 4022 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869423849 8737050624 5531 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4023] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4023/stat : 4023 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5531 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4024] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4024/stat : 4024 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4025] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4025/stat : 4025 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4026] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4026/stat : 4026 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4027] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4027/stat : 4027 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423849 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4028] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4028/stat : 4028 (java) S 4016 4018 4018 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869423850 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650752 0 0 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4029] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4029/stat : 4029 (java) S 4016 4018 4018 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869423851 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4030] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4030/stat : 4030 (java) S 4016 4018 4018 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869423851 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4031] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4031/stat : 4031 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528657841 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4032] ppid=4016 vsize=8532276 CPUtime=0.01 cores=0,2,4,6
/proc/4018/task/4032/stat : 4032 (java) R 4016 4018 4018 0 -1 4202560 202 0 0 0 1 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 47901439304240 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4018/tid=4033] ppid=4016 vsize=8532276 CPUtime=0.01 cores=0,2,4,6
/proc/4018/task/4033/stat : 4033 (java) R 4016 4018 4018 0 -1 4202560 554 0 0 0 1 0 0 0 25 0 18 0 869423853 8737050624 5532 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 47901444173640 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4018/tid=4034] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4034/stat : 4034 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869423853 8737050624 5533 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650137 0 4 0 16800975 18446604446052169920 0 0 -1 4 0 0 0
[pid=4018/tid=4035] ppid=4016 vsize=8532276 CPUtime=0 cores=0,2,4,6
/proc/4018/task/4035/stat : 4035 (java) S 4016 4018 4018 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869423853 8737050624 5533 33554432000 1073741824 1073778376 140734848815184 18446744073709551615 246528650752 0 4 0 16800975 18446604446052169920 0 0 -1 6 0 0 0
[pid=3952/tid=3960] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3960/stat : 3960 (python) S 3950 3952 1406 0 -1 4202560 30 1346 0 0 0 0 2 0 19 0 5 0 869409653 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
[pid=3952/tid=3987] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/3987/stat : 3987 (python) S 3950 3952 1406 0 -1 4202560 32 1346 0 0 0 0 2 0 20 0 5 0 869414474 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 0 0 0 0
[pid=3952/tid=4011] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/4011/stat : 4011 (python) S 3950 3952 1406 0 -1 4202560 31 1346 0 0 0 0 2 0 20 0 5 0 869419040 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
[pid=3952/tid=4017] ppid=3950 vsize=325164 CPUtime=0.02 cores=0,2,4,6
/proc/3952/task/4017/stat : 4017 (python) S 3950 3952 1406 0 -1 4202560 29 1346 0 0 0 0 2 0 20 0 5 0 869423848 332967936 7476 33554432000 4194304 5683644 140736021642736 18446744073709551615 246528657841 0 0 16781312 33554434 18446604453635612992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 144.33
Current children cumulated vsize (KiB) 18818836
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3952 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=484926
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 0.605907
# while last known CPU time is 144.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 142.976
CPU time (s): 144.33
CPU user time (s): 141.05
CPU system time (s): 3.28
CPU usage (%): 100.947
Max. virtual memory (cumulated for all children) (KiB): 18818836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.484926
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= 14916
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= 3970
involuntary context switches= 26
runsolver used 0.797878 second user time and 1.47078 second system time
The end