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-3737680-1338723870/watcher-3737680-1338723870 -o /tmp/evaluation-result-3737680-1338723870/solver-3737680-1338723870 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737680-1338723870.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: 3.83 3.90 3.80 4/197 28407
/proc/meminfo: memFree=25152376/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 338511545 96370688 927 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 23528 931 705 9 0 16769 0
[pid=28407/tid=28408] ppid=28405 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) R 28405 28407 25219 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 2 0 338511545 98635776 939 33554432000 1073741824 1073778376 140733382138272 139887373364776 212064104327 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0282671 s]
/proc/loadavg: 3.83 3.90 3.80 4/197 28407
/proc/meminfo: memFree=25152376/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 4050 0 1 0 1 1 0 0 20 0 10 0 338511545 11309641728 11392 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2761143 11392 1539 9 0 2751844 0
[pid=28407/tid=28408] ppid=28405 vsize=11044572 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) R 28405 28407 25219 0 -1 4202560 2893 0 1 0 0 0 0 0 20 0 10 0 338511545 11309641728 11392 33554432000 1073741824 1073778376 140733382138272 139887373365952 212076651789 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572
[startup+0.100289 s]
/proc/loadavg: 3.83 3.90 3.80 4/197 28407
/proc/meminfo: memFree=25152376/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 5312 0 1 0 9 1 0 0 20 0 18 0 338511545 11864465408 13660 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2896598 13660 2116 9 0 2887285 0
[pid=28407/tid=28408] ppid=28405 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) R 28405 28407 25219 0 -1 4202560 3349 0 1 0 6 1 0 0 20 0 18 0 338511545 11864465408 13660 33554432000 1073741824 1073778376 140733382138272 139887373368240 139887235940904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300196 s]
/proc/loadavg: 3.83 3.90 3.80 4/197 28407
/proc/meminfo: memFree=25152376/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 6908 0 1 0 46 2 0 0 20 0 18 0 338511545 11864465408 16718 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2896598 16718 2235 9 0 2887285 0
[pid=28407/tid=28408] ppid=28405 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) R 28405 28407 25219 0 -1 4202560 3368 0 1 0 26 1 0 0 20 0 18 0 338511545 11864465408 16718 33554432000 1073741824 1073778376 140733382138272 139887373368584 139887235938415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700223 s]
/proc/loadavg: 3.83 3.90 3.80 4/197 28407
/proc/meminfo: memFree=25152376/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=1.91 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 16057 0 1 0 185 6 0 0 20 0 19 0 338511545 12137111552 27609 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 27609 2259 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3419 0 1 0 36 1 0 0 20 0 19 0 338511545 12137111552 27609 33554432000 1073741824 1073778376 140733382138272 139887373370520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 11852648
[startup+1.50062 s]
/proc/loadavg: 3.83 3.90 3.80 3/216 28432
/proc/meminfo: memFree=25040316/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=2.31 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 18732 0 1 0 221 10 0 0 20 0 19 0 338511545 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 33726 2262 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3420 0 1 0 36 2 0 0 20 0 19 0 338511545 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887373370520 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511546 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 4916 0 0 0 53 1 0 0 20 0 19 0 338511550 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) R 28405 28407 25219 0 -1 4202560 9060 0 0 0 60 2 0 0 20 0 19 0 338511550 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887184877736 139887379396793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28424] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28424/stat : 28424 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887183838200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28425] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28425/stat : 28425 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887182785864 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28428] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28428/stat : 28428 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338511586 12137111552 33726 33554432000 1073741824 1073778376 140733382138272 139887179625512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 11852648
[startup+3.10073 s]
/proc/loadavg: 3.76 3.88 3.79 3/216 28438
/proc/meminfo: memFree=25020892/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=2.65 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 20104 0 1 0 248 17 0 0 20 0 19 0 338511545 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 39943 2266 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3421 0 1 0 37 2 0 0 20 0 19 0 338511545 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887373370536 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511546 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=0.57 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 4916 0 0 0 56 1 0 0 20 0 19 0 338511550 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) S 28405 28407 25219 0 -1 4202560 10398 0 0 0 73 2 0 0 20 0 19 0 338511550 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887184890552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28424] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28424/stat : 28424 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887183838200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28425] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28425/stat : 28425 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887182785864 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28428] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28428/stat : 28428 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338511586 12137111552 39943 33554432000 1073741824 1073778376 140733382138272 139887179625512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 11852648
[startup+6.30067 s]
/proc/loadavg: 3.76 3.88 3.79 3/216 28456
/proc/meminfo: memFree=24960392/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=3.27 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 21086 0 1 0 298 29 0 0 20 0 19 0 338511545 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 55564 2268 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3423 0 1 0 37 2 0 0 20 0 19 0 338511545 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887373370536 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511546 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338511547 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338511548 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338511550 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 5798 0 0 0 75 1 0 0 20 0 19 0 338511550 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) S 28405 28407 25219 0 -1 4202560 10409 0 0 0 79 2 0 0 20 0 19 0 338511550 12137111552 55564 33554432000 1073741824 1073778376 140733382138272 139887184890552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
/proc/28407/statm: 2963162 569592 2294 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3494 0 1 0 39 5 0 0 20 0 22 0 338511545 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887373370536 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 52 0 0 0 69 0 0 0 20 0 22 0 338511546 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 75 0 0 0 79 2 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 48 0 0 0 75 0 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 70 0 0 0 73 2 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 54 0 0 0 77 0 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 75 0 0 0 81 2 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0.73 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 55 0 0 0 72 1 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 76 0 0 0 72 2 0 0 20 0 22 0 338511547 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=32.88 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 171 0 0 0 3283 5 0 0 20 0 22 0 338511548 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 6560 0 0 0 123 1 0 0 20 0 22 0 338511550 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) S 28405 28407 25219 0 -1 4202560 10423 0 0 0 119 3 0 0 20 0 22 0 338511550 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887184890552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28424] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28424/stat : 28424 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887183838200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28425] ppid=28405 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/28407/task/28425/stat : 28425 (java) S 28405 28407 25219 0 -1 4202560 47 0 0 0 16 19 0 0 20 0 22 0 338511550 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887182785864 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28428] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28428/stat : 28428 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338511586 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887179625512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28496] ppid=28405 vsize=11852648 CPUtime=768.16 cores=1,3,5,7
/proc/28407/task/28496/stat : 28496 (java) R 28405 28407 25219 0 -1 4202560 80 0 0 0 76805 11 0 0 20 0 22 0 338513288 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887181730640 139887236564704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28497] ppid=28405 vsize=11852648 CPUtime=768.11 cores=1,3,5,7
/proc/28407/task/28497/stat : 28497 (java) R 28405 28407 25219 0 -1 4202560 303 0 0 0 76790 21 0 0 20 0 22 0 338513288 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887180676320 139887236604115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28498] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28498/stat : 28498 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338513288 12137111552 569592 33554432000 1073741824 1073778376 140733382138272 139887178572584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1598.37
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.93 3.87 3.82 5/219 28686
/proc/meminfo: memFree=24524972/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=1715.24 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 23802 0 1 0 171409 115 0 0 20 0 22 0 338511545 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 570132 2294 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3501 0 1 0 39 5 0 0 20 0 22 0 338511545 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887373370536 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 54 0 0 0 75 0 0 0 20 0 22 0 338511546 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 85 0 0 0 86 2 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 52 0 0 0 80 0 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 75 0 0 0 81 2 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 55 0 0 0 83 0 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 77 0 0 0 86 2 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 58 0 0 0 78 1 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 77 0 0 0 79 2 0 0 20 0 22 0 338511547 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=36.17 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 176 0 0 0 3611 6 0 0 20 0 22 0 338511548 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 6560 0 0 0 123 1 0 0 20 0 22 0 338511550 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) S 28405 28407 25219 0 -1 4202560 10423 0 0 0 119 3 0 0 20 0 22 0 338511550 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887184890552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28424] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28424/stat : 28424 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887183838200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28425] ppid=28405 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/28407/task/28425/stat : 28425 (java) S 28405 28407 25219 0 -1 4202560 51 0 0 0 17 21 0 0 20 0 22 0 338511550 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887182785864 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28428] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28428/stat : 28428 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338511586 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887179625512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28496] ppid=28405 vsize=11852648 CPUtime=824.58 cores=1,3,5,7
/proc/28407/task/28496/stat : 28496 (java) R 28405 28407 25219 0 -1 4202560 83 0 0 0 82446 12 0 0 20 0 22 0 338513288 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887181730640 139887236564699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28497] ppid=28405 vsize=11852648 CPUtime=824.51 cores=1,3,5,7
/proc/28407/task/28497/stat : 28497 (java) R 28405 28407 25219 0 -1 4202560 303 0 0 0 82429 22 0 0 20 0 22 0 338513288 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887180676320 139887236604115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28498] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28498/stat : 28498 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338513288 12137111552 570132 33554432000 1073741824 1073778376 140733382138272 139887178572584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1715.24
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.001 s]
/proc/loadavg: 3.91 3.87 3.82 5/219 28686
/proc/meminfo: memFree=24510888/32873648 swapFree=7388/7388
[pid=28407] ppid=28405 vsize=11852648 CPUtime=1800.16 cores=1,3,5,7
/proc/28407/stat : 28407 (java) S 28405 28407 25219 0 -1 4202496 23854 0 1 0 179900 116 0 0 20 0 22 0 338511545 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 140733382129408 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28407/statm: 2963162 571193 2294 9 0 2953849 0
[pid=28407/tid=28408] ppid=28405 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/28407/task/28408/stat : 28408 (java) S 28405 28407 25219 0 -1 4202560 3505 0 1 0 40 5 0 0 20 0 22 0 338511545 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887373370536 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28410] ppid=28405 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/28407/task/28410/stat : 28410 (java) S 28405 28407 25219 0 -1 4202560 57 0 0 0 81 0 0 0 20 0 22 0 338511546 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887362431144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28411] ppid=28405 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/28407/task/28411/stat : 28411 (java) S 28405 28407 25219 0 -1 4202560 89 0 0 0 89 2 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887361378600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28412] ppid=28405 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/28407/task/28412/stat : 28412 (java) S 28405 28407 25219 0 -1 4202560 58 0 0 0 86 0 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887360326056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28413] ppid=28405 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/28407/task/28413/stat : 28413 (java) S 28405 28407 25219 0 -1 4202560 82 0 0 0 87 2 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887359273512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28414] ppid=28405 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/28407/task/28414/stat : 28414 (java) S 28405 28407 25219 0 -1 4202560 59 0 0 0 89 0 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887358220968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28415] ppid=28405 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/28407/task/28415/stat : 28415 (java) S 28405 28407 25219 0 -1 4202560 78 0 0 0 91 2 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887357168424 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28416] ppid=28405 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/28407/task/28416/stat : 28416 (java) S 28405 28407 25219 0 -1 4202560 62 0 0 0 82 1 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887356115880 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28417] ppid=28405 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/28407/task/28417/stat : 28417 (java) S 28405 28407 25219 0 -1 4202560 85 0 0 0 83 2 0 0 20 0 22 0 338511547 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887355063336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28418] ppid=28405 vsize=11852648 CPUtime=38.79 cores=1,3,5,7
/proc/28407/task/28418/stat : 28418 (java) S 28405 28407 25219 0 -1 4202560 180 0 0 0 3873 6 0 0 20 0 22 0 338511548 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887190153320 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28419] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28419/stat : 28419 (java) S 28405 28407 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887189099640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28420] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28420/stat : 28420 (java) S 28405 28407 25219 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338511548 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887188046984 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28421] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28421/stat : 28421 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887186995728 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28422] ppid=28405 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/28407/task/28422/stat : 28422 (java) S 28405 28407 25219 0 -1 4202560 6560 0 0 0 123 1 0 0 20 0 22 0 338511550 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887185943096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28407/tid=28423] ppid=28405 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/28407/task/28423/stat : 28423 (java) S 28405 28407 25219 0 -1 4202560 10423 0 0 0 119 3 0 0 20 0 22 0 338511550 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887184890552 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28424] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28424/stat : 28424 (java) S 28405 28407 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338511550 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887183838200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28407/tid=28425] ppid=28405 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/28407/task/28425/stat : 28425 (java) S 28405 28407 25219 0 -1 4202560 53 0 0 0 18 22 0 0 20 0 22 0 338511550 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887182785864 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28428] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28428/stat : 28428 (java) S 28405 28407 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338511586 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887179625512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28496] ppid=28405 vsize=11852648 CPUtime=865.45 cores=1,3,5,7
/proc/28407/task/28496/stat : 28496 (java) R 28405 28407 25219 0 -1 4202560 86 0 0 0 86532 13 0 0 20 0 22 0 338513288 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887181730640 139887236596300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28407/tid=28497] ppid=28405 vsize=11852648 CPUtime=865.35 cores=1,3,5,7
/proc/28407/task/28497/stat : 28497 (java) R 28405 28407 25219 0 -1 4202560 305 0 0 0 86512 23 0 0 20 0 22 0 338513288 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887180676320 139887236636808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28407/tid=28498] ppid=28405 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/28407/task/28498/stat : 28498 (java) S 28405 28407 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338513288 12137111552 571193 33554432000 1073741824 1073778376 140733382138272 139887178572584 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28407 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=549187
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=581759
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 926.035
CPU time (s): 1800.16
CPU user time (s): 1799
CPU system time (s): 1.16
CPU usage (%): 194.394
Max. virtual memory (cumulated for all children) (KiB): 11852996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 1.58176
maximum resident set size= 2284888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23885
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27367
involuntary context switches= 19017
runsolver used 2.68259 second user time and 9.59254 second system time
The end