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-4249416-1500728964/watcher-4249416-1500728964 -o /tmp/evaluation-result-4249416-1500728964/solver-4249416-1500728964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500717411-16351 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1883844095 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249416-1500728964.xml
pid=18007
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.86 1.81 1.78 3/261 18010
/proc/meminfo: memFree=28639696/32770624 swapFree=5892/137860
[pid=18010] ppid=18007 vsize=23104 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (runsolver) R 18007 18010 16320 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 1 0 8164758 23658496 102 33554432000 4194304 4338465 140724821111808 140724821108920 140557231458807 0 0 4096 24578 0 0 0 17 12 0 0 0 0 0 6438912 6441760 7774208 140724821115743 140724821116223 140724821116223 140724821118922 0
/proc/18010/statm: 5776 102 54 36 0 2156 0
[startup+0.100114 s]
/proc/loadavg: 1.86 1.81 1.78 3/261 18010
/proc/meminfo: memFree=28639696/32770624 swapFree=5892/137860
[pid=18010] ppid=18007 vsize=13263912 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 6438 0 0 0 8 1 0 0 20 0 20 0 8164758 13582245888 7188 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3315978 7188 3349 1 0 3303698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.200269 s]
/proc/loadavg: 1.86 1.81 1.78 3/261 18010
/proc/meminfo: memFree=28639696/32770624 swapFree=5892/137860
[pid=18010] ppid=18007 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 8920 0 0 0 23 2 0 0 20 0 20 0 8164758 13582245888 9745 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3315978 9745 3500 1 0 3303698 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.3003 s]
/proc/loadavg: 1.86 1.81 1.78 3/261 18010
/proc/meminfo: memFree=28639696/32770624 swapFree=5892/137860
[pid=18010] ppid=18007 vsize=13263932 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 10063 0 0 0 42 2 0 0 20 0 20 0 8164758 13582266368 11820 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3315983 11820 3691 1 0 3303698 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263932
[startup+0.700218 s]
/proc/loadavg: 1.86 1.81 1.78 3/261 18010
/proc/meminfo: memFree=28639696/32770624 swapFree=5892/137860
[pid=18010] ppid=18007 vsize=13265980 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 13577 0 0 0 150 5 0 0 20 0 20 0 8164758 13584363520 33745 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3316495 33745 3769 1 0 3304210 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13265980
[startup+1.50086 s]
/proc/loadavg: 1.86 1.81 1.78 4/281 18030
/proc/meminfo: memFree=28417032/32770624 swapFree=5892/137924
[pid=18010] ppid=18007 vsize=13268028 CPUtime=3.91 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 16971 0 0 0 371 20 0 0 20 0 20 0 8164758 13586460672 61442 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317007 61442 3800 1 0 3304722 0
[pid=18010/tid=18012] ppid=18007 vsize=13268028 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) R 18007 18010 16320 0 -1 4202560 9778 0 0 0 137 5 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698938961624 139698531142109 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) S 18007 18010 16320 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698853206928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) S 18007 18010 16320 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698852154128 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) S 18007 18010 16320 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698851101840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) S 18007 18010 16320 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698850049040 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) S 18007 18010 16320 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 8164760 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698848995728 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) S 18007 18010 16320 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 20 0 8164761 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698847942928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) S 18007 18010 16320 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8164761 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698846890640 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) S 18007 18010 16320 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 8164761 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698845837840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) S 18007 18010 16320 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 8164762 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698398169712 139698934737538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13268028 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 1684 0 0 0 59 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13268028 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 1206 0 0 0 54 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13268028 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 1131 0 0 0 58 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13268028 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 1544 0 0 0 47 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 61442 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13268028
[startup+3.10225 s]
/proc/loadavg: 1.86 1.81 1.78 3/281 18030
/proc/meminfo: memFree=28172212/32770624 swapFree=5892/137924
[pid=18010] ppid=18007 vsize=13268028 CPUtime=8.53 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 19768 0 0 0 652 201 0 0 20 0 20 0 8164758 13586460672 228437 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317007 228437 3813 1 0 3304722 0
[pid=18010/tid=18012] ppid=18007 vsize=13268028 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) S 18007 18010 16320 0 -1 1077944384 10047 0 0 0 250 10 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698938962240 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13268028 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) R 18007 18010 16320 0 -1 4202560 203 0 0 0 19 23 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698853207128 139698919754265 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13268028 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) R 18007 18010 16320 0 -1 4202560 203 0 0 0 19 23 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698852154328 139698919748512 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) R 18007 18010 16320 0 -1 4202560 248 0 0 0 20 23 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698851102040 139698919754265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) R 18007 18010 16320 0 -1 4202560 253 0 0 0 20 23 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698850048928 139698927823267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13268028 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) R 18007 18010 16320 0 -1 4202560 458 0 0 0 21 23 0 0 20 0 20 0 8164760 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698848995928 139698919754265 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) R 18007 18010 16320 0 -1 4202560 268 0 0 0 21 22 0 0 20 0 20 0 8164761 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698847943128 139698927829708 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) R 18007 18010 16320 0 -1 4202560 283 0 0 0 20 23 0 0 20 0 20 0 8164761 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698846890840 139698927826246 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13268028 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) R 18007 18010 16320 0 -1 4202560 262 0 0 0 19 23 0 0 20 0 20 0 8164761 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698845838040 139698919754265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) S 18007 18010 16320 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 20 0 8164762 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698398168224 139698934736597 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 228437 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 1687 0 0 0 61 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13268028 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 1223 0 0 0 64 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 1138 0 0 0 62 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13268028 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 1558 0 0 0 48 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 228949 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 13268028
[startup+6.30086 s]
/proc/loadavg: 1.79 1.79 1.77 3/281 18030
/proc/meminfo: memFree=26930020/32770624 swapFree=5892/137924
[pid=18010] ppid=18007 vsize=13268028 CPUtime=16.15 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 24531 0 0 0 1238 377 0 0 20 0 20 0 8164758 13586460672 428886 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317007 428886 3825 1 0 3304722 0
[pid=18010/tid=18012] ppid=18007 vsize=13268028 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) R 18007 18010 16320 0 -1 4202560 10392 0 0 0 379 17 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698938961944 139698531279701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13268028 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) S 18007 18010 16320 0 -1 1077944384 479 0 0 0 60 44 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698853206928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13268028 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) S 18007 18010 16320 0 -1 1077944384 450 0 0 0 62 43 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698852154128 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13268028 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) S 18007 18010 16320 0 -1 1077944384 879 0 0 0 62 44 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698851101840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13268028 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) S 18007 18010 16320 0 -1 1077944384 765 0 0 0 62 44 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698850049040 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13268028 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) S 18007 18010 16320 0 -1 1077944384 942 0 0 0 63 44 0 0 20 0 20 0 8164760 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698848995728 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13268028 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) S 18007 18010 16320 0 -1 1077944384 756 0 0 0 61 42 0 0 20 0 20 0 8164761 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698847942928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13268028 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) S 18007 18010 16320 0 -1 1077944384 803 0 0 0 61 44 0 0 20 0 20 0 8164761 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698846890640 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13268028 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) S 18007 18010 16320 0 -1 1077944384 480 0 0 0 62 44 0 0 20 0 20 0 8164761 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698845837840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13268028 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) S 18007 18010 16320 0 -1 1077944384 1550 0 0 0 121 0 0 0 20 0 20 0 8164762 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698398169712 139698934737538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8164763 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13268028 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 1688 0 0 0 63 0 0 0 20 0 20 0 8164766 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13268028 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 1224 0 0 0 64 0 0 0 20 0 20 0 8164766 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13268028 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 1141 0 0 0 63 0 0 0 20 0 20 0 8164766 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13268028 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 1602 0 0 0 51 1 0 0 20 0 20 0 8164766 13586460672 428886 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 24546 0 0 0 265 3 0 0 20 0 20 0 8164766 13588557824 1085889 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13270076 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 20225 0 0 0 244 4 0 0 20 0 20 0 8164766 13588557824 1085889 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 23189 0 0 0 107 3 0 0 20 0 20 0 8164766 13588557824 1085889 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1085889 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1717 0 0 0 58 63 0 0 20 0 20 0 8164766 13588557824 1085889 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 50 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 2308.94
Current children cumulated vsize (KiB) 13270076
[startup+2322.3 s]
/proc/loadavg: 1.88 1.90 1.83 3/281 18187
/proc/meminfo: memFree=25129968/32770624 swapFree=5892/140744
[pid=18010] ppid=18007 vsize=13270076 CPUtime=2369.25 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 699365 0 0 0 235545 1380 0 0 20 0 20 0 8164758 13588557824 1087700 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317519 1087700 3860 1 0 3305234 0
[pid=18010/tid=18012] ppid=18007 vsize=13270076 CPUtime=2311.86 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) S 18007 18010 16320 0 -1 1077944384 365394 0 0 0 231118 68 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698938964896 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13270076 CPUtime=5.5 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) S 18007 18010 16320 0 -1 1077944384 28198 0 0 0 391 159 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698853206928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13270076 CPUtime=5.5 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) S 18007 18010 16320 0 -1 1077944384 27596 0 0 0 395 155 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698852154128 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13270076 CPUtime=5.51 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) R 18007 18010 16320 0 -1 1077944384 28315 0 0 0 397 154 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698851101856 139698934736597 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13270076 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) S 18007 18010 16320 0 -1 1077944384 31330 0 0 0 395 157 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698850049040 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13270076 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) S 18007 18010 16320 0 -1 1077944384 28052 0 0 0 396 150 0 0 20 0 20 0 8164760 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698848995728 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13270076 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) S 18007 18010 16320 0 -1 1077944384 25675 0 0 0 386 155 0 0 20 0 20 0 8164761 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698847942928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13270076 CPUtime=5.53 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) R 18007 18010 16320 0 -1 1077944384 25531 0 0 0 401 152 0 0 20 0 20 0 8164761 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698846890640 139698934736597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13270076 CPUtime=5.51 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) S 18007 18010 16320 0 -1 1077944384 28915 0 0 0 392 159 0 0 20 0 20 0 8164761 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698845837840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13270076 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) R 18007 18010 16320 0 -1 4202560 17080 0 0 0 326 6 0 0 20 0 20 0 8164762 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698398168224 139698934747738 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13270076 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 21185 0 0 0 247 3 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13270076 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 24555 0 0 0 265 3 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13270076 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 20228 0 0 0 244 4 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 24115 0 0 0 107 3 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1087700 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1759 0 0 0 59 64 0 0 20 0 20 0 8164766 13588557824 1087701 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 50 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 2369.25
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2352.9 s]
/proc/loadavg: 1.69 1.86 1.82 3/281 18188
/proc/meminfo: memFree=25140204/32770624 swapFree=5892/140784
[pid=18010] ppid=18007 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 713090 0 0 0 238625 1383 0 0 20 0 20 0 8164758 13588557824 1089245 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317519 1089245 3860 1 0 3305234 0
[pid=18010/tid=18012] ppid=18007 vsize=13270076 CPUtime=2342.4 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) R 18007 18010 16320 0 -1 4202560 372663 0 0 0 234172 68 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698938964784 139698533396525 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13270076 CPUtime=5.54 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) S 18007 18010 16320 0 -1 1077944384 29341 0 0 0 394 160 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698853206928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13270076 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) S 18007 18010 16320 0 -1 1077944384 27677 0 0 0 397 155 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698852154128 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13270076 CPUtime=5.55 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) S 18007 18010 16320 0 -1 1077944384 29261 0 0 0 400 155 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698851101840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13270076 CPUtime=5.54 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) S 18007 18010 16320 0 -1 1077944384 32170 0 0 0 397 157 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698850049040 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13270076 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) S 18007 18010 16320 0 -1 1077944384 29031 0 0 0 399 150 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698848995728 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13270076 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) S 18007 18010 16320 0 -1 1077944384 26501 0 0 0 389 155 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698847942928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13270076 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) S 18007 18010 16320 0 -1 1077944384 26256 0 0 0 404 152 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698846890640 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13270076 CPUtime=5.53 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) S 18007 18010 16320 0 -1 1077944384 29544 0 0 0 394 159 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698845837840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13270076 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) S 18007 18010 16320 0 -1 1077944384 17321 0 0 0 326 6 0 0 20 0 20 0 8164762 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698398169712 139698934737538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13270076 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 21195 0 0 0 247 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13270076 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 24558 0 0 0 265 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13270076 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 20231 0 0 0 244 4 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 24120 0 0 0 107 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1784 0 0 0 60 65 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 2400.08
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 18010 sig 9
??? kill -18010 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2352.9 s]
/proc/loadavg: 1.69 1.86 1.82 3/281 18188
/proc/meminfo: memFree=25140204/32770624 swapFree=5892/140784
[pid=18010] ppid=18007 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/18010/stat : 18010 (java) S 18007 18010 16320 0 -1 1077944320 713090 0 0 0 238625 1383 0 0 20 0 20 0 8164758 13588557824 1089245 33554432000 4194304 4196468 140726367348976 140726367331520 139698934726391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
/proc/18010/statm: 3317519 1089245 3860 1 0 3305234 0
[pid=18010/tid=18012] ppid=18007 vsize=13270076 CPUtime=2342.4 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18012/stat : 18012 (java) R 18007 18010 16320 0 -1 4202560 372663 0 0 0 234172 68 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698938964784 139698533396525 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18013] ppid=18007 vsize=13270076 CPUtime=5.54 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18013/stat : 18013 (java) S 18007 18010 16320 0 -1 1077944384 29341 0 0 0 394 160 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698853206928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18014] ppid=18007 vsize=13270076 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18014/stat : 18014 (java) S 18007 18010 16320 0 -1 1077944384 27677 0 0 0 397 155 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698852154128 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18015] ppid=18007 vsize=13270076 CPUtime=5.55 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18015/stat : 18015 (java) S 18007 18010 16320 0 -1 1077944384 29261 0 0 0 400 155 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698851101840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18016] ppid=18007 vsize=13270076 CPUtime=5.54 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18016/stat : 18016 (java) S 18007 18010 16320 0 -1 1077944384 32170 0 0 0 397 157 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698850049040 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18017] ppid=18007 vsize=13270076 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18017/stat : 18017 (java) S 18007 18010 16320 0 -1 1077944384 29031 0 0 0 399 150 0 0 20 0 20 0 8164760 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698848995728 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18018] ppid=18007 vsize=13270076 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18018/stat : 18018 (java) S 18007 18010 16320 0 -1 1077944384 26501 0 0 0 389 155 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698847942928 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18019] ppid=18007 vsize=13270076 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18019/stat : 18019 (java) S 18007 18010 16320 0 -1 1077944384 26256 0 0 0 404 152 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698846890640 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18020] ppid=18007 vsize=13270076 CPUtime=5.53 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18020/stat : 18020 (java) S 18007 18010 16320 0 -1 1077944384 29544 0 0 0 394 159 0 0 20 0 20 0 8164761 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698845837840 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18021] ppid=18007 vsize=13270076 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18021/stat : 18021 (java) S 18007 18010 16320 0 -1 1077944384 17321 0 0 0 326 6 0 0 20 0 20 0 8164762 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698398169712 139698934737538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18022] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18022/stat : 18022 (java) S 18007 18010 16320 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698397115744 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18023] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18023/stat : 18023 (java) S 18007 18010 16320 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 8164763 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698396063360 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18024] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18024/stat : 18024 (java) S 18007 18010 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698395011664 139698934744987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18025] ppid=18007 vsize=13270076 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18025/stat : 18025 (java) S 18007 18010 16320 0 -1 1077944384 21195 0 0 0 247 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698393958512 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18026] ppid=18007 vsize=13270076 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18026/stat : 18026 (java) S 18007 18010 16320 0 -1 1077944384 24558 0 0 0 265 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698392905712 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18027] ppid=18007 vsize=13270076 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18027/stat : 18027 (java) S 18007 18010 16320 0 -1 1077944384 20231 0 0 0 244 4 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698391853424 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18028] ppid=18007 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18028/stat : 18028 (java) S 18007 18010 16320 0 -1 1077944384 24120 0 0 0 107 3 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698390800624 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18029] ppid=18007 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18029/stat : 18029 (java) S 18007 18010 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698389748576 139698934736597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
[pid=18010/tid=18030] ppid=18007 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/18010/task/18030/stat : 18030 (java) S 18007 18010 16320 0 -1 1077944384 1784 0 0 0 60 65 0 0 20 0 20 0 8164766 13588557824 1089245 33554432000 4194304 4196468 140726367348976 139698388695856 139698934737538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 31252480 140726367356045 140726367356228 140726367356228 140726367358927 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2352.95
CPU time (s): 2400.12
CPU user time (s): 2386.26
CPU system time (s): 13.8589
CPU usage (%): 102.004
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.26
system time used= 13.8589
maximum resident set size= 4486508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714421
page faults= 0
swaps= 0
block input operations= 856
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66457
involuntary context switches= 124178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5331 second user time and 15.673 second system time
The end