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-3481940-1307577544/watcher-3481940-1307577544 -o /tmp/evaluation-result-3481940-1307577544/solver-3481940-1307577544 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481940-1307577544.opb -seed 1421510615 -budget 1800
running on 4 cores: 0,2,4,6
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.07 2.03 1.47 2/540 5396
/proc/meminfo: memFree=26558896/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (python) R 5394 5396 4987 0 -1 4202496 790 0 0 0 0 0 0 0 25 0 1 0 850170592 15753216 678 33554432000 4194304 5683644 140734086492736 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5396/statm: 3845 679 322 364 0 332 0
[startup+0.099059 s]
/proc/loadavg: 2.07 2.03 1.47 2/540 5396
/proc/meminfo: memFree=26558896/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 2664 0 0 0 4 1 0 0 25 0 1 0 850170592 87674880 2382 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5396/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.101037 s]
/proc/loadavg: 2.07 2.03 1.47 2/540 5396
/proc/meminfo: memFree=26558896/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=87828 CPUtime=0.05 cores=0,2,4,6
/proc/5396/stat : 5396 (python) R 5394 5396 4987 0 -1 4202496 2684 0 0 0 4 1 0 0 25 0 1 0 850170592 89935872 2399 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106455248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5396/statm: 21957 2400 728 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87828
[startup+0.300977 s]
/proc/loadavg: 2.07 2.03 1.47 2/540 5396
/proc/meminfo: memFree=26558896/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=124016 CPUtime=0.18 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 5440 929 1 0 13 5 0 0 17 0 1 0 850170592 126992384 3795 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5396/statm: 31004 3795 987 364 0 2836 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 124016
[startup+0.700956 s]
/proc/loadavg: 2.07 2.03 1.47 2/540 5396
/proc/meminfo: memFree=26558896/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=285960 CPUtime=0.5 cores=0,2,4,6
/proc/5396/stat : 5396 (python) R 5394 5396 4987 0 -1 4202496 9970 929 1 0 40 10 0 0 16 0 1 0 850170592 292823040 7832 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106129648 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5396/statm: 71490 7832 1781 364 0 6383 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 285960
[startup+1.50076 s]
/proc/loadavg: 2.07 2.03 1.47 3/541 5401
/proc/meminfo: memFree=26528740/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=298592 CPUtime=0.99 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 12169 929 1 0 89 10 0 0 19 0 2 0 850170592 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5396/statm: 74648 8489 1872 364 0 9535 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 298592
[startup+3.10151 s]
/proc/loadavg: 2.06 2.03 1.47 4/562 5422
/proc/meminfo: memFree=26351128/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=298592 CPUtime=0.99 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 12169 929 1 0 89 10 0 0 19 0 2 0 850170592 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5396/statm: 74648 8489 1872 364 0 9535 0
[pid=5402] ppid=5396 vsize=288348 CPUtime=0 cores=0,2,4,6
/proc/5402/stat : 5402 (python) S 5396 5396 4987 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 850170711 295268352 6964 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106788879 0 0 16781312 33554946 4062691680766132224 0 0 17 2 0 0 0
/proc/5402/statm: 72087 6964 351 364 0 6974 0
[pid=5404] ppid=5402 vsize=8549584 CPUtime=2.81 cores=0,2,4,6
/proc/5404/stat : 5404 (java) S 5402 5404 5404 0 -1 4202496 74446 0 1 0 270 11 0 0 19 0 19 0 850170711 8754774016 69482 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5404/statm: 2137396 69483 2238 9 0 2128137 0
[pid=5404/tid=5405] ppid=5402 vsize=8549584 CPUtime=1.85 cores=0,2,4,6
/proc/5404/task/5405/stat : 5405 (java) R 5402 5404 5404 0 -1 4202560 56250 0 1 0 177 8 0 0 20 0 19 0 850170712 8754774016 69484 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 46912505781493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5404/tid=5406] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5406/stat : 5406 (java) S 5402 5404 5404 0 -1 4202560 1861 0 0 0 2 0 0 0 16 0 19 0 850170713 8754774016 69486 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5407] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5407/stat : 5407 (java) S 5402 5404 5404 0 -1 4202560 1004 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 69488 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5408] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5408/stat : 5408 (java) S 5402 5404 5404 0 -1 4202560 918 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 69489 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5409] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5409/stat : 5409 (java) S 5402 5404 5404 0 -1 4202560 795 0 0 0 0 0 0 0 16 0 19 0 850170713 8754774016 69491 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 0 0 0 0
[pid=5404/tid=5410] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5410/stat : 5410 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850170713 8754774016 69493 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5411] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5411/stat : 5411 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850170713 8754774016 69495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5412] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5412/stat : 5412 (java) S 5402 5404 5404 0 -1 4202560 859 0 0 0 0 0 0 0 16 0 19 0 850170713 8754774016 69498 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5413] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5413/stat : 5413 (java) S 5402 5404 5404 0 -1 4202560 739 0 0 0 0 0 0 0 16 0 19 0 850170713 8754774016 69501 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5414] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5414/stat : 5414 (java) S 5402 5404 5404 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 850170714 8754774016 69503 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 0 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5415] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5415/stat : 5415 (java) S 5402 5404 5404 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 69506 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5416] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5416/stat : 5416 (java) S 5402 5404 5404 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 69508 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5417] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5417/stat : 5417 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850170716 8754774016 69511 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118592433 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5418] ppid=5402 vsize=8549584 CPUtime=0.49 cores=0,2,4,6
/proc/5404/task/5418/stat : 5418 (java) S 5402 5404 5404 0 -1 4202560 5508 0 0 0 48 1 0 0 15 0 19 0 850170716 8754774016 69513 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5419] ppid=5402 vsize=8549584 CPUtime=0.36 cores=0,2,4,6
/proc/5404/task/5419/stat : 5419 (java) S 5402 5404 5404 0 -1 4202560 5063 0 0 0 36 0 0 0 15 0 19 0 850170716 8754774016 69516 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5420] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5420/stat : 5420 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850170716 8754774016 69518 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5421] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5421/stat : 5421 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850170716 8754774016 69521 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5422] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5422/stat : 5422 (java) S 5402 5404 5404 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850170769 8754774016 69523 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5396/tid=5403] ppid=5394 vsize=298592 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5403/stat : 5403 (python) S 5394 5396 4987 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 850170711 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9136524
[startup+6.32 s]
/proc/loadavg: 2.06 2.03 1.47 3/562 5423
/proc/meminfo: memFree=25940936/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=298592 CPUtime=0.99 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 12169 929 1 0 89 10 0 0 19 0 2 0 850170592 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5396/statm: 74648 8489 1872 364 0 9535 0
[pid=5402] ppid=5396 vsize=288348 CPUtime=0.01 cores=0,2,4,6
/proc/5402/stat : 5402 (python) S 5396 5396 4987 0 -1 4202560 888 0 0 0 0 1 0 0 15 0 1 0 850170711 295268352 6988 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106788879 0 0 16781312 33554946 4414875812172366082 0 0 17 2 0 0 0
/proc/5402/statm: 72087 6988 375 364 0 6974 0
[pid=5404] ppid=5402 vsize=8549584 CPUtime=6.11 cores=0,2,4,6
/proc/5404/stat : 5404 (java) S 5402 5404 5404 0 -1 4202496 150464 0 1 0 590 21 0 0 19 0 19 0 850170711 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5404/statm: 2137396 145495 2238 9 0 2128137 0
[pid=5404/tid=5405] ppid=5402 vsize=8549584 CPUtime=5.04 cores=0,2,4,6
/proc/5404/task/5405/stat : 5405 (java) R 5402 5404 5404 0 -1 4202560 122517 0 1 0 488 16 0 0 25 0 19 0 850170712 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 46912505638933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5404/tid=5406] ppid=5402 vsize=8549584 CPUtime=0.03 cores=0,2,4,6
/proc/5404/task/5406/stat : 5406 (java) S 5402 5404 5404 0 -1 4202560 3519 0 0 0 3 0 0 0 16 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 0 0 0 0
[pid=5404/tid=5407] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5407/stat : 5407 (java) S 5402 5404 5404 0 -1 4202560 2099 0 0 0 2 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5408] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5408/stat : 5408 (java) S 5402 5404 5404 0 -1 4202560 1800 0 0 0 2 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5409] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5409/stat : 5409 (java) S 5402 5404 5404 0 -1 4202560 2387 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5410] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5410/stat : 5410 (java) S 5402 5404 5404 0 -1 4202560 1051 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5411] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5411/stat : 5411 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5412] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5412/stat : 5412 (java) S 5402 5404 5404 0 -1 4202560 2745 0 0 0 2 0 0 0 16 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5413] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5413/stat : 5413 (java) S 5402 5404 5404 0 -1 4202560 1954 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5414] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5414/stat : 5414 (java) S 5402 5404 5404 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 850170714 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 0 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5415] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5415/stat : 5415 (java) S 5402 5404 5404 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5416] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5416/stat : 5416 (java) S 5402 5404 5404 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5417] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5417/stat : 5417 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850170716 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118592433 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5418] ppid=5402 vsize=8549584 CPUtime=0.5 cores=0,2,4,6
/proc/5404/task/5418/stat : 5418 (java) S 5402 5404 5404 0 -1 4202560 5510 0 0 0 49 1 0 0 15 0 19 0 850170716 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5419] ppid=5402 vsize=8549584 CPUtime=0.36 cores=0,2,4,6
/proc/5404/task/5419/stat : 5419 (java) S 5402 5404 5404 0 -1 4202560 5063 0 0 0 36 0 0 0 15 0 19 0 850170716 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5420] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5420/stat : 5420 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850170716 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 2 0 0 0
[pid=5404/tid=5421] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5421/stat : 5421 (java) S 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850170716 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5404/tid=5422] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5422/stat : 5422 (java) S 5402 5404 5404 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850170769 8754774016 145495 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446604450246984960 0 0 -1 6 0 0 0
[pid=5396/tid=5403] ppid=5394 vsize=298592 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5403/stat : 5403 (python) S 5394 5396 4987 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 850170711 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9136524
[startup+12.7008 s]
/proc/loadavg: 2.05 2.03 1.47 3/562 5423
/proc/meminfo: memFree=25410132/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=298592 CPUtime=0.99 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 12169 929 1 0 89 10 0 0 19 0 2 0 850170592 305758208 8489 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5396/statm: 74648 8489 1872 364 0 9535 0
[pid=5402] ppid=5396 vsize=288348 CPUtime=0.04 cores=0,2,4,6
/proc/5402/stat : 5402 (python) S 5396 5396 4987 0 -1 4202560 985 0 0 0 2 2 0 0 15 0 1 0 850170711 295268352 6993 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106788879 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/5402/statm: 72087 6993 380 364 0 6974 0
[pid=5404] ppid=5402 vsize=8549584 CPUtime=12.61 cores=0,2,4,6
/proc/5404/stat : 5404 (java) S 5402 5404 5404 0 -1 4202496 281228 0 1 0 1225 36 0 0 19 0 19 0 850170711 8754774016 276204 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5404/statm: 2137396 276204 2253 9 0 2128137 0
[pid=5404/tid=5405] ppid=5402 vsize=8549584 CPUtime=11.35 cores=0,2,4,6
/proc/5404/task/5405/stat : 5405 (java) R 5402 5404 5404 0 -1 4202560 244919 0 1 0 1105 30 0 0 25 0 19 0 850170712 8754774016 276204 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 46912505783388 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5404/tid=5406] ppid=5402 vsize=8549584 CPUtime=0.05 cores=0,2,4,6
/proc/5404/task/5406/stat : 5406 (java) S 5402 5404 5404 0 -1 4202560 5187 0 0 0 5 0 0 0 15 0 19 0 850170713 8754774016 276204 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 0 0 0 0
[pid=5404/tid=5407] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5407/stat : 5407 (java) S 5402 5404 5404 0 -1 4202560 2271 0 0 0 2 0 0 0 16 0 19 0 850170713 8754774016 276204 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 4 0 0 0
[pid=5404/tid=5408] ppid=5402 vsize=8549584 CPUtime=0.03 cores=0,2,4,6
/proc/5404/task/5408/stat : 5408 (java) S 5402 5404 5404 0 -1 4202560 2946 0 0 0 3 0 0 0 16 0 19 0 850170713 8754774016 276204 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446604450246984960 0 0 -1 0 0 0 0
[pid=5404/tid=5409] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
################
# More data... #
################
[pid=5459/tid=5461] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5461/stat : 5461 (java) S 5457 5459 5459 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5462] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5462/stat : 5462 (java) S 5457 5459 5459 0 -1 4202560 1039 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5459/tid=5463] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5463/stat : 5463 (java) S 5457 5459 5459 0 -1 4202560 965 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 4 0 0 0
[pid=5459/tid=5464] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5464/stat : 5464 (java) S 5457 5459 5459 0 -1 4202560 848 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5465] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5465/stat : 5465 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5466] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5466/stat : 5466 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5467] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5467/stat : 5467 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5468] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5468/stat : 5468 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5469] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5469/stat : 5469 (java) S 5457 5459 5459 0 -1 4202560 73 0 0 0 0 0 0 0 17 0 19 0 850180689 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 0 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5470] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5470/stat : 5470 (java) S 5457 5459 5459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850180690 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5471] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5471/stat : 5471 (java) S 5457 5459 5459 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850180690 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5459/tid=5472] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5472/stat : 5472 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118592433 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5473] ppid=5457 vsize=8543840 CPUtime=0.45 cores=0,2,4,6
/proc/5459/task/5473/stat : 5473 (java) R 5457 5459 5459 0 -1 4202560 5731 0 0 0 45 0 0 0 23 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 46983145044201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5459/tid=5474] ppid=5457 vsize=8543840 CPUtime=0.4 cores=0,2,4,6
/proc/5459/task/5474/stat : 5474 (java) R 5457 5459 5459 0 -1 4202560 3009 0 0 0 40 0 0 0 15 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 46983144688944 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5459/tid=5475] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5475/stat : 5475 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5476] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5476/stat : 5476 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 4 0 16800975 18446604442544753472 0 0 -1 4 0 0 0
[pid=5459/tid=5477] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5477/stat : 5477 (java) S 5457 5459 5459 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850180745 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5396/tid=5403] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5403/stat : 5403 (python) S 5394 5396 4987 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 4 0 850170711 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
[pid=5396/tid=5431] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5431/stat : 5431 (python) S 5394 5396 4987 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 850175614 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
[pid=5396/tid=5458] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5458/stat : 5458 (python) S 5394 5396 4987 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 850180687 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.28
Current children cumulated vsize (KiB) 18340824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+101.901 s]
/proc/loadavg: 2.09 2.03 1.52 6/614 5477
/proc/meminfo: memFree=23951048/32951124 swapFree=56717704/67111528
[pid=5396] ppid=5394 vsize=319104 CPUtime=1.05 cores=0,2,4,6
/proc/5396/stat : 5396 (python) S 5394 5396 4987 0 -1 4202496 13951 929 1 0 94 11 0 0 20 0 4 0 850170592 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5396/statm: 79776 8502 1877 364 0 14657 0
[pid=5402] ppid=5396 vsize=298592 CPUtime=0.22 cores=0,2,4,6
/proc/5402/stat : 5402 (python) S 5396 5396 4987 0 -1 4202560 1137 0 0 0 11 11 0 0 17 0 2 0 850170711 305758208 7029 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5402/statm: 74648 7029 411 364 0 9535 0
[pid=5404] ppid=5402 vsize=8549584 CPUtime=50.25 cores=0,2,4,6
/proc/5404/stat : 5404 (java) T 5402 5404 5404 0 -1 4202496 535758 0 1 0 4958 67 0 0 18 0 19 0 850170711 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5404/statm: 2137396 516526 2253 9 0 2128137 0
[pid=5404/tid=5405] ppid=5402 vsize=8549584 CPUtime=48.73 cores=0,2,4,6
/proc/5404/task/5405/stat : 5405 (java) T 5402 5404 5404 0 -1 4202560 498478 0 1 0 4812 61 0 0 25 0 19 0 850170712 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 46912505605459 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5404/tid=5406] ppid=5402 vsize=8549584 CPUtime=0.06 cores=0,2,4,6
/proc/5404/task/5406/stat : 5406 (java) T 5402 5404 5404 0 -1 4202560 5352 0 0 0 6 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5404/tid=5407] ppid=5402 vsize=8549584 CPUtime=0.04 cores=0,2,4,6
/proc/5404/task/5407/stat : 5407 (java) T 5402 5404 5404 0 -1 4202560 2358 0 0 0 4 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5404/tid=5408] ppid=5402 vsize=8549584 CPUtime=0.04 cores=0,2,4,6
/proc/5404/task/5408/stat : 5408 (java) T 5402 5404 5404 0 -1 4202560 3002 0 0 0 4 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5409] ppid=5402 vsize=8549584 CPUtime=0.03 cores=0,2,4,6
/proc/5404/task/5409/stat : 5409 (java) T 5402 5404 5404 0 -1 4202560 2558 0 0 0 3 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5404/tid=5410] ppid=5402 vsize=8549584 CPUtime=0.03 cores=0,2,4,6
/proc/5404/task/5410/stat : 5410 (java) T 5402 5404 5404 0 -1 4202560 2237 0 0 0 3 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5404/tid=5411] ppid=5402 vsize=8549584 CPUtime=0.01 cores=0,2,4,6
/proc/5404/task/5411/stat : 5411 (java) T 5402 5404 5404 0 -1 4202560 719 0 0 0 1 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5404/tid=5412] ppid=5402 vsize=8549584 CPUtime=0.04 cores=0,2,4,6
/proc/5404/task/5412/stat : 5412 (java) T 5402 5404 5404 0 -1 4202560 3913 0 0 0 4 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5413] ppid=5402 vsize=8549584 CPUtime=0.02 cores=0,2,4,6
/proc/5404/task/5413/stat : 5413 (java) T 5402 5404 5404 0 -1 4202560 3124 0 0 0 2 0 0 0 15 0 19 0 850170713 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5404/tid=5414] ppid=5402 vsize=8549584 CPUtime=0.11 cores=0,2,4,6
/proc/5404/task/5414/stat : 5414 (java) T 5402 5404 5404 0 -1 4202560 2030 0 0 0 11 0 0 0 15 0 19 0 850170714 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5404/tid=5415] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5415/stat : 5415 (java) T 5402 5404 5404 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5416] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5416/stat : 5416 (java) T 5402 5404 5404 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850170714 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5417] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5417/stat : 5417 (java) T 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850170716 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5418] ppid=5402 vsize=8549584 CPUtime=0.6 cores=0,2,4,6
/proc/5404/task/5418/stat : 5418 (java) T 5402 5404 5404 0 -1 4202560 5528 0 0 0 59 1 0 0 15 0 19 0 850170716 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5419] ppid=5402 vsize=8549584 CPUtime=0.43 cores=0,2,4,6
/proc/5404/task/5419/stat : 5419 (java) T 5402 5404 5404 0 -1 4202560 5081 0 0 0 43 0 0 0 15 0 19 0 850170716 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5404/tid=5420] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5420/stat : 5420 (java) T 5402 5404 5404 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850170716 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5404/tid=5421] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5421/stat : 5421 (java) T 5402 5404 5404 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850170716 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5404/tid=5422] ppid=5402 vsize=8549584 CPUtime=0 cores=0,2,4,6
/proc/5404/task/5422/stat : 5422 (java) T 5402 5404 5404 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850170769 8754774016 516526 33554432000 1073741824 1073778376 140734481103504 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5402/tid=5429] ppid=5396 vsize=298592 CPUtime=0 cores=0,2,4,6
/proc/5402/task/5429/stat : 5429 (python) S 5396 5396 4987 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850175611 305758208 7029 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554946 18446604447497595776 0 0 -1 6 0 0 0
[pid=5430] ppid=5396 vsize=298604 CPUtime=0.23 cores=0,2,4,6
/proc/5430/stat : 5430 (python) S 5396 5396 4987 0 -1 4202560 1116 0 0 0 12 11 0 0 17 0 2 0 850175614 305770496 7014 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5430/statm: 74651 7014 396 364 0 9535 0
[pid=5432] ppid=5430 vsize=22240 CPUtime=50.69 cores=0,2,4,6
/proc/5432/stat : 5432 (wbo1.4a) T 5430 5432 5432 0 -1 4202496 5650 0 0 0 5059 10 0 0 25 0 1 0 850175614 22773760 5126 33554432000 134512640 135751879 4292059840 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/5432/statm: 5560 5126 146 303 0 5255 0
[pid=5430/tid=5456] ppid=5396 vsize=298604 CPUtime=0 cores=0,2,4,6
/proc/5430/task/5456/stat : 5456 (python) S 5396 5396 4987 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850180684 305770496 7014 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554946 18446604447497594880 0 0 -1 2 0 0 0
[pid=5457] ppid=5396 vsize=308860 CPUtime=0 cores=0,2,4,6
/proc/5457/stat : 5457 (python) S 5396 5396 4987 0 -1 4202560 782 0 0 0 0 0 0 0 16 0 1 0 850180687 316272640 6969 33554432000 4194304 5683644 140734086492736 18446744073709551615 255106788934 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/5457/statm: 77215 6969 348 364 0 12096 0
[pid=5459] ppid=5457 vsize=8543840 CPUtime=1.84 cores=0,2,4,6
/proc/5459/stat : 5459 (java) S 5457 5459 5459 0 -1 4202496 48566 0 1 0 178 6 0 0 20 0 19 0 850180687 8748892160 44848 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5459/statm: 2135960 44848 2238 9 0 2126701 0
[pid=5459/tid=5460] ppid=5457 vsize=8543840 CPUtime=0.95 cores=0,2,4,6
/proc/5459/task/5460/stat : 5460 (java) R 5457 5459 5459 0 -1 4202560 35278 0 1 0 91 4 0 0 19 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 46912505899825 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5459/tid=5461] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5461/stat : 5461 (java) S 5457 5459 5459 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5462] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5462/stat : 5462 (java) S 5457 5459 5459 0 -1 4202560 1039 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5459/tid=5463] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5463/stat : 5463 (java) S 5457 5459 5459 0 -1 4202560 965 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 4 0 0 0
[pid=5459/tid=5464] ppid=5457 vsize=8543840 CPUtime=0.01 cores=0,2,4,6
/proc/5459/task/5464/stat : 5464 (java) S 5457 5459 5459 0 -1 4202560 848 0 0 0 1 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5465] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5465/stat : 5465 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5466] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5466/stat : 5466 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5467] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5467/stat : 5467 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5468] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5468/stat : 5468 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850180688 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5469] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5469/stat : 5469 (java) S 5457 5459 5459 0 -1 4202560 73 0 0 0 0 0 0 0 17 0 19 0 850180689 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 0 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5470] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5470/stat : 5470 (java) S 5457 5459 5459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850180690 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5471] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5471/stat : 5471 (java) S 5457 5459 5459 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850180690 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5459/tid=5472] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5472/stat : 5472 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118592433 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5473] ppid=5457 vsize=8543840 CPUtime=0.45 cores=0,2,4,6
/proc/5459/task/5473/stat : 5473 (java) R 5457 5459 5459 0 -1 4202560 5731 0 0 0 45 0 0 0 23 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 46983145044201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5459/tid=5474] ppid=5457 vsize=8543840 CPUtime=0.4 cores=0,2,4,6
/proc/5459/task/5474/stat : 5474 (java) R 5457 5459 5459 0 -1 4202560 3009 0 0 0 40 0 0 0 15 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 46983144688944 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5459/tid=5475] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5475/stat : 5475 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118584729 0 4 0 16800975 18446604442544753472 0 0 -1 2 0 0 0
[pid=5459/tid=5476] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5476/stat : 5476 (java) S 5457 5459 5459 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850180692 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 4 0 16800975 18446604442544753472 0 0 -1 4 0 0 0
[pid=5459/tid=5477] ppid=5457 vsize=8543840 CPUtime=0 cores=0,2,4,6
/proc/5459/task/5477/stat : 5477 (java) S 5457 5459 5459 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850180745 8748892160 44855 33554432000 1073741824 1073778376 140736992431840 18446744073709551615 255118585344 0 4 0 16800975 18446604442544753472 0 0 -1 6 0 0 0
[pid=5396/tid=5403] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5403/stat : 5403 (python) S 5394 5396 4987 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 4 0 850170711 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
[pid=5396/tid=5431] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5431/stat : 5431 (python) S 5394 5396 4987 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 850175614 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
[pid=5396/tid=5458] ppid=5394 vsize=319104 CPUtime=0 cores=0,2,4,6
/proc/5396/task/5458/stat : 5458 (python) S 5394 5396 4987 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 850180687 326762496 8502 33554432000 4194304 5683644 140734086492736 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451837866176 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.28
Current children cumulated vsize (KiB) 18340824
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5396 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=947855
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 1.06384
# while last known CPU time is 104.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 101.974
CPU time (s): 104.28
CPU user time (s): 103.12
CPU system time (s): 1.16
CPU usage (%): 102.261
Max. virtual memory (cumulated for all children) (KiB): 18340824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.947855
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14881
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= 1980
involuntary context switches= 15
runsolver used 0.568913 second user time and 1.22281 second system time
The end