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-4249557-1500771852/watcher-4249557-1500771852 -o /tmp/evaluation-result-4249557-1500771852/solver-4249557-1500771852 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249557-1500771852.xml
pid=27057
running on 8 cores: 4-7,12-15
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.31 1.38 1.48 3/262 27060
/proc/meminfo: memFree=27616768/32770624 swapFree=5816/250884
[pid=27060] ppid=27057 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/27060/stat : 27060 (bash) S 27057 27060 21492 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 12450559 9736192 350 33554432000 4194304 5098028 140721025713232 140721025710872 139839538379776 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 37261312 140721025717518 140721025717603 140721025717603 140721025720302 0
/proc/27060/statm: 2377 350 277 221 0 86 0
[startup+0.10013 s]
/proc/loadavg: 1.31 1.38 1.48 3/262 27060
/proc/meminfo: memFree=27616768/32770624 swapFree=5816/250884
[pid=27060] ppid=27057 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/27060/stat : 27060 (bash) S 27057 27060 21492 0 -1 4202496 884 6414 0 0 0 0 0 1 20 0 1 0 12450559 9871360 378 33554432000 4194304 5098028 140721025713232 140721025707240 139839538379776 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 37261312 140721025717518 140721025717603 140721025717603 140721025720302 0
/proc/27060/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200296 s]
/proc/loadavg: 1.31 1.38 1.48 3/262 27060
/proc/meminfo: memFree=27616768/32770624 swapFree=5816/250884
[pid=27060] ppid=27057 vsize=10435860 CPUtime=0.18 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 5056 12576 0 0 6 1 8 3 20 0 13 0 12450559 10686320640 5412 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2608965 5412 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300253 s]
/proc/loadavg: 1.31 1.38 1.48 3/262 27060
/proc/meminfo: memFree=27616768/32770624 swapFree=5816/250884
[pid=27060] ppid=27057 vsize=10902392 CPUtime=0.37 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 7023 12576 0 0 24 2 8 3 20 0 20 0 12450559 11164049408 8793 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2725598 8793 2983 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700163 s]
/proc/loadavg: 1.31 1.38 1.48 3/262 27060
/proc/meminfo: memFree=27616768/32770624 swapFree=5816/250884
[pid=27060] ppid=27057 vsize=10902720 CPUtime=0.92 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 12442 12576 0 0 77 4 8 3 20 0 20 0 12450559 11164385280 15771 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2725680 15771 3185 1 0 2713890 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10902720
[startup+1.50105 s]
/proc/loadavg: 1.31 1.38 1.48 3/282 27133
/proc/meminfo: memFree=27513908/32770624 swapFree=5816/250952
[pid=27060] ppid=27057 vsize=10913344 CPUtime=2.23 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 27443 12576 0 0 198 14 8 3 20 0 20 0 12450559 11175264256 43947 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2728336 43947 3406 1 0 2716450 0
[pid=27060/tid=27115] ppid=27057 vsize=10913344 CPUtime=1.42 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 19503 12576 0 0 125 6 8 3 20 0 20 0 12450572 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429536474016 140429532267677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 124 12576 0 0 0 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 16 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 41 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 24 12576 0 0 0 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 17 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 21 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 42 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 36 12576 0 0 1 0 8 3 20 0 20 0 12450573 11175264256 43947 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 1441 12576 0 0 1 0 8 3 20 0 20 0 12450574 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 12450575 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428737320032 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 44 12576 0 0 0 0 8 3 20 0 20 0 12450575 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10913344 CPUtime=0.21 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 863 12576 0 0 9 1 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10913344 CPUtime=0.23 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 504 12576 0 0 12 0 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10913344 CPUtime=0.24 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 1187 12576 0 0 13 0 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10913344 CPUtime=0.37 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 1382 12576 0 0 26 0 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 6 12576 0 0 0 0 8 3 20 0 20 0 12450581 11175264256 43947 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344
[startup+3.10079 s]
/proc/loadavg: 1.31 1.38 1.48 4/282 27133
/proc/meminfo: memFree=27443940/32770624 swapFree=5816/250952
[pid=27060] ppid=27057 vsize=10923772 CPUtime=5.99 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 38224 12576 0 0 562 26 8 3 20 0 20 0 12450559 11185942528 71646 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2730943 71646 3475 1 0 2718498 0
[pid=27060/tid=27115] ppid=27057 vsize=10923772 CPUtime=2.99 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 25978 12576 0 0 280 8 8 3 20 0 20 0 12450572 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429536455968 140429512521458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 131 12576 0 0 1 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 31 12576 0 0 1 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10923772 CPUtime=0.14 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 55 12576 0 0 2 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 35 12576 0 0 1 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 39 12576 0 0 1 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10923772 CPUtime=0.14 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 32 12576 0 0 2 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10923772 CPUtime=0.14 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 52 12576 0 0 2 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 105 12576 0 0 1 1 8 3 20 0 20 0 12450573 11185942528 71646 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 1487 12576 0 0 2 0 8 3 20 0 20 0 12450574 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10923772 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 12450575 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428737320032 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10923772 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 44 12576 0 0 0 0 8 3 20 0 20 0 12450575 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10923772 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10923772 CPUtime=0.67 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 1674 12576 0 0 55 1 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10923772 CPUtime=0.67 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 920 12576 0 0 55 1 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10923772 CPUtime=0.78 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 2165 12576 0 0 66 1 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10923772 CPUtime=0.97 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 3297 12576 0 0 85 1 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10923772 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10923772 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 7 12576 0 0 0 0 8 3 20 0 20 0 12450581 11185942528 71646 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 10923772
[startup+6.3012 s]
/proc/loadavg: 1.29 1.37 1.48 6/282 27133
/proc/meminfo: memFree=27051312/32770624 swapFree=5816/250960
[pid=27060] ppid=27057 vsize=10927868 CPUtime=15.89 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 51327 12576 0 0 1479 99 8 3 20 0 20 0 12450559 11190136832 206201 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2731967 206201 3497 1 0 2719522 0
[pid=27060/tid=27115] ppid=27057 vsize=10927868 CPUtime=6 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 34403 12576 0 0 575 14 8 3 20 0 20 0 12450572 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429536477864 140429150821856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10927868 CPUtime=0.27 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 199 12576 0 0 8 8 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10927868 CPUtime=0.29 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 104 12576 0 0 8 10 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10927868 CPUtime=0.29 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 128 12576 0 0 8 10 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10927868 CPUtime=0.28 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 108 12576 0 0 9 8 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10927868 CPUtime=0.28 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 123 12576 0 0 8 9 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10927868 CPUtime=0.28 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 104 12576 0 0 8 9 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10927868 CPUtime=0.28 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 125 12576 0 0 9 8 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10927868 CPUtime=0.28 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 180 12576 0 0 7 10 8 3 20 0 20 0 12450573 11190136832 206201 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10927868 CPUtime=0.14 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 1841 12576 0 0 3 0 8 3 20 0 20 0 12450574 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 12450575 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428737320032 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 44 12576 0 0 0 0 8 3 20 0 20 0 12450575 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10927868 CPUtime=2.41 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 2748 12576 0 0 228 2 8 3 20 0 20 0 12450580 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10927868 CPUtime=2.63 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 2579 12576 0 0 251 1 8 3 20 0 20 0 12450580 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10927868 CPUtime=2.4 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 2689 12576 0 0 228 1 8 3 20 0 20 0 12450580 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10927868 CPUtime=1.33 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 3748 12576 0 0 121 1 8 3 20 0 20 0 12450580 11190136832 206201 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
################
# More data... #
################
[pid=27060/tid=27129] ppid=27057 vsize=10997500 CPUtime=6.2 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 18013 12576 0 0 605 4 8 3 20 0 20 0 12450580 11261440000 920551 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10997500 CPUtime=5.95 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 15858 12576 0 0 581 3 8 3 20 0 20 0 12450580 11261440000 920551 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10997500 CPUtime=2.2 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 20449 12576 0 0 205 4 8 3 20 0 20 0 12450580 11261440000 920551 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 920551 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10997500 CPUtime=1.33 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 1235 12576 0 0 55 67 8 3 20 0 20 0 12450581 11261440000 920551 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 2320.14
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.84 1.85 1.75 3/281 27384
/proc/meminfo: memFree=24624208/32770624 swapFree=5816/252228
[pid=27060] ppid=27057 vsize=10997500 CPUtime=2381.1 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 538131 12576 0 0 237029 1070 8 3 20 0 20 0 12450559 11261440000 911094 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2749375 911094 3513 1 0 2736930 0
[pid=27060/tid=27115] ppid=27057 vsize=10997500 CPUtime=2244.46 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 250531 12576 0 0 224362 73 8 3 20 0 20 0 12450572 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429536480240 140429141021699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10997500 CPUtime=14.41 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 26787 12576 0 0 1317 113 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10997500 CPUtime=14.32 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 16923 12576 0 0 1307 114 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10997500 CPUtime=14.31 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 14798 12576 0 0 1309 111 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10997500 CPUtime=14.28 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 18954 12576 0 0 1305 112 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10997500 CPUtime=14.29 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 14980 12576 0 0 1304 114 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10997500 CPUtime=14.32 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 17437 12576 0 0 1309 112 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10997500 CPUtime=14.39 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 20266 12576 0 0 1317 111 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10997500 CPUtime=14.34 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 14399 12576 0 0 1307 116 8 3 20 0 20 0 12450573 11261440000 911094 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10997500 CPUtime=1.41 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 66035 12576 0 0 111 19 8 3 20 0 20 0 12450574 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 61 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428737320096 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 49 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10997500 CPUtime=6.19 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 19189 12576 0 0 604 4 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10997500 CPUtime=6.2 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 18015 12576 0 0 605 4 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10997500 CPUtime=5.95 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 15860 12576 0 0 581 3 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10997500 CPUtime=2.2 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 20451 12576 0 0 205 4 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10997500 CPUtime=1.38 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 1259 12576 0 0 58 69 8 3 20 0 20 0 12450581 11261440000 911094 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 2381.1
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2280.9 s]
/proc/loadavg: 1.89 1.86 1.75 3/281 27384
/proc/meminfo: memFree=24641804/32770624 swapFree=5816/252244
[pid=27060] ppid=27057 vsize=10997500 CPUtime=2400.05 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 538728 12576 0 0 238923 1071 8 3 20 0 20 0 12450559 11261440000 906992 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2749375 906992 3513 1 0 2736930 0
[pid=27060/tid=27115] ppid=27057 vsize=10997500 CPUtime=2262.98 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 251077 12576 0 0 226214 73 8 3 20 0 20 0 12450572 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429536480176 140429155925668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10997500 CPUtime=14.47 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 26794 12576 0 0 1323 113 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10997500 CPUtime=14.37 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 16930 12576 0 0 1312 114 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10997500 CPUtime=14.36 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 14802 12576 0 0 1314 111 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10997500 CPUtime=14.33 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 18957 12576 0 0 1310 112 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10997500 CPUtime=14.34 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 14983 12576 0 0 1309 114 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10997500 CPUtime=14.38 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 17442 12576 0 0 1315 112 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10997500 CPUtime=14.44 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 20268 12576 0 0 1322 111 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10997500 CPUtime=14.39 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 14402 12576 0 0 1312 116 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10997500 CPUtime=1.43 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 66052 12576 0 0 113 19 8 3 20 0 20 0 12450574 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 61 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428737320096 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 49 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10997500 CPUtime=6.19 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 19189 12576 0 0 604 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10997500 CPUtime=6.2 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 18015 12576 0 0 605 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10997500 CPUtime=5.95 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 15860 12576 0 0 581 3 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10997500 CPUtime=2.2 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 20451 12576 0 0 205 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10997500 CPUtime=1.38 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 1259 12576 0 0 58 69 8 3 20 0 20 0 12450581 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 2400.05
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 27060 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2280.9 s]
/proc/loadavg: 1.89 1.86 1.75 3/281 27384
/proc/meminfo: memFree=24641804/32770624 swapFree=5816/252244
[pid=27060] ppid=27057 vsize=10997500 CPUtime=2400.05 cores=4-7,12-15
/proc/27060/stat : 27060 (java) S 27057 27060 21492 0 -1 1077944320 538728 12576 0 0 238923 1071 8 3 20 0 20 0 12450559 11261440000 906992 33554432000 4194304 4196468 140726752495232 140726752477776 140429532245751 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
/proc/27060/statm: 2749375 906992 3513 1 0 2736930 0
[pid=27060/tid=27115] ppid=27057 vsize=10997500 CPUtime=2262.98 cores=4-7,12-15
/proc/27060/task/27115/stat : 27115 (java) R 27057 27060 21492 0 -1 4202560 251077 12576 0 0 226214 73 8 3 20 0 20 0 12450572 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429536480176 140429155925668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27116] ppid=27057 vsize=10997500 CPUtime=14.47 cores=4-7,12-15
/proc/27060/task/27116/stat : 27116 (java) S 27057 27060 21492 0 -1 1077944384 26794 12576 0 0 1323 113 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429468936848 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27117] ppid=27057 vsize=10997500 CPUtime=14.37 cores=4-7,12-15
/proc/27060/task/27117/stat : 27117 (java) S 27057 27060 21492 0 -1 1077944384 16930 12576 0 0 1312 114 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429467884048 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27118] ppid=27057 vsize=10997500 CPUtime=14.36 cores=4-7,12-15
/proc/27060/task/27118/stat : 27118 (java) S 27057 27060 21492 0 -1 1077944384 14802 12576 0 0 1314 111 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429466831248 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27119] ppid=27057 vsize=10997500 CPUtime=14.33 cores=4-7,12-15
/proc/27060/task/27119/stat : 27119 (java) S 27057 27060 21492 0 -1 1077944384 18957 12576 0 0 1310 112 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429465778448 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27120] ppid=27057 vsize=10997500 CPUtime=14.34 cores=4-7,12-15
/proc/27060/task/27120/stat : 27120 (java) S 27057 27060 21492 0 -1 1077944384 14983 12576 0 0 1309 114 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429464726672 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27121] ppid=27057 vsize=10997500 CPUtime=14.38 cores=4-7,12-15
/proc/27060/task/27121/stat : 27121 (java) S 27057 27060 21492 0 -1 1077944384 17442 12576 0 0 1315 112 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429463673872 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27122] ppid=27057 vsize=10997500 CPUtime=14.44 cores=4-7,12-15
/proc/27060/task/27122/stat : 27122 (java) S 27057 27060 21492 0 -1 1077944384 20268 12576 0 0 1322 111 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429462621072 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27123] ppid=27057 vsize=10997500 CPUtime=14.39 cores=4-7,12-15
/proc/27060/task/27123/stat : 27123 (java) S 27057 27060 21492 0 -1 1077944384 14402 12576 0 0 1312 116 8 3 20 0 20 0 12450573 11261440000 906992 33554432000 4194304 4196468 140726752495232 140429461568272 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27124] ppid=27057 vsize=10997500 CPUtime=1.43 cores=4-7,12-15
/proc/27060/task/27124/stat : 27124 (java) S 27057 27060 21492 0 -1 1077944384 66052 12576 0 0 113 19 8 3 20 0 20 0 12450574 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428738374000 140429532256898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27125] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27125/stat : 27125 (java) S 27057 27060 21492 0 -1 1077944384 61 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428737320096 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27126] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27126/stat : 27126 (java) S 27057 27060 21492 0 -1 1077944384 49 12576 0 0 0 0 8 3 20 0 20 0 12450575 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428736267136 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27127] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27127/stat : 27127 (java) S 27057 27060 21492 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428735215440 140429532264347 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27128] ppid=27057 vsize=10997500 CPUtime=6.19 cores=4-7,12-15
/proc/27060/task/27128/stat : 27128 (java) S 27057 27060 21492 0 -1 1077944384 19189 12576 0 0 604 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428734163824 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27129] ppid=27057 vsize=10997500 CPUtime=6.2 cores=4-7,12-15
/proc/27060/task/27129/stat : 27129 (java) S 27057 27060 21492 0 -1 1077944384 18015 12576 0 0 605 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428733111024 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27130] ppid=27057 vsize=10997500 CPUtime=5.95 cores=4-7,12-15
/proc/27060/task/27130/stat : 27130 (java) S 27057 27060 21492 0 -1 1077944384 15860 12576 0 0 581 3 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428732058224 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27131] ppid=27057 vsize=10997500 CPUtime=2.2 cores=4-7,12-15
/proc/27060/task/27131/stat : 27131 (java) S 27057 27060 21492 0 -1 1077944384 20451 12576 0 0 205 4 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428731005424 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27132] ppid=27057 vsize=10997500 CPUtime=0.11 cores=4-7,12-15
/proc/27060/task/27132/stat : 27132 (java) S 27057 27060 21492 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 12450580 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428729952864 140429532255957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
[pid=27060/tid=27133] ppid=27057 vsize=10997500 CPUtime=1.38 cores=4-7,12-15
/proc/27060/task/27133/stat : 27133 (java) S 27057 27060 21492 0 -1 1077944384 1259 12576 0 0 58 69 8 3 20 0 20 0 12450581 11261440000 906992 33554432000 4194304 4196468 140726752495232 140428728900144 140429532256898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10104832 140726752500417 140726752503191 140726752503191 140726752505807 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2280.95
CPU time (s): 2400.12
CPU user time (s): 2389.33
CPU system time (s): 10.787
CPU usage (%): 105.224
Max. virtual memory (cumulated for all children) (KiB): 11000212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.33
system time used= 10.787
maximum resident set size= 3716100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93323
involuntary context switches= 129622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3445 second user time and 18.5654 second system time
The end