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-4244841-1500692654/watcher-4244841-1500692654 -o /tmp/evaluation-result-4244841-1500692654/solver-4244841-1500692654 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14633 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1722886088 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244841-1500692654.xml
pid=15726
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.35 1.49 1.56 2/263 15729
/proc/meminfo: memFree=30473660/32770624 swapFree=6412/244048
[pid=15729] ppid=15726 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4531647 369864704 1925 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 90299 1925 1072 1 0 79210 0
[pid=15729/tid=15730] ppid=15726 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) S 15726 15729 14602 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4531648 369864704 1925 33554432000 4194304 4196468 140735765755776 139995803277728 139995799046786 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[startup+0.100123 s]
/proc/loadavg: 1.35 1.49 1.56 2/263 15729
/proc/meminfo: memFree=30473660/32770624 swapFree=6412/244048
[pid=15729] ppid=15726 vsize=13263912 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 5626 0 0 0 8 1 0 0 20 0 20 0 4531647 13582245888 5862 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3315978 5862 2617 1 0 3303698 0
[pid=15729/tid=15730] ppid=15726 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 3710 0 0 0 7 1 0 0 20 0 20 0 4531648 13582245888 5927 33554432000 4194304 4196468 140735765755776 139995803265384 139995755671414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.20037 s]
/proc/loadavg: 1.35 1.49 1.56 2/263 15729
/proc/meminfo: memFree=30473660/32770624 swapFree=6412/244048
[pid=15729] ppid=15726 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 8832 0 0 0 24 2 0 0 20 0 20 0 4531647 13582245888 8873 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3315978 8873 3566 1 0 3303698 0
[pid=15729/tid=15730] ppid=15726 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 6513 0 0 0 16 1 0 0 20 0 20 0 4531648 13582245888 8873 33554432000 4194304 4196468 140735765755776 139995803257408 139995799047574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300443 s]
/proc/loadavg: 1.35 1.49 1.56 2/263 15729
/proc/meminfo: memFree=30473660/32770624 swapFree=6412/244048
[pid=15729] ppid=15726 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 9977 0 0 0 40 3 0 0 20 0 20 0 4531647 13582245888 11173 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3315978 11173 3635 1 0 3303698 0
[pid=15729/tid=15730] ppid=15726 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 7268 0 0 0 25 2 0 0 20 0 20 0 4531648 13582245888 11173 33554432000 4194304 4196468 140735765755776 139995803271680 139995783116126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.700258 s]
/proc/loadavg: 1.35 1.49 1.56 2/263 15729
/proc/meminfo: memFree=30473660/32770624 swapFree=6412/244048
[pid=15729] ppid=15726 vsize=13265980 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 13340 0 0 0 151 5 0 0 20 0 20 0 4531647 13584363520 20670 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3316495 20736 3774 1 0 3304210 0
[pid=15729/tid=15730] ppid=15726 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 8451 0 0 0 63 4 0 0 20 0 20 0 4531648 13584363520 20736 33554432000 4194304 4196468 140735765755776 139995803270944 139995415346436 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 13265980
[startup+1.50187 s]
/proc/loadavg: 1.35 1.49 1.56 6/283 15749
/proc/meminfo: memFree=30372648/32770624 swapFree=6412/244096
[pid=15729] ppid=15726 vsize=13270076 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 27161 0 0 0 403 17 0 0 20 0 20 0 4531647 13588557824 57282 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 57282 3806 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 11780 0 0 0 138 6 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995803269024 139995422079775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4531648 13588557824 57282 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15743/stat : 15743 (java) S 15726 15729 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994990614992 139995799054235 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15744] ppid=15726 vsize=13270076 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15744/stat : 15744 (java) S 15726 15729 14602 0 -1 1077944384 2314 0 0 0 59 0 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994989562096 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15745] ppid=15726 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15745/stat : 15745 (java) R 15726 15729 14602 0 -1 4202560 2796 0 0 0 61 1 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994988509552 139995783432430 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) S 15726 15729 14602 0 -1 1077944384 1778 0 0 0 56 0 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994987456496 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 6452 0 0 0 80 1 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531656 13588557824 57282 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 13270076
[startup+3.10072 s]
/proc/loadavg: 1.35 1.49 1.56 7/283 15749
/proc/meminfo: memFree=30125420/32770624 swapFree=6412/244096
[pid=15729] ppid=15726 vsize=13270076 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 32954 0 0 0 785 63 0 0 20 0 20 0 4531647 13588557824 109044 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 109044 3837 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 12624 0 0 0 284 9 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995803265280 139995425056905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 167 0 0 0 4 5 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 78 0 0 0 4 4 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 105 0 0 0 4 5 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 347 0 0 0 5 5 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 80 0 0 0 4 6 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 94 0 0 0 4 7 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 248 0 0 0 4 6 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 88 0 0 0 4 7 0 0 20 0 20 0 4531648 13588557824 109044 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 1167 0 0 0 1 0 0 0 20 0 20 0 4531651 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15743/stat : 15743 (java) S 15726 15729 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994990614992 139995799054235 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15744] ppid=15726 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15744/stat : 15744 (java) R 15726 15729 14602 0 -1 4202560 3317 0 0 0 124 0 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994989542376 139995778690865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15745] ppid=15726 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15745/stat : 15745 (java) R 15726 15729 14602 0 -1 4202560 3806 0 0 0 121 1 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994988494512 139995780579857 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) R 15726 15729 14602 0 -1 4202560 2649 0 0 0 118 1 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994987443040 139995783934015 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 6756 0 0 0 97 1 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4531656 13588557824 109044 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 13270076
[startup+6.30078 s]
/proc/loadavg: 1.48 1.52 1.57 3/283 15749
/proc/meminfo: memFree=30027016/32770624 swapFree=6412/244096
[pid=15729] ppid=15726 vsize=13270076 CPUtime=12.41 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 34309 0 0 0 1168 73 0 0 20 0 20 0 4531647 13588557824 116760 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 116760 3838 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=5.65 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 12727 0 0 0 556 9 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995803273752 139995424923585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 180 0 0 0 5 7 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 89 0 0 0 5 6 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 111 0 0 0 5 6 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 363 0 0 0 6 6 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 92 0 0 0 6 7 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 97 0 0 0 5 7 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 259 0 0 0 5 7 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 101 0 0 0 5 9 0 0 20 0 20 0 4531648 13588557824 116760 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 1168 0 0 0 1 0 0 0 20 0 20 0 4531651 13588557824 116760 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 116760 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 116760 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/15729/task/15745/stat : 15745 (java) S 15726 15729 14602 0 -1 1077944384 16347 0 0 0 261 3 0 0 20 0 20 0 4531655 13588557824 420109 33554432000 4194304 4196468 140735765755776 139994988509552 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) S 15726 15729 14602 0 -1 1077944384 12426 0 0 0 246 3 0 0 20 0 20 0 4531655 13588557824 420109 33554432000 4194304 4196468 140735765755776 139994987456496 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 36196 0 0 0 132 4 0 0 20 0 20 0 4531655 13588557824 420109 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 420109 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 1661 0 0 0 64 63 0 0 20 0 20 0 4531656 13588557824 420109 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 2313.73
Current children cumulated vsize (KiB) 13270076
[startup+2262.3 s]
/proc/loadavg: 1.13 1.27 1.43 3/281 16002
/proc/meminfo: memFree=29472684/32770624 swapFree=6412/246572
[pid=15729] ppid=15726 vsize=13270076 CPUtime=2376.56 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 365794 0 0 0 237033 623 0 0 20 0 20 0 4531647 13588557824 402154 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 402154 3860 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=2241.18 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 126171 0 0 0 224035 83 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995803273904 139995426435994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=15.56 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 13521 0 0 0 1497 59 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=15.3 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 13422 0 0 0 1473 57 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=15.36 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 12875 0 0 0 1481 55 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=15.34 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 12434 0 0 0 1480 54 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=15.3 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 11043 0 0 0 1477 53 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=15.53 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 13146 0 0 0 1495 58 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=15.35 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 16578 0 0 0 1481 54 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 15249 0 0 0 1491 60 0 0 20 0 20 0 4531648 13588557824 402154 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 52829 0 0 0 159 39 0 0 20 0 20 0 4531651 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15743/stat : 15743 (java) S 15726 15729 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994990614992 139995799054235 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15744] ppid=15726 vsize=13270076 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15744/stat : 15744 (java) S 15726 15729 14602 0 -1 1077944384 10419 0 0 0 217 3 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994989562096 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15745] ppid=15726 vsize=13270076 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15745/stat : 15745 (java) S 15726 15729 14602 0 -1 1077944384 16349 0 0 0 261 3 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994988509552 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) S 15726 15729 14602 0 -1 1077944384 12428 0 0 0 246 3 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994987456496 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 36198 0 0 0 132 4 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 1687 0 0 0 66 65 0 0 20 0 20 0 4531656 13588557824 402154 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 44 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 2376.56
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2284.7 s]
/proc/loadavg: 1.09 1.25 1.41 3/281 16003
/proc/meminfo: memFree=29506152/32770624 swapFree=6412/246600
[pid=15729] ppid=15726 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 366688 0 0 0 239377 625 0 0 20 0 20 0 4531647 13588557824 395742 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 395742 3860 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=2263.39 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 126815 0 0 0 226256 83 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995803273904 139995426439776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=15.71 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 13526 0 0 0 1512 59 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=15.43 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 13434 0 0 0 1486 57 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 12881 0 0 0 1496 55 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 12443 0 0 0 1497 54 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=15.47 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 11046 0 0 0 1493 54 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 13151 0 0 0 1511 58 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 16729 0 0 0 1496 55 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=15.68 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 15308 0 0 0 1508 60 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 52829 0 0 0 160 39 0 0 20 0 20 0 4531651 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15743/stat : 15743 (java) S 15726 15729 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994990614992 139995799054235 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15744] ppid=15726 vsize=13270076 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15744/stat : 15744 (java) S 15726 15729 14602 0 -1 1077944384 10419 0 0 0 217 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994989562096 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15745] ppid=15726 vsize=13270076 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15745/stat : 15745 (java) S 15726 15729 14602 0 -1 1077944384 16349 0 0 0 261 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994988509552 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) S 15726 15729 14602 0 -1 1077944384 12428 0 0 0 246 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994987456496 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 36198 0 0 0 132 4 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 1687 0 0 0 66 66 0 0 20 0 20 0 4531656 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076
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 15729 sig 9
??? kill -15729 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2284.7 s]
/proc/loadavg: 1.09 1.25 1.41 3/281 16003
/proc/meminfo: memFree=29506152/32770624 swapFree=6412/246600
[pid=15729] ppid=15726 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/15729/stat : 15729 (java) S 15726 15729 14602 0 -1 1077944320 366688 0 0 0 239377 625 0 0 20 0 20 0 4531647 13588557824 395742 33554432000 4194304 4196468 140735765755776 140735765738320 139995799035639 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
/proc/15729/statm: 3317519 395742 3860 1 0 3305234 0
[pid=15729/tid=15730] ppid=15726 vsize=13270076 CPUtime=2263.39 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15730/stat : 15730 (java) R 15726 15729 14602 0 -1 4202560 126815 0 0 0 226256 83 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995803273904 139995426439776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15732] ppid=15726 vsize=13270076 CPUtime=15.71 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15732/stat : 15732 (java) S 15726 15729 14602 0 -1 1077944384 13526 0 0 0 1512 59 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995738000400 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15733] ppid=15726 vsize=13270076 CPUtime=15.43 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15733/stat : 15733 (java) S 15726 15729 14602 0 -1 1077944384 13434 0 0 0 1486 57 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995736947856 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15734] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15734/stat : 15734 (java) S 15726 15729 14602 0 -1 1077944384 12881 0 0 0 1496 55 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995735894800 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15735] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15735/stat : 15735 (java) S 15726 15729 14602 0 -1 1077944384 12443 0 0 0 1497 54 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995394825104 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15736] ppid=15726 vsize=13270076 CPUtime=15.47 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15736/stat : 15736 (java) S 15726 15729 14602 0 -1 1077944384 11046 0 0 0 1493 54 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995393772048 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15737] ppid=15726 vsize=13270076 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15737/stat : 15737 (java) S 15726 15729 14602 0 -1 1077944384 13151 0 0 0 1511 58 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995392719504 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15738] ppid=15726 vsize=13270076 CPUtime=15.51 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15738/stat : 15738 (java) S 15726 15729 14602 0 -1 1077944384 16729 0 0 0 1496 55 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995391666448 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15739] ppid=15726 vsize=13270076 CPUtime=15.68 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15739/stat : 15739 (java) S 15726 15729 14602 0 -1 1077944384 15308 0 0 0 1508 60 0 0 20 0 20 0 4531648 13588557824 395742 33554432000 4194304 4196468 140735765755776 139995390613904 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15740] ppid=15726 vsize=13270076 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15740/stat : 15740 (java) S 15726 15729 14602 0 -1 1077944384 52829 0 0 0 160 39 0 0 20 0 20 0 4531651 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994993773296 139995799046786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15741] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15741/stat : 15741 (java) S 15726 15729 14602 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4531651 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994992719584 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15742] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15742/stat : 15742 (java) S 15726 15729 14602 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4531652 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994991666432 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15743] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15743/stat : 15743 (java) S 15726 15729 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994990614992 139995799054235 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15744] ppid=15726 vsize=13270076 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15744/stat : 15744 (java) S 15726 15729 14602 0 -1 1077944384 10419 0 0 0 217 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994989562096 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15745] ppid=15726 vsize=13270076 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15745/stat : 15745 (java) S 15726 15729 14602 0 -1 1077944384 16349 0 0 0 261 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994988509552 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15746] ppid=15726 vsize=13270076 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15746/stat : 15746 (java) S 15726 15729 14602 0 -1 1077944384 12428 0 0 0 246 3 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994987456496 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15747] ppid=15726 vsize=13270076 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15747/stat : 15747 (java) S 15726 15729 14602 0 -1 1077944384 36198 0 0 0 132 4 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994986403952 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15748] ppid=15726 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15748/stat : 15748 (java) S 15726 15729 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4531655 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994985352160 139995799045845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
[pid=15729/tid=15749] ppid=15726 vsize=13270076 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/15729/task/15749/stat : 15749 (java) S 15726 15729 14602 0 -1 1077944384 1687 0 0 0 66 66 0 0 20 0 20 0 4531656 13588557824 395742 33554432000 4194304 4196468 140735765755776 139994984299696 139995799046786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 37707776 140735765763213 140735765763396 140735765763396 140735765766095 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2284.75
CPU time (s): 2400.08
CPU user time (s): 2393.82
CPU system time (s): 6.26206
CPU usage (%): 105.048
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.82
system time used= 6.26206
maximum resident set size= 3502164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122884
involuntary context switches= 136484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7311 second user time and 19.3115 second system time
The end