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-4261932-1502440950/watcher-4261932-1502440950 -o /tmp/evaluation-result-4261932-1502440950/solver-4261932-1502440950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4261932-1502440950.xml
pid=18768
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: 2.50 2.19 1.89 3/195 18771
/proc/meminfo: memFree=27257628/32770624 swapFree=0/388648
[pid=18771] ppid=18768 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18771/stat : 18771 (runsolver) D 18768 18771 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 32435665 24240128 107 18446744073709551615 4194304 4338465 140735597569264 140735597566904 140695227486935 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11726848 140735597572305 140735597572681 140735597572681 140735597576138 0
/proc/18771/statm: 5918 107 54 36 0 2156 0
[startup+0.100018 s]
/proc/loadavg: 2.50 2.19 1.89 3/195 18771
/proc/meminfo: memFree=27257628/32770624 swapFree=0/388648
[pid=18771] ppid=18768 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/18771/stat : 18771 (bash) R 18768 18771 7434 0 -1 4202496 685 1544 0 0 0 0 0 0 20 0 1 0 32435665 9736192 352 18446744073709551615 4194304 5098028 140729265605152 140729265602792 139925928320000 0 0 5 65536 0 0 0 17 2 0 0 8 0 0 7196144 7232144 37138432 140729265607188 140729265607273 140729265607273 140729265610730 0
/proc/18771/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200247 s]
/proc/loadavg: 2.50 2.19 1.89 3/195 18771
/proc/meminfo: memFree=27257628/32770624 swapFree=0/388648
[pid=18771] ppid=18768 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/18771/stat : 18771 (bash) S 18768 18771 7434 0 -1 4202496 894 6485 0 0 0 0 0 1 20 0 1 0 32435665 9867264 377 18446744073709551615 4194304 5098028 140729265605152 140729265599160 139925928320000 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 37138432 140729265607188 140729265607273 140729265607273 140729265610730 0
/proc/18771/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300355 s]
/proc/loadavg: 2.50 2.19 1.89 3/195 18771
/proc/meminfo: memFree=27257628/32770624 swapFree=0/388648
[pid=18771] ppid=18768 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 5879 12743 0 0 5 1 5 2 20 0 14 0 32435665 14241083392 5495 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3476827 5495 2601 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700994 s]
/proc/loadavg: 2.50 2.19 1.89 3/195 18771
/proc/meminfo: memFree=27257628/32770624 swapFree=0/388648
[pid=18771] ppid=18768 vsize=13974784 CPUtime=0.62 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 13671 12743 0 0 51 4 5 2 20 0 15 0 32435665 14310178816 14109 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3493696 14109 3092 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784
[startup+1.50514 s]
/proc/loadavg: 2.50 2.19 1.89 3/210 18835
/proc/meminfo: memFree=27166216/32770624 swapFree=0/388644
[pid=18771] ppid=18768 vsize=13985408 CPUtime=1.83 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 25679 12743 0 0 168 8 5 2 20 0 15 0 32435665 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3496352 33982 3340 1 0 3485525 0
[pid=18771/tid=18821] ppid=18768 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 20484 12743 0 0 114 6 5 2 20 0 15 0 32435687 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140523430076304 140523409937758 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 1 12743 0 0 0 0 5 2 20 0 15 0 32435688 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 1 12743 0 0 0 0 5 2 20 0 15 0 32435688 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 1 12743 0 0 0 0 5 2 20 0 15 0 32435688 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 2 12743 0 0 0 0 5 2 20 0 15 0 32435688 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 6 12743 0 0 0 0 5 2 20 0 15 0 32435689 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 33 12743 0 0 0 0 5 2 20 0 15 0 32435690 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522341594016 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 21 12743 0 0 0 0 5 2 20 0 15 0 32435690 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522340541424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 617 12743 0 0 12 0 5 2 20 0 15 0 32435693 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 1077 12743 0 0 17 0 5 2 20 0 15 0 32435693 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) R 18768 18771 7434 0 -1 4202560 1275 12743 0 0 22 0 5 2 20 0 15 0 32435693 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425869206 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435699 14321057792 33982 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10099 s]
/proc/loadavg: 2.50 2.19 1.89 4/210 18835
/proc/meminfo: memFree=27083636/32770624 swapFree=0/388644
[pid=18771] ppid=18768 vsize=13997884 CPUtime=5.96 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 36291 12743 0 0 575 14 5 2 20 0 15 0 32435665 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3499471 54613 3441 1 0 3488085 0
[pid=18771/tid=18821] ppid=18768 vsize=13997884 CPUtime=2.83 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 24394 12743 0 0 268 8 5 2 20 0 15 0 32435687 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140523430084736 140523404278138 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 45 12743 0 0 0 0 5 2 20 0 15 0 32435688 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 35 12743 0 0 0 0 5 2 20 0 15 0 32435688 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 189 12743 0 0 1 0 5 2 20 0 15 0 32435688 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 43 12743 0 0 1 0 5 2 20 0 15 0 32435688 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 649 12743 0 0 1 0 5 2 20 0 15 0 32435689 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 56 12743 0 0 0 0 5 2 20 0 15 0 32435690 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522341594016 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 43 12743 0 0 0 0 5 2 20 0 15 0 32435690 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522340541424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=13997884 CPUtime=1.08 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) R 18768 18771 7434 0 -1 4202560 2500 12743 0 0 100 1 5 2 20 0 15 0 32435693 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522338413712 140523409353781 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=13997884 CPUtime=0.97 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) R 18768 18771 7434 0 -1 4202560 2007 12743 0 0 89 1 5 2 20 0 15 0 32435693 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522001774576 140523410249779 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=13997884 CPUtime=1.18 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) R 18768 18771 7434 0 -1 1077944384 4168 12743 0 0 110 1 5 2 20 0 15 0 32435693 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425868418 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435699 14333833216 54613 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13997884
[startup+6.30075 s]
/proc/loadavg: 2.62 2.22 1.90 3/210 18835
/proc/meminfo: memFree=26964540/32770624 swapFree=0/388652
[pid=18771] ppid=18768 vsize=13999932 CPUtime=11.31 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 54209 12743 0 0 1106 18 5 2 20 0 15 0 32435665 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3499983 77921 3451 1 0 3488597 0
[pid=18771/tid=18821] ppid=18768 vsize=13999932 CPUtime=5.9 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 28053 12743 0 0 573 10 5 2 20 0 15 0 32435687 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140523430088488 140523037623569 0 4 1 16800974 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 65 12743 0 0 2 1 5 2 20 0 15 0 32435688 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 163 12743 0 0 2 0 5 2 20 0 15 0 32435688 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 616 12743 0 0 2 0 5 2 20 0 15 0 32435688 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 60 12743 0 0 2 0 5 2 20 0 15 0 32435688 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 774 12743 0 0 2 0 5 2 20 0 15 0 32435689 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 61 12743 0 0 0 0 5 2 20 0 15 0 32435690 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522341594080 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 48 12743 0 0 0 0 5 2 20 0 15 0 32435690 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=13999932 CPUtime=1.97 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 8058 12743 0 0 189 1 5 2 20 0 15 0 32435693 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=13999932 CPUtime=1.95 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 7841 12743 0 0 187 1 5 2 20 0 15 0 32435693 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=13999932 CPUtime=1.48 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) S 18768 18771 7434 0 -1 1077944384 6294 12743 0 0 140 1 5 2 20 0 15 0 32435693 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 17 12743 0 0 0 0 5 2 20 0 15 0 32435699 14335930368 77921 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 13999932
[startup+12.7008 s]
/proc/loadavg: 2.81 2.26 1.91 3/210 18835
/proc/meminfo: memFree=26875852/32770624 swapFree=0/388652
[pid=18771] ppid=18768 vsize=13999932 CPUtime=18.23 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 64539 12743 0 0 1792 24 5 2 20 0 15 0 32435665 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3499983 97545 3463 1 0 3488597 0
[pid=18771/tid=18821] ppid=18768 vsize=13999932 CPUtime=12.25 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 29999 12743 0 0 1208 10 5 2 20 0 15 0 32435687 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140523430088648 140523037623564 0 4 1 16800974 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 520 12743 0 0 4 2 5 2 20 0 15 0 32435688 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=13999932 CPUtime=0.12 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 217 12743 0 0 4 1 5 2 20 0 15 0 32435688 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=13999932 CPUtime=0.12 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 771 12743 0 0 4 1 5 2 20 0 15 0 32435688 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 935 12743 0 0 5 1 5 2 20 0 15 0 32435688 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 1062 12743 0 0 3 0 5 2 20 0 15 0 32435689 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 61 12743 0 0 0 0 5 2 20 0 15 0 32435690 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140522341594080 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 48 12743 0 0 0 0 5 2 20 0 15 0 32435690 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14335930368 97545 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
################
# More data... #
################
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 403839 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=14069564 CPUtime=1.56 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 1431 12743 0 0 75 74 5 2 20 0 15 0 32435699 14407233536 403839 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 2364.64
Current children cumulated vsize (KiB) 14069564
[startup+2382.3 s]
/proc/loadavg: 1.62 1.50 1.50 3/209 19125
/proc/meminfo: memFree=29352184/32770624 swapFree=0/389776
[pid=18771] ppid=18768 vsize=14069564 CPUtime=2425.61 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 332153 12743 0 0 242198 356 5 2 20 0 15 0 32435665 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3517391 404863 3479 1 0 3506005 0
[pid=18771/tid=18821] ppid=18768 vsize=14069564 CPUtime=2357.69 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 112120 12743 0 0 235707 55 5 2 20 0 15 0 32435687 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140523430091632 140523029194864 0 4 1 16800974 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=14069564 CPUtime=11.48 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 40043 12743 0 0 1081 60 5 2 20 0 15 0 32435688 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=14069564 CPUtime=11.49 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 28618 12743 0 0 1086 56 5 2 20 0 15 0 32435688 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=14069564 CPUtime=11.5 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 30230 12743 0 0 1084 59 5 2 20 0 15 0 32435688 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=14069564 CPUtime=11.46 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 29880 12743 0 0 1082 57 5 2 20 0 15 0 32435688 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=14069564 CPUtime=10.09 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 28503 12743 0 0 948 54 5 2 20 0 15 0 32435689 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 65 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522341594144 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 51 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=14069564 CPUtime=4.64 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 23925 12743 0 0 454 3 5 2 20 0 15 0 32435693 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 17005 12743 0 0 400 3 5 2 20 0 15 0 32435693 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=14069564 CPUtime=2.11 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) S 18768 18771 7434 0 -1 1077944384 18098 12743 0 0 201 3 5 2 20 0 15 0 32435693 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=14069564 CPUtime=1.59 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 1456 12743 0 0 77 75 5 2 20 0 15 0 32435699 14407233536 404863 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 2425.61
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.44 1.47 1.49 3/209 19127
/proc/meminfo: memFree=28675616/32770624 swapFree=0/389860
[pid=18771] ppid=18768 vsize=14069564 CPUtime=2486.59 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 337172 12743 0 0 248286 366 5 2 20 0 15 0 32435665 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3517391 405887 3479 1 0 3506005 0
[pid=18771/tid=18821] ppid=18768 vsize=14069564 CPUtime=2416.99 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 113579 12743 0 0 241637 55 5 2 20 0 15 0 32435687 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140523430091632 140523043176229 0 4 1 16800974 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=14069564 CPUtime=11.82 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 41267 12743 0 0 1113 62 5 2 20 0 15 0 32435688 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=14069564 CPUtime=11.84 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 29334 12743 0 0 1119 58 5 2 20 0 15 0 32435688 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=14069564 CPUtime=11.84 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 30951 12743 0 0 1116 61 5 2 20 0 15 0 32435688 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=14069564 CPUtime=11.8 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 30078 12743 0 0 1114 59 5 2 20 0 15 0 32435688 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=14069564 CPUtime=10.36 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 29164 12743 0 0 974 55 5 2 20 0 15 0 32435689 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 65 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522341594144 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 51 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=14069564 CPUtime=4.64 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 23927 12743 0 0 454 3 5 2 20 0 15 0 32435693 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 17009 12743 0 0 400 3 5 2 20 0 15 0 32435693 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=14069564 CPUtime=2.11 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) S 18768 18771 7434 0 -1 1077944384 18100 12743 0 0 201 3 5 2 20 0 15 0 32435693 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=14069564 CPUtime=1.63 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 1488 12743 0 0 79 77 5 2 20 0 15 0 32435699 14407233536 405887 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 2486.59
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.2 s]
/proc/loadavg: 1.49 1.48 1.50 3/210 19129
/proc/meminfo: memFree=28696696/32770624 swapFree=0/389856
[pid=18771] ppid=18768 vsize=14069564 CPUtime=2520.02 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 340274 12743 0 0 251624 371 5 2 20 0 15 0 32435665 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3517391 406399 3479 1 0 3506005 0
[pid=18771/tid=18821] ppid=18768 vsize=14069564 CPUtime=2449.52 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) R 18768 18771 7434 0 -1 4202560 114221 12743 0 0 244889 56 5 2 20 0 15 0 32435687 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140523430091520 140523029196199 0 4 1 16800974 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=14069564 CPUtime=12 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 42843 12743 0 0 1130 63 5 2 20 0 15 0 32435688 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=14069564 CPUtime=12.02 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) S 18768 18771 7434 0 -1 1077944384 29518 12743 0 0 1136 59 5 2 20 0 15 0 32435688 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=14069564 CPUtime=12.02 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 31099 12743 0 0 1133 62 5 2 20 0 15 0 32435688 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=14069564 CPUtime=11.99 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 30263 12743 0 0 1132 60 5 2 20 0 15 0 32435688 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=14069564 CPUtime=10.51 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 29513 12743 0 0 988 56 5 2 20 0 15 0 32435689 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) S 18768 18771 7434 0 -1 1077944384 65 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522341594144 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) S 18768 18771 7434 0 -1 1077944384 51 12743 0 0 0 0 5 2 20 0 15 0 32435690 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=14069564 CPUtime=4.64 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 23929 12743 0 0 454 3 5 2 20 0 15 0 32435693 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 17012 12743 0 0 400 3 5 2 20 0 15 0 32435693 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=14069564 CPUtime=2.11 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) S 18768 18771 7434 0 -1 1077944384 18102 12743 0 0 201 3 5 2 20 0 15 0 32435693 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140522000734960 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 15 0 32435693 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=14069564 CPUtime=1.65 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 1499 12743 0 0 80 78 5 2 20 0 15 0 32435699 14407233536 406399 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 14069564
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 18771 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.4 s]
/proc/loadavg: 1.49 1.48 1.50 3/210 19129
/proc/meminfo: memFree=28696696/32770624 swapFree=0/389856
[pid=18771] ppid=18768 vsize=14202692 CPUtime=2520.5 cores=0,2,4,6
/proc/18771/stat : 18771 (java) S 18768 18771 7434 0 -1 1077944320 353236 12743 0 0 251671 372 5 2 20 0 17 0 32435665 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140734665708832 140523425857271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
/proc/18771/statm: 3550673 408101 3487 1 0 3539287 0
[pid=18771/tid=18821] ppid=18768 vsize=14202692 CPUtime=2449.53 cores=0,2,4,6
/proc/18771/task/18821/stat : 18821 (java) S 18768 18771 7434 0 -1 1077944384 115351 12743 0 0 244890 56 5 2 20 0 17 0 32435687 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140523430094816 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18822] ppid=18768 vsize=14202692 CPUtime=12.09 cores=0,2,4,6
/proc/18771/task/18822/stat : 18822 (java) S 18768 18771 7434 0 -1 1077944384 42871 12743 0 0 1139 63 5 2 20 0 17 0 32435688 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140523345271568 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18823] ppid=18768 vsize=14202692 CPUtime=12.12 cores=0,2,4,6
/proc/18771/task/18823/stat : 18823 (java) R 18768 18771 7434 0 -1 1077944384 29530 12743 0 0 1146 59 5 2 20 0 17 0 32435688 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140523025197968 140523425867477 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18824] ppid=18768 vsize=14202692 CPUtime=12.11 cores=0,2,4,6
/proc/18771/task/18824/stat : 18824 (java) S 18768 18771 7434 0 -1 1077944384 31121 12743 0 0 1142 62 5 2 20 0 17 0 32435688 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140523024145424 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18825] ppid=18768 vsize=14202692 CPUtime=12.08 cores=0,2,4,6
/proc/18771/task/18825/stat : 18825 (java) S 18768 18771 7434 0 -1 1077944384 30280 12743 0 0 1141 60 5 2 20 0 17 0 32435688 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140523023092880 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18826] ppid=18768 vsize=14202692 CPUtime=10.61 cores=0,2,4,6
/proc/18771/task/18826/stat : 18826 (java) S 18768 18771 7434 0 -1 1077944384 39941 12743 0 0 997 57 5 2 20 0 17 0 32435689 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522342647792 140523425868418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18827] ppid=18768 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18827/stat : 18827 (java) R 18768 18771 7434 0 -1 4202560 67 12743 0 0 0 0 5 2 20 0 17 0 32435690 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522341594224 140523425878618 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18828] ppid=18768 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18828/stat : 18828 (java) R 18768 18771 7434 0 -1 4202560 52 12743 0 0 0 0 5 2 20 0 17 0 32435690 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522340541440 140523425878618 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18829] ppid=18768 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18829/stat : 18829 (java) S 18768 18771 7434 0 -1 1077944384 252 12743 0 0 0 0 5 2 20 0 17 0 32435693 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522339490000 140523425875867 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18830] ppid=18768 vsize=14202692 CPUtime=4.64 cores=0,2,4,6
/proc/18771/task/18830/stat : 18830 (java) S 18768 18771 7434 0 -1 1077944384 23929 12743 0 0 454 3 5 2 20 0 17 0 32435693 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522338437616 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18831] ppid=18768 vsize=14202692 CPUtime=4.1 cores=0,2,4,6
/proc/18771/task/18831/stat : 18831 (java) S 18768 18771 7434 0 -1 1077944384 17012 12743 0 0 400 3 5 2 20 0 17 0 32435693 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522001787504 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18833] ppid=18768 vsize=14202692 CPUtime=2.11 cores=0,2,4,6
/proc/18771/task/18833/stat : 18833 (java) R 18768 18771 7434 0 -1 4202560 18806 12743 0 0 201 3 5 2 20 0 17 0 32435693 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140522000734528 140523418091375 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18834] ppid=18768 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/18771/task/18834/stat : 18834 (java) S 18768 18771 7434 0 -1 1077944384 3 12743 0 0 0 0 5 2 20 0 17 0 32435693 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140521999682656 140523425867477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
[pid=18771/tid=18835] ppid=18768 vsize=14202692 CPUtime=1.65 cores=0,2,4,6
/proc/18771/task/18835/stat : 18835 (java) S 18768 18771 7434 0 -1 1077944384 1499 12743 0 0 80 78 5 2 20 0 17 0 32435699 14543556608 408101 18446744073709551615 4194304 4196468 140734665726288 140521998629168 140523425868418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 17928192 140734665730000 140734665732785 140734665732785 140734665736143 0
Current children cumulated CPU time (s) 2520.5
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2475.43
CPU time (s): 2520.55
CPU user time (s): 2516.78
CPU system time (s): 3.76952
CPU usage (%): 101.823
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.78
system time used= 3.76952
maximum resident set size= 1685912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283467
involuntary context switches= 8297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9376 second user time and 15.5068 second system time
The end