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-4262485-1502458066/watcher-4262485-1502458066 -o /tmp/evaluation-result-4262485-1502458066/solver-4262485-1502458066 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262485-1502458066.xml
pid=25765
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.31 1.64 1.46 4/199 25768
/proc/meminfo: memFree=30406696/32770624 swapFree=0/465520
[pid=25768] ppid=25765 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25768/stat : 25768 (runsolver) D 25765 25768 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 87717814 24240128 106 18446744073709551615 4194304 4338465 140735071639776 140735071637416 139738776892119 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 38273024 140735071645904 140735071646281 140735071646281 140735071649738 0
/proc/25768/statm: 5918 106 53 36 0 2156 0
[startup+0.100587 s]
/proc/loadavg: 2.31 1.64 1.46 4/199 25768
/proc/meminfo: memFree=30406696/32770624 swapFree=0/465520
[pid=25768] ppid=25765 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/25768/stat : 25768 (bash) S 25765 25768 13007 0 -1 4202496 801 5301 0 0 0 0 0 1 20 0 1 0 87717814 9867264 360 18446744073709551615 4194304 5098028 140737236378480 140737236376136 139830569982976 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 34172928 140737236386324 140737236386409 140737236386409 140737236389866 0
/proc/25768/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200178 s]
/proc/loadavg: 2.31 1.64 1.46 4/199 25768
/proc/meminfo: memFree=30406696/32770624 swapFree=0/465520
[pid=25768] ppid=25765 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/25768/stat : 25768 (bash) S 25765 25768 13007 0 -1 4202496 897 6482 0 0 0 0 0 1 20 0 1 0 87717814 9867264 377 18446744073709551615 4194304 5098028 140737236378480 140737236372488 139830569982976 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 34172928 140737236386324 140737236386409 140737236386409 140737236389866 0
/proc/25768/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300303 s]
/proc/loadavg: 2.31 1.64 1.46 4/199 25768
/proc/meminfo: memFree=30406696/32770624 swapFree=0/465520
[pid=25768] ppid=25765 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 5836 12445 0 0 5 1 5 2 20 0 14 0 87717814 14241083392 5505 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3476827 5505 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.702166 s]
/proc/loadavg: 2.31 1.64 1.46 4/199 25768
/proc/meminfo: memFree=30406696/32770624 swapFree=0/465520
[pid=25768] ppid=25765 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 13894 12445 0 0 59 3 5 2 20 0 15 0 87717814 14310178816 14349 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3493696 14349 3136 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50058 s]
/proc/loadavg: 2.31 1.64 1.46 3/214 25831
/proc/meminfo: memFree=30316776/32770624 swapFree=0/465632
[pid=25768] ppid=25765 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 29362 12445 0 0 172 10 5 2 20 0 15 0 87717814 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3496352 40225 3374 1 0 3485525 0
[pid=25768/tid=25818] ppid=25765 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) S 25765 25768 13007 0 -1 1077944384 22350 12445 0 0 115 6 5 2 20 0 15 0 87717835 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140242003847088 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 45 12445 0 0 0 0 5 2 20 0 15 0 87717836 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 40 12445 0 0 0 0 5 2 20 0 15 0 87717836 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 194 12445 0 0 0 0 5 2 20 0 15 0 87717836 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 70 12445 0 0 0 0 5 2 20 0 15 0 87717836 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) R 25765 25768 13007 0 -1 4202560 1287 12445 0 0 1 0 5 2 20 0 15 0 87717837 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241478177472 140241984622090 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 33 12445 0 0 0 0 5 2 20 0 15 0 87717838 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241477125152 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 21 12445 0 0 0 0 5 2 20 0 15 0 87717838 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241476072304 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 1149 12445 0 0 17 0 5 2 20 0 15 0 87717841 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=13985408 CPUtime=0.18 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) S 25765 25768 13007 0 -1 1077944384 620 12445 0 0 11 0 5 2 20 0 15 0 87717841 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 1381 12445 0 0 23 0 5 2 20 0 15 0 87717841 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241471860784 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 10 12445 0 0 0 0 5 2 20 0 15 0 87717845 14321057792 40225 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10121 s]
/proc/loadavg: 2.31 1.64 1.46 4/214 25831
/proc/meminfo: memFree=30248784/32770624 swapFree=0/465632
[pid=25768] ppid=25765 vsize=14065468 CPUtime=5.27 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 55672 12445 0 0 503 17 5 2 20 0 15 0 87717814 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516367 62976 3447 1 0 3504981 0
[pid=25768/tid=25818] ppid=25765 vsize=14065468 CPUtime=2.87 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 40575 12445 0 0 270 10 5 2 20 0 15 0 87717835 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140242003843608 140241979901870 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 51 12445 0 0 0 0 5 2 20 0 15 0 87717836 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14065468 CPUtime=0.08 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 40 12445 0 0 1 0 5 2 20 0 15 0 87717836 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 194 12445 0 0 0 0 5 2 20 0 15 0 87717836 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14065468 CPUtime=0.08 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 73 12445 0 0 1 0 5 2 20 0 15 0 87717836 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14065468 CPUtime=0.08 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 1642 12445 0 0 1 0 5 2 20 0 15 0 87717837 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14065468 CPUtime=0.74 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) R 25765 25768 13007 0 -1 4202560 4019 12445 0 0 66 1 5 2 20 0 15 0 87717841 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241473949704 140241984505571 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14065468 CPUtime=0.71 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) R 25765 25768 13007 0 -1 4202560 2733 12445 0 0 63 1 5 2 20 0 15 0 87717841 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241472897224 140241983122759 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14065468 CPUtime=1.05 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 4073 12445 0 0 97 1 5 2 20 0 15 0 87717841 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241471863408 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14065468 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 11 12445 0 0 0 0 5 2 20 0 15 0 87717845 14403039232 62976 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 14065468
[startup+6.30069 s]
/proc/loadavg: 2.28 1.65 1.46 3/214 25831
/proc/meminfo: memFree=29911372/32770624 swapFree=0/465628
[pid=25768] ppid=25765 vsize=14067516 CPUtime=10.38 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 66689 12445 0 0 1002 29 5 2 20 0 15 0 87717814 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516879 156028 3468 1 0 3505493 0
[pid=25768/tid=25818] ppid=25765 vsize=14067516 CPUtime=5.88 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 46384 12445 0 0 564 17 5 2 20 0 15 0 87717835 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140242003859552 140241648250977 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 81 12445 0 0 3 0 5 2 20 0 15 0 87717836 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 109 12445 0 0 3 0 5 2 20 0 15 0 87717836 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 204 12445 0 0 3 0 5 2 20 0 15 0 87717836 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 107 12445 0 0 3 0 5 2 20 0 15 0 87717836 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 2410 12445 0 0 4 0 5 2 20 0 15 0 87717837 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14067516 CPUtime=1.65 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 6984 12445 0 0 156 2 5 2 20 0 15 0 87717841 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14067516 CPUtime=1.6 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) R 25765 25768 13007 0 -1 4202560 3720 12445 0 0 150 3 5 2 20 0 15 0 87717841 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241985649817 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14067516 CPUtime=1.19 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 4415 12445 0 0 111 1 5 2 20 0 15 0 87717841 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241471863408 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 14 12445 0 0 0 0 5 2 20 0 15 0 87717845 14405136384 156028 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 14067516
[startup+12.7008 s]
/proc/loadavg: 2.18 1.63 1.46 3/214 25831
/proc/meminfo: memFree=29415012/32770624 swapFree=0/465624
[pid=25768] ppid=25765 vsize=14067516 CPUtime=16.86 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 68422 12445 0 0 1643 36 5 2 20 0 15 0 87717814 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516879 256571 3470 1 0 3505493 0
[pid=25768/tid=25818] ppid=25765 vsize=14067516 CPUtime=12.25 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 46876 12445 0 0 1195 23 5 2 20 0 15 0 87717835 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140242003859952 140241648245184 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 665 12445 0 0 4 1 5 2 20 0 15 0 87717836 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 119 12445 0 0 4 0 5 2 20 0 15 0 87717836 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 227 12445 0 0 4 0 5 2 20 0 15 0 87717836 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 515 12445 0 0 4 1 5 2 20 0 15 0 87717836 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 2623 12445 0 0 5 0 5 2 20 0 15 0 87717837 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 256571 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
################
# More data... #
################
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14067516 CPUtime=1.65 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 1126 12445 0 0 76 82 5 2 20 0 15 0 87717845 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 2361.24
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.43 1.49 1.49 3/212 26226
/proc/meminfo: memFree=28354164/32770624 swapFree=0/466048
[pid=25768] ppid=25765 vsize=14067516 CPUtime=2422.19 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 217522 12445 0 0 241791 421 5 2 20 0 15 0 87717814 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516879 369216 3470 1 0 3505493 0
[pid=25768/tid=25818] ppid=25765 vsize=14067516 CPUtime=2353.55 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 103118 12445 0 0 235279 69 5 2 20 0 15 0 87717835 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140242003860240 140241638073496 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14067516 CPUtime=12.66 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 19308 12445 0 0 1190 69 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14067516 CPUtime=12.65 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 19237 12445 0 0 1188 70 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14067516 CPUtime=12.62 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 18081 12445 0 0 1189 66 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14067516 CPUtime=12.64 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 16996 12445 0 0 1185 72 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14067516 CPUtime=12.34 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 18341 12445 0 0 1159 68 5 2 20 0 15 0 87717837 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14067516 CPUtime=1.7 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 7139 12445 0 0 160 3 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14067516 CPUtime=1.64 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) S 25765 25768 13007 0 -1 1077944384 4005 12445 0 0 153 4 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14067516 CPUtime=1.23 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 7893 12445 0 0 114 2 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241471863408 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 1143 12445 0 0 78 84 5 2 20 0 15 0 87717845 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 2422.19
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.63 1.54 1.50 3/213 26229
/proc/meminfo: memFree=28211300/32770624 swapFree=0/466056
[pid=25768] ppid=25765 vsize=14067516 CPUtime=2483.16 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 219545 12445 0 0 247880 429 5 2 20 0 15 0 87717814 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516879 369216 3470 1 0 3505493 0
[pid=25768/tid=25818] ppid=25765 vsize=14067516 CPUtime=2412.8 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 104196 12445 0 0 241203 70 5 2 20 0 15 0 87717835 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140242003860064 140241648798556 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14067516 CPUtime=13 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 19381 12445 0 0 1223 70 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14067516 CPUtime=12.98 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 19286 12445 0 0 1220 71 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14067516 CPUtime=12.96 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 18420 12445 0 0 1221 68 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14067516 CPUtime=12.97 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 17152 12445 0 0 1217 73 5 2 20 0 15 0 87717836 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14067516 CPUtime=12.66 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 18625 12445 0 0 1190 69 5 2 20 0 15 0 87717837 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14067516 CPUtime=1.7 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 7143 12445 0 0 160 3 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14067516 CPUtime=1.64 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) S 25765 25768 13007 0 -1 1077944384 4010 12445 0 0 153 4 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14067516 CPUtime=1.23 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 7897 12445 0 0 114 2 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241471863408 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14067516 CPUtime=1.73 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 1174 12445 0 0 80 86 5 2 20 0 15 0 87717845 14405136384 369216 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 2483.16
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.6 s]
/proc/loadavg: 1.58 1.54 1.50 3/213 26232
/proc/meminfo: memFree=28161356/32770624 swapFree=0/466072
[pid=25768] ppid=25765 vsize=14067516 CPUtime=2520.05 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 220932 12445 0 0 251564 434 5 2 20 0 15 0 87717814 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3516879 369728 3470 1 0 3505493 0
[pid=25768/tid=25818] ppid=25765 vsize=14067516 CPUtime=2448.67 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) R 25765 25768 13007 0 -1 4202560 104993 12445 0 0 244790 70 5 2 20 0 15 0 87717835 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140242003860432 140241648648969 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14067516 CPUtime=13.2 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 19393 12445 0 0 1242 71 5 2 20 0 15 0 87717836 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14067516 CPUtime=13.19 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 19451 12445 0 0 1239 73 5 2 20 0 15 0 87717836 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14067516 CPUtime=13.17 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 18472 12445 0 0 1241 69 5 2 20 0 15 0 87717836 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14067516 CPUtime=13.16 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 17176 12445 0 0 1235 74 5 2 20 0 15 0 87717836 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14067516 CPUtime=12.86 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) S 25765 25768 13007 0 -1 1077944384 18655 12445 0 0 1209 70 5 2 20 0 15 0 87717837 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241478179184 140241999637122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 55 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241477125216 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 15 0 87717838 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14067516 CPUtime=1.7 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 7145 12445 0 0 160 3 5 2 20 0 15 0 87717841 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14067516 CPUtime=1.64 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) S 25765 25768 13007 0 -1 1077944384 4012 12445 0 0 153 4 5 2 20 0 15 0 87717841 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14067516 CPUtime=1.23 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 8194 12445 0 0 114 2 5 2 20 0 15 0 87717841 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241471863408 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 15 0 87717841 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14067516 CPUtime=1.76 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 1180 12445 0 0 81 88 5 2 20 0 15 0 87717845 14405136384 369728 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14067516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25768 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.71 s]
/proc/loadavg: 1.58 1.54 1.50 3/213 26232
/proc/meminfo: memFree=28161356/32770624 swapFree=0/466072
[pid=25768] ppid=25765 vsize=14200644 CPUtime=2520.33 cores=0,2,4,6
/proc/25768/stat : 25768 (java) S 25765 25768 13007 0 -1 1077944320 226428 12445 0 0 251591 435 5 2 20 0 17 0 87717814 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140720874804000 140241999625975 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
/proc/25768/statm: 3550161 371476 3470 1 0 3538775 0
[pid=25768/tid=25818] ppid=25765 vsize=14200644 CPUtime=2448.68 cores=0,2,4,6
/proc/25768/task/25818/stat : 25818 (java) S 25765 25768 13007 0 -1 1077944384 105169 12445 0 0 244791 70 5 2 20 0 17 0 87717835 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140242003863520 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25819] ppid=25765 vsize=14200644 CPUtime=13.26 cores=0,2,4,6
/proc/25768/task/25819/stat : 25819 (java) S 25765 25768 13007 0 -1 1077944384 19412 12445 0 0 1248 71 5 2 20 0 17 0 87717836 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241600179344 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25820] ppid=25765 vsize=14200644 CPUtime=13.25 cores=0,2,4,6
/proc/25768/task/25820/stat : 25820 (java) S 25765 25768 13007 0 -1 1077944384 19466 12445 0 0 1245 73 5 2 20 0 17 0 87717836 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241599126544 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25821] ppid=25765 vsize=14200644 CPUtime=13.23 cores=0,2,4,6
/proc/25768/task/25821/stat : 25821 (java) S 25765 25768 13007 0 -1 1077944384 18508 12445 0 0 1247 69 5 2 20 0 17 0 87717836 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241598073744 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25822] ppid=25765 vsize=14200644 CPUtime=13.22 cores=0,2,4,6
/proc/25768/task/25822/stat : 25822 (java) S 25765 25768 13007 0 -1 1077944384 17193 12445 0 0 1241 74 5 2 20 0 17 0 87717836 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241597020944 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25823] ppid=25765 vsize=14200644 CPUtime=12.89 cores=0,2,4,6
/proc/25768/task/25823/stat : 25823 (java) R 25765 25768 13007 0 -1 4202560 23778 12445 0 0 1212 70 5 2 20 0 17 0 87717837 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241478177584 140241984753290 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25824] ppid=25765 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25824/stat : 25824 (java) S 25765 25768 13007 0 -1 1077944384 58 12445 0 0 0 0 5 2 20 0 17 0 87717838 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241477124752 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25825] ppid=25765 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25825/stat : 25825 (java) S 25765 25768 13007 0 -1 1077944384 44 12445 0 0 0 0 5 2 20 0 17 0 87717838 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241476072320 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25826] ppid=25765 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25826/stat : 25826 (java) S 25765 25768 13007 0 -1 1077944384 45 12445 0 0 0 0 5 2 20 0 17 0 87717841 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241475020624 140241999644571 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25827] ppid=25765 vsize=14200644 CPUtime=1.7 cores=0,2,4,6
/proc/25768/task/25827/stat : 25827 (java) S 25765 25768 13007 0 -1 1077944384 7145 12445 0 0 160 3 5 2 20 0 17 0 87717841 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241473969008 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25828] ppid=25765 vsize=14200644 CPUtime=1.64 cores=0,2,4,6
/proc/25768/task/25828/stat : 25828 (java) S 25765 25768 13007 0 -1 1077944384 4012 12445 0 0 153 4 5 2 20 0 17 0 87717841 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241472916208 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25829] ppid=25765 vsize=14200644 CPUtime=1.23 cores=0,2,4,6
/proc/25768/task/25829/stat : 25829 (java) S 25765 25768 13007 0 -1 1077944384 8196 12445 0 0 114 2 5 2 20 0 17 0 87717841 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241471858160 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25830] ppid=25765 vsize=14200644 CPUtime=0.07 cores=0,2,4,6
/proc/25768/task/25830/stat : 25830 (java) S 25765 25768 13007 0 -1 1077944384 3 12445 0 0 0 0 5 2 20 0 17 0 87717841 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241470810848 140241999636181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
[pid=25768/tid=25831] ppid=25765 vsize=14200644 CPUtime=1.76 cores=0,2,4,6
/proc/25768/task/25831/stat : 25831 (java) S 25765 25768 13007 0 -1 1077944384 1180 12445 0 0 81 88 5 2 20 0 17 0 87717845 14541459456 371476 18446744073709551615 4194304 4196468 140720874821456 140241469758128 140241999637122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 21929984 140720874825680 140720874828465 140720874828465 140720874831823 0
Current children cumulated CPU time (s) 2520.33
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2478.8
CPU time (s): 2520.5
CPU user time (s): 2516.11
CPU system time (s): 4.38949
CPU usage (%): 101.682
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.11
system time used= 4.38949
maximum resident set size= 1486688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339021
involuntary context switches= 9824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.034 second user time and 15.2424 second system time
The end