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-4262606-1502432549/watcher-4262606-1502432549 -o /tmp/evaluation-result-4262606-1502432549/solver-4262606-1502432549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262606-1502432549.xml
pid=13724
running on 4 cores: 1,3,5,7
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.47 1.64 1.56 2/195 13727
/proc/meminfo: memFree=27985436/32770624 swapFree=0/381668
[pid=13727] ppid=13724 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13727/stat : 13727 (runsolver) D 13724 13727 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 31595556 24240128 106 18446744073709551615 4194304 4338465 140734945626032 140734945623672 140647927198423 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15077376 140734945628369 140734945628745 140734945628745 140734945632202 0
/proc/13727/statm: 5918 106 53 36 0 2156 0
[startup+0.100163 s]
/proc/loadavg: 1.47 1.64 1.56 2/195 13727
/proc/meminfo: memFree=27985436/32770624 swapFree=0/381668
[pid=13727] ppid=13724 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13727/stat : 13727 (runsolver) D 13724 13727 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 31595556 24240128 106 18446744073709551615 4194304 4338465 140734945626032 140734945623672 140647927198423 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15077376 140734945628369 140734945628745 140734945628745 140734945632202 0
/proc/13727/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200223 s]
/proc/loadavg: 1.47 1.64 1.56 2/195 13727
/proc/meminfo: memFree=27985436/32770624 swapFree=0/381668
[pid=13727] ppid=13724 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13727/stat : 13727 (bash) S 13724 13727 7434 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 31595556 9867264 377 18446744073709551615 4194304 5098028 140732884870368 140732884864376 140465118792704 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 16 0 0 7196144 7232144 16080896 140732884873748 140732884873833 140732884873833 140732884877290 0
/proc/13727/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.30027 s]
/proc/loadavg: 1.47 1.64 1.56 2/195 13727
/proc/meminfo: memFree=27985436/32770624 swapFree=0/381668
[pid=13727] ppid=13724 vsize=13356508 CPUtime=0.08 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 3394 12358 0 0 0 0 5 3 20 0 6 0 31595556 13677064192 2667 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3339127 2667 1204 1 0 3329097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13356508
[startup+0.700278 s]
/proc/loadavg: 1.47 1.64 1.56 2/195 13727
/proc/meminfo: memFree=27985436/32770624 swapFree=0/381668
[pid=13727] ppid=13724 vsize=13974784 CPUtime=0.55 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 12997 12358 0 0 43 4 5 3 20 0 15 0 31595556 14310178816 13308 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3493696 13308 3068 1 0 3482965 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13974784
[startup+1.50063 s]
/proc/loadavg: 1.47 1.64 1.56 3/210 13790
/proc/meminfo: memFree=27928892/32770624 swapFree=0/381708
[pid=13727] ppid=13724 vsize=13985408 CPUtime=1.74 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 27305 12358 0 0 159 7 5 3 20 0 15 0 31595556 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3496352 33155 3336 1 0 3485525 0
[pid=13727/tid=13777] ppid=13724 vsize=13985408 CPUtime=1.23 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 22036 12358 0 0 110 5 5 3 20 0 15 0 31595585 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140058417630480 140058406507691 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 1 12358 0 0 0 0 5 3 20 0 15 0 31595586 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 2 12358 0 0 0 0 5 3 20 0 15 0 31595586 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 1 12358 0 0 0 0 5 3 20 0 15 0 31595586 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 2 12358 0 0 0 0 5 3 20 0 15 0 31595586 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 5 12358 0 0 0 0 5 3 20 0 15 0 31595587 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 34 12358 0 0 0 0 5 3 20 0 15 0 31595587 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057958118816 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 21 12358 0 0 0 0 5 3 20 0 15 0 31595588 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057957066224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 915 12358 0 0 13 0 5 3 20 0 15 0 31595590 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057954961392 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) S 13724 13727 7434 0 -1 1077944384 805 12358 0 0 13 0 5 3 20 0 15 0 31595590 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057953908848 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 1312 12358 0 0 21 0 5 3 20 0 15 0 31595590 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 10 12358 0 0 0 0 5 3 20 0 15 0 31595595 14321057792 33155 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 13985408
[startup+3.10154 s]
/proc/loadavg: 1.47 1.64 1.56 2/210 13790
/proc/meminfo: memFree=27858876/32770624 swapFree=0/381740
[pid=13727] ppid=13724 vsize=13995836 CPUtime=5.34 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 38912 12358 0 0 511 15 5 3 20 0 15 0 31595556 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3498959 69905 3462 1 0 3487573 0
[pid=13727/tid=13777] ppid=13724 vsize=13995836 CPUtime=2.61 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 25996 12358 0 0 246 7 5 3 20 0 15 0 31595585 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140058417642704 140058397488478 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 62 12358 0 0 1 0 5 3 20 0 15 0 31595586 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 89 12358 0 0 1 0 5 3 20 0 15 0 31595586 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 330 12358 0 0 1 0 5 3 20 0 15 0 31595586 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 67 12358 0 0 1 0 5 3 20 0 15 0 31595586 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 1532 12358 0 0 1 0 5 3 20 0 15 0 31595587 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 57 12358 0 0 0 0 5 3 20 0 15 0 31595587 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 43 12358 0 0 0 0 5 3 20 0 15 0 31595588 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) R 13724 13727 7434 0 -1 4202560 2379 12358 0 0 84 1 5 3 20 0 15 0 31595590 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057954952720 140058399018821 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=13995836 CPUtime=0.92 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) R 13724 13727 7434 0 -1 4202560 2130 12358 0 0 84 0 5 3 20 0 15 0 31595590 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057953895416 140058390943248 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 4051 12358 0 0 84 1 5 3 20 0 15 0 31595590 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 15 12358 0 0 0 0 5 3 20 0 15 0 31595595 14331736064 69905 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 13995836
[startup+6.3037 s]
/proc/loadavg: 1.59 1.67 1.57 5/210 13790
/proc/meminfo: memFree=27758264/32770624 swapFree=0/381740
[pid=13727] ppid=13724 vsize=13999932 CPUtime=14.4 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 52914 12358 0 0 1409 23 5 3 20 0 15 0 31595556 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3499983 92305 3474 1 0 3488597 0
[pid=13727/tid=13777] ppid=13724 vsize=13999932 CPUtime=5.72 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 36067 12358 0 0 555 9 5 3 20 0 15 0 31595585 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140058417643152 140058029003335 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=13999932 CPUtime=0.15 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 87 12358 0 0 5 2 5 3 20 0 15 0 31595586 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=13999932 CPUtime=0.15 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 107 12358 0 0 5 2 5 3 20 0 15 0 31595586 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=13999932 CPUtime=0.14 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 347 12358 0 0 5 1 5 3 20 0 15 0 31595586 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 86 12358 0 0 4 1 5 3 20 0 15 0 31595586 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 1575 12358 0 0 2 0 5 3 20 0 15 0 31595587 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 57 12358 0 0 0 0 5 3 20 0 15 0 31595587 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 43 12358 0 0 0 0 5 3 20 0 15 0 31595588 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=13999932 CPUtime=3.49 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 3310 12358 0 0 340 1 5 3 20 0 15 0 31595590 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057954961392 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=13999932 CPUtime=3.54 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) R 13724 13727 7434 0 -1 4202560 3165 12358 0 0 346 0 5 3 20 0 15 0 31595590 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057953886816 140058413429338 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=13999932 CPUtime=1.51 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 5890 12358 0 0 141 2 5 3 20 0 15 0 31595590 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 18 12358 0 0 0 0 5 3 20 0 15 0 31595595 14335930368 92305 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.70 1.69 1.58 3/210 13790
/proc/meminfo: memFree=27359956/32770624 swapFree=0/381740
[pid=13727] ppid=13724 vsize=14067516 CPUtime=26.96 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 84780 12358 0 0 2641 47 5 3 20 0 15 0 31595556 14405136384 248805 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3516879 248805 3485 1 0 3505493 0
[pid=13727/tid=13777] ppid=13724 vsize=14067516 CPUtime=11.94 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 45845 12358 0 0 1169 17 5 3 20 0 15 0 31595585 14405136384 248805 18446744073709551615 4194304 4196468 140730919705360 140058417639120 140058046516601 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=14067516 CPUtime=0.29 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 165 12358 0 0 16 5 5 3 20 0 15 0 31595586 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 505 12358 0 0 15 4 5 3 20 0 15 0 31595586 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=14067516 CPUtime=0.28 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 542 12358 0 0 16 4 5 3 20 0 15 0 31595586 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=14067516 CPUtime=0.26 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 1074 12358 0 0 14 4 5 3 20 0 15 0 31595586 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 2728 12358 0 0 5 0 5 3 20 0 15 0 31595587 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 66 12358 0 0 0 0 5 3 20 0 15 0 31595587 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 31595588 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=14067516 CPUtime=5.96 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 12922 12358 0 0 585 3 5 3 20 0 15 0 31595590 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057954961392 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=14067516 CPUtime=6.17 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) S 13724 13727 7434 0 -1 1077944384 9774 12358 0 0 607 2 5 3 20 0 15 0 31595590 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057953908848 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=14067516 CPUtime=2.18 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 8359 12358 0 0 207 3 5 3 20 0 15 0 31595590 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 584 12358 0 0 0 0 5 3 20 0 15 0 31595595 14405136384 249317 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 26.96
Current children cumulated vsize (KiB) 14067516
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13727 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 1.70 1.69 1.58 3/210 13790
/proc/meminfo: memFree=27359956/32770624 swapFree=0/381740
[pid=13727] ppid=13724 vsize=14067516 CPUtime=27.06 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 84909 12358 0 0 2651 47 5 3 20 0 15 0 31595556 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3516879 249383 3485 1 0 3505493 0
[pid=13727/tid=13777] ppid=13724 vsize=14067516 CPUtime=12.04 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 45848 12358 0 0 1179 17 5 3 20 0 15 0 31595585 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140058417641952 140058046725036 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=14067516 CPUtime=0.29 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 165 12358 0 0 16 5 5 3 20 0 15 0 31595586 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 505 12358 0 0 15 4 5 3 20 0 15 0 31595586 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=14067516 CPUtime=0.28 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 542 12358 0 0 16 4 5 3 20 0 15 0 31595586 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=14067516 CPUtime=0.26 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 1074 12358 0 0 14 4 5 3 20 0 15 0 31595586 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 2854 12358 0 0 6 0 5 3 20 0 15 0 31595587 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 66 12358 0 0 0 0 5 3 20 0 15 0 31595587 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 31595588 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=14067516 CPUtime=5.96 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 12922 12358 0 0 585 3 5 3 20 0 15 0 31595590 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057954961392 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=14067516 CPUtime=6.17 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) S 13724 13727 7434 0 -1 1077944384 9774 12358 0 0 607 2 5 3 20 0 15 0 31595590 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057953908848 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=14067516 CPUtime=2.18 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 8359 12358 0 0 207 3 5 3 20 0 15 0 31595590 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 584 12358 0 0 0 0 5 3 20 0 15 0 31595595 14405136384 249383 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 27.06
Current children cumulated vsize (KiB) 14067516
[startup+13.2014 s]
/proc/loadavg: 1.73 1.69 1.58 3/210 13790
/proc/meminfo: memFree=27181980/32770624 swapFree=0/381736
[pid=13727] ppid=13724 vsize=14067516 CPUtime=27.56 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 87257 12358 0 0 2700 48 5 3 20 0 15 0 31595556 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3516879 251099 3485 1 0 3505493 0
[pid=13727/tid=13777] ppid=13724 vsize=14067516 CPUtime=12.42 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) S 13724 13727 7434 0 -1 1077944384 46519 12358 0 0 1217 17 5 3 20 0 15 0 31595585 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140058417645776 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=14067516 CPUtime=0.31 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 217 12358 0 0 18 5 5 3 20 0 15 0 31595586 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=14067516 CPUtime=0.29 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 634 12358 0 0 17 4 5 3 20 0 15 0 31595586 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=14067516 CPUtime=0.31 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 586 12358 0 0 18 5 5 3 20 0 15 0 31595586 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=14067516 CPUtime=0.28 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 1103 12358 0 0 16 4 5 3 20 0 15 0 31595586 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) R 13724 13727 7434 0 -1 4202560 3345 12358 0 0 6 0 5 3 20 0 15 0 31595587 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057959170992 140058397785024 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 66 12358 0 0 0 0 5 3 20 0 15 0 31595587 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 31595588 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=14067516 CPUtime=5.97 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 13094 12358 0 0 586 3 5 3 20 0 15 0 31595590 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057954944912 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=14067516 CPUtime=6.18 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) S 13724 13727 7434 0 -1 1077944384 9802 12358 0 0 608 2 5 3 20 0 15 0 31595590 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057953891776 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=14067516 CPUtime=2.19 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 9307 12358 0 0 208 3 5 3 20 0 15 0 31595590 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057952851680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 584 12358 0 0 0 0 5 3 20 0 15 0 31595595 14405136384 251099 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 27.56
Current children cumulated vsize (KiB) 14067516
[startup+13.6015 s]
/proc/loadavg: 1.73 1.69 1.58 3/210 13790
/proc/meminfo: memFree=27181980/32770624 swapFree=0/381736
[pid=13727] ppid=13724 vsize=14067516 CPUtime=28.87 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 95506 12358 0 0 2830 49 5 3 20 0 15 0 31595556 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3516879 251402 3485 1 0 3505493 0
[pid=13727/tid=13777] ppid=13724 vsize=14067516 CPUtime=12.42 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) S 13724 13727 7434 0 -1 1077944384 46521 12358 0 0 1217 17 5 3 20 0 15 0 31595585 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140058417645776 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=14067516 CPUtime=0.61 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) R 13724 13727 7434 0 -1 4202560 234 12358 0 0 48 5 5 3 20 0 15 0 31595586 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058398358596 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=14067516 CPUtime=0.6 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) R 13724 13727 7434 0 -1 4202560 641 12358 0 0 48 4 5 3 20 0 15 0 31595586 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140058012858656 140058398105766 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=14067516 CPUtime=0.61 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) R 13724 13727 7434 0 -1 4202560 595 12358 0 0 48 5 5 3 20 0 15 0 31595586 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058398105630 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=14067516 CPUtime=0.59 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) R 13724 13727 7434 0 -1 4202560 1113 12358 0 0 47 4 5 3 20 0 15 0 31595586 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140058010753880 140058398105630 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=14067516 CPUtime=0.22 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 11319 12358 0 0 14 0 5 3 20 0 15 0 31595587 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057959170992 140058413418197 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 66 12358 0 0 0 0 5 3 20 0 15 0 31595587 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057958118416 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 31595588 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=14067516 CPUtime=5.98 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 13101 12358 0 0 587 3 5 3 20 0 15 0 31595590 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057954945152 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=14067516 CPUtime=6.18 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) S 13724 13727 7434 0 -1 1077944384 9802 12358 0 0 608 2 5 3 20 0 15 0 31595590 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057953892960 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=14067516 CPUtime=2.19 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 9314 12358 0 0 208 3 5 3 20 0 15 0 31595590 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057952853808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 584 12358 0 0 0 0 5 3 20 0 15 0 31595595 14405136384 251402 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 28.87
Current children cumulated vsize (KiB) 14067516
[startup+13.7007 s]
/proc/loadavg: 1.73 1.69 1.58 3/210 13790
/proc/meminfo: memFree=27181980/32770624 swapFree=0/381736
[pid=13727] ppid=13724 vsize=14067516 CPUtime=29.16 cores=1,3,5,7
/proc/13727/stat : 13727 (java) S 13724 13727 7434 0 -1 1077944320 96979 12358 0 0 2859 49 5 3 20 0 15 0 31595556 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140730919687904 140058413407991 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 16 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
/proc/13727/statm: 3516879 251464 3485 1 0 3505493 0
[pid=13727/tid=13777] ppid=13724 vsize=14067516 CPUtime=12.47 cores=1,3,5,7
/proc/13727/task/13777/stat : 13777 (java) R 13724 13727 7434 0 -1 4202560 47217 12358 0 0 1222 17 5 3 20 0 15 0 31595585 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140058417641584 140058044659714 0 4 1 16800974 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13778] ppid=13724 vsize=14067516 CPUtime=0.63 cores=1,3,5,7
/proc/13727/task/13778/stat : 13778 (java) S 13724 13727 7434 0 -1 1077944384 234 12358 0 0 50 5 5 3 20 0 15 0 31595586 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140058347841808 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13779] ppid=13724 vsize=14067516 CPUtime=0.62 cores=1,3,5,7
/proc/13727/task/13779/stat : 13779 (java) S 13724 13727 7434 0 -1 1077944384 641 12358 0 0 50 4 5 3 20 0 15 0 31595586 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140058012858768 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13780] ppid=13724 vsize=14067516 CPUtime=0.64 cores=1,3,5,7
/proc/13727/task/13780/stat : 13780 (java) S 13724 13727 7434 0 -1 1077944384 595 12358 0 0 51 5 5 3 20 0 15 0 31595586 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140058011806224 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13781] ppid=13724 vsize=14067516 CPUtime=0.62 cores=1,3,5,7
/proc/13727/task/13781/stat : 13781 (java) S 13724 13727 7434 0 -1 1077944384 1113 12358 0 0 50 4 5 3 20 0 15 0 31595586 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140058010753680 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13782] ppid=13724 vsize=14067516 CPUtime=0.24 cores=1,3,5,7
/proc/13727/task/13782/stat : 13782 (java) S 13724 13727 7434 0 -1 1077944384 11320 12358 0 0 16 0 5 3 20 0 15 0 31595587 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057959172592 140058413419138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13783] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13783/stat : 13783 (java) S 13724 13727 7434 0 -1 1077944384 66 12358 0 0 0 0 5 3 20 0 15 0 31595587 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057958118880 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13784] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13784/stat : 13784 (java) S 13724 13727 7434 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 31595588 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057957066240 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13785] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13785/stat : 13785 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057956014800 140058413426587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13786] ppid=13724 vsize=14067516 CPUtime=6.03 cores=1,3,5,7
/proc/13727/task/13786/stat : 13786 (java) S 13724 13727 7434 0 -1 1077944384 13332 12358 0 0 592 3 5 3 20 0 15 0 31595590 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057954961392 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13787] ppid=13724 vsize=14067516 CPUtime=6.23 cores=1,3,5,7
/proc/13727/task/13787/stat : 13787 (java) R 13724 13727 7434 0 -1 4202560 10096 12358 0 0 613 2 5 3 20 0 15 0 31595590 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057953900176 140058393261595 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13788] ppid=13724 vsize=14067516 CPUtime=2.21 cores=1,3,5,7
/proc/13727/task/13788/stat : 13788 (java) S 13724 13727 7434 0 -1 1077944384 9565 12358 0 0 210 3 5 3 20 0 15 0 31595590 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057952856304 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13789] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13789/stat : 13789 (java) S 13724 13727 7434 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 31595590 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057951804000 140058413418197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
[pid=13727/tid=13790] ppid=13724 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/13727/task/13790/stat : 13790 (java) S 13724 13727 7434 0 -1 1077944384 584 12358 0 0 0 0 5 3 20 0 15 0 31595595 14405136384 251464 18446744073709551615 4194304 4196468 140730919705360 140057950751536 140058413419138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 34250752 140730919708624 140730919711409 140730919711409 140730919714767 0
Current children cumulated CPU time (s) 29.16
Current children cumulated vsize (KiB) 14067516
Child status: 0
Real time (s): 13.7513
CPU time (s): 29.2643
CPU user time (s): 28.7262
CPU system time (s): 0.538018
CPU usage (%): 212.81
Max. virtual memory (cumulated for all children) (KiB): 14069636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.7262
system time used= 0.538018
maximum resident set size= 1006688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8896
involuntary context switches= 115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071639 second user time and 0.079599 second system time
The end