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-3481859-1307576442/watcher-3481859-1307576442 -o /tmp/evaluation-result-3481859-1307576442/solver-3481859-1307576442 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481859-1307576442.opb -seed 232262532 -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: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=14252 CPUtime=0 cores=1,3,5,7
/proc/26415/stat : 26415 (python) D 26411 26415 26377 0 -1 4194304 192 0 4 0 0 0 0 0 17 0 1 0 869248021 14594048 132 33554432000 4194304 5683644 140734941299152 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 3 0 0 0
/proc/26415/statm: 3563 132 105 364 0 50 0
[startup+0.0251731 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 505 0 7 0 0 0 0 0 17 0 1 0 869248021 15175680 420 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370953061 0 2147483391 4096 0 18446744071699199166 0 0 17 7 0 0 1
/proc/26415/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.10018 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=16396 CPUtime=0.02 cores=1,3,5,7
/proc/26415/stat : 26415 (python) D 26411 26415 26377 0 -1 4202496 1107 0 7 0 1 1 0 0 17 0 1 0 869248021 16789504 983 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370957056 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 2
/proc/26415/statm: 4099 983 408 364 0 586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16396
[startup+0.300165 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=27368 CPUtime=0.06 cores=1,3,5,7
/proc/26415/stat : 26415 (python) D 26411 26415 26377 0 -1 4202496 1340 0 11 0 3 3 0 0 16 0 1 0 869248021 28024832 1197 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 7 0 0 4
/proc/26415/statm: 6842 1197 440 364 0 729 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27368
[startup+0.701051 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=50300 CPUtime=0.09 cores=1,3,5,7
/proc/26415/stat : 26415 (python) R 26411 26415 26377 0 -1 4202496 1984 0 18 0 5 4 0 0 16 0 1 0 869248021 51507200 1762 33554432000 4194304 5683644 140734941299152 18446744073709551615 4623672 0 0 16781312 2 0 0 0 17 7 0 0 6
/proc/26415/statm: 12575 1762 480 364 0 1275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50300
[startup+1.50097 s]
/proc/loadavg: 0.15 0.03 0.01 1/387 26417
/proc/meminfo: memFree=23911164/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=108856 CPUtime=0.18 cores=1,3,5,7
/proc/26415/stat : 26415 (python) D 26411 26415 26377 0 -1 4202496 4281 924 34 9 10 8 0 0 16 0 1 0 869248021 111468544 2836 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370957056 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 13
/proc/26415/statm: 27214 2836 877 364 0 1910 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 108856
[startup+3.10067 s]
/proc/loadavg: 0.15 0.03 0.01 1/387 26425
/proc/meminfo: memFree=23894824/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=154344 CPUtime=0.33 cores=1,3,5,7
/proc/26415/stat : 26415 (python) D 26411 26415 26377 0 -1 4202496 5662 924 54 9 16 17 0 0 15 0 1 0 869248021 158048256 4052 33554432000 4194304 5683644 140734941299152 18446744073709551615 218366033639 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 48
/proc/26415/statm: 38586 4052 1083 364 0 3227 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 154344
heavy processes:
[startup+6.30111 s]
/proc/loadavg: 0.30 0.06 0.02 4/393 26431
/proc/meminfo: memFree=23777812/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=293856 CPUtime=0.67 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 9700 924 113 9 40 27 0 0 17 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 88
/proc/26415/statm: 73464 7319 1870 364 0 8351 0
[pid=26426] ppid=26415 vsize=283612 CPUtime=0 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 869248481 290418688 5799 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977295 0 0 16781312 33554946 1076647541174435840 0 0 17 7 0 0 0
/proc/26426/statm: 70903 5799 352 364 0 5790 0
[pid=26431] ppid=26426 vsize=54960 CPUtime=1.69 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) R 26426 26431 26431 0 -1 4202496 12229 0 0 0 163 6 0 0 18 0 1 0 869248481 56279040 11426 33554432000 4194304 13684479 140735247847616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26431/statm: 13740 11426 767 2317 0 11418 0
[pid=26415/tid=26428] ppid=26411 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 632428
heavy processes:
[startup+12.701 s]
/proc/loadavg: 0.44 0.10 0.03 3/393 26431
/proc/meminfo: memFree=23665116/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=293856 CPUtime=0.67 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 9700 924 113 9 40 27 0 0 17 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 88
/proc/26415/statm: 73464 7319 1870 364 0 8351 0
[pid=26426] ppid=26415 vsize=283612 CPUtime=0.02 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 932 0 0 0 1 1 0 0 15 0 1 0 869248481 290418688 5824 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977295 0 0 16781312 33554946 3433894965254553600 0 0 17 7 0 0 0
/proc/26426/statm: 70903 5824 376 364 0 5790 0
[pid=26431] ppid=26426 vsize=94276 CPUtime=8.1 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) R 26426 26431 26431 0 -1 4202496 21982 0 0 0 790 20 0 0 18 0 1 0 869248481 96538624 21134 33554432000 4194304 13684479 140735247847616 18446744073709551615 4421925 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26431/statm: 23569 21134 771 2317 0 21247 0
[pid=26415/tid=26428] ppid=26411 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 671744
heavy processes:
[startup+25.5007 s]
/proc/loadavg: 0.94 0.22 0.07 4/393 26431
/proc/meminfo: memFree=23631900/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=293856 CPUtime=0.67 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 9700 924 113 9 40 27 0 0 17 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 88
/proc/26415/statm: 73464 7319 1870 364 0 8351 0
[pid=26426] ppid=26415 vsize=283612 CPUtime=0.07 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 941 0 0 0 3 4 0 0 15 0 1 0 869248481 290418688 5824 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977295 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/26426/statm: 70903 5824 376 364 0 5790 0
[pid=26431] ppid=26426 vsize=121352 CPUtime=20.89 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) R 26426 26431 26431 0 -1 4202496 28922 0 0 0 2048 41 0 0 19 0 1 0 869248481 124264448 27879 33554432000 4194304 13684479 140735247847616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26431/statm: 30338 27879 797 2317 0 28016 0
[pid=26415/tid=26428] ppid=26411 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.63
Current children cumulated vsize (KiB) 698820
[startup+51.1012 s]
/proc/loadavg: 1.30 0.36 0.12 3/393 26432
/proc/meminfo: memFree=23630292/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=293856 CPUtime=0.67 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 9700 924 113 9 40 27 0 0 17 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 88
/proc/26415/statm: 73464 7319 1870 364 0 8351 0
[pid=26426] ppid=26415 vsize=283612 CPUtime=0.15 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 952 0 0 0 6 9 0 0 15 0 1 0 869248481 290418688 5825 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977295 0 0 16781312 33554946 5623458817330129704 0 0 17 3 0 0 0
/proc/26426/statm: 70903 5825 376 364 0 5790 0
[pid=26431] ppid=26426 vsize=123400 CPUtime=46.49 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) R 26426 26431 26431 0 -1 4202496 29465 0 0 0 4561 88 0 0 25 0 1 0 869248481 126361600 28422 33554432000 4194304 13684479 140735247847616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26431/statm: 30850 28422 825 2317 0 28528 0
[pid=26415/tid=26428] ppid=26411 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.31
Current children cumulated vsize (KiB) 700868
[startup+102.316 s]
/proc/loadavg: 1.74 0.63 0.22 4/445 26485
/proc/meminfo: memFree=23173640/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=314644 CPUtime=0.72 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 11549 924 113 9 45 27 0 0 20 0 4 0 869248021 322195456 7385 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 88
/proc/26415/statm: 78661 7385 1875 364 0 13542 0
[pid=26426] ppid=26415 vsize=293856 CPUtime=0.16 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 1112 0 0 0 6 10 0 0 16 0 2 0 869248481 300908544 5861 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26426/statm: 73464 5861 407 364 0 8351 0
[pid=26431] ppid=26426 vsize=123400 CPUtime=49.35 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) T 26426 26431 26431 0 -1 4202496 29465 0 0 0 4840 95 0 0 25 0 1 0 869248481 126361600 28422 33554432000 4194304 13684479 140735247847616 18446744073709551615 4316896 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/26431/statm: 30850 28422 825 2317 0 28528 0
[pid=26426/tid=26433] ppid=26415 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26426/task/26433/stat : 26433 (python) S 26415 26415 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869253418 300908544 5861 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554946 18446604469980240704 0 0 -1 3 0 0 0
[pid=26434] ppid=26415 vsize=294372 CPUtime=0.16 cores=1,3,5,7
/proc/26434/stat : 26434 (python) S 26415 26415 26377 0 -1 4202560 1166 0 0 0 7 9 0 0 16 0 2 0 869253420 301436928 5979 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/26434/statm: 73593 5979 403 364 0 8477 0
[pid=26436] ppid=26434 vsize=8538280 CPUtime=48.82 cores=1,3,5,7
/proc/26436/stat : 26436 (java) T 26434 26436 26436 0 -1 4202496 56991 0 111 0 4873 9 0 0 15 0 19 0 869253420 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 12
/proc/26436/statm: 2134570 49753 2254 9 0 2125311 0
[pid=26436/tid=26437] ppid=26434 vsize=8538280 CPUtime=47.3 cores=1,3,5,7
/proc/26436/task/26437/stat : 26437 (java) T 26434 26436 26436 0 -1 4202560 15376 0 54 0 4728 2 0 0 25 0 19 0 869253435 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 11
[pid=26436/tid=26438] ppid=26434 vsize=8538280 CPUtime=0.06 cores=1,3,5,7
/proc/26436/task/26438/stat : 26438 (java) T 26434 26436 26436 0 -1 4202560 4918 0 0 0 6 0 0 0 16 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26439] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26439/stat : 26439 (java) T 26434 26436 26436 0 -1 4202560 2946 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26440] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26440/stat : 26440 (java) T 26434 26436 26436 0 -1 4202560 3955 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 47224415179936 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26441] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26441/stat : 26441 (java) T 26434 26436 26436 0 -1 4202560 4139 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26442] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26442/stat : 26442 (java) T 26434 26436 26436 0 -1 4202560 2034 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26443] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26443/stat : 26443 (java) T 26434 26436 26436 0 -1 4202560 3181 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26444] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26444/stat : 26444 (java) T 26434 26436 26436 0 -1 4202560 2762 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26445] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26445/stat : 26445 (java) T 26434 26436 26436 0 -1 4202560 3589 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 47224415179938 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26446] ppid=26434 vsize=8538280 CPUtime=0.28 cores=1,3,5,7
/proc/26436/task/26446/stat : 26446 (java) T 26434 26436 26436 0 -1 4202560 8103 0 0 0 27 1 0 0 15 0 19 0 869253441 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26447] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26447/stat : 26447 (java) T 26434 26436 26436 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869253443 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26448] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26448/stat : 26448 (java) T 26434 26436 26436 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869253443 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26449] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26449/stat : 26449 (java) T 26434 26436 26436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26450] ppid=26434 vsize=8538280 CPUtime=0.41 cores=1,3,5,7
/proc/26436/task/26450/stat : 26450 (java) T 26434 26436 26436 0 -1 4202560 1726 0 0 0 41 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26451] ppid=26434 vsize=8538280 CPUtime=0.42 cores=1,3,5,7
/proc/26436/task/26451/stat : 26451 (java) T 26434 26436 26436 0 -1 4202560 2926 0 1 0 42 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26452] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26452/stat : 26452 (java) T 26434 26436 26436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26453] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26453/stat : 26453 (java) T 26434 26436 26436 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26454] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26454/stat : 26454 (java) T 26434 26436 26436 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869253482 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26434/tid=26482] ppid=26415 vsize=294372 CPUtime=0 cores=1,3,5,7
/proc/26434/task/26482/stat : 26482 (python) S 26415 26415 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869258222 301436928 5979 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455597979840 0 0 -1 5 0 0 0
[pid=26483] ppid=26415 vsize=304400 CPUtime=0 cores=1,3,5,7
/proc/26483/stat : 26483 (python) S 26415 26415 26377 0 -1 4202560 862 0 0 0 0 0 0 0 18 0 1 0 869258224 311705600 5862 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977350 0 0 16781312 33554946 1252654605179813888 0 0 17 5 0 0 0
/proc/26483/statm: 76100 5862 356 364 0 10981 0
[pid=26485] ppid=26483 vsize=40772 CPUtime=0.27 cores=1,3,5,7
/proc/26485/stat : 26485 (scip-2.0.1.linu) R 26483 26485 26485 0 -1 4202496 7824 0 0 0 24 3 0 0 21 0 1 0 869258224 41750528 7201 33554432000 4194304 15243407 140736261141632 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26485/statm: 10193 7201 837 2698 0 7488 0
[pid=26415/tid=26428] ppid=26411 vsize=314644 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 4 0 869248481 322195456 7385 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
[pid=26415/tid=26435] ppid=26411 vsize=314644 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26435/stat : 26435 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 20 0 4 0 869253420 322195456 7385 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
[pid=26415/tid=26484] ppid=26411 vsize=314644 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26484/stat : 26484 (python) S 26411 26415 26377 0 -1 4202560 24 924 0 9 0 0 0 0 20 0 4 0 869258224 322195456 7385 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (KiB) 9909724
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+150.601 s]
/proc/loadavg: 1.89 0.84 0.31 3/457 26533
/proc/meminfo: memFree=22982356/32951124 swapFree=49244124/67111528
[pid=26415] ppid=26411 vsize=325340 CPUtime=0.74 cores=1,3,5,7
/proc/26415/stat : 26415 (python) S 26411 26415 26377 0 -1 4202496 12433 924 113 9 47 27 0 0 20 0 5 0 869248021 333148160 7501 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 88
/proc/26415/statm: 81335 7501 1877 364 0 16213 0
[pid=26426] ppid=26415 vsize=293856 CPUtime=0.16 cores=1,3,5,7
/proc/26426/stat : 26426 (python) S 26415 26415 26377 0 -1 4202560 1112 0 0 0 6 10 0 0 16 0 2 0 869248481 300908544 5861 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26426/statm: 73464 5861 407 364 0 8351 0
[pid=26431] ppid=26426 vsize=123400 CPUtime=49.35 cores=1,3,5,7
/proc/26431/stat : 26431 (scip-2.0.1.linu) T 26426 26431 26431 0 -1 4202496 29465 0 0 0 4840 95 0 0 25 0 1 0 869248481 126361600 28422 33554432000 4194304 13684479 140735247847616 18446744073709551615 4316896 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/26431/statm: 30850 28422 825 2317 0 28528 0
[pid=26426/tid=26433] ppid=26415 vsize=293856 CPUtime=0 cores=1,3,5,7
/proc/26426/task/26433/stat : 26433 (python) S 26415 26415 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869253418 300908544 5861 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554946 18446604469980240704 0 0 -1 3 0 0 0
[pid=26434] ppid=26415 vsize=294372 CPUtime=0.16 cores=1,3,5,7
/proc/26434/stat : 26434 (python) S 26415 26415 26377 0 -1 4202560 1166 0 0 0 7 9 0 0 16 0 2 0 869253420 301436928 5979 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/26434/statm: 73593 5979 403 364 0 8477 0
[pid=26436] ppid=26434 vsize=8538280 CPUtime=48.82 cores=1,3,5,7
/proc/26436/stat : 26436 (java) T 26434 26436 26436 0 -1 4202496 56991 0 111 0 4873 9 0 0 15 0 19 0 869253420 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 12
/proc/26436/statm: 2134570 49753 2254 9 0 2125311 0
[pid=26436/tid=26437] ppid=26434 vsize=8538280 CPUtime=47.3 cores=1,3,5,7
/proc/26436/task/26437/stat : 26437 (java) T 26434 26436 26436 0 -1 4202560 15376 0 54 0 4728 2 0 0 25 0 19 0 869253435 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 11
[pid=26436/tid=26438] ppid=26434 vsize=8538280 CPUtime=0.06 cores=1,3,5,7
/proc/26436/task/26438/stat : 26438 (java) T 26434 26436 26436 0 -1 4202560 4918 0 0 0 6 0 0 0 16 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26439] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26439/stat : 26439 (java) T 26434 26436 26436 0 -1 4202560 2946 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26440] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26440/stat : 26440 (java) T 26434 26436 26436 0 -1 4202560 3955 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 47224415179936 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26441] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26441/stat : 26441 (java) T 26434 26436 26436 0 -1 4202560 4139 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26442] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26442/stat : 26442 (java) T 26434 26436 26436 0 -1 4202560 2034 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26443] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26443/stat : 26443 (java) T 26434 26436 26436 0 -1 4202560 3181 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26444] ppid=26434 vsize=8538280 CPUtime=0.03 cores=1,3,5,7
/proc/26436/task/26444/stat : 26444 (java) T 26434 26436 26436 0 -1 4202560 2762 0 0 0 3 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26445] ppid=26434 vsize=8538280 CPUtime=0.04 cores=1,3,5,7
/proc/26436/task/26445/stat : 26445 (java) T 26434 26436 26436 0 -1 4202560 3589 0 0 0 4 0 0 0 15 0 19 0 869253438 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 47224415179938 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26446] ppid=26434 vsize=8538280 CPUtime=0.28 cores=1,3,5,7
/proc/26436/task/26446/stat : 26446 (java) T 26434 26436 26436 0 -1 4202560 8103 0 0 0 27 1 0 0 15 0 19 0 869253441 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26436/tid=26447] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26447/stat : 26447 (java) T 26434 26436 26436 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869253443 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26448] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26448/stat : 26448 (java) T 26434 26436 26436 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869253443 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26449] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26449/stat : 26449 (java) T 26434 26436 26436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26450] ppid=26434 vsize=8538280 CPUtime=0.41 cores=1,3,5,7
/proc/26436/task/26450/stat : 26450 (java) T 26434 26436 26436 0 -1 4202560 1726 0 0 0 41 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26451] ppid=26434 vsize=8538280 CPUtime=0.42 cores=1,3,5,7
/proc/26436/task/26451/stat : 26451 (java) T 26434 26436 26436 0 -1 4202560 2926 0 1 0 42 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26436/tid=26452] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26452/stat : 26452 (java) T 26434 26436 26436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26453] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26453/stat : 26453 (java) T 26434 26436 26436 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869253449 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26436/tid=26454] ppid=26434 vsize=8538280 CPUtime=0 cores=1,3,5,7
/proc/26436/task/26454/stat : 26454 (java) T 26434 26436 26436 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869253482 8743198720 49753 33554432000 1073741824 1073778376 140733977650832 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26434/tid=26482] ppid=26415 vsize=294372 CPUtime=0 cores=1,3,5,7
/proc/26434/task/26482/stat : 26482 (python) S 26415 26415 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869258222 301436928 5979 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455597979840 0 0 -1 5 0 0 0
[pid=26483] ppid=26415 vsize=304400 CPUtime=0.17 cores=1,3,5,7
/proc/26483/stat : 26483 (python) S 26415 26415 26377 0 -1 4202560 1181 0 0 0 7 10 0 0 17 0 2 0 869258224 311705600 5910 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26483/statm: 76100 5910 403 364 0 10981 0
[pid=26485] ppid=26483 vsize=119140 CPUtime=47.46 cores=1,3,5,7
/proc/26485/stat : 26485 (scip-2.0.1.linu) T 26483 26485 26485 0 -1 4202496 32929 0 0 0 4723 23 0 0 25 0 1 0 869258224 121999360 26483 33554432000 4194304 15243407 140736261141632 18446744073709551615 6958523 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/26485/statm: 29785 26483 906 2698 0 27080 0
[pid=26483/tid=26509] ppid=26415 vsize=304400 CPUtime=0 cores=1,3,5,7
/proc/26483/task/26509/stat : 26509 (python) S 26415 26415 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869262971 311705600 5910 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462279496000 0 0 -1 7 0 0 0
[pid=26510] ppid=26415 vsize=315096 CPUtime=0 cores=1,3,5,7
/proc/26510/stat : 26510 (python) S 26415 26415 26377 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 869262974 322658304 5969 33554432000 4194304 5683644 140734941299152 18446744073709551615 218370977350 0 0 16781312 33554946 2156557148664889344 0 0 17 7 0 0 0
/proc/26510/statm: 78774 5969 349 364 0 13652 0
[pid=26512] ppid=26510 vsize=8538652 CPUtime=1.82 cores=1,3,5,7
/proc/26512/stat : 26512 (java) S 26510 26512 26512 0 -1 4202496 16346 0 1 0 180 2 0 0 20 0 19 0 869262974 8743579648 14465 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26512/statm: 2134663 14465 2231 9 0 2125404 0
[pid=26512/tid=26513] ppid=26510 vsize=8538652 CPUtime=1.08 cores=1,3,5,7
/proc/26512/task/26513/stat : 26513 (java) R 26510 26512 26512 0 -1 4202560 10661 0 1 0 107 1 0 0 25 0 19 0 869262974 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 46912505717553 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26512/tid=26514] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26514/stat : 26514 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26515] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26515/stat : 26515 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26516] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26516/stat : 26516 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26517] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26517/stat : 26517 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26518] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26518/stat : 26518 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26519] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26519/stat : 26519 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26520] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26520/stat : 26520 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26521] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26521/stat : 26521 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869262975 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26522] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26522/stat : 26522 (java) S 26510 26512 26512 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869262976 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773760 0 0 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26523] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26523/stat : 26523 (java) S 26510 26512 26512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869262976 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26524] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26524/stat : 26524 (java) S 26510 26512 26512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869262976 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 7 0 0 0
[pid=26512/tid=26528] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26528/stat : 26528 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869262979 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382780849 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26529] ppid=26510 vsize=8538652 CPUtime=0.36 cores=1,3,5,7
/proc/26512/task/26529/stat : 26529 (java) S 26510 26512 26512 0 -1 4202560 2253 0 0 0 36 0 0 0 16 0 19 0 869262979 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 3 0 0 0
[pid=26512/tid=26530] ppid=26510 vsize=8538652 CPUtime=0.36 cores=1,3,5,7
/proc/26512/task/26530/stat : 26530 (java) S 26510 26512 26512 0 -1 4202560 2033 0 0 0 36 0 0 0 16 0 19 0 869262979 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26531] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26531/stat : 26531 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869262979 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773145 0 4 0 16800975 18446604467226758208 0 0 -1 7 0 0 0
[pid=26512/tid=26532] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26532/stat : 26532 (java) S 26510 26512 26512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869262979 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773760 0 4 0 16800975 18446604467226758208 0 0 -1 1 0 0 0
[pid=26512/tid=26533] ppid=26510 vsize=8538652 CPUtime=0 cores=1,3,5,7
/proc/26512/task/26533/stat : 26533 (java) S 26510 26512 26512 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869263009 8743579648 14466 33554432000 1073741824 1073778376 140737213570576 18446744073709551615 218382773760 0 4 0 16800975 18446604467226758208 0 0 -1 7 0 0 0
[pid=26415/tid=26428] ppid=26411 vsize=325340 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26428/stat : 26428 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 18 0 5 0 869248481 333148160 7501 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
[pid=26415/tid=26435] ppid=26411 vsize=325340 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26435/stat : 26435 (python) S 26411 26415 26377 0 -1 4202560 27 924 0 9 0 0 0 0 20 0 5 0 869253420 333148160 7501 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
[pid=26415/tid=26484] ppid=26411 vsize=325340 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26484/stat : 26484 (python) S 26411 26415 26377 0 -1 4202560 24 924 0 9 0 0 0 0 20 0 5 0 869258224 333148160 7501 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 5 0 0 0
[pid=26415/tid=26511] ppid=26411 vsize=325340 CPUtime=0 cores=1,3,5,7
/proc/26415/task/26511/stat : 26511 (python) S 26411 26415 26377 0 -1 4202560 30 924 0 9 0 0 0 0 20 0 5 0 869262974 333148160 7501 33554432000 4194304 5683644 140734941299152 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464092211392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.68
Current children cumulated vsize (KiB) 18852536
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 26415 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=480926
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=282956
# CPU time returned by wait4() is 0.763882
# while last known CPU time is 148.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 150.668
CPU time (s): 148.68
CPU user time (s): 146.83
CPU system time (s): 1.85
CPU usage (%): 98.6804
Max. virtual memory (cumulated for all children) (KiB): 18852536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.480926
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13359
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18691
involuntary context switches= 86
runsolver used 0.612906 second user time and 1.50077 second system time
The end