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-3481481-1307577869/watcher-3481481-1307577869 -o /tmp/evaluation-result-3481481-1307577869/solver-3481481-1307577869 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481481-1307577869.opb -seed 1568434054 -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.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/28290/stat : 28290 (python) R 28288 28290 26377 0 -1 4202496 965 0 0 0 0 0 0 0 18 0 1 0 869389752 16285696 839 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370651107 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28290/statm: 3976 842 357 364 0 463 0
[startup+0.030887 s]
/proc/loadavg: 2.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 1165 0 0 0 1 0 0 0 17 0 1 0 869389752 16785408 1029 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/28290/statm: 4098 1029 414 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.100838 s]
/proc/loadavg: 2.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/28290/stat : 28290 (python) R 28288 28290 26377 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 869389752 87674880 2382 33554432000 4194304 5683644 140737167264624 18446744073709551615 4923520 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28290/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.30077 s]
/proc/loadavg: 2.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 5358 933 1 0 12 5 0 0 17 0 1 0 869389752 126709760 3744 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/28290/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+1.19765 s]
/proc/loadavg: 2.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 295660
[startup+1.5006 s]
/proc/loadavg: 2.32 2.13 1.63 2/629 28290
/proc/meminfo: memFree=18521468/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 295660
[startup+3.10031 s]
/proc/loadavg: 2.53 2.17 1.64 3/633 28299
/proc/meminfo: memFree=18412812/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
[pid=28297] ppid=28290 vsize=285416 CPUtime=0 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 869389853 292265984 6223 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977295 0 0 16781312 33554946 451765452129927430 0 0 17 7 0 0 0
/proc/28297/statm: 71354 6223 319 364 0 6241 0
[pid=28299] ppid=28297 vsize=90176 CPUtime=2.07 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) R 28297 28299 28299 0 -1 4202496 22582 0 0 0 172 35 0 0 19 0 1 0 869389853 92340224 20187 33554432000 4194304 13684479 140736341370400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28299/statm: 22544 20187 946 2317 0 20222 0
[pid=28290/tid=28298] ppid=28288 vsize=295660 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 2 0 869389853 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 671252
[startup+6.30074 s]
/proc/loadavg: 2.53 2.17 1.64 3/633 28300
/proc/meminfo: memFree=18410232/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
[pid=28297] ppid=28290 vsize=285416 CPUtime=0.02 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 869389853 292265984 6246 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977295 0 0 16781312 33554946 3460339276464521216 0 0 17 7 0 0 0
/proc/28297/statm: 71354 6246 342 364 0 6241 0
[pid=28299] ppid=28297 vsize=94108 CPUtime=5.27 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) R 28297 28299 28299 0 -1 4202496 31895 0 0 0 484 43 0 0 19 0 1 0 869389853 96366592 20993 33554432000 4194304 13684479 140736341370400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28299/statm: 23527 20993 800 2317 0 21205 0
[pid=28290/tid=28298] ppid=28288 vsize=295660 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 2 0 869389853 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 675184
[startup+12.7006 s]
/proc/loadavg: 2.45 2.17 1.65 3/633 28300
/proc/meminfo: memFree=18409036/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
[pid=28297] ppid=28290 vsize=285416 CPUtime=0.04 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 876 0 0 0 2 2 0 0 15 0 1 0 869389853 292265984 6247 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373549 0 0 17 7 0 0 0
/proc/28297/statm: 71354 6247 343 364 0 6241 0
[pid=28299] ppid=28297 vsize=94912 CPUtime=11.7 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) R 28297 28299 28299 0 -1 4202496 32196 0 0 0 1116 54 0 0 25 0 1 0 869389853 97189888 21294 33554432000 4194304 13684479 140736341370400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28299/statm: 23728 21294 808 2317 0 21406 0
[pid=28290/tid=28298] ppid=28288 vsize=295660 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 2 0 869389853 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 675988
[startup+25.5004 s]
/proc/loadavg: 2.38 2.16 1.65 3/655 28322
/proc/meminfo: memFree=17222212/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
[pid=28297] ppid=28290 vsize=285416 CPUtime=0.08 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 879 0 0 0 4 4 0 0 15 0 1 0 869389853 292265984 6247 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373549 0 0 17 7 0 0 0
/proc/28297/statm: 71354 6247 343 364 0 6241 0
[pid=28299] ppid=28297 vsize=94912 CPUtime=24.48 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) R 28297 28299 28299 0 -1 4202496 32196 0 0 0 2382 66 0 0 25 0 1 0 869389853 97189888 21294 33554432000 4194304 13684479 140736341370400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28299/statm: 23728 21294 808 2317 0 21406 0
[pid=28290/tid=28298] ppid=28288 vsize=295660 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 2 0 869389853 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 675988
[startup+51.1008 s]
/proc/loadavg: 2.25 2.15 1.66 3/655 28323
/proc/meminfo: memFree=15584300/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=295660 CPUtime=0.78 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 11894 1384 1 0 59 13 5 1 18 0 2 0 869389752 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28290/statm: 73915 7779 1871 364 0 8802 0
[pid=28297] ppid=28290 vsize=285416 CPUtime=0.16 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 889 0 0 0 7 9 0 0 15 0 1 0 869389853 292265984 6247 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373549 0 0 17 7 0 0 0
/proc/28297/statm: 71354 6247 343 364 0 6241 0
[pid=28299] ppid=28297 vsize=97284 CPUtime=50.08 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) R 28297 28299 28299 0 -1 4202496 32774 0 0 0 4910 98 0 0 25 0 1 0 869389853 99618816 21872 33554432000 4194304 13684479 140736341370400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28299/statm: 24321 21872 809 2317 0 21999 0
[pid=28290/tid=28298] ppid=28288 vsize=295660 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 2 0 869389853 302755840 7779 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 678360
[startup+102.302 s]
/proc/loadavg: 2.32 2.17 1.69 3/679 28481
/proc/meminfo: memFree=15135264/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=316172 CPUtime=0.83 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 13712 1384 1 0 64 13 5 1 20 0 4 0 869389752 323760128 7792 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28290/statm: 79043 7792 1876 364 0 13924 0
[pid=28297] ppid=28290 vsize=295660 CPUtime=0.18 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 1087 0 0 0 8 10 0 0 16 0 2 0 869389853 302755840 6315 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28297/statm: 73915 6315 406 364 0 8802 0
[pid=28299] ppid=28297 vsize=97284 CPUtime=51.55 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) T 28297 28299 28299 0 -1 4202496 32774 0 0 0 5054 101 0 0 25 0 1 0 869389853 99618816 21872 33554432000 4194304 13684479 140736341370400 18446744073709551615 7361376 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28299/statm: 24321 21872 809 2317 0 21999 0
[pid=28297/tid=28324] ppid=28290 vsize=295660 CPUtime=0 cores=1,3,5,7
/proc/28297/task/28324/stat : 28324 (python) S 28290 28290 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869395009 302755840 6315 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554946 18446604461899473152 0 0 -1 7 0 0 0
[pid=28325] ppid=28290 vsize=295672 CPUtime=0.17 cores=1,3,5,7
/proc/28325/stat : 28325 (python) S 28290 28290 26377 0 -1 4202560 1114 0 0 0 9 8 0 0 16 0 2 0 869395011 302768128 6300 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28325/statm: 73918 6300 391 364 0 8802 0
[pid=28327] ppid=28325 vsize=101116 CPUtime=47.96 cores=1,3,5,7
/proc/28327/stat : 28327 (scip-2.0.1.linu) T 28325 28327 28327 0 -1 4202496 57467 0 0 0 4741 55 0 0 25 0 1 0 869395012 103542784 21682 33554432000 4194304 15243407 140736583770128 18446744073709551615 8152694 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28327/statm: 25279 21682 933 2698 0 22574 0
[pid=28325/tid=28460] ppid=28290 vsize=295672 CPUtime=0 cores=1,3,5,7
/proc/28325/task/28460/stat : 28460 (python) S 28290 28290 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869399810 302768128 6300 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455231271232 0 0 -1 1 0 0 0
[pid=28461] ppid=28290 vsize=305928 CPUtime=0 cores=1,3,5,7
/proc/28461/stat : 28461 (python) S 28290 28290 26377 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 869399812 313270272 6232 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977350 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/28461/statm: 76482 6232 320 364 0 11363 0
[pid=28463] ppid=28461 vsize=8546504 CPUtime=2.76 cores=1,3,5,7
/proc/28463/stat : 28463 (java) S 28461 28463 28463 0 -1 4202496 49635 0 1 0 271 5 0 0 21 0 19 0 869399812 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28463/statm: 2136626 45851 2250 9 0 2127367 0
[pid=28463/tid=28464] ppid=28461 vsize=8546504 CPUtime=1.66 cores=1,3,5,7
/proc/28463/task/28464/stat : 28464 (java) R 28461 28463 28463 0 -1 4202560 35276 0 1 0 163 3 0 0 25 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 46912505899587 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28463/tid=28465] ppid=28461 vsize=8546504 CPUtime=0.01 cores=1,3,5,7
/proc/28463/task/28465/stat : 28465 (java) S 28461 28463 28463 0 -1 4202560 1538 0 0 0 1 0 0 0 16 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28466] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28466/stat : 28466 (java) S 28461 28463 28463 0 -1 4202560 578 0 0 0 0 0 0 0 15 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 1 0 0 0
[pid=28463/tid=28467] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28467/stat : 28467 (java) S 28461 28463 28463 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 7 0 0 0
[pid=28463/tid=28468] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28468/stat : 28468 (java) S 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 7 0 0 0
[pid=28463/tid=28469] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28469/stat : 28469 (java) S 28461 28463 28463 0 -1 4202560 921 0 0 0 0 0 0 0 16 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 7 0 0 0
[pid=28463/tid=28470] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28470/stat : 28470 (java) S 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869399813 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=28463/tid=28472] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28472/stat : 28472 (java) S 28461 28463 28463 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 869399814 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 1 0 0 0
[pid=28463/tid=28473] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28473/stat : 28473 (java) S 28461 28463 28463 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 19 0 869399814 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773760 0 0 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28474] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28474/stat : 28474 (java) S 28461 28463 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869399815 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28475] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28475/stat : 28475 (java) S 28461 28463 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869399815 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28476] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28476/stat : 28476 (java) S 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869399817 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382780849 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28477] ppid=28461 vsize=8546504 CPUtime=0.53 cores=1,3,5,7
/proc/28463/task/28477/stat : 28477 (java) S 28461 28463 28463 0 -1 4202560 4120 0 0 0 53 0 0 0 16 0 19 0 869399817 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 7 0 0 0
[pid=28463/tid=28478] ppid=28461 vsize=8546504 CPUtime=0.5 cores=1,3,5,7
/proc/28463/task/28478/stat : 28478 (java) S 28461 28463 28463 0 -1 4202560 5171 0 0 0 50 0 0 0 25 0 19 0 869399817 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 1 0 0 0
[pid=28463/tid=28479] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28479/stat : 28479 (java) S 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869399817 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28463/tid=28480] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28480/stat : 28480 (java) S 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869399817 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773760 0 4 0 16800975 18446604462307769280 0 0 -1 1 0 0 0
[pid=28463/tid=28481] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28481/stat : 28481 (java) S 28461 28463 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869399859 8751620096 45851 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773760 0 4 0 16800975 18446604462307769280 0 0 -1 3 0 0 0
[pid=28290/tid=28298] ppid=28288 vsize=316172 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 4 0 869389853 323760128 7792 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
[pid=28290/tid=28326] ppid=28288 vsize=316172 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28326/stat : 28326 (python) S 28288 28290 26377 0 -1 4202560 25 1384 0 0 0 0 5 1 20 0 4 0 869395012 323760128 7792 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
[pid=28290/tid=28462] ppid=28288 vsize=316172 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28462/stat : 28462 (python) S 28288 28290 26377 0 -1 4202560 33 1384 0 0 0 0 5 1 20 0 4 0 869399812 323760128 7792 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 103.45
Current children cumulated vsize (KiB) 9958336
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.902 s]
/proc/loadavg: 2.31 2.18 1.71 4/705 28508
/proc/meminfo: memFree=14017876/32951124 swapFree=49244124/67111528
[pid=28290] ppid=28288 vsize=327028 CPUtime=0.85 cores=1,3,5,7
/proc/28290/stat : 28290 (python) S 28288 28290 26377 0 -1 4202496 14677 1384 1 0 66 13 5 1 20 0 5 0 869389752 334876672 7924 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28290/statm: 81757 7924 1878 364 0 16635 0
[pid=28297] ppid=28290 vsize=295660 CPUtime=0.18 cores=1,3,5,7
/proc/28297/stat : 28297 (python) S 28290 28290 26377 0 -1 4202560 1087 0 0 0 8 10 0 0 16 0 2 0 869389853 302755840 6315 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28297/statm: 73915 6315 406 364 0 8802 0
[pid=28299] ppid=28297 vsize=97284 CPUtime=51.55 cores=1,3,5,7
/proc/28299/stat : 28299 (scip-2.0.1.linu) T 28297 28299 28299 0 -1 4202496 32774 0 0 0 5054 101 0 0 25 0 1 0 869389853 99618816 21872 33554432000 4194304 13684479 140736341370400 18446744073709551615 7361376 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28299/statm: 24321 21872 809 2317 0 21999 0
[pid=28297/tid=28324] ppid=28290 vsize=295660 CPUtime=0 cores=1,3,5,7
/proc/28297/task/28324/stat : 28324 (python) S 28290 28290 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869395009 302755840 6315 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554946 18446604461899473152 0 0 -1 7 0 0 0
[pid=28325] ppid=28290 vsize=295672 CPUtime=0.17 cores=1,3,5,7
/proc/28325/stat : 28325 (python) S 28290 28290 26377 0 -1 4202560 1114 0 0 0 9 8 0 0 16 0 2 0 869395011 302768128 6300 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28325/statm: 73918 6300 391 364 0 8802 0
[pid=28327] ppid=28325 vsize=101116 CPUtime=47.96 cores=1,3,5,7
/proc/28327/stat : 28327 (scip-2.0.1.linu) T 28325 28327 28327 0 -1 4202496 57467 0 0 0 4741 55 0 0 25 0 1 0 869395012 103542784 21682 33554432000 4194304 15243407 140736583770128 18446744073709551615 8152694 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28327/statm: 25279 21682 933 2698 0 22574 0
[pid=28325/tid=28460] ppid=28290 vsize=295672 CPUtime=0 cores=1,3,5,7
/proc/28325/task/28460/stat : 28460 (python) S 28290 28290 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869399810 302768128 6300 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455231271232 0 0 -1 1 0 0 0
[pid=28461] ppid=28290 vsize=305928 CPUtime=0.18 cores=1,3,5,7
/proc/28461/stat : 28461 (python) S 28290 28290 26377 0 -1 4202560 1120 0 0 0 10 8 0 0 16 0 2 0 869399812 313270272 6304 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28461/statm: 76482 6304 391 364 0 11363 0
[pid=28463] ppid=28461 vsize=8546504 CPUtime=46.67 cores=1,3,5,7
/proc/28463/stat : 28463 (java) T 28461 28463 28463 0 -1 4202496 292644 0 1 0 4633 34 0 0 18 0 19 0 869399812 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28463/statm: 2136626 266910 2262 9 0 2127367 0
[pid=28463/tid=28464] ppid=28461 vsize=8546504 CPUtime=44.66 cores=1,3,5,7
/proc/28463/task/28464/stat : 28464 (java) T 28461 28463 28463 0 -1 4202560 261354 0 1 0 4437 29 0 0 25 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28465] ppid=28461 vsize=8546504 CPUtime=0.06 cores=1,3,5,7
/proc/28463/task/28465/stat : 28465 (java) T 28461 28463 28463 0 -1 4202560 3814 0 0 0 6 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28463/tid=28466] ppid=28461 vsize=8546504 CPUtime=0.05 cores=1,3,5,7
/proc/28463/task/28466/stat : 28466 (java) T 28461 28463 28463 0 -1 4202560 2314 0 0 0 5 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 47304467759351 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28463/tid=28467] ppid=28461 vsize=8546504 CPUtime=0.05 cores=1,3,5,7
/proc/28463/task/28467/stat : 28467 (java) T 28461 28463 28463 0 -1 4202560 1072 0 0 0 5 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28468] ppid=28461 vsize=8546504 CPUtime=0.04 cores=1,3,5,7
/proc/28463/task/28468/stat : 28468 (java) T 28461 28463 28463 0 -1 4202560 1683 0 0 0 4 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 47304468309152 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28463/tid=28469] ppid=28461 vsize=8546504 CPUtime=0.05 cores=1,3,5,7
/proc/28463/task/28469/stat : 28469 (java) T 28461 28463 28463 0 -1 4202560 1816 0 0 0 5 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28470] ppid=28461 vsize=8546504 CPUtime=0.05 cores=1,3,5,7
/proc/28463/task/28470/stat : 28470 (java) T 28461 28463 28463 0 -1 4202560 2633 0 0 0 5 0 0 0 15 0 19 0 869399813 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28463/tid=28471] ppid=28461 vsize=8546504 CPUtime=0.06 cores=1,3,5,7
/proc/28463/task/28471/stat : 28471 (java) T 28461 28463 28463 0 -1 4202560 2095 0 0 0 6 0 0 0 15 0 19 0 869399814 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28463/tid=28472] ppid=28461 vsize=8546504 CPUtime=0.03 cores=1,3,5,7
/proc/28463/task/28472/stat : 28472 (java) T 28461 28463 28463 0 -1 4202560 1688 0 0 0 3 0 0 0 15 0 19 0 869399814 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28463/tid=28473] ppid=28461 vsize=8546504 CPUtime=0.4 cores=1,3,5,7
/proc/28463/task/28473/stat : 28473 (java) T 28461 28463 28463 0 -1 4202560 3476 0 0 0 40 0 0 0 15 0 19 0 869399814 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28474] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28474/stat : 28474 (java) T 28461 28463 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869399815 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28475] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28475/stat : 28475 (java) T 28461 28463 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869399815 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28476] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28476/stat : 28476 (java) T 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399817 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28463/tid=28477] ppid=28461 vsize=8546504 CPUtime=0.56 cores=1,3,5,7
/proc/28463/task/28477/stat : 28477 (java) T 28461 28463 28463 0 -1 4202560 4126 0 0 0 56 0 0 0 15 0 19 0 869399817 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28463/tid=28478] ppid=28461 vsize=8546504 CPUtime=0.55 cores=1,3,5,7
/proc/28463/task/28478/stat : 28478 (java) T 28461 28463 28463 0 -1 4202560 5177 0 0 0 55 0 0 0 15 0 19 0 869399817 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28463/tid=28479] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28479/stat : 28479 (java) T 28461 28463 28463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399817 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28463/tid=28480] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28480/stat : 28480 (java) T 28461 28463 28463 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869399817 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28463/tid=28481] ppid=28461 vsize=8546504 CPUtime=0 cores=1,3,5,7
/proc/28463/task/28481/stat : 28481 (java) T 28461 28463 28463 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869399859 8751620096 266910 33554432000 1073741824 1073778376 140735704738384 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28461/tid=28487] ppid=28290 vsize=305928 CPUtime=0 cores=1,3,5,7
/proc/28461/task/28487/stat : 28487 (python) S 28290 28290 26377 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869404341 313270272 6304 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554946 18446604457895106624 0 0 -1 7 0 0 0
[pid=28488] ppid=28290 vsize=316784 CPUtime=0 cores=1,3,5,7
/proc/28488/stat : 28488 (python) S 28290 28290 26377 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869404344 324386816 6362 33554432000 4194304 5683644 140737167264624 18446744073709551615 218370977350 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/28488/statm: 79196 6362 320 364 0 14074 0
[pid=28490] ppid=28488 vsize=8541756 CPUtime=2.17 cores=1,3,5,7
/proc/28490/stat : 28490 (java) S 28488 28490 28490 0 -1 4202496 36685 0 1 0 211 6 0 0 20 0 19 0 869404344 8746758144 32937 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28490/statm: 2135439 32937 2232 9 0 2126180 0
[pid=28490/tid=28491] ppid=28488 vsize=8541756 CPUtime=0.98 cores=1,3,5,7
/proc/28490/task/28491/stat : 28491 (java) R 28488 28490 28490 0 -1 4202560 25875 0 1 0 94 4 0 0 25 0 19 0 869404345 8746758144 32952 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 46912505809722 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28490/tid=28492] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28492/stat : 28492 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869404346 8746758144 32952 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 5 0 0 0
[pid=28490/tid=28493] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28493/stat : 28493 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869404346 8746758144 32952 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28494] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28494/stat : 28494 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869404346 8746758144 32952 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28495] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28495/stat : 28495 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404346 8746758144 32952 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28496] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28496/stat : 28496 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404346 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28497] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28497/stat : 28497 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404346 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28498] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28498/stat : 28498 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404346 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28499] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28499/stat : 28499 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404346 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28500] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28500/stat : 28500 (java) S 28488 28490 28490 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869404347 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773760 0 0 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28501] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28501/stat : 28501 (java) S 28488 28490 28490 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869404347 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 5 0 0 0
[pid=28490/tid=28502] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28502/stat : 28502 (java) S 28488 28490 28490 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 869404347 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 7 0 0 0
[pid=28490/tid=28503] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28503/stat : 28503 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869404349 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382780849 0 4 0 16800975 18446604463570377728 0 0 -1 5 0 0 0
[pid=28490/tid=28504] ppid=28488 vsize=8541756 CPUtime=0.6 cores=1,3,5,7
/proc/28490/task/28504/stat : 28504 (java) S 28488 28490 28490 0 -1 4202560 5592 0 0 0 60 0 0 0 18 0 19 0 869404349 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 1 0 0 0
[pid=28490/tid=28505] ppid=28488 vsize=8541756 CPUtime=0.55 cores=1,3,5,7
/proc/28490/task/28505/stat : 28505 (java) S 28488 28490 28490 0 -1 4202560 3833 0 0 0 55 0 0 0 17 0 19 0 869404349 8746758144 32953 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 5 0 0 0
[pid=28490/tid=28506] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28506/stat : 28506 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869404349 8746758144 32954 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773145 0 4 0 16800975 18446604463570377728 0 0 -1 5 0 0 0
[pid=28490/tid=28507] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28507/stat : 28507 (java) S 28488 28490 28490 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869404349 8746758144 32954 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773760 0 4 0 16800975 18446604463570377728 0 0 -1 3 0 0 0
[pid=28490/tid=28508] ppid=28488 vsize=8541756 CPUtime=0 cores=1,3,5,7
/proc/28490/task/28508/stat : 28508 (java) S 28488 28490 28490 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869404392 8746758144 32954 33554432000 1073741824 1073778376 140736944218160 18446744073709551615 218382773760 0 4 0 16800975 18446604463570377728 0 0 -1 3 0 0 0
[pid=28290/tid=28298] ppid=28288 vsize=327028 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28298/stat : 28298 (python) S 28288 28290 26377 0 -1 4202560 27 1384 0 0 0 0 5 1 18 0 5 0 869389853 334876672 7924 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
[pid=28290/tid=28326] ppid=28288 vsize=327028 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28326/stat : 28326 (python) S 28288 28290 26377 0 -1 4202560 25 1384 0 0 0 0 5 1 20 0 5 0 869395012 334876672 7924 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 7 0 0 0
[pid=28290/tid=28462] ppid=28288 vsize=327028 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28462/stat : 28462 (python) S 28288 28290 26377 0 -1 4202560 33 1384 0 0 0 0 5 1 20 0 5 0 869399812 334876672 7924 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 1 0 0 0
[pid=28290/tid=28489] ppid=28288 vsize=327028 CPUtime=0.06 cores=1,3,5,7
/proc/28290/task/28489/stat : 28489 (python) S 28288 28290 26377 0 -1 4202560 31 1384 0 0 0 0 5 1 20 0 5 0 869404344 334876672 7924 33554432000 4194304 5683644 140737167264624 18446744073709551615 218382780849 0 0 16781312 33554434 18446604459348120576 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 149.73
Current children cumulated vsize (KiB) 18827732
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 28290 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=723889
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=154976
# CPU time returned by wait4() is 0.878865
# while last known CPU time is 149.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.974
CPU time (s): 149.73
CPU user time (s): 147.37
CPU system time (s): 2.36
CPU usage (%): 101.875
Max. virtual memory (cumulated for all children) (KiB): 18827732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.723889
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16062
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= 5800
involuntary context switches= 20
runsolver used 0.72189 second user time and 1.53377 second system time
The end