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-3481805-1307576930/watcher-3481805-1307576930 -o /tmp/evaluation-result-3481805-1307576930/solver-3481805-1307576930 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481805-1307576930.opb -seed 396870955 -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.20 1.84 0.96 2/610 18402
/proc/meminfo: memFree=26846344/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/18402/stat : 18402 (python) R 18400 18402 17436 0 -1 4202496 1051 0 0 0 0 0 0 0 25 0 1 0 869292780 16629760 922 33554432000 4194304 5683644 140736105497136 18446744073709551615 208079926223 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 4060 922 381 364 0 547 0
[startup+0.0795181 s]
/proc/loadavg: 2.20 1.84 0.96 2/610 18402
/proc/meminfo: memFree=26846344/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/18402/stat : 18402 (python) R 18400 18402 17436 0 -1 4202496 2623 0 0 0 4 2 0 0 25 0 1 0 869292780 87674880 2342 33554432000 4194304 5683644 140736105497136 18446744073709551615 208079893537 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 21405 2342 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.100513 s]
/proc/loadavg: 2.20 1.84 0.96 2/610 18402
/proc/meminfo: memFree=26846344/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/18402/stat : 18402 (python) R 18400 18402 17436 0 -1 4202496 3170 930 1 0 5 3 0 0 18 0 1 0 869292780 98435072 2484 33554432000 4194304 5683644 140736105497136 18446744073709551615 5168816 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300477 s]
/proc/loadavg: 2.20 1.84 0.96 2/610 18402
/proc/meminfo: memFree=26846344/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=202992 CPUtime=0.22 cores=1,3,5,7
/proc/18402/stat : 18402 (python) R 18400 18402 17436 0 -1 4202496 6689 930 1 0 16 6 0 0 17 0 1 0 869292780 207863808 4971 33554432000 4194304 5683644 140736105497136 18446744073709551615 208080230400 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 50748 4971 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202992
[startup+0.700461 s]
/proc/loadavg: 2.20 1.84 0.96 2/610 18402
/proc/meminfo: memFree=26846344/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=288700 CPUtime=0.6 cores=1,3,5,7
/proc/18402/stat : 18402 (python) R 18400 18402 17436 0 -1 4202496 11802 930 1 0 51 9 0 0 17 0 1 0 869292780 295628800 8522 33554432000 4194304 5683644 140736105497136 18446744073709551615 4643489 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/18402/statm: 72175 8522 1815 364 0 7068 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 288700
[startup+1.50125 s]
/proc/loadavg: 2.20 1.84 0.96 3/623 18419
/proc/meminfo: memFree=26810920/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=299944 CPUtime=0.88 cores=1,3,5,7
/proc/18402/stat : 18402 (python) S 18400 18402 17436 0 -1 4202496 12325 930 1 0 79 9 0 0 20 0 2 0 869292780 307142656 8817 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18402/statm: 74986 8817 1862 364 0 9873 0
[pid=18408] ppid=18402 vsize=289700 CPUtime=0 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18402 18402 17436 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 1 0 869292878 296652800 7308 33554432000 4194304 5683644 140736105497136 18446744073709551615 208080252431 0 0 16781312 33554946 1970789625450430727 0 0 17 5 0 0 0
/proc/18408/statm: 72425 7308 357 364 0 7312 0
[pid=18410] ppid=18408 vsize=8537072 CPUtime=0.97 cores=1,3,5,7
/proc/18410/stat : 18410 (java) S 18408 18410 18410 0 -1 4202496 26588 0 1 0 94 3 0 0 21 0 18 0 869292878 8741961728 24469 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18410/statm: 2134268 24470 2213 9 0 2125009 0
[pid=18410/tid=18411] ppid=18408 vsize=8537072 CPUtime=0.5 cores=1,3,5,7
/proc/18410/task/18411/stat : 18411 (java) R 18408 18410 18410 0 -1 4202560 20642 0 1 0 47 3 0 0 25 0 18 0 869292879 8741961728 24470 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18410/tid=18412] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18412/stat : 18412 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869292879 8741961728 24470 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18413] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18413/stat : 18413 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24470 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18414] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18414/stat : 18414 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24471 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18415] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18415/stat : 18415 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24471 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18416] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18416/stat : 18416 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24471 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18417] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18417/stat : 18417 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24471 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18418] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18418/stat : 18418 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24472 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18419] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18419/stat : 18419 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292879 8741961728 24472 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18420] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18420/stat : 18420 (java) S 18408 18410 18410 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869292880 8741961728 24472 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 0 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18421] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18421/stat : 18421 (java) S 18408 18410 18410 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869292881 8741961728 24472 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18422] ppid=18408 vsize=8537072 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18422/stat : 18422 (java) S 18408 18410 18410 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869292881 8741961728 24473 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18402/tid=18409] ppid=18400 vsize=299944 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18409/stat : 18409 (python) S 18400 18402 17436 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 2 0 869292878 307142656 8817 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9126716
[startup+3.10094 s]
/proc/loadavg: 2.20 1.84 0.96 3/632 18428
/proc/meminfo: memFree=26701356/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=299944 CPUtime=0.88 cores=1,3,5,7
/proc/18402/stat : 18402 (python) S 18400 18402 17436 0 -1 4202496 12325 930 1 0 79 9 0 0 20 0 2 0 869292780 307142656 8817 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18402/statm: 74986 8817 1862 364 0 9873 0
[pid=18408] ppid=18402 vsize=289700 CPUtime=0 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18402 18402 17436 0 -1 4202560 850 0 0 0 0 0 0 0 15 0 1 0 869292878 296652800 7308 33554432000 4194304 5683644 140736105497136 18446744073709551615 208080252431 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/18408/statm: 72425 7308 357 364 0 7312 0
[pid=18410] ppid=18408 vsize=8538524 CPUtime=3.08 cores=1,3,5,7
/proc/18410/stat : 18410 (java) S 18408 18410 18410 0 -1 4202496 39204 0 1 0 303 5 0 0 21 0 19 0 869292878 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18410/statm: 2134631 34866 2256 9 0 2125372 0
[pid=18410/tid=18411] ppid=18408 vsize=8538524 CPUtime=2.07 cores=1,3,5,7
/proc/18410/task/18411/stat : 18411 (java) R 18408 18410 18410 0 -1 4202560 25657 0 1 0 203 4 0 0 25 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 46912505815097 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18410/tid=18412] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18412/stat : 18412 (java) S 18408 18410 18410 0 -1 4202560 952 0 0 0 0 0 0 0 18 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18413] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18413/stat : 18413 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18414] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18414/stat : 18414 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18415] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18415/stat : 18415 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18416] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18416/stat : 18416 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18417] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18417/stat : 18417 (java) S 18408 18410 18410 0 -1 4202560 76 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18418] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18418/stat : 18418 (java) S 18408 18410 18410 0 -1 4202560 1384 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18419] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18419/stat : 18419 (java) S 18408 18410 18410 0 -1 4202560 208 0 0 0 0 0 0 0 17 0 19 0 869292879 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18420] ppid=18408 vsize=8538524 CPUtime=0.01 cores=1,3,5,7
/proc/18410/task/18420/stat : 18420 (java) S 18408 18410 18410 0 -1 4202560 2565 0 0 0 1 0 0 0 16 0 19 0 869292880 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 0 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18421] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18421/stat : 18421 (java) S 18408 18410 18410 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18422] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18422/stat : 18422 (java) S 18408 18410 18410 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18423] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18423/stat : 18423 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292883 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092055985 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18424] ppid=18408 vsize=8538524 CPUtime=0.49 cores=1,3,5,7
/proc/18410/task/18424/stat : 18424 (java) S 18408 18410 18410 0 -1 4202560 3395 0 0 0 49 0 0 0 18 0 19 0 869292883 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18425] ppid=18408 vsize=8538524 CPUtime=0.47 cores=1,3,5,7
/proc/18410/task/18425/stat : 18425 (java) S 18408 18410 18410 0 -1 4202560 3586 0 0 0 47 0 0 0 19 0 19 0 869292883 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18426] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18426/stat : 18426 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292883 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18427] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18427/stat : 18427 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292883 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18428] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18428/stat : 18428 (java) S 18408 18410 18410 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292930 8743448576 34866 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18402/tid=18409] ppid=18400 vsize=299944 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18409/stat : 18409 (python) S 18400 18402 17436 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 2 0 869292878 307142656 8817 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9128168
[startup+6.30133 s]
/proc/loadavg: 2.18 1.84 0.96 3/632 18428
/proc/meminfo: memFree=26615212/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=299944 CPUtime=0.88 cores=1,3,5,7
/proc/18402/stat : 18402 (python) S 18400 18402 17436 0 -1 4202496 12325 930 1 0 79 9 0 0 20 0 2 0 869292780 307142656 8817 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18402/statm: 74986 8817 1862 364 0 9873 0
[pid=18408] ppid=18402 vsize=289700 CPUtime=0.02 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18402 18402 17436 0 -1 4202560 976 0 0 0 1 1 0 0 15 0 1 0 869292878 296652800 7331 33554432000 4194304 5683644 140736105497136 18446744073709551615 208080252431 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/18408/statm: 72425 7331 380 364 0 7312 0
[pid=18410] ppid=18408 vsize=8538524 CPUtime=6.37 cores=1,3,5,7
/proc/18410/stat : 18410 (java) S 18408 18410 18410 0 -1 4202496 51868 0 1 0 630 7 0 0 21 0 19 0 869292878 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18410/statm: 2134631 47119 2256 9 0 2125372 0
[pid=18410/tid=18411] ppid=18408 vsize=8538524 CPUtime=5.19 cores=1,3,5,7
/proc/18410/task/18411/stat : 18411 (java) R 18408 18410 18410 0 -1 4202560 25662 0 1 0 515 4 0 0 25 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 46912505815058 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18410/tid=18412] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18412/stat : 18412 (java) S 18408 18410 18410 0 -1 4202560 1350 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18413] ppid=18408 vsize=8538524 CPUtime=0.01 cores=1,3,5,7
/proc/18410/task/18413/stat : 18413 (java) S 18408 18410 18410 0 -1 4202560 2465 0 0 0 1 0 0 0 16 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18414] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18414/stat : 18414 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18415] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18415/stat : 18415 (java) S 18408 18410 18410 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18416] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18416/stat : 18416 (java) S 18408 18410 18410 0 -1 4202560 922 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18417] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18417/stat : 18417 (java) S 18408 18410 18410 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18418] ppid=18408 vsize=8538524 CPUtime=0.01 cores=1,3,5,7
/proc/18410/task/18418/stat : 18418 (java) S 18408 18410 18410 0 -1 4202560 3477 0 0 0 1 0 0 0 16 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18419] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18419/stat : 18419 (java) S 18408 18410 18410 0 -1 4202560 1655 0 0 0 0 0 0 0 15 0 19 0 869292879 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18420] ppid=18408 vsize=8538524 CPUtime=0.07 cores=1,3,5,7
/proc/18410/task/18420/stat : 18420 (java) S 18408 18410 18410 0 -1 4202560 6878 0 0 0 7 0 0 0 16 0 19 0 869292880 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 0 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18421] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18421/stat : 18421 (java) S 18408 18410 18410 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18422] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18422/stat : 18422 (java) S 18408 18410 18410 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18410/tid=18423] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18423/stat : 18423 (java) S 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292883 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092055985 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18410/tid=18424] ppid=18408 vsize=8538524 CPUtime=0.53 cores=1,3,5,7
/proc/18410/task/18424/stat : 18424 (java) S 18408 18410 18410 0 -1 4202560 3647 0 0 0 53 0 0 0 15 0 19 0 869292883 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18410/tid=18425] ppid=18408 vsize=8538524 CPUtime=0.49 cores=1,3,5,7
/proc/18410/task/18425/stat : 18425 (java) S 18408 18410 18410 0 -1 4202560 3588 0 0 0 49 0 0 0 15 0 19 0 869292883 8743448576 47119 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=18535/tid=18554] ppid=18533 vsize=8540500 CPUtime=0.33 cores=1,3,5,7
/proc/18535/task/18554/stat : 18554 (java) R 18533 18535 18535 0 -1 4202560 2527 0 0 0 33 0 0 0 25 0 19 0 869320871 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 47770312429679 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18535/tid=18555] ppid=18533 vsize=8540500 CPUtime=0.32 cores=1,3,5,7
/proc/18535/task/18555/stat : 18555 (java) R 18533 18535 18535 0 -1 4202560 1979 0 0 0 32 0 0 0 25 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 47770312613214 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18535/tid=18556] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18556/stat : 18556 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18557] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18557/stat : 18557 (java) R 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048896 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18535/tid=18558] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18558/stat : 18558 (java) S 18533 18535 18535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869320918 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=18402/tid=18409] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18409/stat : 18409 (python) S 18400 18402 17436 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 869292878 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
[pid=18402/tid=18436] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18436/stat : 18436 (python) S 18400 18402 17436 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869297355 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 1 0 0 0
[pid=18402/tid=18447] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18447/stat : 18447 (python) S 18400 18402 17436 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869306920 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
[pid=18402/tid=18457] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18457/stat : 18457 (python) S 18400 18402 17436 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 869316088 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 3 0 0 0
[pid=18402/tid=18534] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18534/stat : 18534 (python) S 18400 18402 17436 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869320866 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.8
Current children cumulated vsize (KiB) 19246596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+281.502 s]
/proc/loadavg: 1.94 1.94 1.22 6/687 18558
/proc/meminfo: memFree=25504336/32950928 swapFree=38525204/67111528
[pid=18402] ppid=18400 vsize=340968 CPUtime=1.01 cores=1,3,5,7
/proc/18402/stat : 18402 (python) S 18400 18402 17436 0 -1 4202496 15932 930 1 0 91 10 0 0 20 0 6 0 869292780 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18402/statm: 85242 8850 1879 364 0 20117 0
[pid=18408] ppid=18402 vsize=299944 CPUtime=0.44 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18402 18402 17436 0 -1 4202560 1157 0 0 0 21 23 0 0 16 0 2 0 869292878 307142656 7368 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18408/statm: 74986 7368 412 364 0 9873 0
[pid=18410] ppid=18408 vsize=8538524 CPUtime=93.16 cores=1,3,5,7
/proc/18410/stat : 18410 (java) T 18408 18410 18410 0 -1 4202496 92261 0 1 0 9302 14 0 0 18 0 19 0 869292878 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18410/statm: 2134631 86352 2257 9 0 2125372 0
[pid=18410/tid=18411] ppid=18408 vsize=8538524 CPUtime=90.46 cores=1,3,5,7
/proc/18410/task/18411/stat : 18411 (java) T 18408 18410 18410 0 -1 4202560 25683 0 1 0 9042 4 0 0 25 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 46912505842630 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18410/tid=18412] ppid=18408 vsize=8538524 CPUtime=0.09 cores=1,3,5,7
/proc/18410/task/18412/stat : 18412 (java) T 18408 18410 18410 0 -1 4202560 5323 0 0 0 9 0 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18413] ppid=18408 vsize=8538524 CPUtime=0.09 cores=1,3,5,7
/proc/18410/task/18413/stat : 18413 (java) T 18408 18410 18410 0 -1 4202560 8213 0 0 0 9 0 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18410/tid=18414] ppid=18408 vsize=8538524 CPUtime=0.07 cores=1,3,5,7
/proc/18410/task/18414/stat : 18414 (java) T 18408 18410 18410 0 -1 4202560 4030 0 0 0 7 0 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18410/tid=18415] ppid=18408 vsize=8538524 CPUtime=0.08 cores=1,3,5,7
/proc/18410/task/18415/stat : 18415 (java) T 18408 18410 18410 0 -1 4202560 4996 0 0 0 8 0 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18416] ppid=18408 vsize=8538524 CPUtime=0.09 cores=1,3,5,7
/proc/18410/task/18416/stat : 18416 (java) T 18408 18410 18410 0 -1 4202560 6559 0 0 0 8 1 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18417] ppid=18408 vsize=8538524 CPUtime=0.03 cores=1,3,5,7
/proc/18410/task/18417/stat : 18417 (java) T 18408 18410 18410 0 -1 4202560 1206 0 0 0 3 0 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18418] ppid=18408 vsize=8538524 CPUtime=0.09 cores=1,3,5,7
/proc/18410/task/18418/stat : 18418 (java) T 18408 18410 18410 0 -1 4202560 10554 0 0 0 8 1 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18419] ppid=18408 vsize=8538524 CPUtime=0.14 cores=1,3,5,7
/proc/18410/task/18419/stat : 18419 (java) T 18408 18410 18410 0 -1 4202560 7969 0 0 0 13 1 0 0 15 0 19 0 869292879 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18420] ppid=18408 vsize=8538524 CPUtime=0.83 cores=1,3,5,7
/proc/18410/task/18420/stat : 18420 (java) T 18408 18410 18410 0 -1 4202560 9096 0 0 0 82 1 0 0 15 0 19 0 869292880 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18410/tid=18421] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18421/stat : 18421 (java) T 18408 18410 18410 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18410/tid=18422] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18422/stat : 18422 (java) T 18408 18410 18410 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292881 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18423] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18423/stat : 18423 (java) T 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292883 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18410/tid=18424] ppid=18408 vsize=8538524 CPUtime=0.56 cores=1,3,5,7
/proc/18410/task/18424/stat : 18424 (java) T 18408 18410 18410 0 -1 4202560 3651 0 0 0 56 0 0 0 15 0 19 0 869292883 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18425] ppid=18408 vsize=8538524 CPUtime=0.51 cores=1,3,5,7
/proc/18410/task/18425/stat : 18425 (java) T 18408 18410 18410 0 -1 4202560 3596 0 0 0 51 0 0 0 15 0 19 0 869292883 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18426] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18426/stat : 18426 (java) T 18408 18410 18410 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292883 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18410/tid=18427] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18427/stat : 18427 (java) T 18408 18410 18410 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869292883 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18410/tid=18428] ppid=18408 vsize=8538524 CPUtime=0 cores=1,3,5,7
/proc/18410/task/18428/stat : 18428 (java) T 18408 18410 18410 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869292930 8743448576 86352 33554432000 1073741824 1073778376 140735032273008 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18408/tid=18434] ppid=18402 vsize=299944 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18434/stat : 18434 (python) S 18402 18402 17436 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 2 0 869297352 307142656 7368 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554946 18446604466370199936 0 0 -1 7 0 0 0
[pid=18435] ppid=18402 vsize=299956 CPUtime=0.24 cores=1,3,5,7
/proc/18435/stat : 18435 (python) S 18402 18402 17436 0 -1 4202560 1138 0 0 0 12 12 0 0 16 0 2 0 869297355 307154944 7352 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/18435/statm: 74989 7352 396 364 0 9873 0
[pid=18437] ppid=18435 vsize=77964 CPUtime=48.65 cores=1,3,5,7
/proc/18437/stat : 18437 (wbo1.4a) T 18435 18437 18437 0 -1 4202496 20480 0 0 0 4823 42 0 0 25 0 1 0 869297355 79835136 18996 33554432000 134512640 135751879 4287761952 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/18437/statm: 19491 18996 146 303 0 19186 0
[pid=18435/tid=18441] ppid=18402 vsize=299956 CPUtime=0 cores=1,3,5,7
/proc/18435/task/18441/stat : 18441 (python) S 18402 18402 17436 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869302221 307154944 7352 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554946 18446604466892319424 0 0 -1 1 0 0 0
[pid=18446] ppid=18402 vsize=310212 CPUtime=0.39 cores=1,3,5,7
/proc/18446/stat : 18446 (python) S 18402 18402 17436 0 -1 4202560 1139 0 0 0 18 21 0 0 17 0 2 0 869306920 317657088 7356 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/18446/statm: 77553 7356 396 364 0 12434 0
[pid=18448] ppid=18446 vsize=45744 CPUtime=91.64 cores=1,3,5,7
/proc/18448/stat : 18448 (clasp-1.3.7-x86) T 18446 18448 18448 0 -1 4202496 11578 0 0 0 9163 1 0 0 25 0 1 0 869306920 46841856 11185 33554432000 134512640 136139019 4288107456 18446744073709551615 135527584 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/18448/statm: 11436 11185 187 398 0 11036 0
[pid=18446/tid=18455] ppid=18402 vsize=310212 CPUtime=0 cores=1,3,5,7
/proc/18446/task/18455/stat : 18455 (python) S 18402 18402 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869316085 317657088 7356 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554946 18446604464758493632 0 0 -1 5 0 0 0
[pid=18456] ppid=18402 vsize=320468 CPUtime=0.2 cores=1,3,5,7
/proc/18456/stat : 18456 (python) S 18402 18402 17436 0 -1 4202560 1119 0 0 0 10 10 0 0 17 0 2 0 869316088 328159232 7360 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18456/statm: 80117 7360 396 364 0 14995 0
[pid=18458] ppid=18456 vsize=141804 CPUtime=47.75 cores=1,3,5,7
/proc/18458/stat : 18458 (pbct-0.1.2-linu) T 18456 18458 18458 0 -1 4202496 36084 0 0 0 4669 106 0 0 25 0 1 0 869316088 145207296 34159 33554432000 134512640 136422188 4289444624 18446744073709551615 134860196 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/18458/statm: 35451 34159 236 467 0 34982 0
[pid=18456/tid=18520] ppid=18402 vsize=320468 CPUtime=0 cores=1,3,5,7
/proc/18456/task/18520/stat : 18520 (python) S 18402 18402 17436 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869320863 328159232 7360 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554946 18446604471128849408 0 0 -1 7 0 0 0
[pid=18533] ppid=18402 vsize=330724 CPUtime=0 cores=1,3,5,7
/proc/18533/stat : 18533 (python) S 18402 18402 17436 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 1 0 869320866 338661376 7315 33554432000 4194304 5683644 140736105497136 18446744073709551615 208080252486 0 0 16781312 33554946 232483925442691072 0 0 17 3 0 0 0
/proc/18533/statm: 82681 7315 348 364 0 17556 0
[pid=18535] ppid=18533 vsize=8540288 CPUtime=1.32 cores=1,3,5,7
/proc/18535/stat : 18535 (java) S 18533 18535 18535 0 -1 4202496 27692 0 1 0 128 4 0 0 21 0 19 0 869320866 8745254912 25890 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18535/statm: 2135072 25893 2223 9 0 2125813 0
[pid=18535/tid=18536] ppid=18533 vsize=8540500 CPUtime=0.66 cores=1,3,5,7
/proc/18535/task/18536/stat : 18536 (java) R 18533 18535 18535 0 -1 4202560 21964 0 1 0 63 3 0 0 25 0 19 0 869320867 8745472000 26028 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 46912505544339 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18535/tid=18537] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18537/stat : 18537 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869320867 8745472000 26029 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18538/stat : 18538 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26029 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18539] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18539/stat : 18539 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26029 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18540] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18540/stat : 18540 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26030 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18541] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18541/stat : 18541 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26030 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18542] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18542/stat : 18542 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26030 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18543] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18543/stat : 18543 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18544] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18544/stat : 18544 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320867 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18550] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18550/stat : 18550 (java) S 18533 18535 18535 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869320868 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=18535/tid=18551] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18551/stat : 18551 (java) S 18533 18535 18535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869320869 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=18535/tid=18552] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18552/stat : 18552 (java) S 18533 18535 18535 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869320869 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18553] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18553/stat : 18553 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320871 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18554] ppid=18533 vsize=8540500 CPUtime=0.33 cores=1,3,5,7
/proc/18535/task/18554/stat : 18554 (java) R 18533 18535 18535 0 -1 4202560 2527 0 0 0 33 0 0 0 25 0 19 0 869320871 8745472000 26031 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 47770312429679 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18535/tid=18555] ppid=18533 vsize=8540500 CPUtime=0.32 cores=1,3,5,7
/proc/18535/task/18555/stat : 18555 (java) R 18533 18535 18535 0 -1 4202560 1979 0 0 0 32 0 0 0 25 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 47770312613214 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18535/tid=18556] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18556/stat : 18556 (java) S 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=18535/tid=18557] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18557/stat : 18557 (java) R 18533 18535 18535 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869320871 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048896 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18535/tid=18558] ppid=18533 vsize=8540500 CPUtime=0 cores=1,3,5,7
/proc/18535/task/18558/stat : 18558 (java) S 18533 18535 18535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869320918 8745472000 26033 33554432000 1073741824 1073778376 140733967412896 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=18402/tid=18409] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18409/stat : 18409 (python) S 18400 18402 17436 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 869292878 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
[pid=18402/tid=18436] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18436/stat : 18436 (python) S 18400 18402 17436 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869297355 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 1 0 0 0
[pid=18402/tid=18447] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18447/stat : 18447 (python) S 18400 18402 17436 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869306920 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
[pid=18402/tid=18457] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18457/stat : 18457 (python) S 18400 18402 17436 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 869316088 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 3 0 0 0
[pid=18402/tid=18534] ppid=18400 vsize=340968 CPUtime=0 cores=1,3,5,7
/proc/18402/task/18534/stat : 18534 (python) S 18400 18402 17436 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869320866 349151232 8850 33554432000 4194304 5683644 140736105497136 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466370202624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.8
Current children cumulated vsize (KiB) 19246596
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18402 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=913861
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=109983
# CPU time returned by wait4() is 1.02384
# while last known CPU time is 284.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.585
CPU time (s): 284.8
CPU user time (s): 282.37
CPU system time (s): 2.43
CPU usage (%): 101.142
Max. virtual memory (cumulated for all children) (KiB): 19246596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.913861
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16864
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= 1011
involuntary context switches= 18
runsolver used 1.65075 second user time and 3.66544 second system time
The end