runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459350-1307635084/watcher-3459350-1307635084 -o /tmp/evaluation-result-3459350-1307635084/solver-3459350-1307635084 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459350-1307635084.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: 2.14 2.01 1.71 3/195 27195
/proc/meminfo: memFree=32428492/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 875111176 31260672 957 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 7632 957 730 9 0 383 0
[pid=27195/tid=27196] ppid=27193 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 875111177 31260672 957 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218370957056 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0624249 s]
/proc/loadavg: 2.14 2.01 1.71 3/195 27195
/proc/meminfo: memFree=32428492/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13554924 CPUtime=0.05 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 14156 0 1 0 4 1 0 0 25 0 18 0 875111176 13880242176 13852 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3388731 13853 1732 9 0 3379472 0
[pid=27195/tid=27196] ppid=27193 vsize=13554924 CPUtime=0.05 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 12982 0 1 0 4 1 0 0 22 0 18 0 875111177 13880242176 13854 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912504007664 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554924
[startup+0.100418 s]
/proc/loadavg: 2.14 2.01 1.71 3/195 27195
/proc/meminfo: memFree=32428492/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13622320 CPUtime=0.1 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 15541 0 1 0 9 1 0 0 25 0 18 0 875111176 13949255680 15237 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3405580 15238 2093 9 0 3396314 0
[pid=27195/tid=27196] ppid=27193 vsize=13622320 CPUtime=0.09 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 13643 0 1 0 8 1 0 0 18 0 18 0 875111177 13949255680 15238 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218370618401 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622320
[startup+0.30038 s]
/proc/loadavg: 2.14 2.01 1.71 3/195 27195
/proc/meminfo: memFree=32428492/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627368 CPUtime=0.51 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 19565 0 1 0 49 2 0 0 25 0 19 0 875111176 13954424832 18866 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406842 18868 2213 9 0 3397576 0
[pid=27195/tid=27196] ppid=27193 vsize=13627368 CPUtime=0.28 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 15971 0 1 0 27 1 0 0 19 0 19 0 875111177 13954424832 18868 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505217341 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13627368
[startup+0.700309 s]
/proc/loadavg: 2.14 2.01 1.71 3/195 27195
/proc/meminfo: memFree=32428492/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=1.19 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 20995 0 1 0 117 2 0 0 25 0 19 0 875111176 13954727936 19813 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 19813 2225 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=0.68 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 16810 0 1 0 67 1 0 0 19 0 19 0 875111177 13954727936 19813 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505636632 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13627664
[startup+1.50117 s]
/proc/loadavg: 2.14 2.01 1.71 3/214 27214
/proc/meminfo: memFree=32354956/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=2.15 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 30036 0 1 0 212 3 0 0 25 0 19 0 875111176 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 26749 2250 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=1.46 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 17881 0 1 0 145 1 0 0 20 0 19 0 875111177 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505659249 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 370 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 328 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=0.01 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 1259 0 0 0 1 0 0 0 17 0 19 0 875111180 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.28 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1097 0 0 0 28 0 0 0 15 0 19 0 875111182 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.35 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 35 0 0 0 16 0 19 0 875111182 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 26749 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13627664
[startup+3.1009 s]
/proc/loadavg: 2.14 2.01 1.71 3/214 27214
/proc/meminfo: memFree=32329736/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=3.78 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 33822 0 1 0 375 3 0 0 25 0 19 0 875111176 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 30534 2250 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=3.04 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 17883 0 1 0 303 1 0 0 25 0 19 0 875111177 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505585152 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 1068 0 0 0 0 0 0 0 16 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 631 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 611 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 370 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 328 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=0.03 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 2657 0 0 0 3 0 0 0 15 0 19 0 875111180 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.29 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1097 0 0 0 29 0 0 0 15 0 19 0 875111182 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.37 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 37 0 0 0 16 0 19 0 875111182 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 30534 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13627664
[startup+6.30132 s]
/proc/loadavg: 2.12 2.01 1.71 3/214 27214
/proc/meminfo: memFree=32305392/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=6.99 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 36610 0 1 0 696 3 0 0 25 0 19 0 875111176 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 32767 2250 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=6.21 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 17885 0 1 0 620 1 0 0 25 0 19 0 875111177 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505606278 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 1069 0 0 0 0 0 0 0 15 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 640 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 655 0 0 0 0 0 0 0 15 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 825 0 0 0 0 0 0 0 15 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 883 0 0 0 0 0 0 0 15 0 19 0 875111179 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=0.05 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 3963 0 0 0 5 0 0 0 15 0 19 0 875111180 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.3 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1099 0 0 0 30 0 0 0 15 0 19 0 875111182 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.38 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 38 0 0 0 15 0 19 0 875111182 13954727936 32767 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0.63 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 2184 0 0 0 63 0 0 0 15 0 19 0 875111179 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0.58 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 1988 0 0 0 58 0 0 0 16 0 19 0 875111179 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0.68 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 3013 0 0 0 68 0 0 0 16 0 19 0 875111179 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=17.12 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 19285 0 0 0 1704 8 0 0 16 0 19 0 875111180 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.35 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1112 0 0 0 35 0 0 0 15 0 19 0 875111182 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.38 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 38 0 0 0 15 0 19 0 875111182 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 68439 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.35
Current children cumulated vsize (KiB) 13627664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 27331
/proc/meminfo: memFree=31901828/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=1726.44 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 73078 0 1 0 172626 18 0 0 25 0 19 0 875111176 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 68602 2251 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=1702.6 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 24611 0 1 0 170257 3 0 0 25 0 19 0 875111177 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505606283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0.61 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 2723 0 0 0 61 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 2666 0 0 0 62 0 0 0 16 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0.6 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 2782 0 0 0 60 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0.61 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 1525 0 0 0 61 0 0 0 16 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0.66 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 2432 0 0 0 66 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0.64 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 2184 0 0 0 64 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0.59 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 1989 0 0 0 59 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0.7 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 3015 0 0 0 70 0 0 0 15 0 19 0 875111179 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=17.96 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 19434 0 0 0 1788 8 0 0 16 0 19 0 875111180 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.35 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1112 0 0 0 35 0 0 0 15 0 19 0 875111182 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.38 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 38 0 0 0 15 0 19 0 875111182 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 68602 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.44
Current children cumulated vsize (KiB) 13627664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 27333
/proc/meminfo: memFree=31900772/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=1786.5 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 73271 0 1 0 178632 18 0 0 25 0 19 0 875111176 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 68773 2251 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=1761.82 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 24625 0 1 0 176179 3 0 0 20 0 19 0 875111177 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505611173 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 2723 0 0 0 62 0 0 0 15 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0.64 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 2670 0 0 0 64 0 0 0 16 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 2787 0 0 0 62 0 0 0 16 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 1532 0 0 0 62 0 0 0 15 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0.67 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 2441 0 0 0 67 0 0 0 16 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0.65 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 2199 0 0 0 65 0 0 0 15 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0.61 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 1989 0 0 0 61 0 0 0 15 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0.71 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 3022 0 0 0 71 0 0 0 15 0 19 0 875111179 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=18.7 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 19562 0 0 0 1861 9 0 0 15 0 19 0 875111180 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.35 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1112 0 0 0 35 0 0 0 15 0 19 0 875111182 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.38 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 38 0 0 0 15 0 19 0 875111182 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 68773 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (KiB) 13627664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.00 2.00 1.92 3/214 27333
/proc/meminfo: memFree=31900004/32951124 swapFree=67050780/67111528
[pid=27195] ppid=27193 vsize=13627664 CPUtime=1800.02 cores=1,3,5,7
/proc/27195/stat : 27195 (java) S 27193 27195 26276 0 -1 4202496 73487 0 1 0 179984 18 0 0 25 0 19 0 875111176 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27195/statm: 3406916 68986 2251 9 0 3397650 0
[pid=27195/tid=27196] ppid=27193 vsize=13627664 CPUtime=1775.17 cores=1,3,5,7
/proc/27195/task/27196/stat : 27196 (java) R 27193 27195 26276 0 -1 4202560 24628 0 1 0 177514 3 0 0 21 0 19 0 875111177 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 46912505636327 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27195/tid=27198] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27198/stat : 27198 (java) S 27193 27195 26276 0 -1 4202560 2723 0 0 0 62 0 0 0 16 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27199] ppid=27193 vsize=13627664 CPUtime=0.64 cores=1,3,5,7
/proc/27195/task/27199/stat : 27199 (java) S 27193 27195 26276 0 -1 4202560 2670 0 0 0 64 0 0 0 15 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27200] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27200/stat : 27200 (java) S 27193 27195 26276 0 -1 4202560 2787 0 0 0 62 0 0 0 15 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27201] ppid=27193 vsize=13627664 CPUtime=0.62 cores=1,3,5,7
/proc/27195/task/27201/stat : 27201 (java) S 27193 27195 26276 0 -1 4202560 1532 0 0 0 62 0 0 0 15 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27202] ppid=27193 vsize=13627664 CPUtime=0.67 cores=1,3,5,7
/proc/27195/task/27202/stat : 27202 (java) S 27193 27195 26276 0 -1 4202560 2441 0 0 0 67 0 0 0 16 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27203] ppid=27193 vsize=13627664 CPUtime=0.65 cores=1,3,5,7
/proc/27195/task/27203/stat : 27203 (java) S 27193 27195 26276 0 -1 4202560 2202 0 0 0 65 0 0 0 16 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27204] ppid=27193 vsize=13627664 CPUtime=0.61 cores=1,3,5,7
/proc/27195/task/27204/stat : 27204 (java) S 27193 27195 26276 0 -1 4202560 1989 0 0 0 61 0 0 0 15 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
[pid=27195/tid=27205] ppid=27193 vsize=13627664 CPUtime=0.71 cores=1,3,5,7
/proc/27195/task/27205/stat : 27205 (java) S 27193 27195 26276 0 -1 4202560 3022 0 0 0 71 0 0 0 15 0 19 0 875111179 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27206] ppid=27193 vsize=13627664 CPUtime=18.86 cores=1,3,5,7
/proc/27195/task/27206/stat : 27206 (java) S 27193 27195 26276 0 -1 4202560 19772 0 0 0 1877 9 0 0 15 0 19 0 875111180 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 0 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27207] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27207/stat : 27207 (java) S 27193 27195 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27208] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27208/stat : 27208 (java) S 27193 27195 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875111180 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 3 0 0 0
[pid=27195/tid=27209] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27209/stat : 27209 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875111182 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382780849 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27210] ppid=27193 vsize=13627664 CPUtime=0.35 cores=1,3,5,7
/proc/27195/task/27210/stat : 27210 (java) S 27193 27195 26276 0 -1 4202560 1112 0 0 0 35 0 0 0 15 0 19 0 875111182 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27211] ppid=27193 vsize=13627664 CPUtime=0.38 cores=1,3,5,7
/proc/27195/task/27211/stat : 27211 (java) S 27193 27195 26276 0 -1 4202560 7356 0 0 0 38 0 0 0 15 0 19 0 875111182 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 5 0 0 0
[pid=27195/tid=27212] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27212/stat : 27212 (java) S 27193 27195 26276 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 875111183 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773145 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27213] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27213/stat : 27213 (java) S 27193 27195 26276 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 875111183 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 1 0 0 0
[pid=27195/tid=27214] ppid=27193 vsize=13627664 CPUtime=0 cores=1,3,5,7
/proc/27195/task/27214/stat : 27214 (java) S 27193 27195 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875111202 13954727936 68986 33554432000 1073741824 1073778376 140733327786384 18446744073709551615 218382773760 0 4 0 16800975 18446604468596630464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13627664
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): 1795.84
CPU time (s): 1800.08
CPU user time (s): 1799.88
CPU system time (s): 0.199969
CPU usage (%): 100.236
Max. virtual memory (cumulated for all children) (KiB): 13627664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73524
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48456
involuntary context switches= 16572
runsolver used 3.06353 second user time and 6.77197 second system time
The end