runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458612-1307151067/watcher-3458612-1307151067 -o /tmp/evaluation-result-3458612-1307151067/solver-3458612-1307151067 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458612-1307151067.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.88 2.00 1.97 2/495 26005
/proc/meminfo: memFree=21156396/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 5711 0 1 0 0 1 0 0 23 0 2 0 807522162 13850947584 5413 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3381579 5427 917 9 0 3372735 0
[pid=26005/tid=26006] ppid=26003 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 6528 0 1 0 0 0 0 0 25 0 2 0 807522163 13850947584 7344 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0446901 s]
/proc/loadavg: 1.88 2.00 1.97 2/495 26005
/proc/meminfo: memFree=21156396/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 13741 0 1 0 2 1 0 0 23 0 13 0 807522162 13874667520 13438 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3387370 13438 1669 9 0 3378118 0
[pid=26005/tid=26006] ppid=26003 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 12594 0 1 0 2 1 0 0 25 0 13 0 807522163 13874667520 13438 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 47017097070323 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100669 s]
/proc/loadavg: 1.88 2.00 1.97 2/495 26005
/proc/meminfo: memFree=21156396/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13621848 CPUtime=0.11 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 15563 0 1 0 9 2 0 0 23 0 18 0 807522162 13948772352 15238 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3405462 15240 2092 9 0 3396196 0
[pid=26005/tid=26006] ppid=26003 vsize=13621848 CPUtime=0.08 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 13641 0 1 0 7 1 0 0 18 0 18 0 807522163 13948772352 15242 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254261277729 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621848
[startup+0.300639 s]
/proc/loadavg: 1.88 2.00 1.97 2/495 26005
/proc/meminfo: memFree=21156396/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13622916 CPUtime=0.46 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 24213 0 1 0 43 3 0 0 23 0 18 0 807522162 13949865984 23440 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3405729 23443 2199 9 0 3396463 0
[pid=26005/tid=26006] ppid=26003 vsize=13622916 CPUtime=0.28 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 21342 0 1 0 26 2 0 0 18 0 18 0 807522163 13949865984 23445 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505573443 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622916
[startup+0.700565 s]
/proc/loadavg: 1.88 2.00 1.97 2/495 26005
/proc/meminfo: memFree=21156396/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13623968 CPUtime=1.04 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 52806 0 1 0 97 7 0 0 23 0 18 0 807522162 13950943232 51317 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3405992 51317 2204 9 0 3396726 0
[pid=26005/tid=26006] ppid=26003 vsize=13623968 CPUtime=0.68 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 48391 0 1 0 62 6 0 0 18 0 18 0 807522163 13950943232 51318 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505582312 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13623968
[startup+1.50142 s]
/proc/loadavg: 1.88 2.00 1.97 3/513 26023
/proc/meminfo: memFree=20851532/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13623968 CPUtime=1.85 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 123453 0 1 0 170 15 0 0 23 0 18 0 807522162 13950943232 121964 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3405992 121967 2204 9 0 3396726 0
[pid=26005/tid=26006] ppid=26003 vsize=13623968 CPUtime=1.48 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 119041 0 1 0 134 14 0 0 19 0 18 0 807522163 13950943232 121968 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505559131 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121970 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121972 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121974 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121976 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121977 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121979 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121981 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 121983 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 807522166 13950943232 121984 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 807522166 13950943232 121986 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 807522166 13950943232 121988 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522168 13950943232 121990 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13623968 CPUtime=0.18 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 2087 0 0 0 18 0 0 0 20 0 18 0 807522168 13950943232 121991 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13623968 CPUtime=0.17 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1179 0 0 0 17 0 0 0 16 0 18 0 807522169 13950943232 121993 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522169 13950943232 121994 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 807522169 13950943232 121996 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13623968
[startup+3.10114 s]
/proc/loadavg: 1.88 2.00 1.97 3/513 26023
/proc/meminfo: memFree=20463040/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13623968 CPUtime=3.45 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 263638 0 1 0 313 32 0 0 23 0 18 0 807522162 13950943232 262149 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3405992 262153 2204 9 0 3396726 0
[pid=26005/tid=26006] ppid=26003 vsize=13623968 CPUtime=3.08 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 259227 0 1 0 277 31 0 0 25 0 18 0 807522163 13950943232 262154 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505573582 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262156 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262158 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262159 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262161 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262163 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262165 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262166 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522165 13950943232 262168 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 807522166 13950943232 262170 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 807522166 13950943232 262172 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 807522166 13950943232 262173 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522168 13950943232 262175 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13623968 CPUtime=0.18 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 2087 0 0 0 18 0 0 0 15 0 18 0 807522168 13950943232 262176 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13623968 CPUtime=0.17 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1179 0 0 0 17 0 0 0 16 0 18 0 807522169 13950943232 262178 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807522169 13950943232 262179 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13623968 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 807522169 13950943232 262186 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 13623968
[startup+6.30159 s]
/proc/loadavg: 1.89 2.00 1.97 3/513 26023
/proc/meminfo: memFree=19189568/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13624996 CPUtime=6.87 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 539710 0 1 0 623 64 0 0 23 0 19 0 807522162 13951995904 538208 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3406249 538208 2222 9 0 3396983 0
[pid=26005/tid=26006] ppid=26003 vsize=13624996 CPUtime=6.29 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 535230 0 1 0 566 63 0 0 25 0 19 0 807522163 13951995904 538208 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505781793 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538208 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522165 13951995904 538209 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 807522166 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807522166 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807522166 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522168 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13624996 CPUtime=0.3 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 2125 0 0 0 30 0 0 0 15 0 19 0 807522168 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13624996 CPUtime=0.27 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1195 0 0 0 27 0 0 0 15 0 19 0 807522169 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522169 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13624996 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807522169 13951995904 538210 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522168 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13625228 CPUtime=0.55 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 3347 0 0 0 55 0 0 0 15 0 19 0 807522168 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13625228 CPUtime=0.41 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1556 0 0 0 41 0 0 0 15 0 19 0 807522169 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522169 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 807522169 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26024] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26024/stat : 26024 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807522768 13952233472 641505 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.57
Current children cumulated vsize (KiB) 13625228
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/514 26070
/proc/meminfo: memFree=18546628/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13625228 CPUtime=1725.65 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 645006 0 1 0 172481 84 0 0 23 0 19 0 807522162 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3406307 641776 2252 9 0 3397041 0
[pid=26005/tid=26006] ppid=26003 vsize=13625228 CPUtime=1661.76 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 538840 0 1 0 166111 65 0 0 22 0 19 0 807522163 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505805472 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13625228 CPUtime=0.37 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1357 0 0 0 37 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13625228 CPUtime=0.44 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1242 0 0 0 44 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13625228 CPUtime=0.42 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1271 0 0 0 42 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13625228 CPUtime=0.52 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1788 0 0 0 52 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13625228 CPUtime=0.6 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 9119 0 0 0 59 1 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13625228 CPUtime=0.51 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 10666 0 0 0 50 1 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13625228 CPUtime=0.55 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 15845 0 0 0 52 3 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13625228 CPUtime=0.48 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 6532 0 0 0 47 1 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13625228 CPUtime=58.93 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 52192 0 0 0 5886 7 0 0 15 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 5 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522168 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13625228 CPUtime=0.55 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 3347 0 0 0 55 0 0 0 15 0 19 0 807522168 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13625228 CPUtime=0.41 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1556 0 0 0 41 0 0 0 15 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26024] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26024/stat : 26024 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807522768 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.65
Current children cumulated vsize (KiB) 13625228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/514 26071
/proc/meminfo: memFree=18545956/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13625228 CPUtime=1785.7 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 645022 0 1 0 178486 84 0 0 23 0 19 0 807522162 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3406307 641776 2252 9 0 3397041 0
[pid=26005/tid=26006] ppid=26003 vsize=13625228 CPUtime=1719.67 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 538848 0 1 0 171902 65 0 0 17 0 19 0 807522163 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505779893 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13625228 CPUtime=0.38 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1357 0 0 0 38 0 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13625228 CPUtime=0.45 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1242 0 0 0 45 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13625228 CPUtime=0.44 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1271 0 0 0 44 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13625228 CPUtime=0.53 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1788 0 0 0 53 0 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13625228 CPUtime=0.61 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 9119 0 0 0 60 1 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13625228 CPUtime=0.51 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 10666 0 0 0 50 1 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13625228 CPUtime=0.57 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 15845 0 0 0 54 3 0 0 16 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13625228 CPUtime=0.5 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 6532 0 0 0 49 1 0 0 15 0 19 0 807522165 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13625228 CPUtime=60.97 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 52196 0 0 0 6090 7 0 0 15 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 5 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522168 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13625228 CPUtime=0.55 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 3347 0 0 0 55 0 0 0 15 0 19 0 807522168 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13625228 CPUtime=0.41 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1556 0 0 0 41 0 0 0 15 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 807522169 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26024] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26024/stat : 26024 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807522768 13952233472 641776 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 13625228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.00 2.03 2.00 2/494 26084
/proc/meminfo: memFree=18798536/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=13625228 CPUtime=1800.03 cores=1,3,5,7
/proc/26005/stat : 26005 (java) S 26003 26005 23895 0 -1 4202496 645079 0 1 0 179919 84 0 0 23 0 19 0 807522162 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 3406307 641829 2252 9 0 3397041 0
[pid=26005/tid=26006] ppid=26003 vsize=13625228 CPUtime=1733.47 cores=1,3,5,7
/proc/26005/task/26006/stat : 26006 (java) R 26003 26005 23895 0 -1 4202560 538850 0 1 0 173282 65 0 0 25 0 19 0 807522163 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 46912505840684 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26005/tid=26008] ppid=26003 vsize=13625228 CPUtime=0.39 cores=1,3,5,7
/proc/26005/task/26008/stat : 26008 (java) S 26003 26005 23895 0 -1 4202560 1357 0 0 0 39 0 0 0 16 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26009] ppid=26003 vsize=13625228 CPUtime=0.45 cores=1,3,5,7
/proc/26005/task/26009/stat : 26009 (java) S 26003 26005 23895 0 -1 4202560 1243 0 0 0 45 0 0 0 16 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26010] ppid=26003 vsize=13625228 CPUtime=0.44 cores=1,3,5,7
/proc/26005/task/26010/stat : 26010 (java) S 26003 26005 23895 0 -1 4202560 1271 0 0 0 44 0 0 0 15 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26011] ppid=26003 vsize=13625228 CPUtime=0.53 cores=1,3,5,7
/proc/26005/task/26011/stat : 26011 (java) S 26003 26005 23895 0 -1 4202560 1788 0 0 0 53 0 0 0 15 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26012] ppid=26003 vsize=13625228 CPUtime=0.61 cores=1,3,5,7
/proc/26005/task/26012/stat : 26012 (java) S 26003 26005 23895 0 -1 4202560 9119 0 0 0 60 1 0 0 15 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26013] ppid=26003 vsize=13625228 CPUtime=0.52 cores=1,3,5,7
/proc/26005/task/26013/stat : 26013 (java) S 26003 26005 23895 0 -1 4202560 10666 0 0 0 51 1 0 0 16 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26014] ppid=26003 vsize=13625228 CPUtime=0.57 cores=1,3,5,7
/proc/26005/task/26014/stat : 26014 (java) S 26003 26005 23895 0 -1 4202560 15845 0 0 0 54 3 0 0 15 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26015] ppid=26003 vsize=13625228 CPUtime=0.5 cores=1,3,5,7
/proc/26005/task/26015/stat : 26015 (java) S 26003 26005 23895 0 -1 4202560 6532 0 0 0 49 1 0 0 15 0 19 0 807522165 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26016] ppid=26003 vsize=13625228 CPUtime=61.48 cores=1,3,5,7
/proc/26005/task/26016/stat : 26016 (java) S 26003 26005 23895 0 -1 4202560 52248 0 0 0 6141 7 0 0 15 0 19 0 807522166 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 0 0 16800975 18446604470157904000 0 0 -1 5 0 0 0
[pid=26005/tid=26017] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26017/stat : 26017 (java) S 26003 26005 23895 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26018] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26018/stat : 26018 (java) S 26003 26005 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807522166 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26019] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26019/stat : 26019 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522168 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273440177 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26020] ppid=26003 vsize=13625228 CPUtime=0.55 cores=1,3,5,7
/proc/26005/task/26020/stat : 26020 (java) S 26003 26005 23895 0 -1 4202560 3347 0 0 0 55 0 0 0 15 0 19 0 807522168 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=26005/tid=26021] ppid=26003 vsize=13625228 CPUtime=0.41 cores=1,3,5,7
/proc/26005/task/26021/stat : 26021 (java) S 26003 26005 23895 0 -1 4202560 1556 0 0 0 41 0 0 0 15 0 19 0 807522169 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
[pid=26005/tid=26022] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26022/stat : 26022 (java) S 26003 26005 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807522169 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26023] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26023/stat : 26023 (java) S 26003 26005 23895 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 807522169 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 3 0 0 0
[pid=26005/tid=26024] ppid=26003 vsize=13625228 CPUtime=0 cores=1,3,5,7
/proc/26005/task/26024/stat : 26024 (java) S 26003 26005 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807522768 13952233472 641829 33554432000 1073741824 1073778376 140737180563088 18446744073709551615 254273433088 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13625228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.72 s]
/proc/loadavg: 2.00 2.03 2.00 2/494 26084
/proc/meminfo: memFree=18798536/32951124 swapFree=67057928/67111528
[pid=26005] ppid=26003 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/26005/stat : 26005 (java) Z 26003 26005 23895 0 -1 4203548 645120 0 1 0 179922 92 0 0 17 0 2 0 807522162 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26005/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.74
CPU time (s): 1800.17
CPU user time (s): 1799.22
CPU system time (s): 0.942856
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 13625228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.942856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645120
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42584
involuntary context switches= 8244
runsolver used 8.11876 second user time and 19.746 second system time
The end