runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3711244-1338170173/watcher-3711244-1338170173 -o /tmp/evaluation-result-3711244-1338170173/solver-3711244-1338170173 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711244-1338170173.opb
running on 4 cores: 0,2,4,6
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.92 1.98 1.99 2/194 24604
/proc/meminfo: memFree=30892376/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24604/stat : 24604 (java) R 24602 24604 21838 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 283143253 9515008 182 33554432000 1073741824 1073778376 140734068620336 140734068611368 242167398069 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 2323 184 142 9 0 71 0
[startup+0.103062 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 24604
/proc/meminfo: memFree=30892376/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 4285 0 1 0 8 1 0 0 20 0 18 0 283143253 9787842560 6004 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2389610 6004 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.200274 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 24604
/proc/meminfo: memFree=30892376/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9558440 CPUtime=0.22 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 4574 0 1 0 21 1 0 0 20 0 18 0 283143253 9787842560 6761 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2389610 6761 2194 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558440
[startup+0.30021 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 24604
/proc/meminfo: memFree=30892376/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9558440 CPUtime=0.44 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 5349 0 1 0 43 1 0 0 20 0 18 0 283143253 9787842560 7882 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2389610 7882 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440
[startup+0.700185 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 24604
/proc/meminfo: memFree=30892376/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=1.65 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 15005 0 1 0 162 3 0 0 20 0 19 0 283143253 9856004096 15933 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 15933 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625004
[startup+1.50076 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 24623
/proc/meminfo: memFree=30829124/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=2.68 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 15094 0 1 0 265 3 0 0 20 0 19 0 283143253 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 23162 2288 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2525 0 1 0 140 2 0 0 20 0 19 0 283143254 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668182970856 140668048204933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 283143256 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 59 0 0 0 20 0 19 0 283143259 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7489 0 0 0 55 2 0 0 20 0 19 0 283143259 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 23162 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 9625004
[startup+3.10068 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 24623
/proc/meminfo: memFree=30805728/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=4.38 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 15109 0 1 0 435 3 0 0 20 0 19 0 283143253 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 23685 2289 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=2.95 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2527 0 1 0 293 2 0 0 20 0 19 0 283143254 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668182970856 140668048204896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 19 0 283143256 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7491 0 0 0 58 2 0 0 20 0 19 0 283143259 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 23685 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9625004
[startup+6.30079 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 24623
/proc/meminfo: memFree=30808232/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=7.62 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 15137 0 1 0 758 4 0 0 20 0 19 0 283143253 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 22885 2289 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=6.05 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2532 0 1 0 603 2 0 0 20 0 19 0 283143254 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668182970736 140668048304562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283143255 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 38 0 0 0 14 0 0 0 20 0 19 0 283143256 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7491 0 0 0 58 2 0 0 20 0 19 0 283143259 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 22885 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 375 0 0 0 70 3 0 0 20 0 19 0 283143255 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 192 0 0 0 57 2 0 0 20 0 19 0 283143255 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 167 0 0 0 54 2 0 0 20 0 19 0 283143255 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=4.68 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 148 0 0 0 466 2 0 0 20 0 19 0 283143256 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7494 0 0 0 60 2 0 0 20 0 19 0 283143259 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 95 0 0 0 33 26 0 0 20 0 19 0 283143259 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 76638 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1667.48
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24720
/proc/meminfo: memFree=30106612/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=1727.58 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 17628 0 1 0 172708 50 0 0 20 0 19 0 283143253 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 77150 2290 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=1715.98 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2650 0 1 0 171568 30 0 0 20 0 19 0 283143254 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668182970736 140668048304562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 269 0 0 0 69 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 311 0 0 0 63 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 287 0 0 0 60 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 350 0 0 0 70 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 286 0 0 0 55 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 375 0 0 0 73 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 192 0 0 0 58 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 167 0 0 0 57 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=4.75 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 150 0 0 0 473 2 0 0 20 0 19 0 283143256 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7494 0 0 0 60 2 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 99 0 0 0 34 27 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.58
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24720
/proc/meminfo: memFree=30106492/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=1787.66 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 17635 0 1 0 178715 51 0 0 20 0 19 0 283143253 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 77150 2290 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=1775.86 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2651 0 1 0 177556 30 0 0 20 0 19 0 283143254 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668182970736 140668048148163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 269 0 0 0 70 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 311 0 0 0 63 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 287 0 0 0 62 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 350 0 0 0 71 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 286 0 0 0 55 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 375 0 0 0 74 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 192 0 0 0 60 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 167 0 0 0 57 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=4.86 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 152 0 0 0 483 3 0 0 20 0 19 0 283143256 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7494 0 0 0 60 2 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 103 0 0 0 36 27 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.66
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 24720
/proc/meminfo: memFree=30106372/32873648 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/24604/stat : 24604 (java) S 24602 24604 21838 0 -1 4202496 17635 0 1 0 179956 51 0 0 20 0 19 0 283143253 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140735002625968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24604/statm: 2406251 77150 2290 9 0 2396937 0
[pid=24604/tid=24606] ppid=24602 vsize=9625004 CPUtime=1788.27 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (java) R 24602 24604 21838 0 -1 4202560 2651 0 1 0 178796 31 0 0 20 0 19 0 283143254 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668182970736 140668048205204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (java) S 24602 24604 21838 0 -1 4202560 269 0 0 0 70 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668172032552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24608] ppid=24602 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/24604/task/24608/stat : 24608 (java) S 24602 24604 21838 0 -1 4202560 311 0 0 0 63 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668170979752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24609] ppid=24602 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24604/task/24609/stat : 24609 (java) S 24602 24604 21838 0 -1 4202560 287 0 0 0 62 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668169926952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24610] ppid=24602 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/24604/task/24610/stat : 24610 (java) S 24602 24604 21838 0 -1 4202560 350 0 0 0 71 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668168874152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24611] ppid=24602 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/24604/task/24611/stat : 24611 (java) S 24602 24604 21838 0 -1 4202560 286 0 0 0 55 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668167822376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24612] ppid=24602 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/24604/task/24612/stat : 24612 (java) S 24602 24604 21838 0 -1 4202560 375 0 0 0 74 3 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668166769576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24613] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24613/stat : 24613 (java) S 24602 24604 21838 0 -1 4202560 192 0 0 0 60 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668019882792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24614] ppid=24602 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24604/task/24614/stat : 24614 (java) S 24602 24604 21838 0 -1 4202560 167 0 0 0 57 2 0 0 20 0 19 0 283143255 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668018829992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24615] ppid=24602 vsize=9625004 CPUtime=4.86 cores=0,2,4,6
/proc/24604/task/24615/stat : 24615 (java) S 24602 24604 21838 0 -1 4202560 152 0 0 0 483 3 0 0 20 0 19 0 283143256 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668006631912 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24616] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24616/stat : 24616 (java) S 24602 24604 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668005577976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24617] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24617/stat : 24617 (java) S 24602 24604 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283143257 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668004525064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24618] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24618/stat : 24618 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668003473552 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24619] ppid=24602 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/24604/task/24619/stat : 24619 (java) S 24602 24604 21838 0 -1 4202560 3813 0 0 0 61 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668002421688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24604/tid=24620] ppid=24602 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/24604/task/24620/stat : 24620 (java) S 24602 24604 21838 0 -1 4202560 7494 0 0 0 60 2 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668001368888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24621] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24621/stat : 24621 (java) S 24602 24604 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140668000316280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24604/tid=24622] ppid=24602 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24604/task/24622/stat : 24622 (java) S 24602 24604 21838 0 -1 4202560 103 0 0 0 36 28 0 0 20 0 19 0 283143259 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667999263688 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24604/tid=24623] ppid=24602 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24604/task/24623/stat : 24623 (java) S 24602 24604 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283143294 9856004096 77150 33554432000 1073741824 1073778376 140735002634832 140667998209192 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.75
CPU time (s): 1800.7
CPU user time (s): 1799.71
CPU system time (s): 0.990849
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.990849
maximum resident set size= 308720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41025
involuntary context switches= 16730
runsolver used 5.62115 second user time and 15.3237 second system time
The end