runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244337-1500683681/watcher-4244337-1500683681 -o /tmp/evaluation-result-4244337-1500683681/solver-4244337-1500683681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4244337-1500683681.xml
pid=8010
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.03 1.31 3/242 8014
/proc/meminfo: memFree=31937632/32770624 swapFree=5800/234136
[pid=8014] ppid=8010 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (bash) S 8010 8014 7954 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 3635625 9736192 351 33554432000 4194304 5098028 140730864825760 140730864823400 140500990508032 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 39809024 140730864829710 140730864829795 140730864829795 140730864832494 0
/proc/8014/statm: 2377 351 278 221 0 86 0
[startup+0.100168 s]
/proc/loadavg: 1.02 1.03 1.31 3/242 8014
/proc/meminfo: memFree=31937632/32770624 swapFree=5800/234136
[pid=8014] ppid=8010 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (bash) S 8010 8014 7954 0 -1 4202496 885 6412 0 0 0 0 0 2 20 0 1 0 3635625 9871360 378 33554432000 4194304 5098028 140730864825760 140730864819768 140500990508032 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140730864829710 140730864829795 140730864829795 140730864832494 0
/proc/8014/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640
[startup+0.200397 s]
/proc/loadavg: 1.02 1.03 1.31 3/242 8014
/proc/meminfo: memFree=31937632/32770624 swapFree=5800/234136
[pid=8014] ppid=8010 vsize=10435860 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 4680 12452 0 0 3 1 8 5 20 0 13 0 3635625 10686320640 5046 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2608965 5046 2100 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860
[startup+0.300307 s]
/proc/loadavg: 1.02 1.03 1.31 3/242 8014
/proc/meminfo: memFree=31937632/32770624 swapFree=5800/234136
[pid=8014] ppid=8010 vsize=10902292 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 6591 12452 0 0 19 2 8 5 20 0 20 0 3635625 11163947008 7944 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2725573 7944 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292
[startup+0.70031 s]
/proc/loadavg: 1.02 1.03 1.31 3/242 8014
/proc/meminfo: memFree=31937632/32770624 swapFree=5800/234136
[pid=8014] ppid=8010 vsize=10902720 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 12029 12452 0 0 70 4 8 5 20 0 20 0 3635625 11164385280 14803 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2725680 14803 3122 1 0 2713890 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10902720
[startup+1.50278 s]
/proc/loadavg: 0.94 1.02 1.30 6/285 8163
/proc/meminfo: memFree=31736608/32770624 swapFree=5800/233736
[pid=8014] ppid=8010 vsize=10913344 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 27605 12452 0 0 191 13 8 5 20 0 20 0 3635625 11175264256 45000 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2728336 45000 3394 1 0 2716450 0
[pid=8014/tid=8126] ppid=8010 vsize=10913344 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) R 8010 8014 7954 0 -1 1077944384 19722 12452 0 0 120 6 8 5 20 0 20 0 3635641 11175264256 45000 33554432000 4194304 4196468 140732291993696 140066063679792 140066059466453 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) S 8010 8014 7954 0 -1 1077944384 26 12452 0 0 0 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140066001459600 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) S 8010 8014 7954 0 -1 1077944384 146 12452 0 0 1 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140066000406800 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) S 8010 8014 7954 0 -1 1077944384 10 12452 0 0 0 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065999354512 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) S 8010 8014 7954 0 -1 1077944384 13 12452 0 0 0 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065998301712 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) S 8010 8014 7954 0 -1 1077944384 13 12452 0 0 0 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065662360464 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) S 8010 8014 7954 0 -1 1077944384 16 12452 0 0 1 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065661307664 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) S 8010 8014 7954 0 -1 1077944384 57 12452 0 0 1 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065660255376 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) S 8010 8014 7954 0 -1 1077944384 26 12452 0 0 0 0 8 5 20 0 20 0 3635642 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065659202576 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 1387 12452 0 0 1 0 8 5 20 0 20 0 3635644 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065601214576 140066059467394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) R 8010 8014 7954 0 -1 4202560 55 12452 0 0 0 0 8 5 20 0 20 0 3635645 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065600159336 140065679336705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) R 8010 8014 7954 0 -1 4202560 43 12452 0 0 0 0 8 5 20 0 20 0 3635645 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065599106968 140066059468182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 1 12452 0 0 0 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) S 8010 8014 7954 0 -1 1077944384 847 12452 0 0 11 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065597004400 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) S 8010 8014 7954 0 -1 1077944384 1510 12452 0 0 13 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065595951600 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) S 8010 8014 7954 0 -1 1077944384 311 12452 0 0 10 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065258859376 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) R 8010 8014 7954 0 -1 4202560 1284 12452 0 0 25 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065257805760 140066059477594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8161/stat : 8161 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065256753504 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8163] ppid=8010 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 20 0 3635650 11175264256 45000 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10913344
[startup+3.10106 s]
/proc/loadavg: 0.94 1.02 1.30 7/285 8163
/proc/meminfo: memFree=31579916/32770624 swapFree=5800/235512
[pid=8014] ppid=8010 vsize=10925820 CPUtime=6.58 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 44334 12452 0 0 624 21 8 5 20 0 20 0 3635625 11188039680 55957 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2731455 55957 3475 1 0 2719010 0
[pid=8014/tid=8126] ppid=8010 vsize=10925820 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) R 8010 8014 7954 0 -1 4202560 26564 12452 0 0 276 9 8 5 20 0 20 0 3635641 11188039680 55957 33554432000 4194304 4196468 140732291993696 140066063677792 140065683163232 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) S 8010 8014 7954 0 -1 1077944384 26 12452 0 0 0 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140066001459600 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) S 8010 8014 7954 0 -1 1077944384 146 12452 0 0 1 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140066000406800 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) S 8010 8014 7954 0 -1 1077944384 10 12452 0 0 0 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065999354512 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) S 8010 8014 7954 0 -1 1077944384 13 12452 0 0 0 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065998301712 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) S 8010 8014 7954 0 -1 1077944384 13 12452 0 0 0 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065662360464 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) S 8010 8014 7954 0 -1 1077944384 16 12452 0 0 1 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065661307664 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) S 8010 8014 7954 0 -1 1077944384 57 12452 0 0 1 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065660255376 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) S 8010 8014 7954 0 -1 1077944384 26 12452 0 0 0 0 8 5 20 0 20 0 3635642 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065659202576 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 1413 12452 0 0 1 0 8 5 20 0 20 0 3635644 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065601214576 140066059467394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) S 8010 8014 7954 0 -1 1077944384 55 12452 0 0 0 0 8 5 20 0 20 0 3635645 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065600160608 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) S 8010 8014 7954 0 -1 1077944384 43 12452 0 0 0 0 8 5 20 0 20 0 3635645 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065599108224 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 1 12452 0 0 0 0 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=10925820 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) R 8010 8014 7954 0 -1 4202560 2197 12452 0 0 64 1 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065596981552 140066042842881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=10925820 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) R 8010 8014 7954 0 -1 4202560 2048 12452 0 0 58 1 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065595932720 140066044579848 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=10925820 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) R 8010 8014 7954 0 -1 4202560 4048 12452 0 0 96 1 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065258841608 140066042841040 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=10925820 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) R 8010 8014 7954 0 -1 4202560 5518 12452 0 0 117 2 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065257806576 140066043639201 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8161/stat : 8161 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065256753504 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8163] ppid=8010 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 7 12452 0 0 0 0 8 5 20 0 20 0 3635650 11188039680 55957 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 10925820
[startup+6.30122 s]
/proc/loadavg: 0.94 1.02 1.30 3/285 8163
/proc/meminfo: memFree=30923588/32770624 swapFree=5800/236132
[pid=8014] ppid=8010 vsize=10927868 CPUtime=16.73 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 52073 12452 0 0 1580 80 8 5 20 0 20 0 3635625 11190136832 121379 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2731967 121379 3501 1 0 2719522 0
[pid=8014/tid=8126] ppid=8010 vsize=10927868 CPUtime=6 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) R 8010 8014 7954 0 -1 4202560 27865 12452 0 0 575 12 8 5 20 0 20 0 3635641 11190136832 121379 33554432000 4194304 4196468 140732291993696 140066063687960 140065678632450 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=10927868 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) S 8010 8014 7954 0 -1 1077944384 85 12452 0 0 8 7 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140066001459600 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=10927868 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) S 8010 8014 7954 0 -1 1077944384 230 12452 0 0 10 8 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140066000406800 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=10927868 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) S 8010 8014 7954 0 -1 1077944384 169 12452 0 0 10 7 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065999354512 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=10927868 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) S 8010 8014 7954 0 -1 1077944384 71 12452 0 0 9 6 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065998301712 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=10927868 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) S 8010 8014 7954 0 -1 1077944384 87 12452 0 0 9 6 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065662360464 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=10927868 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) S 8010 8014 7954 0 -1 1077944384 144 12452 0 0 9 7 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065661307664 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=10927868 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) S 8010 8014 7954 0 -1 1077944384 132 12452 0 0 10 7 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065660255376 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=10927868 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) S 8010 8014 7954 0 -1 1077944384 100 12452 0 0 10 6 8 5 20 0 20 0 3635642 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065659202576 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 1833 12452 0 0 2 0 8 5 20 0 20 0 3635644 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065601214576 140066059467394 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) S 8010 8014 7954 0 -1 1077944384 56 12452 0 0 0 0 8 5 20 0 20 0 3635645 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065600160672 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) S 8010 8014 7954 0 -1 1077944384 44 12452 0 0 1 0 8 5 20 0 20 0 3635645 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065599108224 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 1 12452 0 0 0 0 8 5 20 0 20 0 3635650 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=10927868 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) S 8010 8014 7954 0 -1 1077944384 4719 12452 0 0 255 1 8 5 20 0 20 0 3635650 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065597004400 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=10927868 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) R 8010 8014 7954 0 -1 4202560 3077 12452 0 0 243 2 8 5 20 0 20 0 3635650 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065595941280 140066043362413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=10927868 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) S 8010 8014 7954 0 -1 1077944384 4745 12452 0 0 253 1 8 5 20 0 20 0 3635650 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065258859376 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=10927868 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) S 8010 8014 7954 0 -1 1077944384 6380 12452 0 0 168 3 8 5 20 0 20 0 3635650 11190136832 121379 33554432000 4194304 4196468 140732291993696 140065257806576 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=8014/tid=8163] ppid=8010 vsize=10997500 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 3599 12452 0 0 68 65 8 5 20 0 20 0 3635650 11261440000 569765 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8014 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2310 s]
/proc/loadavg: 1.41 1.57 1.64 10/284 8256
/proc/meminfo: memFree=26199244/32770624 swapFree=5800/238408
[pid=8014] ppid=8010 vsize=11130628 CPUtime=2402.13 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 318299 12452 0 0 239694 506 8 5 20 0 22 0 3635625 11397763072 572497 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2782657 572497 3519 1 0 2770212 0
[pid=8014/tid=8126] ppid=8010 vsize=11130628 CPUtime=2289.51 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) S 8010 8014 7954 0 -1 1077944384 107963 12452 0 0 228877 61 8 5 20 0 22 0 3635641 11397763072 572497 33554432000 4194304 4196468 140732291993696 140066063693792 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=11130628 CPUtime=10.97 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) R 8010 8014 7954 0 -1 4202560 13334 12452 0 0 1037 47 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140066001459720 140066044156128 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=11130628 CPUtime=10.97 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) R 8010 8014 7954 0 -1 4202560 11744 12452 0 0 1040 44 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140066000406920 140066052084455 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=11130628 CPUtime=11.04 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) R 8010 8014 7954 0 -1 4202560 14631 12452 0 0 1048 43 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065999354632 140066044156883 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=11130628 CPUtime=10.81 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) R 8010 8014 7954 0 -1 4202560 13061 12452 0 0 1023 45 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065998301832 140066052084455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=11130628 CPUtime=11.02 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) R 8010 8014 7954 0 -1 4202560 16088 12452 0 0 1044 45 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065662360584 140066052084455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=11130628 CPUtime=11.03 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) R 8010 8014 7954 0 -1 4202560 16479 12452 0 0 1042 48 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065661307784 140066044156862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=11130628 CPUtime=11.06 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) R 8010 8014 7954 0 -1 4202560 13802 12452 0 0 1045 48 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065660255496 140066052084455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=11130628 CPUtime=11.01 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) R 8010 8014 7954 0 -1 4202560 13766 12452 0 0 1041 47 8 5 20 0 22 0 3635642 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065659202696 140066044452618 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=11130628 CPUtime=5.81 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 31262 12452 0 0 532 36 8 5 20 0 22 0 3635644 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065601213200 140066059466453 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) S 8010 8014 7954 0 -1 1077944384 59 12452 0 0 0 0 8 5 20 0 22 0 3635645 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065600160672 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=11130628 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) S 8010 8014 7954 0 -1 1077944384 50 12452 0 0 1 0 8 5 20 0 22 0 3635645 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065599108224 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 95 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) S 8010 8014 7954 0 -1 1077944384 13037 12452 0 0 530 3 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065597004400 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=11130628 CPUtime=5.59 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) S 8010 8014 7954 0 -1 1077944384 15669 12452 0 0 543 3 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065595951600 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=11130628 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) S 8010 8014 7954 0 -1 1077944384 11949 12452 0 0 523 3 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065258859376 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=11130628 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) S 8010 8014 7954 0 -1 1077944384 19460 12452 0 0 247 5 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065257806576 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8161/stat : 8161 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065256753504 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8163] ppid=8010 vsize=11130628 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 3599 12452 0 0 68 65 8 5 20 0 22 0 3635650 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8255] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8255/stat : 8255 (java) S 8010 8014 7954 0 -1 1077944384 89 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065224511856 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8256] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8256/stat : 8256 (java) S 8010 8014 7954 0 -1 1077944384 25 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572497 33554432000 4194304 4196468 140732291993696 140065223459776 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 2402.13
Current children cumulated vsize (KiB) 11130628
[startup+2310.2 s]
/proc/loadavg: 1.41 1.57 1.64 10/284 8256
/proc/meminfo: memFree=26199244/32770624 swapFree=5800/238408
[pid=8014] ppid=8010 vsize=11130628 CPUtime=2403.33 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 318439 12452 0 0 239813 507 8 5 20 0 22 0 3635625 11397763072 572524 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2782657 572524 3519 1 0 2770212 0
[pid=8014/tid=8126] ppid=8010 vsize=11130628 CPUtime=2289.51 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) S 8010 8014 7954 0 -1 1077944384 107963 12452 0 0 228877 61 8 5 20 0 22 0 3635641 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066063693792 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=11130628 CPUtime=11.11 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) R 8010 8014 7954 0 -1 4202560 13334 12452 0 0 1051 47 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066001459488 140066052084455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=11130628 CPUtime=11.11 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) R 8010 8014 7954 0 -1 4202560 11744 12452 0 0 1054 44 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066000407000 140066052084455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=11130628 CPUtime=11.18 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) R 8010 8014 7954 0 -1 4202560 14632 12452 0 0 1062 43 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065999354712 140066052084455 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=11130628 CPUtime=10.94 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) R 8010 8014 7954 0 -1 4202560 13061 12452 0 0 1036 45 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065998301712 140066052084455 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=11130628 CPUtime=11.16 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) R 8010 8014 7954 0 -1 4202560 16089 12452 0 0 1058 45 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065662360664 140066052084455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=11130628 CPUtime=11.18 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) R 8010 8014 7954 0 -1 4202560 16479 12452 0 0 1057 48 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065661307864 140066052084455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=11130628 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) R 8010 8014 7954 0 -1 4202560 13802 12452 0 0 1060 48 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065660255496 140066042839282 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=11130628 CPUtime=11.16 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) R 8010 8014 7954 0 -1 4202560 13766 12452 0 0 1056 47 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065659202776 140066041065988 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=11130628 CPUtime=5.85 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 31397 12452 0 0 536 36 8 5 20 0 22 0 3635644 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065601213200 140066059466453 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) S 8010 8014 7954 0 -1 1077944384 60 12452 0 0 0 0 8 5 20 0 22 0 3635645 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065600160576 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=11130628 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) S 8010 8014 7954 0 -1 1077944384 50 12452 0 0 1 0 8 5 20 0 22 0 3635645 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065599108224 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 95 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) S 8010 8014 7954 0 -1 1077944384 13037 12452 0 0 530 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065597004400 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=11130628 CPUtime=5.59 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) S 8010 8014 7954 0 -1 1077944384 15669 12452 0 0 543 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065595951600 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=11130628 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) S 8010 8014 7954 0 -1 1077944384 11949 12452 0 0 523 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065258859376 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=11130628 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) S 8010 8014 7954 0 -1 1077944384 19460 12452 0 0 247 5 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065257806576 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8161/stat : 8161 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065256753504 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8163] ppid=8010 vsize=11130628 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 3599 12452 0 0 68 65 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8255] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8255/stat : 8255 (java) S 8010 8014 7954 0 -1 1077944384 89 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065224511856 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8256] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8256/stat : 8256 (java) S 8010 8014 7954 0 -1 1077944384 27 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065223459776 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 2403.33
Current children cumulated vsize (KiB) 11130628
[startup+2310.3 s]
/proc/loadavg: 1.41 1.57 1.64 10/284 8256
/proc/meminfo: memFree=26199244/32770624 swapFree=5800/238408
[pid=8014] ppid=8010 vsize=11130628 CPUtime=2404 cores=0,2,4,6,8,10,12,14
/proc/8014/stat : 8014 (java) S 8010 8014 7954 0 -1 1077944320 318444 12452 0 0 239880 507 8 5 20 0 22 0 3635625 11397763072 572524 33554432000 4194304 4196468 140732291993696 140732291976240 140066059456247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
/proc/8014/statm: 2782657 572524 3519 1 0 2770212 0
[pid=8014/tid=8126] ppid=8010 vsize=11130628 CPUtime=2289.51 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8126/stat : 8126 (java) S 8010 8014 7954 0 -1 1077944384 107963 12452 0 0 228877 61 8 5 20 0 22 0 3635641 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066063693792 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8128] ppid=8010 vsize=11130628 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8128/stat : 8128 (java) R 8010 8014 7954 0 -1 4202560 13334 12452 0 0 1059 47 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066001459600 140066044153999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8129] ppid=8010 vsize=11130628 CPUtime=11.19 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8129/stat : 8129 (java) R 8010 8014 7954 0 -1 4202560 11744 12452 0 0 1062 44 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140066000406800 140066044153999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8130] ppid=8010 vsize=11130628 CPUtime=11.27 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8130/stat : 8130 (java) R 8010 8014 7954 0 -1 4202560 14632 12452 0 0 1071 43 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065999354712 140066041009488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8131] ppid=8010 vsize=11130628 CPUtime=11.02 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8131/stat : 8131 (java) R 8010 8014 7954 0 -1 4202560 13062 12452 0 0 1044 45 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065998301712 140066041052946 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8132] ppid=8010 vsize=11130628 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8132/stat : 8132 (java) R 8010 8014 7954 0 -1 4202560 16089 12452 0 0 1066 45 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065662360664 140066043945183 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8133] ppid=8010 vsize=11130628 CPUtime=11.27 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8133/stat : 8133 (java) R 8010 8014 7954 0 -1 4202560 16479 12452 0 0 1066 48 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065661307664 140066041052634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8134] ppid=8010 vsize=11130628 CPUtime=11.29 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8134/stat : 8134 (java) R 8010 8014 7954 0 -1 4202560 13802 12452 0 0 1068 48 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065660255576 140066044153886 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8135] ppid=8010 vsize=11130628 CPUtime=11.24 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8135/stat : 8135 (java) R 8010 8014 7954 0 -1 4202560 13766 12452 0 0 1064 47 8 5 20 0 22 0 3635642 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065659202576 140066041052123 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8144] ppid=8010 vsize=11130628 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8144/stat : 8144 (java) S 8010 8014 7954 0 -1 1077944384 31397 12452 0 0 537 36 8 5 20 0 22 0 3635644 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065601212976 140066059466453 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8146] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8146/stat : 8146 (java) S 8010 8014 7954 0 -1 1077944384 61 12452 0 0 0 0 8 5 20 0 22 0 3635645 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065600160656 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8148] ppid=8010 vsize=11130628 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8148/stat : 8148 (java) S 8010 8014 7954 0 -1 1077944384 52 12452 0 0 1 0 8 5 20 0 22 0 3635645 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065599107824 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8152] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8152/stat : 8152 (java) S 8010 8014 7954 0 -1 1077944384 95 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065598056528 140066059474843 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8155] ppid=8010 vsize=11130628 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8155/stat : 8155 (java) S 8010 8014 7954 0 -1 1077944384 13037 12452 0 0 530 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065597004400 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8157] ppid=8010 vsize=11130628 CPUtime=5.59 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8157/stat : 8157 (java) S 8010 8014 7954 0 -1 1077944384 15669 12452 0 0 543 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065595951600 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8158] ppid=8010 vsize=11130628 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8158/stat : 8158 (java) S 8010 8014 7954 0 -1 1077944384 11949 12452 0 0 523 3 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065258859376 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8159] ppid=8010 vsize=11130628 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8159/stat : 8159 (java) S 8010 8014 7954 0 -1 1077944384 19460 12452 0 0 247 5 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065257806576 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8161] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8161/stat : 8161 (java) S 8010 8014 7954 0 -1 1077944384 3 12452 0 0 0 0 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065256753504 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8163] ppid=8010 vsize=11130628 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8163/stat : 8163 (java) S 8010 8014 7954 0 -1 1077944384 3599 12452 0 0 68 65 8 5 20 0 22 0 3635650 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065255700784 140066059467394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8255] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8255/stat : 8255 (java) S 8010 8014 7954 0 -1 1077944384 89 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065224511856 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
[pid=8014/tid=8256] ppid=8010 vsize=11130628 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8014/task/8256/stat : 8256 (java) S 8010 8014 7954 0 -1 1077944384 28 12452 0 0 0 0 8 5 20 0 22 0 3866596 11397763072 572524 33554432000 4194304 4196468 140732291993696 140065223459776 140066059466453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20951040 140732292000449 140732292003223 140732292003223 140732292005839 0
Current children cumulated CPU time (s) 2404
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2310.38
CPU time (s): 2404.38
CPU user time (s): 2399.24
CPU system time (s): 5.13712
CPU usage (%): 104.069
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.24
system time used= 5.13712
maximum resident set size= 2757104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331006
page faults= 0
swaps= 0
block input operations= 2584
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240897
involuntary context switches= 169654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7171 second user time and 19.9804 second system time
The end