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-4262250-1502463258/watcher-4262250-1502463258 -o /tmp/evaluation-result-4262250-1502463258/solver-4262250-1502463258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262250-1502463258.xml
pid=14424
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.75 1.60 1.53 3/197 14427
/proc/meminfo: memFree=26847284/32770624 swapFree=0/509088
[pid=14427] ppid=14424 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14427/stat : 14427 (runsolver) D 14424 14427 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 48546577 24240128 107 18446744073709551615 4194304 4338465 140736039965904 140736039963544 140286368907991 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34103296 140736039973073 140736039973449 140736039973449 140736039976906 0
/proc/14427/statm: 5918 107 54 36 0 2156 0
[startup+0.100166 s]
/proc/loadavg: 1.75 1.60 1.53 3/197 14427
/proc/meminfo: memFree=26847284/32770624 swapFree=0/509088
[pid=14427] ppid=14424 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/14427/stat : 14427 (bash) S 14424 14427 1330 0 -1 4202496 898 6474 0 0 0 0 0 1 20 0 1 0 48546577 9867264 377 18446744073709551615 4194304 5098028 140730910500800 140730910494808 140322108455936 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 39997440 140730910503444 140730910503529 140730910503529 140730910506986 0
/proc/14427/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200285 s]
/proc/loadavg: 1.75 1.60 1.53 3/197 14427
/proc/meminfo: memFree=26847284/32770624 swapFree=0/509088
[pid=14427] ppid=14424 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/14427/stat : 14427 (bash) S 14424 14427 1330 0 -1 4202496 898 6474 0 0 0 0 0 1 20 0 1 0 48546577 9867264 377 18446744073709551615 4194304 5098028 140730910500800 140730910494808 140322108455936 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 39997440 140730910503444 140730910503529 140730910503529 140730910506986 0
/proc/14427/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300284 s]
/proc/loadavg: 1.75 1.60 1.53 3/197 14427
/proc/meminfo: memFree=26847284/32770624 swapFree=0/509088
[pid=14427] ppid=14424 vsize=13840744 CPUtime=0.13 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 5454 12400 0 0 5 1 5 2 20 0 13 0 48546577 14172921856 5108 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3460186 5108 2248 1 0 3449683 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13840744
[startup+0.700172 s]
/proc/loadavg: 1.75 1.60 1.53 3/197 14427
/proc/meminfo: memFree=26847284/32770624 swapFree=0/509088
[pid=14427] ppid=14424 vsize=13974784 CPUtime=0.61 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 13779 12400 0 0 50 4 5 2 20 0 15 0 48546577 14310178816 14211 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3493696 14211 3074 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784
[startup+1.50052 s]
/proc/loadavg: 1.75 1.60 1.53 3/212 14490
/proc/meminfo: memFree=26755084/32770624 swapFree=0/509028
[pid=14427] ppid=14424 vsize=13985408 CPUtime=1.82 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 28331 12400 0 0 167 8 5 2 20 0 15 0 48546577 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3496352 33896 3339 1 0 3485525 0
[pid=14427/tid=14477] ppid=14424 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 23098 12400 0 0 114 6 5 2 20 0 15 0 48546601 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139835201212576 139835181024613 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 1 12400 0 0 0 0 5 2 20 0 15 0 48546602 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 1 12400 0 0 0 0 5 2 20 0 15 0 48546602 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 1 12400 0 0 0 0 5 2 20 0 15 0 48546602 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 2 12400 0 0 0 0 5 2 20 0 15 0 48546602 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 6 12400 0 0 0 0 5 2 20 0 15 0 48546603 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 33 12400 0 0 0 0 5 2 20 0 15 0 48546604 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834741642144 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 21 12400 0 0 0 0 5 2 20 0 15 0 48546604 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834672800752 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 1135 12400 0 0 18 0 5 2 20 0 15 0 48546607 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=13985408 CPUtime=0.18 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 562 12400 0 0 11 0 5 2 20 0 15 0 48546607 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 1300 12400 0 0 22 0 5 2 20 0 15 0 48546607 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 10 12400 0 0 0 0 5 2 20 0 15 0 48546611 14321057792 33896 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408
[startup+3.10059 s]
/proc/loadavg: 1.61 1.58 1.52 6/212 14490
/proc/meminfo: memFree=26676692/32770624 swapFree=0/509028
[pid=14427] ppid=14424 vsize=13997884 CPUtime=5.51 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 49315 12400 0 0 528 16 5 2 20 0 15 0 48546577 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3499471 55267 3451 1 0 3488085 0
[pid=14427/tid=14477] ppid=14424 vsize=13997884 CPUtime=2.84 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 35800 12400 0 0 268 9 5 2 20 0 15 0 48546601 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139835201212640 139835180176522 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 53 12400 0 0 0 0 5 2 20 0 15 0 48546602 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 1 0 5 2 20 0 15 0 48546602 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 192 12400 0 0 1 0 5 2 20 0 15 0 48546602 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 70 12400 0 0 1 0 5 2 20 0 15 0 48546602 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 1737 12400 0 0 1 0 5 2 20 0 15 0 48546603 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834741642144 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834672800752 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) R 14424 14427 1330 0 -1 4202560 3832 12400 0 0 96 1 5 2 20 0 15 0 48546607 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992918 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=13997884 CPUtime=0.69 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 1843 12400 0 0 61 1 5 2 20 0 15 0 48546607 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=13997884 CPUtime=1.01 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 3473 12400 0 0 93 1 5 2 20 0 15 0 48546607 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 11 12400 0 0 0 0 5 2 20 0 15 0 48546611 14333833216 55267 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 13997884
[startup+6.30075 s]
/proc/loadavg: 1.61 1.58 1.52 5/212 14490
/proc/meminfo: memFree=26517648/32770624 swapFree=0/509020
[pid=14427] ppid=14424 vsize=14067516 CPUtime=14.52 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 76358 12400 0 0 1419 26 5 2 20 0 15 0 48546577 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3516879 98395 3474 1 0 3505493 0
[pid=14427/tid=14477] ppid=14424 vsize=14067516 CPUtime=5.89 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 44963 12400 0 0 569 13 5 2 20 0 15 0 48546601 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139835201213048 139834840467601 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 242 12400 0 0 4 1 5 2 20 0 15 0 48546602 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 104 12400 0 0 3 0 5 2 20 0 15 0 48546602 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 232 12400 0 0 3 0 5 2 20 0 15 0 48546602 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 390 12400 0 0 4 0 5 2 20 0 15 0 48546602 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 3382 12400 0 0 4 0 5 2 20 0 15 0 48546603 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834741642208 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=14067516 CPUtime=3.5 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 11338 12400 0 0 342 1 5 2 20 0 15 0 48546607 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=14067516 CPUtime=3.25 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 6845 12400 0 0 316 2 5 2 20 0 15 0 48546607 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=14067516 CPUtime=1.79 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 6579 12400 0 0 170 2 5 2 20 0 15 0 48546607 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 23 12400 0 0 0 0 5 2 20 0 15 0 48546611 14405136384 98395 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 14.52
Current children cumulated vsize (KiB) 14067516
[startup+12.7008 s]
/proc/loadavg: 1.67 1.59 1.52 3/212 14490
/proc/meminfo: memFree=25764028/32770624 swapFree=0/509012
[pid=14427] ppid=14424 vsize=14067516 CPUtime=21.82 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 79626 12400 0 0 2134 41 5 2 20 0 15 0 48546577 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3516879 297607 3474 1 0 3505493 0
[pid=14427/tid=14477] ppid=14424 vsize=14067516 CPUtime=12.24 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 45998 12400 0 0 1193 24 5 2 20 0 15 0 48546601 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139835201215440 139834839910226 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 261 12400 0 0 6 2 5 2 20 0 15 0 48546602 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 127 12400 0 0 5 1 5 2 20 0 15 0 48546602 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 257 12400 0 0 5 1 5 2 20 0 15 0 48546602 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14067516 CPUtime=0.14 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 415 12400 0 0 6 1 5 2 20 0 15 0 48546602 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 3803 12400 0 0 5 1 5 2 20 0 15 0 48546603 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139834741642208 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 297607 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
################
# More data... #
################
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14067516 CPUtime=1.64 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 1650 12400 0 0 70 87 5 2 20 0 15 0 48546611 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 2365.76
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.38 1.34 1.45 3/209 14762
/proc/meminfo: memFree=28597812/32770624 swapFree=0/509492
[pid=14427] ppid=14424 vsize=14067516 CPUtime=2426.7 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 315884 12400 0 0 242262 401 5 2 20 0 15 0 48546577 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3516879 458938 3475 1 0 3505493 0
[pid=14427/tid=14477] ppid=14424 vsize=14067516 CPUtime=2354.17 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 123245 12400 0 0 235336 74 5 2 20 0 15 0 48546601 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835201215440 139834832448894 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14067516 CPUtime=12.58 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 28591 12400 0 0 1187 64 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14067516 CPUtime=12.57 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 40120 12400 0 0 1184 66 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14067516 CPUtime=12.58 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 29038 12400 0 0 1189 62 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14067516 CPUtime=12.56 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 26820 12400 0 0 1188 61 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14067516 CPUtime=11.66 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 29110 12400 0 0 1099 60 5 2 20 0 15 0 48546603 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834741642208 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=14067516 CPUtime=3.8 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 12822 12400 0 0 371 2 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=14067516 CPUtime=3.79 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 8099 12400 0 0 369 3 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=14067516 CPUtime=1.84 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 14117 12400 0 0 173 4 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 1662 12400 0 0 72 89 5 2 20 0 15 0 48546611 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 2426.7
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.50 1.39 1.46 3/213 14779
/proc/meminfo: memFree=28598440/32770624 swapFree=0/509516
[pid=14427] ppid=14424 vsize=14067516 CPUtime=2487.65 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 319263 12400 0 0 248349 409 5 2 20 0 15 0 48546577 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3516879 458938 3475 1 0 3505493 0
[pid=14427/tid=14477] ppid=14424 vsize=14067516 CPUtime=2413.43 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 125009 12400 0 0 241261 75 5 2 20 0 15 0 48546601 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835201215440 139834840207982 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14067516 CPUtime=12.93 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 28870 12400 0 0 1220 66 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14067516 CPUtime=12.9 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 40213 12400 0 0 1215 68 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14067516 CPUtime=12.91 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 29486 12400 0 0 1221 63 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14067516 CPUtime=12.9 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 27002 12400 0 0 1220 63 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14067516 CPUtime=11.97 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 29659 12400 0 0 1129 61 5 2 20 0 15 0 48546603 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834741642208 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=14067516 CPUtime=3.8 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 12828 12400 0 0 371 2 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=14067516 CPUtime=3.79 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 8105 12400 0 0 369 3 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=14067516 CPUtime=1.84 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 14123 12400 0 0 173 4 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14067516 CPUtime=1.72 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 1708 12400 0 0 74 91 5 2 20 0 15 0 48546611 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 2487.65
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.2 s]
/proc/loadavg: 1.38 1.37 1.45 3/213 14780
/proc/meminfo: memFree=28598664/32770624 swapFree=0/509516
[pid=14427] ppid=14424 vsize=14067516 CPUtime=2520.07 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 320726 12400 0 0 251587 413 5 2 20 0 15 0 48546577 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3516879 458938 3475 1 0 3505493 0
[pid=14427/tid=14477] ppid=14424 vsize=14067516 CPUtime=2444.92 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) R 14424 14427 1330 0 -1 4202560 125910 12400 0 0 244410 75 5 2 20 0 15 0 48546601 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835201215232 139834840467414 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14067516 CPUtime=13.11 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 29083 12400 0 0 1237 67 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14067516 CPUtime=13.09 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 40237 12400 0 0 1233 69 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14067516 CPUtime=13.1 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 29492 12400 0 0 1239 64 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14067516 CPUtime=13.08 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 27113 12400 0 0 1238 63 5 2 20 0 15 0 48546602 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14067516 CPUtime=12.13 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) S 14424 14427 1330 0 -1 1077944384 29854 12400 0 0 1145 61 5 2 20 0 15 0 48546603 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834742695920 139835196992130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 55 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834741642208 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 15 0 48546604 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=14067516 CPUtime=3.8 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 12831 12400 0 0 371 2 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=14067516 CPUtime=3.79 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 8107 12400 0 0 369 3 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=14067516 CPUtime=1.84 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 14125 12400 0 0 173 4 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834668591856 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 15 0 48546607 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14067516 CPUtime=1.74 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 1714 12400 0 0 75 92 5 2 20 0 15 0 48546611 14405136384 458938 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14067516
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 14427 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.4 s]
/proc/loadavg: 1.38 1.37 1.45 3/213 14780
/proc/meminfo: memFree=28598664/32770624 swapFree=0/509516
[pid=14427] ppid=14424 vsize=14200644 CPUtime=2520.6 cores=0,2,4,6
/proc/14427/stat : 14427 (java) S 14424 14427 1330 0 -1 1077944320 327178 12400 0 0 251638 415 5 2 20 0 17 0 48546577 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 140735422810544 139835196980983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
/proc/14427/statm: 3550161 460782 3475 1 0 3538775 0
[pid=14427/tid=14477] ppid=14424 vsize=14200644 CPUtime=2444.93 cores=0,2,4,6
/proc/14427/task/14477/stat : 14477 (java) S 14424 14427 1330 0 -1 1077944384 126084 12400 0 0 244411 75 5 2 20 0 17 0 48546601 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139835201218688 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14478] ppid=14424 vsize=14200644 CPUtime=13.22 cores=0,2,4,6
/proc/14427/task/14478/stat : 14478 (java) S 14424 14427 1330 0 -1 1077944384 29114 12400 0 0 1248 67 5 2 20 0 17 0 48546602 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139835153947408 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14479] ppid=14424 vsize=14200644 CPUtime=13.19 cores=0,2,4,6
/proc/14427/task/14479/stat : 14479 (java) S 14424 14427 1330 0 -1 1077944384 40263 12400 0 0 1243 69 5 2 20 0 17 0 48546602 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139835152894864 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14480] ppid=14424 vsize=14200644 CPUtime=13.2 cores=0,2,4,6
/proc/14427/task/14480/stat : 14480 (java) S 14424 14427 1330 0 -1 1077944384 29510 12400 0 0 1249 64 5 2 20 0 17 0 48546602 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139835151842320 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14481] ppid=14424 vsize=14200644 CPUtime=13.19 cores=0,2,4,6
/proc/14427/task/14481/stat : 14481 (java) S 14424 14427 1330 0 -1 1077944384 27132 12400 0 0 1249 63 5 2 20 0 17 0 48546602 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139835150789776 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14482] ppid=14424 vsize=14200644 CPUtime=12.21 cores=0,2,4,6
/proc/14427/task/14482/stat : 14482 (java) R 14424 14427 1330 0 -1 4202560 35777 12400 0 0 1152 62 5 2 20 0 17 0 48546603 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834742694320 139835181337123 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14483] ppid=14424 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14483/stat : 14483 (java) S 14424 14427 1330 0 -1 1077944384 57 12400 0 0 0 0 5 2 20 0 17 0 48546604 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834741641840 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14484] ppid=14424 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14484/stat : 14484 (java) S 14424 14427 1330 0 -1 1077944384 44 12400 0 0 0 0 5 2 20 0 17 0 48546604 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834672800768 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14485] ppid=14424 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14485/stat : 14485 (java) S 14424 14427 1330 0 -1 1077944384 77 12400 0 0 0 0 5 2 20 0 17 0 48546607 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834671749328 139835196999579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14486] ppid=14424 vsize=14200644 CPUtime=3.8 cores=0,2,4,6
/proc/14427/task/14486/stat : 14486 (java) S 14424 14427 1330 0 -1 1077944384 12831 12400 0 0 371 2 5 2 20 0 17 0 48546607 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834670696944 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14487] ppid=14424 vsize=14200644 CPUtime=3.79 cores=0,2,4,6
/proc/14427/task/14487/stat : 14487 (java) S 14424 14427 1330 0 -1 1077944384 8107 12400 0 0 369 3 5 2 20 0 17 0 48546607 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834669644400 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14488] ppid=14424 vsize=14200644 CPUtime=1.84 cores=0,2,4,6
/proc/14427/task/14488/stat : 14488 (java) S 14424 14427 1330 0 -1 1077944384 14201 12400 0 0 173 4 5 2 20 0 17 0 48546607 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834668587728 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14489] ppid=14424 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/14427/task/14489/stat : 14489 (java) S 14424 14427 1330 0 -1 1077944384 3 12400 0 0 0 0 5 2 20 0 17 0 48546607 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834667539552 139835196991189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
[pid=14427/tid=14490] ppid=14424 vsize=14200644 CPUtime=1.74 cores=0,2,4,6
/proc/14427/task/14490/stat : 14490 (java) S 14424 14427 1330 0 -1 1077944384 1714 12400 0 0 75 92 5 2 20 0 17 0 48546611 14541459456 460782 18446744073709551615 4194304 4196468 140735422828000 139834666486064 139835196992130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7008256 140735422830544 140735422833329 140735422833329 140735422836687 0
Current children cumulated CPU time (s) 2520.6
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2474.43
CPU time (s): 2520.67
CPU user time (s): 2516.48
CPU system time (s): 4.18929
CPU usage (%): 101.869
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 4.18929
maximum resident set size= 1843568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320641
involuntary context switches= 9095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5903 second user time and 14.6509 second system time
The end