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-3481605-1307578478/watcher-3481605-1307578478 -o /tmp/evaluation-result-3481605-1307578478/solver-3481605-1307578478 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481605-1307578478.opb -seed 1999280602 -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.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 935 0 0 0 0 0 0 0 17 0 1 0 948078591 16154624 814 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/24865/statm: 3944 814 356 364 0 431 0
[startup+0.0849111 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=54504 CPUtime=0.06 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 2050 0 0 0 4 2 0 0 17 0 1 0 948078591 55812096 1809 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24865/statm: 13626 1809 492 364 0 1276 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54504
[startup+0.100918 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=87828 CPUtime=0.07 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 2678 0 0 0 4 3 0 0 17 0 1 0 948078591 89935872 2394 33554432000 4194304 5683644 140736842478736 18446744073709551615 260900431336 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24865/statm: 21957 2394 722 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87828
[startup+0.300885 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=123740 CPUtime=0.19 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 5356 931 1 0 10 9 0 0 17 0 1 0 948078591 126709760 3744 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/24865/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740
[startup+0.700726 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=282532 CPUtime=0.45 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 9210 931 1 0 27 18 0 0 15 0 1 0 948078591 289312768 6942 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 2 1563062873893109760 0 0 17 5 0 0 0
/proc/24865/statm: 70633 6942 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282532
[startup+1.50058 s]
/proc/loadavg: 2.04 2.08 1.84 3/810 24871
/proc/meminfo: memFree=12136108/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=291612 CPUtime=1.4 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 14595 1446 1 0 88 30 18 4 16 0 1 0 948078591 298610688 9248 33554432000 4194304 5683644 140736842478736 18446744073709551615 4541442 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/24865/statm: 72903 9248 1817 364 0 7796 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 291612
[startup+3.10029 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=12065764/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 948078750 299294720 7914 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7914 318 364 0 7957 0
[pid=24874] ppid=24872 vsize=163352 CPUtime=1.49 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 39350 0 0 0 126 23 0 0 23 0 1 0 948078751 167272448 37412 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 40838 37412 791 2317 0 38516 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 758156
[startup+6.30077 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=11976832/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.02 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 873 0 0 0 1 1 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 12202531953756307717 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=167384 CPUtime=4.69 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 40470 0 0 0 445 24 0 0 25 0 1 0 948078751 171401216 38414 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 41846 38414 729 2317 0 39524 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 762188
[startup+12.7005 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=11977832/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.03 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 879 0 0 0 1 2 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 5623311482772007828 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=167384 CPUtime=11.08 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 40641 0 0 0 1084 24 0 0 25 0 1 0 948078751 171401216 38585 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 41846 38585 760 2317 0 39524 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 762188
[startup+25.5012 s]
/proc/loadavg: 2.03 2.07 1.85 3/813 24875
/proc/meminfo: memFree=11976876/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.1 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 888 0 0 0 4 6 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 5623311482772007828 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=172876 CPUtime=23.88 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 44365 0 0 0 2361 27 0 0 25 0 1 0 948078751 177025024 39228 33554432000 4194304 13684479 140736421713696 18446744073709551615 7360257 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/24874/statm: 43219 39228 733 2317 0 40897 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 767680
[startup+51.1005 s]
/proc/loadavg: 2.02 2.07 1.85 3/817 24879
/proc/meminfo: memFree=11945212/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=312780 CPUtime=1.51 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 16320 1446 1 0 99 30 18 4 20 0 3 0 948078591 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 78195 9478 1874 364 0 13079 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.21 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1098 0 0 0 10 11 0 0 16 0 2 0 948078750 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/24872/statm: 75631 8006 405 364 0 10518 0
[pid=24874] ppid=24872 vsize=178060 CPUtime=48.78 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 47451 0 0 0 4847 31 0 0 25 0 1 0 948078751 182333440 40919 33554432000 4194304 13684479 140736421713696 18446744073709551615 7391262 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/24874/statm: 44515 40919 733 2317 0 42193 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948083634 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 1 0 948083636 309796864 7919 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/24877/statm: 75634 7919 319 364 0 10518 0
[pid=24879] ppid=24877 vsize=97076 CPUtime=0.63 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) R 24877 24879 24879 0 -1 4202496 22183 0 0 0 44 19 0 0 22 0 1 0 948083636 99405824 21435 33554432000 4194304 15243407 140735928663280 18446744073709551615 6707872 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24879/statm: 24269 21452 722 2698 0 21564 0
[pid=24865/tid=24873] ppid=24863 vsize=312780 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 3 0 948078751 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=312780 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 3 0 948083636 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 1192976
[startup+102.321 s]
/proc/loadavg: 2.09 2.08 1.86 3/822 24886
/proc/meminfo: memFree=11806484/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=323036 CPUtime=1.53 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 17223 1446 1 0 101 30 18 4 19 0 4 0 948078591 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 80759 9484 1876 364 0 15640 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.21 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1098 0 0 0 10 11 0 0 16 0 2 0 948078750 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/24872/statm: 75631 8006 405 364 0 10518 0
[pid=24874] ppid=24872 vsize=178060 CPUtime=48.78 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 47451 0 0 0 4847 31 0 0 25 0 1 0 948078751 182333440 40919 33554432000 4194304 13684479 140736421713696 18446744073709551615 7391262 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/24874/statm: 44515 40919 733 2317 0 42193 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948083634 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0.21 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 1166 0 0 0 10 11 0 0 17 0 2 0 948083636 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24877/statm: 75634 7997 396 364 0 10518 0
[pid=24879] ppid=24877 vsize=166956 CPUtime=48.78 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) T 24877 24879 24879 0 -1 4202496 126409 0 0 0 4839 39 0 0 25 0 1 0 948083636 170962944 33630 33554432000 4194304 15243407 140735928663280 18446744073709551615 8118867 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24879/statm: 41739 33630 838 2698 0 39034 0
[pid=24877/tid=24883] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/task/24883/stat : 24883 (python) S 24865 24865 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948088519 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466993814208 0 0 -1 7 0 0 0
[pid=24884] ppid=24865 vsize=312792 CPUtime=0 cores=1,3,5,7
/proc/24884/stat : 24884 (python) S 24865 24865 22387 0 -1 4202560 889 0 0 0 0 0 0 0 15 0 1 0 948088521 320299008 7930 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 12844087573995290884 0 0 17 5 0 0 0
/proc/24884/statm: 78198 7930 326 364 0 13079 0
[pid=24886] ppid=24884 vsize=18588 CPUtime=3 cores=1,3,5,7
/proc/24886/stat : 24886 (wbo1.4a) R 24884 24886 24886 0 -1 4202496 5302 0 0 0 297 3 0 0 25 0 1 0 948088522 19034112 4132 33554432000 134512640 135751879 4291887552 18446744073709551615 134597602 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24886/statm: 4647 4132 146 303 0 4342 0
[pid=24865/tid=24873] ppid=24863 vsize=323036 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 4 0 948078751 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=323036 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 4 0 948083636 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=24865/tid=24885] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24885/stat : 24885 (python) S 24863 24865 22387 0 -1 4202560 28 1446 0 0 0 0 18 4 20 0 6 0 948088521 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=25020] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25020/stat : 25020 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 6 0 948093377 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25138] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25138/stat : 25138 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 20 0 6 0 948102651 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 345.52
Current children cumulated vsize (KiB) 11066772
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+379.401 s]
/proc/loadavg: 2.14 2.10 1.92 5/884 25230
/proc/meminfo: memFree=6724916/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=353804 CPUtime=1.66 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 20087 1446 1 0 113 31 18 4 19 0 7 0 948078591 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 88451 9502 1882 364 0 23323 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.44 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1124 0 0 0 21 23 0 0 15 0 2 0 948078750 309784576 8007 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24872/statm: 75631 8007 406 364 0 10518 0
[pid=24874] ppid=24872 vsize=256612 CPUtime=93.6 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 70669 0 0 0 9309 51 0 0 25 0 1 0 948078751 262770688 61406 33554432000 4194304 13684479 140736421713696 18446744073709551615 7098878 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/24874/statm: 64153 61406 919 2317 0 61831 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 948083634 309784576 8007 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0.44 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 1209 0 0 0 20 24 0 0 16 0 2 0 948083636 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24877/statm: 75634 7997 396 364 0 10518 0
[pid=24879] ppid=24877 vsize=167112 CPUtime=94.01 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) T 24877 24879 24879 0 -1 4202496 216562 0 0 0 9343 58 0 0 25 0 1 0 948083636 171122688 33313 33554432000 4194304 15243407 140735928663280 18446744073709551615 12374674 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24879/statm: 41778 33313 838 2698 0 39073 0
[pid=24877/tid=24883] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/task/24883/stat : 24883 (python) S 24865 24865 22387 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 948088519 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466993814208 0 0 -1 7 0 0 0
[pid=24884] ppid=24865 vsize=312792 CPUtime=0.23 cores=1,3,5,7
/proc/24884/stat : 24884 (python) S 24865 24865 22387 0 -1 4202560 1205 0 0 0 11 12 0 0 16 0 2 0 948088521 320299008 8001 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24884/statm: 78198 8001 396 364 0 13079 0
[pid=24886] ppid=24884 vsize=86036 CPUtime=48.51 cores=1,3,5,7
/proc/24886/stat : 24886 (wbo1.4a) T 24884 24886 24886 0 -1 4202496 22148 0 0 0 4822 29 0 0 25 0 1 0 948088522 88100864 20978 33554432000 134512640 135751879 4291887552 18446744073709551615 134606389 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/24886/statm: 21509 20978 146 303 0 21204 0
[pid=24884/tid=25018] ppid=24865 vsize=312792 CPUtime=0 cores=1,3,5,7
/proc/24884/task/25018/stat : 25018 (python) S 24865 24865 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948093374 320299008 8001 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455588729152 0 0 -1 7 0 0 0
[pid=25019] ppid=24865 vsize=323048 CPUtime=0.22 cores=1,3,5,7
/proc/25019/stat : 25019 (python) S 24865 24865 22387 0 -1 4202560 1157 0 0 0 12 10 0 0 16 0 2 0 948093376 330801152 7999 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/25019/statm: 80762 7999 390 364 0 15640 0
[pid=25021] ppid=25019 vsize=8611040 CPUtime=49.82 cores=1,3,5,7
/proc/25021/stat : 25021 (java) T 25019 25021 25021 0 -1 4202496 287204 0 1 0 4950 32 0 0 18 0 19 0 948093377 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25021/statm: 2152760 282950 2249 9 0 2143501 0
[pid=25021/tid=25022] ppid=25019 vsize=8611040 CPUtime=47.65 cores=1,3,5,7
/proc/25021/task/25022/stat : 25022 (java) T 25019 25021 25021 0 -1 4202560 238877 0 1 0 4739 26 0 0 25 0 19 0 948093377 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 46912505959211 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25023] ppid=25019 vsize=8611040 CPUtime=0.08 cores=1,3,5,7
/proc/25021/task/25023/stat : 25023 (java) T 25019 25021 25021 0 -1 4202560 6866 0 0 0 8 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25024] ppid=25019 vsize=8611040 CPUtime=0.03 cores=1,3,5,7
/proc/25021/task/25024/stat : 25024 (java) T 25019 25021 25021 0 -1 4202560 3483 0 0 0 3 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25025] ppid=25019 vsize=8611040 CPUtime=0.01 cores=1,3,5,7
/proc/25021/task/25025/stat : 25025 (java) T 25019 25021 25021 0 -1 4202560 1573 0 0 0 1 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25026] ppid=25019 vsize=8611040 CPUtime=0.06 cores=1,3,5,7
/proc/25021/task/25026/stat : 25026 (java) T 25019 25021 25021 0 -1 4202560 5702 0 0 0 6 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25027] ppid=25019 vsize=8611040 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25027/stat : 25027 (java) T 25019 25021 25021 0 -1 4202560 5652 0 0 0 6 1 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25028] ppid=25019 vsize=8611040 CPUtime=0.06 cores=1,3,5,7
/proc/25021/task/25028/stat : 25028 (java) T 25019 25021 25021 0 -1 4202560 5402 0 0 0 6 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25029] ppid=25019 vsize=8611040 CPUtime=0.05 cores=1,3,5,7
/proc/25021/task/25029/stat : 25029 (java) T 25019 25021 25021 0 -1 4202560 4392 0 0 0 5 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25030] ppid=25019 vsize=8611040 CPUtime=0.03 cores=1,3,5,7
/proc/25021/task/25030/stat : 25030 (java) T 25019 25021 25021 0 -1 4202560 3023 0 0 0 3 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25031] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25031/stat : 25031 (java) T 25019 25021 25021 0 -1 4202560 954 0 0 0 0 0 0 0 15 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25032] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25032/stat : 25032 (java) T 25019 25021 25021 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25033] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25033/stat : 25033 (java) T 25019 25021 25021 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25034] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25034/stat : 25034 (java) T 25019 25021 25021 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25035] ppid=25019 vsize=8611040 CPUtime=0.81 cores=1,3,5,7
/proc/25021/task/25035/stat : 25035 (java) T 25019 25021 25021 0 -1 4202560 5024 0 0 0 81 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25036] ppid=25019 vsize=8611040 CPUtime=0.85 cores=1,3,5,7
/proc/25021/task/25036/stat : 25036 (java) T 25019 25021 25021 0 -1 4202560 4860 0 0 0 85 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25037] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25037/stat : 25037 (java) T 25019 25021 25021 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25038] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25038/stat : 25038 (java) T 25019 25021 25021 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25039] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25039/stat : 25039 (java) T 25019 25021 25021 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948093443 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25019/tid=25131] ppid=24865 vsize=323048 CPUtime=0 cores=1,3,5,7
/proc/25019/task/25131/stat : 25131 (python) S 24865 24865 22387 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948098162 330801152 7999 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604471132457856 0 0 -1 5 0 0 0
[pid=25137] ppid=24865 vsize=333304 CPUtime=0.41 cores=1,3,5,7
/proc/25137/stat : 25137 (python) S 24865 24865 22387 0 -1 4202560 1179 0 0 0 19 22 0 0 19 0 2 0 948102650 341303296 8003 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25137/statm: 83326 8003 390 364 0 18201 0
[pid=25139] ppid=25137 vsize=28372 CPUtime=92.54 cores=1,3,5,7
/proc/25139/stat : 25139 (clasp-1.3.7-x86) T 25137 25139 25139 0 -1 4202496 7650 0 0 0 9253 1 0 0 25 0 1 0 948102651 29052928 6857 33554432000 134512640 136139019 4292574400 18446744073709551615 134871060 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/25139/statm: 7093 6857 189 398 0 6693 0
[pid=25137/tid=25186] ppid=24865 vsize=333304 CPUtime=0 cores=1,3,5,7
/proc/25137/task/25186/stat : 25186 (python) S 24865 24865 22387 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 948111910 341303296 8003 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313142656 0 0 -1 7 0 0 0
[pid=25210] ppid=24865 vsize=343560 CPUtime=0 cores=1,3,5,7
/proc/25210/stat : 25210 (python) S 24865 24865 22387 0 -1 4202560 806 0 0 0 0 0 0 0 15 0 1 0 948116438 351805440 7935 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 3464653708552306688 0 0 17 5 0 0 0
/proc/25210/statm: 85890 7935 319 364 0 20762 0
[pid=25212] ppid=25210 vsize=8611348 CPUtime=2.15 cores=1,3,5,7
/proc/25212/stat : 25212 (java) S 25210 25212 25212 0 -1 4202496 49954 0 1 0 210 5 0 0 19 0 19 0 948116439 8818020352 46085 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25212/statm: 2152837 46085 2245 9 0 2143578 0
[pid=25212/tid=25213] ppid=25210 vsize=8611348 CPUtime=0.92 cores=1,3,5,7
/proc/25212/task/25213/stat : 25213 (java) R 25210 25212 25212 0 -1 4202560 35249 0 1 0 89 3 0 0 25 0 19 0 948116439 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 46912505962656 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25212/tid=25214] ppid=25210 vsize=8611348 CPUtime=0.02 cores=1,3,5,7
/proc/25212/task/25214/stat : 25214 (java) S 25210 25212 25212 0 -1 4202560 1937 0 0 0 2 0 0 0 16 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25215] ppid=25210 vsize=8611348 CPUtime=0.02 cores=1,3,5,7
/proc/25212/task/25215/stat : 25215 (java) S 25210 25212 25212 0 -1 4202560 1683 0 0 0 2 0 0 0 16 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25216] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25216/stat : 25216 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25217] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25217/stat : 25217 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25218] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25218/stat : 25218 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25219] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25219/stat : 25219 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25220] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25220/stat : 25220 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25221] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25221/stat : 25221 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25222] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25222/stat : 25222 (java) S 25210 25212 25212 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 0 0 16800975 18446604458518772608 0 0 -1 5 0 0 0
[pid=25212/tid=25223] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25223/stat : 25223 (java) S 25210 25212 25212 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25224] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25224/stat : 25224 (java) S 25210 25212 25212 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25225] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25225/stat : 25225 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917217713 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25226] ppid=25210 vsize=8611348 CPUtime=0.52 cores=1,3,5,7
/proc/25212/task/25226/stat : 25226 (java) S 25210 25212 25212 0 -1 4202560 4520 0 0 0 52 0 0 0 24 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=25212/tid=25227] ppid=25210 vsize=8611348 CPUtime=0.63 cores=1,3,5,7
/proc/25212/task/25227/stat : 25227 (java) S 25210 25212 25212 0 -1 4202560 5104 0 0 0 63 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 5 0 0 0
[pid=25212/tid=25228] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25228/stat : 25228 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25229] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25229/stat : 25229 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=25212/tid=25230] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25230/stat : 25230 (java) S 25210 25212 25212 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 948116508 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=24865/tid=24873] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 18 0 7 0 948078751 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 18 0 7 0 948083636 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=24885] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24885/stat : 24885 (python) S 24863 24865 22387 0 -1 4202560 28 1446 0 0 0 0 18 4 20 0 7 0 948088521 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=25020] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25020/stat : 25020 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 7 0 948093377 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25138] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25138/stat : 25138 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 20 0 7 0 948102651 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25211] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25211/stat : 25211 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 7 0 948116438 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 384.03
Current children cumulated vsize (KiB) 20032088
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 24865 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=321799
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=363944
# CPU time returned by wait4() is 1.68574
# while last known CPU time is 384.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 379.494
CPU time (s): 384.03
CPU user time (s): 381.01
CPU system time (s): 3.02
CPU usage (%): 101.195
Max. virtual memory (cumulated for all children) (KiB): 20032088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3218
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21537
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= 15814
involuntary context switches= 27
runsolver used 2.82357 second user time and 6.577 second system time
The end