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-3481529-1307578055/watcher-3481529-1307578055 -o /tmp/evaluation-result-3481529-1307578055/solver-3481529-1307578055 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481529-1307578055.opb -seed 1843381376 -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.43 2.17 1.73 2/722 28658
/proc/meminfo: memFree=16542948/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 1116 0 0 0 1 0 0 0 20 0 1 0 850221208 16789504 984 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28658/statm: 4099 984 408 364 0 586 0
[startup+0.116396 s]
/proc/loadavg: 2.43 2.17 1.73 2/722 28658
/proc/meminfo: memFree=16542948/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/28658/stat : 28658 (python) R 28656 28658 27575 0 -1 4202496 3170 931 1 0 7 2 0 0 18 0 1 0 850221208 98435072 2484 33554432000 4194304 5683644 140735850954464 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28658/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.200424 s]
/proc/loadavg: 2.43 2.17 1.73 2/722 28658
/proc/meminfo: memFree=16542948/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/28658/stat : 28658 (python) R 28656 28658 27575 0 -1 4202496 5358 931 1 0 12 4 0 0 17 0 1 0 850221208 126713856 3745 33554432000 4194304 5683644 140735850954464 18446744073709551615 4567008 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28658/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.300365 s]
/proc/loadavg: 2.43 2.17 1.73 2/722 28658
/proc/meminfo: memFree=16542948/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=184248 CPUtime=0.23 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 6332 931 1 0 18 5 0 0 17 0 1 0 850221208 188669952 4636 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28658/statm: 46062 4636 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184248
[startup+0.700317 s]
/proc/loadavg: 2.43 2.17 1.73 2/722 28658
/proc/meminfo: memFree=16542948/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=284972 CPUtime=0.49 cores=1,3,5,7
/proc/28658/stat : 28658 (python) R 28656 28658 27575 0 -1 4202496 9839 931 1 0 35 14 0 0 17 0 1 0 850221208 291811328 7568 33554432000 4194304 5683644 140735850954464 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28658/statm: 71243 7568 1777 364 0 6136 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 284972
[startup+1.5001 s]
/proc/loadavg: 2.43 2.17 1.73 3/723 28664
/proc/meminfo: memFree=16509080/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=302268 CPUtime=1.4 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 15278 1458 1 0 102 16 18 4 19 0 2 0 850221208 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 75567 9407 1871 364 0 10454 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 302268
[startup+3.10083 s]
/proc/loadavg: 2.43 2.17 1.73 3/726 28667
/proc/meminfo: memFree=16419776/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=302268 CPUtime=1.4 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 15278 1458 1 0 102 16 18 4 19 0 2 0 850221208 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 75567 9407 1871 364 0 10454 0
[pid=28665] ppid=28658 vsize=292024 CPUtime=0 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 850221347 299032576 7850 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425103 0 0 16781312 33554946 2460541301649571840 0 0 17 3 0 0 0
/proc/28665/statm: 73006 7850 318 364 0 7893 0
[pid=28667] ppid=28665 vsize=100720 CPUtime=1.7 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) R 28665 28667 28667 0 -1 4202496 23849 0 0 0 153 17 0 0 19 0 1 0 850221347 103137280 22566 33554432000 4194304 13684479 140737311962688 18446744073709551615 6033966 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28667/statm: 25180 22566 761 2317 0 22858 0
[pid=28658/tid=28666] ppid=28656 vsize=302268 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 2 0 850221347 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 695012
[startup+6.30123 s]
/proc/loadavg: 2.40 2.17 1.74 3/726 28667
/proc/meminfo: memFree=16414776/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=302268 CPUtime=1.4 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 15278 1458 1 0 102 16 18 4 19 0 2 0 850221208 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 75567 9407 1871 364 0 10454 0
[pid=28665] ppid=28658 vsize=292024 CPUtime=0.03 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 879 0 0 0 2 1 0 0 15 0 1 0 850221347 299032576 7874 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425103 0 0 16781312 33554946 3080757849324781568 0 0 17 3 0 0 0
/proc/28665/statm: 73006 7874 342 364 0 7893 0
[pid=28667] ppid=28665 vsize=110504 CPUtime=4.89 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) R 28665 28667 28667 0 -1 4202496 26220 0 0 0 467 22 0 0 19 0 1 0 850221347 113156096 24826 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28667/statm: 27626 24826 869 2317 0 25304 0
[pid=28658/tid=28666] ppid=28656 vsize=302268 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 2 0 850221347 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 704796
[startup+12.701 s]
/proc/loadavg: 2.36 2.16 1.74 3/726 28667
/proc/meminfo: memFree=16385668/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=302268 CPUtime=1.4 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 15278 1458 1 0 102 16 18 4 19 0 2 0 850221208 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 75567 9407 1871 364 0 10454 0
[pid=28665] ppid=28658 vsize=292024 CPUtime=0.05 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 885 0 0 0 3 2 0 0 15 0 1 0 850221347 299032576 7874 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425103 0 0 16781312 33554946 129283373217611776 0 0 17 5 0 0 0
/proc/28665/statm: 73006 7874 342 364 0 7893 0
[pid=28667] ppid=28665 vsize=134968 CPUtime=11.28 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) R 28665 28667 28667 0 -1 4202496 32799 0 0 0 1097 31 0 0 18 0 1 0 850221347 138207232 31104 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28667/statm: 33742 31104 760 2317 0 31420 0
[pid=28658/tid=28666] ppid=28656 vsize=302268 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 2 0 850221347 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 729260
[startup+25.5216 s]
/proc/loadavg: 2.28 2.16 1.74 3/730 28672
/proc/meminfo: memFree=16350188/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=302268 CPUtime=1.4 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 15278 1458 1 0 102 16 18 4 19 0 2 0 850221208 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 75567 9407 1871 364 0 10454 0
[pid=28665] ppid=28658 vsize=292024 CPUtime=0.12 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 893 0 0 0 7 5 0 0 15 0 1 0 850221347 299032576 7874 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425103 0 0 16781312 33554946 3434627364552704000 0 0 17 7 0 0 0
/proc/28665/statm: 73006 7874 342 364 0 7893 0
[pid=28667] ppid=28665 vsize=160128 CPUtime=24.11 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) R 28665 28667 28667 0 -1 4202496 38757 0 0 0 2356 55 0 0 25 0 1 0 850221347 163971072 36916 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28667/statm: 40032 36916 761 2317 0 37710 0
[pid=28658/tid=28666] ppid=28656 vsize=302268 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 2 0 850221347 309522432 9407 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 754420
[startup+51.1008 s]
/proc/loadavg: 2.18 2.14 1.74 3/734 28676
/proc/meminfo: memFree=16152108/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=312524 CPUtime=1.42 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 16158 1458 1 0 104 16 18 4 20 0 3 0 850221208 320024576 9414 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28658/statm: 78131 9414 1874 364 0 13015 0
[pid=28665] ppid=28658 vsize=302268 CPUtime=0.26 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 1101 0 0 0 13 13 0 0 16 0 2 0 850221347 309522432 7942 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28665/statm: 75567 7942 405 364 0 10454 0
[pid=28667] ppid=28665 vsize=208372 CPUtime=47.65 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) T 28665 28667 28667 0 -1 4202496 50918 0 0 0 4670 95 0 0 25 0 1 0 850221347 213372928 48891 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28667/statm: 52093 48891 866 2317 0 49771 0
[pid=28665/tid=28673] ppid=28658 vsize=302268 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28673/stat : 28673 (python) S 28658 28658 27575 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850226116 309522432 7942 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604465881884736 0 0 -1 7 0 0 0
[pid=28674] ppid=28658 vsize=302280 CPUtime=0 cores=1,3,5,7
/proc/28674/stat : 28674 (python) S 28658 28658 27575 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 850226118 309534720 7855 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425158 0 0 16781312 33554946 1760265747533135872 0 0 17 1 0 0 0
/proc/28674/statm: 75570 7855 319 364 0 10454 0
[pid=28676] ppid=28674 vsize=103744 CPUtime=1.98 cores=1,3,5,7
/proc/28676/stat : 28676 (scip-2.0.1.linu) R 28674 28676 28676 0 -1 4202496 23574 0 0 0 180 18 0 0 25 0 1 0 850226118 106233856 21954 33554432000 4194304 15243407 140736632341472 18446744073709551615 6388285 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28676/statm: 25936 21954 852 2698 0 23231 0
[pid=28658/tid=28666] ppid=28656 vsize=312524 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 3 0 850221347 320024576 9414 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
[pid=28658/tid=28675] ppid=28656 vsize=312524 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28675/stat : 28675 (python) S 28656 28658 27575 0 -1 4202560 32 1458 0 0 0 0 18 4 20 0 3 0 850226118 320024576 9414 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.31
Current children cumulated vsize (KiB) 1229188
[startup+102.301 s]
/proc/loadavg: 2.18 2.15 1.77 3/730 28777
/proc/meminfo: memFree=15818144/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=322780 CPUtime=1.44 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 17016 1458 1 0 106 16 18 4 20 0 4 0 850221208 330526720 9420 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28658/statm: 80695 9420 1876 364 0 15576 0
[pid=28665] ppid=28658 vsize=302268 CPUtime=0.26 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 1101 0 0 0 13 13 0 0 16 0 2 0 850221347 309522432 7942 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28665/statm: 75567 7942 405 364 0 10454 0
[pid=28667] ppid=28665 vsize=208372 CPUtime=47.65 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) T 28665 28667 28667 0 -1 4202496 50918 0 0 0 4670 95 0 0 25 0 1 0 850221347 213372928 48891 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28667/statm: 52093 48891 866 2317 0 49771 0
[pid=28665/tid=28673] ppid=28658 vsize=302268 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28673/stat : 28673 (python) S 28658 28658 27575 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850226116 309522432 7942 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604465881884736 0 0 -1 7 0 0 0
[pid=28674] ppid=28658 vsize=302280 CPUtime=0.28 cores=1,3,5,7
/proc/28674/stat : 28674 (python) S 28658 28658 27575 0 -1 4202560 1124 0 0 0 15 13 0 0 16 0 2 0 850226118 309534720 7936 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28674/statm: 75570 7936 399 364 0 10454 0
[pid=28676] ppid=28674 vsize=153912 CPUtime=46.69 cores=1,3,5,7
/proc/28676/stat : 28676 (scip-2.0.1.linu) T 28674 28676 28676 0 -1 4202496 42961 0 0 0 4630 39 0 0 25 0 1 0 850226118 157605888 34232 33554432000 4194304 15243407 140736632341472 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28676/statm: 38478 34232 866 2698 0 35773 0
[pid=28674/tid=28773] ppid=28658 vsize=302280 CPUtime=0 cores=1,3,5,7
/proc/28674/task/28773/stat : 28773 (python) S 28658 28658 27575 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850230796 309534720 7936 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604464735289600 0 0 -1 7 0 0 0
[pid=28774] ppid=28658 vsize=312536 CPUtime=0.01 cores=1,3,5,7
/proc/28774/stat : 28774 (python) S 28658 28658 27575 0 -1 4202560 909 0 0 0 0 1 0 0 18 0 1 0 850230799 320036864 7883 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425158 0 0 16781312 33554946 16514411181700514054 0 0 17 5 0 0 0
/proc/28774/statm: 78134 7883 343 364 0 13015 0
[pid=28776] ppid=28774 vsize=127492 CPUtime=6.37 cores=1,3,5,7
/proc/28776/stat : 28776 (wbo1.4a) R 28774 28776 28776 0 -1 4202496 32696 0 0 0 633 4 0 0 25 0 1 0 850230799 130551808 31319 33554432000 134512640 135751879 4291406752 18446744073709551615 135211029 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/28776/statm: 31873 31319 143 303 0 31568 0
[pid=28658/tid=28666] ppid=28656 vsize=322780 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 27 1458 0 0 0 0 18 4 19 0 4 0 850221347 330526720 9420 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
[pid=28658/tid=28675] ppid=28656 vsize=322780 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28675/stat : 28675 (python) S 28656 28658 27575 0 -1 4202560 32 1458 0 0 0 0 18 4 20 0 4 0 850226118 330526720 9420 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=28658/tid=28775] ppid=28656 vsize=343292 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28775/stat : 28775 (python) S 28656 28658 27575 0 -1 4202560 30 1458 0 0 0 0 18 4 20 0 6 0 850230799 351531008 9432 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
[pid=28658/tid=28785] ppid=28656 vsize=343292 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28785/stat : 28785 (python) S 28656 28658 27575 0 -1 4202560 32 1458 0 0 0 0 18 4 20 0 6 0 850235697 351531008 9432 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
[pid=28658/tid=28835] ppid=28656 vsize=343292 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28835/stat : 28835 (python) S 28656 28658 27575 0 -1 4202560 28 1458 0 0 0 0 18 4 20 0 6 0 850244893 351531008 9432 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.46
Current children cumulated vsize (KiB) 11303056
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+699.702 s]
/proc/loadavg: 2.00 2.05 1.90 6/816 28879
/proc/meminfo: memFree=12389788/32951124 swapFree=62998992/67111528
[pid=28658] ppid=28656 vsize=353548 CPUtime=1.61 cores=1,3,5,7
/proc/28658/stat : 28658 (python) S 28656 28658 27575 0 -1 4202496 19794 1458 1 0 122 17 18 4 20 0 7 0 850221208 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28658/statm: 88387 9438 1882 364 0 23259 0
[pid=28665] ppid=28658 vsize=302268 CPUtime=1.75 cores=1,3,5,7
/proc/28665/stat : 28665 (python) S 28658 28658 27575 0 -1 4202560 1177 0 0 0 80 95 0 0 15 0 2 0 850221347 309522432 7943 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28665/statm: 75567 7943 406 364 0 10454 0
[pid=28667] ppid=28665 vsize=218836 CPUtime=325.13 cores=1,3,5,7
/proc/28667/stat : 28667 (scip-2.0.1.linu) T 28665 28667 28667 0 -1 4202496 53566 0 0 0 32133 380 0 0 25 0 1 0 850221347 224088064 51388 33554432000 4194304 13684479 140737311962688 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28667/statm: 54709 51388 855 2317 0 52387 0
[pid=28665/tid=28673] ppid=28658 vsize=302268 CPUtime=0 cores=1,3,5,7
/proc/28665/task/28673/stat : 28673 (python) S 28658 28658 27575 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850226116 309522432 7943 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604465881884736 0 0 -1 7 0 0 0
[pid=28674] ppid=28658 vsize=302280 CPUtime=1.04 cores=1,3,5,7
/proc/28674/stat : 28674 (python) S 28658 28658 27575 0 -1 4202560 1217 0 0 0 51 53 0 0 15 0 2 0 850226118 309534720 7936 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28674/statm: 75570 7936 399 364 0 10454 0
[pid=28676] ppid=28674 vsize=192504 CPUtime=183.41 cores=1,3,5,7
/proc/28676/stat : 28676 (scip-2.0.1.linu) T 28674 28676 28676 0 -1 4202496 79762 0 0 0 18261 80 0 0 25 0 1 0 850226118 197124096 44177 33554432000 4194304 15243407 140736632341472 18446744073709551615 4957285 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28676/statm: 48126 44177 866 2698 0 45421 0
[pid=28674/tid=28773] ppid=28658 vsize=302280 CPUtime=0 cores=1,3,5,7
/proc/28674/task/28773/stat : 28773 (python) S 28658 28658 27575 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850230796 309534720 7936 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604464735289600 0 0 -1 5 0 0 0
[pid=28774] ppid=28658 vsize=312536 CPUtime=0.29 cores=1,3,5,7
/proc/28774/stat : 28774 (python) S 28658 28658 27575 0 -1 4202560 1126 0 0 0 14 15 0 0 16 0 2 0 850230799 320036864 7931 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28774/statm: 78134 7931 390 364 0 13015 0
[pid=28776] ppid=28774 vsize=406416 CPUtime=48.85 cores=1,3,5,7
/proc/28776/stat : 28776 (wbo1.4a) T 28774 28776 28776 0 -1 4202496 102664 0 0 0 4839 46 0 0 25 0 1 0 850230799 416169984 101102 33554432000 134512640 135751879 4291406752 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/28776/statm: 101604 101102 146 303 0 101299 0
[pid=28774/tid=28783] ppid=28658 vsize=312536 CPUtime=0 cores=1,3,5,7
/proc/28774/task/28783/stat : 28783 (python) S 28658 28658 27575 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850235694 320036864 7931 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604463898362880 0 0 -1 7 0 0 0
[pid=28784] ppid=28658 vsize=322792 CPUtime=0.23 cores=1,3,5,7
/proc/28784/stat : 28784 (python) S 28658 28658 27575 0 -1 4202560 1186 0 0 0 10 13 0 0 17 0 2 0 850235697 330539008 7941 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28784/statm: 80698 7941 396 364 0 15576 0
[pid=28786] ppid=28784 vsize=8545456 CPUtime=49.7 cores=1,3,5,7
/proc/28786/stat : 28786 (java) T 28784 28786 28786 0 -1 4202496 323659 0 1 0 4929 41 0 0 18 0 19 0 850235697 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28786/statm: 2136364 312192 2252 9 0 2127105 0
[pid=28786/tid=28787] ppid=28784 vsize=8545456 CPUtime=46.41 cores=1,3,5,7
/proc/28786/task/28787/stat : 28787 (java) T 28784 28786 28786 0 -1 4202560 233324 0 1 0 4613 28 0 0 25 0 19 0 850235698 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 46912506312892 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28788] ppid=28784 vsize=8545456 CPUtime=0.09 cores=1,3,5,7
/proc/28786/task/28788/stat : 28788 (java) T 28784 28786 28786 0 -1 4202560 7661 0 0 0 8 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28789] ppid=28784 vsize=8545456 CPUtime=0.18 cores=1,3,5,7
/proc/28786/task/28789/stat : 28789 (java) T 28784 28786 28786 0 -1 4202560 12871 0 0 0 17 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28790] ppid=28784 vsize=8545456 CPUtime=0.14 cores=1,3,5,7
/proc/28786/task/28790/stat : 28790 (java) T 28784 28786 28786 0 -1 4202560 11441 0 0 0 13 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28786/tid=28791] ppid=28784 vsize=8545456 CPUtime=0.15 cores=1,3,5,7
/proc/28786/task/28791/stat : 28791 (java) T 28784 28786 28786 0 -1 4202560 10257 0 0 0 14 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28792] ppid=28784 vsize=8545456 CPUtime=0.04 cores=1,3,5,7
/proc/28786/task/28792/stat : 28792 (java) T 28784 28786 28786 0 -1 4202560 4170 0 0 0 4 0 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28793] ppid=28784 vsize=8545456 CPUtime=0.16 cores=1,3,5,7
/proc/28786/task/28793/stat : 28793 (java) T 28784 28786 28786 0 -1 4202560 10842 0 0 0 15 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28794] ppid=28784 vsize=8545456 CPUtime=0.16 cores=1,3,5,7
/proc/28786/task/28794/stat : 28794 (java) T 28784 28786 28786 0 -1 4202560 9939 0 0 0 15 1 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28786/tid=28795] ppid=28784 vsize=8545456 CPUtime=0.08 cores=1,3,5,7
/proc/28786/task/28795/stat : 28795 (java) T 28784 28786 28786 0 -1 4202560 7481 0 0 0 8 0 0 0 15 0 19 0 850235699 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28796] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28796/stat : 28796 (java) T 28784 28786 28786 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 19 0 850235700 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28797] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28797/stat : 28797 (java) T 28784 28786 28786 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850235700 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28798] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28798/stat : 28798 (java) T 28784 28786 28786 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850235700 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28799] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28799/stat : 28799 (java) T 28784 28786 28786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850235703 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28800] ppid=28784 vsize=8545456 CPUtime=0.98 cores=1,3,5,7
/proc/28786/task/28800/stat : 28800 (java) T 28784 28786 28786 0 -1 4202560 3524 0 0 0 98 0 0 0 15 0 19 0 850235703 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28801] ppid=28784 vsize=8545456 CPUtime=1.19 cores=1,3,5,7
/proc/28786/task/28801/stat : 28801 (java) T 28784 28786 28786 0 -1 4202560 10271 0 0 0 118 1 0 0 15 0 19 0 850235703 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28802] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28802/stat : 28802 (java) T 28784 28786 28786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850235703 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28803] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28803/stat : 28803 (java) T 28784 28786 28786 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850235703 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28804] ppid=28784 vsize=8545456 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28804/stat : 28804 (java) T 28784 28786 28786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850235772 8750546944 312192 33554432000 1073741824 1073778376 140735439105728 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28784/tid=28810] ppid=28658 vsize=322792 CPUtime=0 cores=1,3,5,7
/proc/28784/task/28810/stat : 28810 (python) S 28658 28658 27575 0 -1 4202560 92 0 0 0 0 0 0 0 17 0 2 0 850240370 330539008 7941 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470911402944 0 0 -1 7 0 0 0
[pid=28834] ppid=28658 vsize=333048 CPUtime=0.43 cores=1,3,5,7
/proc/28834/stat : 28834 (python) S 28658 28658 27575 0 -1 4202560 1239 0 0 0 19 24 0 0 17 0 2 0 850244893 341041152 7945 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/28834/statm: 83262 7945 396 364 0 18137 0
[pid=28836] ppid=28834 vsize=23628 CPUtime=92.97 cores=1,3,5,7
/proc/28836/stat : 28836 (clasp-1.3.7-x86) T 28834 28836 28836 0 -1 4202496 6401 0 0 0 9296 1 0 0 25 0 1 0 850244894 24195072 5673 33554432000 134512640 136139019 4289014096 18446744073709551615 134599813 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/28836/statm: 5907 5673 187 398 0 5507 0
[pid=28834/tid=28841] ppid=28658 vsize=333048 CPUtime=0 cores=1,3,5,7
/proc/28834/task/28841/stat : 28841 (python) S 28658 28658 27575 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850254191 341041152 7945 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554946 18446604469487653888 0 0 -1 1 0 0 0
[pid=28859] ppid=28658 vsize=343304 CPUtime=0 cores=1,3,5,7
/proc/28859/stat : 28859 (python) S 28658 28658 27575 0 -1 4202560 814 0 0 0 0 0 0 0 15 0 1 0 850291102 351543296 7871 33554432000 4194304 5683644 140735850954464 18446744073709551615 264726425158 0 0 16781312 33554946 361553881735364608 0 0 17 5 0 0 0
/proc/28859/statm: 85826 7871 319 364 0 20698 0
[pid=28861] ppid=28859 vsize=8545260 CPUtime=1.94 cores=1,3,5,7
/proc/28861/stat : 28861 (java) S 28859 28861 28861 0 -1 4202496 31379 0 1 0 189 5 0 0 17 0 19 0 850291102 8750346240 25339 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28861/statm: 2136315 25340 2231 9 0 2127056 0
[pid=28861/tid=28862] ppid=28859 vsize=8545260 CPUtime=0.78 cores=1,3,5,7
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28861 0 -1 4202560 17764 0 1 0 76 2 0 0 19 0 19 0 850291103 8750346240 25366 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 46912505654178 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28861/tid=28863] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28863/stat : 28863 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850291104 8750346240 25367 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 1 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25367 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25368 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25369 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25370 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25371 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850291104 8750346240 25372 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850291104 8750346240 25372 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28861 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850291105 8750346240 25373 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738221568 0 0 0 16800975 18446604456595909376 0 0 -1 7 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28861 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850291105 8750346240 25374 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 1 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28861 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 850291105 8750346240 25374 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850291107 8750346240 25375 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738228657 0 4 0 16800975 18446604456595909376 0 0 -1 1 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=8545260 CPUtime=0.59 cores=1,3,5,7
/proc/28861/task/28875/stat : 28875 (java) R 28859 28861 28861 0 -1 4202560 7531 0 0 0 58 1 0 0 25 0 19 0 850291107 8750346240 25376 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 46970490889088 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=8545260 CPUtime=0.53 cores=1,3,5,7
/proc/28861/task/28876/stat : 28876 (java) R 28859 28861 28861 0 -1 4202560 4705 0 0 0 53 0 0 0 25 0 19 0 850291107 8750346240 25377 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 46970494440199 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28861 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850291107 8750346240 25377 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738220953 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850291107 8750346240 25378 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738221568 0 4 0 16800975 18446604456595909376 0 0 -1 5 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=8545260 CPUtime=0 cores=1,3,5,7
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850291174 8750346240 25379 33554432000 1073741824 1073778376 140733858261424 18446744073709551615 264738221568 0 4 0 16800975 18446604456595909376 0 0 -1 1 0 0 0
[pid=28658/tid=28666] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28666/stat : 28666 (python) S 28656 28658 27575 0 -1 4202560 37 1458 0 0 0 0 18 4 18 0 7 0 850221347 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
[pid=28658/tid=28675] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28675/stat : 28675 (python) S 28656 28658 27575 0 -1 4202560 39 1458 0 0 0 0 18 4 18 0 7 0 850226118 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
[pid=28658/tid=28775] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28775/stat : 28775 (python) S 28656 28658 27575 0 -1 4202560 30 1458 0 0 0 0 18 4 20 0 7 0 850230799 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
[pid=28658/tid=28785] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28785/stat : 28785 (python) S 28656 28658 27575 0 -1 4202560 32 1458 0 0 0 0 18 4 20 0 7 0 850235697 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 1 0 0 0
[pid=28658/tid=28835] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28835/stat : 28835 (python) S 28656 28658 27575 0 -1 4202560 28 1458 0 0 0 0 18 4 20 0 7 0 850244893 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
[pid=28658/tid=28860] ppid=28656 vsize=353548 CPUtime=0.22 cores=1,3,5,7
/proc/28658/task/28860/stat : 28860 (python) S 28656 28658 27575 0 -1 4202560 32 1458 0 0 0 0 18 4 20 0 7 0 850291102 362033152 9438 33554432000 4194304 5683644 140735850954464 18446744073709551615 264738228657 0 0 16781312 33554434 18446604471034788800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 707.35
Current children cumulated vsize (KiB) 20201876
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 28658 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=404786
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=216967
# CPU time returned by wait4() is 1.62175
# while last known CPU time is 707.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 699.795
CPU time (s): 707.35
CPU user time (s): 699.61
CPU system time (s): 7.74
CPU usage (%): 101.08
Max. virtual memory (cumulated for all children) (KiB): 20201876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40479
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21256
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= 12234
involuntary context switches= 26
runsolver used 5.43917 second user time and 12.9 second system time
The end