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-3458449-1307162477/watcher-3458449-1307162477 -o /tmp/evaluation-result-3458449-1307162477/solver-3458449-1307162477 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458449-1307162477.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 1.50 1.80 2/438 396
/proc/meminfo: memFree=29051808/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/396/stat : 396 (java) R 394 396 28402 0 -1 4194304 298 0 0 0 0 0 0 0 22 0 1 0 827848198 9232384 62 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244441997900 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/396/statm: 2255 76 60 9 0 34 0
[pid=396/tid=397] ppid=394 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 5227 0 1 0 0 0 0 0 24 0 2 0 827848198 13850947584 6043 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.115016 s]
/proc/loadavg: 0.94 1.50 1.80 2/438 396
/proc/meminfo: memFree=29051808/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13622304 CPUtime=0.13 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 15795 0 1 0 11 2 0 0 22 0 18 0 827848198 13949239296 15447 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3405576 15447 2125 9 0 3396310 0
[pid=396/tid=397] ppid=394 vsize=13622304 CPUtime=0.1 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 13801 0 1 0 9 1 0 0 25 0 18 0 827848198 13949239296 15447 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 47775349641713 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622304
[startup+0.201025 s]
/proc/loadavg: 0.94 1.50 1.80 2/438 396
/proc/meminfo: memFree=29051808/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13622732 CPUtime=0.26 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 16590 0 1 0 24 2 0 0 22 0 18 0 827848198 13949677568 16242 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3405683 16242 2180 9 0 3396417 0
[pid=396/tid=397] ppid=394 vsize=13622732 CPUtime=0.18 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 14438 0 1 0 17 1 0 0 25 0 18 0 827848198 13949677568 16242 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622732
[startup+0.323084 s]
/proc/loadavg: 0.94 1.50 1.80 2/438 396
/proc/meminfo: memFree=29051808/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13625164 CPUtime=0.54 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 19469 0 1 0 52 2 0 0 22 0 18 0 827848198 13952167936 18780 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3406291 18781 2222 9 0 3397025 0
[pid=396/tid=397] ppid=394 vsize=13625164 CPUtime=0.3 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 16024 0 1 0 29 1 0 0 18 0 18 0 827848198 13952167936 18781 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505596074 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13625164
[startup+0.746961 s]
/proc/loadavg: 0.94 1.50 1.80 2/438 396
/proc/meminfo: memFree=29051808/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13635752 CPUtime=1.6 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 81977 0 1 0 151 9 0 0 22 0 18 0 827848198 13963010048 79307 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3408938 79312 2234 9 0 3399672 0
[pid=396/tid=397] ppid=394 vsize=13635752 CPUtime=0.72 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 72398 0 1 0 65 7 0 0 18 0 18 0 827848198 13963010048 79326 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505771093 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 13635752
[startup+1.50082 s]
/proc/loadavg: 0.94 1.50 1.80 3/466 480
/proc/meminfo: memFree=28436636/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=2.65 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 145451 0 1 0 248 17 0 0 22 0 19 0 827848198 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 142779 2243 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=1.47 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 135786 0 1 0 131 16 0 0 18 0 19 0 827848198 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505834847 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 827848201 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.56 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5008 0 0 0 56 0 0 0 15 0 19 0 827848204 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.6 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3494 0 0 0 60 0 0 0 15 0 19 0 827848204 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 142779 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 13636780
[startup+3.10155 s]
/proc/loadavg: 0.94 1.50 1.80 3/466 480
/proc/meminfo: memFree=28433164/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=4.26 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 145780 0 1 0 409 17 0 0 22 0 19 0 827848198 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 143106 2243 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=3.07 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 136114 0 1 0 291 16 0 0 21 0 19 0 827848198 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505957950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827848201 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.56 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5009 0 0 0 56 0 0 0 15 0 19 0 827848204 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.6 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3494 0 0 0 60 0 0 0 15 0 19 0 827848204 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 143106 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13636780
[startup+6.30094 s]
/proc/loadavg: 1.03 1.51 1.80 3/466 481
/proc/meminfo: memFree=28421640/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=7.47 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 146408 0 1 0 729 18 0 0 22 0 19 0 827848198 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 143733 2243 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=6.27 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 136740 0 1 0 610 17 0 0 25 0 19 0 827848198 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458762182 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848200 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827848201 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827848202 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.57 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) R 394 396 28402 0 -1 4202560 5010 0 0 0 57 0 0 0 15 0 19 0 827848204 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 47775350370120 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.6 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3495 0 0 0 60 0 0 0 15 0 19 0 827848204 13964062720 143733 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0.04 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 2388 0 0 0 4 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1770 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0.06 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 3377 0 0 0 6 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=1.95 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 15100 0 0 0 194 1 0 0 15 0 19 0 827848201 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 4 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.7 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5053 0 0 0 70 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.68 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3515 0 0 0 68 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.9
Current children cumulated vsize (KiB) 13636780
[startup+1782.32 s]
/proc/loadavg: 2.00 2.02 1.95 3/466 540
/proc/meminfo: memFree=28276900/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=1783.92 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 178573 0 1 0 178367 25 0 0 22 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 175720 2270 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=1780.21 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 140484 0 1 0 178001 20 0 0 25 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912506020739 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1070 0 0 0 2 0 0 0 16 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 321 0 0 0 2 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0.01 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0.03 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 2734 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0.04 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 2388 0 0 0 4 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1770 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0.06 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 3377 0 0 0 6 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=1.95 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 15100 0 0 0 194 1 0 0 15 0 19 0 827848201 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 4 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.7 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5053 0 0 0 70 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.68 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3515 0 0 0 68 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.92
Current children cumulated vsize (KiB) 13636780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.4 s]
/proc/loadavg: 2.00 2.02 1.95 3/466 540
/proc/meminfo: memFree=28276888/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=1800 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 178575 0 1 0 179975 25 0 0 22 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 175720 2270 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=1796.31 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 140484 0 1 0 179611 20 0 0 25 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505994571 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1070 0 0 0 2 0 0 0 16 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 321 0 0 0 2 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0.01 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0.03 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 2734 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0.04 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 2388 0 0 0 4 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1770 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0.06 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 3377 0 0 0 6 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=1.95 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 15100 0 0 0 194 1 0 0 15 0 19 0 827848201 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 4 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.7 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5053 0 0 0 70 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.68 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3515 0 0 0 68 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 13636780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.4 s]
/proc/loadavg: 2.00 2.02 1.95 3/466 540
/proc/meminfo: memFree=28276888/32951124 swapFree=43324008/67111528
[pid=396] ppid=394 vsize=13636780 CPUtime=1800 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 396 28402 0 -1 4202496 178575 0 1 0 179975 25 0 0 22 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/396/statm: 3409195 175720 2270 9 0 3399929 0
[pid=396/tid=397] ppid=394 vsize=13636780 CPUtime=1796.31 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 396 28402 0 -1 4202560 140484 0 1 0 179611 20 0 0 25 0 19 0 827848198 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 46912505994571 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=396/tid=402] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 396 28402 0 -1 4202560 1070 0 0 0 2 0 0 0 16 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=403] ppid=394 vsize=13636780 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 396 28402 0 -1 4202560 321 0 0 0 2 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=404] ppid=394 vsize=13636780 CPUtime=0.01 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 396 28402 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=405] ppid=394 vsize=13636780 CPUtime=0.03 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 396 28402 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=406] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 396 28402 0 -1 4202560 2734 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=407] ppid=394 vsize=13636780 CPUtime=0.04 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 396 28402 0 -1 4202560 2388 0 0 0 4 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=408] ppid=394 vsize=13636780 CPUtime=0.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 396 28402 0 -1 4202560 1770 0 0 0 5 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=409] ppid=394 vsize=13636780 CPUtime=0.06 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 396 28402 0 -1 4202560 3377 0 0 0 6 0 0 0 15 0 19 0 827848200 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=415] ppid=394 vsize=13636780 CPUtime=1.95 cores=0,2,4,6
/proc/396/task/415/stat : 415 (java) S 394 396 28402 0 -1 4202560 15100 0 0 0 194 1 0 0 15 0 19 0 827848201 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 0 0 16800975 18446604452727560192 0 0 -1 4 0 0 0
[pid=396/tid=416] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/416/stat : 416 (java) S 394 396 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=417] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/417/stat : 417 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827848202 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=418] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/418/stat : 418 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458768817 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=419] ppid=394 vsize=13636780 CPUtime=0.7 cores=0,2,4,6
/proc/396/task/419/stat : 419 (java) S 394 396 28402 0 -1 4202560 5053 0 0 0 70 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 2 0 0 0
[pid=396/tid=420] ppid=394 vsize=13636780 CPUtime=0.68 cores=0,2,4,6
/proc/396/task/420/stat : 420 (java) S 394 396 28402 0 -1 4202560 3515 0 0 0 68 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=421] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/421/stat : 421 (java) S 394 396 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761113 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
[pid=396/tid=422] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/422/stat : 422 (java) S 394 396 28402 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827848204 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 0 0 0 0
[pid=396/tid=480] ppid=394 vsize=13636780 CPUtime=0 cores=0,2,4,6
/proc/396/task/480/stat : 480 (java) S 394 396 28402 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827848293 13964062720 175720 33554432000 1073741824 1073778376 140733778855264 18446744073709551615 244458761728 0 4 0 16800975 18446604452727560192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 13636780
Child status: 143
Real time (s): 1798.49
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.283956
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 13636780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178608
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= 37357
involuntary context switches= 5016
runsolver used 8.38872 second user time and 16.7635 second system time
The end