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-3709891-1338151314/watcher-3709891-1338151314 -o /tmp/evaluation-result-3709891-1338151314/solver-3709891-1338151314 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709891-1338151314.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.92 1.98 1.99 3/194 22363
/proc/meminfo: memFree=30572920/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22363/stat : 22363 (java) D 22361 22363 21838 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 281257337 9515008 182 33554432000 1073741824 1073778376 140734130579520 140734130570552 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22363/statm: 2323 182 140 9 0 71 0
[startup+0.045789 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22363
/proc/meminfo: memFree=30572920/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 3080 0 1 0 2 0 0 0 20 0 13 0 281257337 9446973440 3267 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2306390 3267 1700 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100254 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22363
/proc/meminfo: memFree=30572920/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 4351 0 1 0 8 1 0 0 20 0 18 0 281257337 9787842560 5559 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2389610 5559 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300182 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22363
/proc/meminfo: memFree=30572920/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9558440 CPUtime=0.54 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 7229 0 1 0 52 2 0 0 20 0 18 0 281257337 9787842560 10980 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2389610 10980 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440
[startup+0.700158 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22363
/proc/meminfo: memFree=30572920/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 8109 0 1 0 132 2 0 0 20 0 19 0 281257337 9856004096 14061 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 14061 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625004
[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22382
/proc/meminfo: memFree=30519536/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 8118 0 1 0 212 3 0 0 20 0 19 0 281257337 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 17646 2248 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 2585 0 1 0 145 2 0 0 20 0 19 0 281257338 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477987686984 140477860555893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281257340 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2413 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 281257343 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 17646 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625004
[startup+3.10072 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22382
/proc/meminfo: memFree=30500600/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=3.74 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 8128 0 1 0 371 3 0 0 20 0 19 0 281257337 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 22254 2248 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=3.06 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 2595 0 1 0 304 2 0 0 20 0 19 0 281257338 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477987686984 140477860422836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281257340 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2413 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1920 0 0 0 30 0 0 0 20 0 19 0 281257343 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 22254 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004
[startup+6.30073 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22382
/proc/meminfo: memFree=30460384/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=6.98 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 8159 0 1 0 694 4 0 0 20 0 19 0 281257337 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 32936 2251 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=6.27 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 2618 0 1 0 624 3 0 0 20 0 19 0 281257338 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477987686896 140477860422237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281257339 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281257340 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2420 0 0 0 37 0 0 0 20 0 19 0 281257343 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1921 0 0 0 31 0 0 0 20 0 19 0 281257343 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 32936 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 616 0 0 0 278 22 0 0 20 0 19 0 281257339 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=2.89 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 934 0 0 0 264 25 0 0 20 0 19 0 281257339 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=2.84 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 1495 0 0 0 256 28 0 0 20 0 19 0 281257339 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=2.09 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 1544 0 0 0 202 7 0 0 20 0 19 0 281257340 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2449 0 0 0 48 0 0 0 20 0 19 0 281257343 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1928 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 95 0 0 0 30 40 0 0 20 0 19 0 281257343 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 302992 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1680.29
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/214 22479
/proc/meminfo: memFree=29685388/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=1740.71 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 16742 0 1 0 173827 244 0 0 20 0 19 0 281257337 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 305009 2276 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=1713.12 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 2998 0 1 0 171280 32 0 0 20 0 19 0 281257338 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477987687808 140477860422301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 397 0 0 0 279 23 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 530 0 0 0 276 23 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=2.77 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 644 0 0 0 259 18 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=3.13 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 932 0 0 0 288 25 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=3.12 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 982 0 0 0 290 22 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=3.06 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 619 0 0 0 284 22 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 938 0 0 0 273 25 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=2.93 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 1495 0 0 0 265 28 0 0 20 0 19 0 281257339 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=2.1 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 1548 0 0 0 203 7 0 0 20 0 19 0 281257340 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2449 0 0 0 48 0 0 0 20 0 19 0 281257343 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1928 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 97 0 0 0 31 42 0 0 20 0 19 0 281257343 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 305009 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1740.71
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.91 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 22479
/proc/meminfo: memFree=29641400/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 17235 0 1 0 179752 249 0 0 20 0 19 0 281257337 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 314128 2276 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=1771.25 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 3017 0 1 0 177093 32 0 0 20 0 19 0 281257338 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477987687808 140477860422225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=3.12 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 743 0 0 0 289 23 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=3.11 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 534 0 0 0 287 24 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=2.9 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 657 0 0 0 271 19 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=3.25 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 984 0 0 0 299 26 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=3.25 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 1009 0 0 0 302 23 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=3.17 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 619 0 0 0 295 22 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=3.13 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 954 0 0 0 287 26 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 1498 0 0 0 275 29 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=2.29 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 1557 0 0 0 222 7 0 0 20 0 19 0 281257340 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2449 0 0 0 48 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1928 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 101 0 0 0 33 43 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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
[startup+1780.91 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 22479
/proc/meminfo: memFree=29641400/32873648 swapFree=7112/7112
[pid=22363] ppid=22361 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/22363/stat : 22363 (java) S 22361 22363 21838 0 -1 4202496 17235 0 1 0 179752 249 0 0 20 0 19 0 281257337 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140733818271408 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22363/statm: 2406251 314128 2276 9 0 2396937 0
[pid=22363/tid=22365] ppid=22361 vsize=9625004 CPUtime=1771.25 cores=1,3,5,7
/proc/22363/task/22365/stat : 22365 (java) R 22361 22363 21838 0 -1 4202560 3017 0 1 0 177093 32 0 0 20 0 19 0 281257338 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477987687808 140477860422225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22366] ppid=22361 vsize=9625004 CPUtime=3.12 cores=1,3,5,7
/proc/22363/task/22366/stat : 22366 (java) S 22361 22363 21838 0 -1 4202560 743 0 0 0 289 23 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477831445160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22367] ppid=22361 vsize=9625004 CPUtime=3.11 cores=1,3,5,7
/proc/22363/task/22367/stat : 22367 (java) S 22361 22363 21838 0 -1 4202560 534 0 0 0 287 24 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477830392616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22368] ppid=22361 vsize=9625004 CPUtime=2.9 cores=1,3,5,7
/proc/22363/task/22368/stat : 22368 (java) S 22361 22363 21838 0 -1 4202560 657 0 0 0 271 19 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477829340072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22369] ppid=22361 vsize=9625004 CPUtime=3.25 cores=1,3,5,7
/proc/22363/task/22369/stat : 22369 (java) S 22361 22363 21838 0 -1 4202560 984 0 0 0 299 26 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477828287528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22370] ppid=22361 vsize=9625004 CPUtime=3.25 cores=1,3,5,7
/proc/22363/task/22370/stat : 22370 (java) S 22361 22363 21838 0 -1 4202560 1009 0 0 0 302 23 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477827233960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22371] ppid=22361 vsize=9625004 CPUtime=3.17 cores=1,3,5,7
/proc/22363/task/22371/stat : 22371 (java) S 22361 22363 21838 0 -1 4202560 619 0 0 0 295 22 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477826181416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22372] ppid=22361 vsize=9625004 CPUtime=3.13 cores=1,3,5,7
/proc/22363/task/22372/stat : 22372 (java) S 22361 22363 21838 0 -1 4202560 954 0 0 0 287 26 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477825128872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22363/tid=22373] ppid=22361 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/22363/task/22373/stat : 22373 (java) S 22361 22363 21838 0 -1 4202560 1498 0 0 0 275 29 0 0 20 0 19 0 281257339 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477824076328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22374] ppid=22361 vsize=9625004 CPUtime=2.29 cores=1,3,5,7
/proc/22363/task/22374/stat : 22374 (java) S 22361 22363 21838 0 -1 4202560 1557 0 0 0 222 7 0 0 20 0 19 0 281257340 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477811878504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22375] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22375/stat : 22375 (java) S 22361 22363 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477810824824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22376] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22376/stat : 22376 (java) S 22361 22363 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281257341 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477809772168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22377] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22377/stat : 22377 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477808720912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22363/tid=22378] ppid=22361 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22363/task/22378/stat : 22378 (java) S 22361 22363 21838 0 -1 4202560 2449 0 0 0 48 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477807667256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22379] ppid=22361 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/22363/task/22379/stat : 22379 (java) S 22361 22363 21838 0 -1 4202560 1928 0 0 0 34 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477806614712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22380] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22380/stat : 22380 (java) S 22361 22363 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477805562360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22363/tid=22381] ppid=22361 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/22363/task/22381/stat : 22381 (java) S 22361 22363 21838 0 -1 4202560 101 0 0 0 33 43 0 0 20 0 19 0 281257343 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477804510024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22363/tid=22382] ppid=22361 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22363/task/22382/stat : 22382 (java) S 22361 22363 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281257370 9856004096 314128 33554432000 1073741824 1073778376 140733818280272 140477803455784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1780.95
CPU time (s): 1800.38
CPU user time (s): 1797.49
CPU system time (s): 2.89156
CPU usage (%): 101.091
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.49
system time used= 2.89156
maximum resident set size= 1256652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17272
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49843
involuntary context switches= 49339
runsolver used 8.74867 second user time and 12.7951 second system time
The end