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-3454193-1307190181/watcher-3454193-1307190181 -o /tmp/evaluation-result-3454193-1307190181/solver-3454193-1307190181 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454193-1307190181.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.07 3.28 3.10 3/458 12360
/proc/meminfo: memFree=24200540/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 3607 0 1 0 0 0 0 0 18 0 2 0 811433769 10694979584 3309 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2611079 3322 917 9 0 2602235 0
[pid=12360/tid=12361] ppid=12358 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) R 12358 12360 9722 0 -1 4202560 5482 0 1 0 0 0 0 0 19 0 2 0 811433770 10694979584 6298 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.078642 s]
/proc/loadavg: 3.07 3.28 3.10 3/458 12360
/proc/meminfo: memFree=24200540/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10538212 CPUtime=0.07 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 11987 0 1 0 6 1 0 0 18 0 18 0 811433769 10791129088 11684 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2634553 11684 1755 9 0 2625287 0
[pid=12360/tid=12361] ppid=12358 vsize=10538212 CPUtime=0.07 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) R 12358 12360 9722 0 -1 4202560 10811 0 1 0 6 1 0 0 21 0 18 0 811433770 10791129088 11684 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 47837437400117 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538212
[startup+0.100612 s]
/proc/loadavg: 3.07 3.28 3.10 3/458 12360
/proc/meminfo: memFree=24200540/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10539504 CPUtime=0.1 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 13072 0 1 0 9 1 0 0 18 0 18 0 811433769 10792452096 12769 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2634876 12769 2093 9 0 2625610 0
[pid=12360/tid=12361] ppid=12358 vsize=10539504 CPUtime=0.09 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) R 12358 12360 9722 0 -1 4202560 11146 0 1 0 8 1 0 0 21 0 18 0 811433770 10792452096 12769 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 47837434228643 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539504
[startup+0.304569 s]
/proc/loadavg: 3.07 3.28 3.10 3/458 12360
/proc/meminfo: memFree=24200540/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554988 CPUtime=0.63 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 23837 0 1 0 60 3 0 0 18 0 18 0 811433769 10808307712 21061 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638747 21061 2197 9 0 2629481 0
[pid=12360/tid=12361] ppid=12358 vsize=10554988 CPUtime=0.29 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) R 12358 12360 9722 0 -1 4202560 13065 0 1 0 28 1 0 0 21 0 18 0 811433770 10808307712 21061 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912505568755 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10554988
[startup+0.700461 s]
/proc/loadavg: 3.07 3.28 3.10 3/458 12360
/proc/meminfo: memFree=24200540/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554876 CPUtime=1.7 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 39638 0 1 0 166 4 0 0 18 0 22 0 811433769 10808193024 35977 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638719 35977 2220 9 0 2629453 0
[pid=12360/tid=12361] ppid=12358 vsize=10554876 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27177 0 1 0 53 2 0 0 23 0 22 0 811433770 10808193024 35977 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10554876
[startup+1.5013 s]
/proc/loadavg: 3.14 3.30 3.10 5/480 12386
/proc/meminfo: memFree=23998688/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554876 CPUtime=3.97 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 102402 0 1 0 384 13 0 0 18 0 22 0 811433769 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638719 98622 2229 9 0 2629453 0
[pid=12360/tid=12361] ppid=12358 vsize=10554876 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27177 0 1 0 53 2 0 0 18 0 22 0 811433770 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811433772 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12373] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12373/stat : 12373 (java) S 12358 12360 9722 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811433773 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 0 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12374] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12374/stat : 12374 (java) S 12358 12360 9722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 811433773 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12375] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12375/stat : 12375 (java) S 12358 12360 9722 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 811433773 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12376] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12376/stat : 12376 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433775 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350207409 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12378] ppid=12358 vsize=10554876 CPUtime=0.74 cores=1,3,5,7
/proc/12360/task/12378/stat : 12378 (java) R 12358 12360 9722 0 -1 4202560 5662 0 0 0 74 0 0 0 16 0 22 0 811433775 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 47837437733047 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12360/tid=12379] ppid=12358 vsize=10554876 CPUtime=0.78 cores=1,3,5,7
/proc/12360/task/12379/stat : 12379 (java) R 12358 12360 9722 0 -1 4202560 4498 0 0 0 78 0 0 0 15 0 22 0 811433775 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 47837437720847 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12360/tid=12380] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12380/stat : 12380 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433775 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12381] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12381/stat : 12381 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811433775 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12383] ppid=12358 vsize=10554876 CPUtime=0.92 cores=1,3,5,7
/proc/12360/task/12383/stat : 12383 (java) R 12358 12360 9722 0 -1 4202560 514 0 0 0 92 0 0 0 25 0 22 0 811433826 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912506163710 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12360/tid=12384] ppid=12358 vsize=10554876 CPUtime=0.92 cores=1,3,5,7
/proc/12360/task/12384/stat : 12384 (java) R 12358 12360 9722 0 -1 4202560 63382 0 0 0 84 8 0 0 25 0 22 0 811433826 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912506047126 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12360/tid=12385] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12385/stat : 12385 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433831 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12386] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12386/stat : 12386 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433835 10808193024 98622 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10554876
[startup+3.10098 s]
/proc/loadavg: 3.14 3.30 3.10 8/480 12386
/proc/meminfo: memFree=23611576/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554876 CPUtime=7.42 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 240757 0 1 0 716 26 0 0 18 0 22 0 811433769 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638719 236975 2231 9 0 2629453 0
[pid=12360/tid=12361] ppid=12358 vsize=10554876 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27177 0 1 0 53 2 0 0 15 0 22 0 811433770 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811433772 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12373] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12373/stat : 12373 (java) S 12358 12360 9722 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811433773 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 0 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12374] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12374/stat : 12374 (java) S 12358 12360 9722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 811433773 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12375] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12375/stat : 12375 (java) S 12358 12360 9722 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 811433773 10808193024 236975 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12376] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12376/stat : 12376 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433775 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350207409 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12378] ppid=12358 vsize=10554876 CPUtime=0.9 cores=1,3,5,7
/proc/12360/task/12378/stat : 12378 (java) S 12358 12360 9722 0 -1 4202560 5688 0 0 0 90 0 0 0 15 0 22 0 811433775 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12379] ppid=12358 vsize=10554876 CPUtime=0.88 cores=1,3,5,7
/proc/12360/task/12379/stat : 12379 (java) S 12358 12360 9722 0 -1 4202560 4504 0 0 0 88 0 0 0 15 0 22 0 811433775 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12380] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12380/stat : 12380 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433775 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12381] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12381/stat : 12381 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811433775 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12383] ppid=12358 vsize=10554876 CPUtime=2.52 cores=1,3,5,7
/proc/12360/task/12383/stat : 12383 (java) R 12358 12360 9722 0 -1 4202560 1312 0 0 0 252 0 0 0 25 0 22 0 811433826 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 47837438696275 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12360/tid=12384] ppid=12358 vsize=10554876 CPUtime=2.51 cores=1,3,5,7
/proc/12360/task/12384/stat : 12384 (java) R 12358 12360 9722 0 -1 4202560 200908 0 0 0 230 21 0 0 25 0 22 0 811433826 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912506047245 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12360/tid=12385] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12385/stat : 12385 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433831 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12386] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12386/stat : 12386 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433835 10808193024 236976 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 10554876
[startup+6.30135 s]
/proc/loadavg: 3.14 3.30 3.10 4/480 12386
/proc/meminfo: memFree=22893024/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554876 CPUtime=13.85 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 331702 0 1 0 1350 35 0 0 18 0 22 0 811433769 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638719 327776 2257 9 0 2629453 0
[pid=12360/tid=12361] ppid=12358 vsize=10554876 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27177 0 1 0 53 2 0 0 15 0 22 0 811433770 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554876 CPUtime=0.01 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 1394 0 0 0 1 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 422 0 0 0 0 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554876 CPUtime=0.01 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 2018 0 0 0 1 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 160 0 0 0 0 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554876 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 453 0 0 0 0 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554876 CPUtime=0.01 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 1354 0 0 0 1 0 0 0 18 0 22 0 811433772 10808193024 327776 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.14 3.97 3.59 4/480 12464
/proc/meminfo: memFree=20410900/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554080 CPUtime=1587.44 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 820913 0 1 0 158653 91 0 0 18 0 22 0 811433769 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638520 815376 2258 9 0 2629254 0
[pid=12360/tid=12361] ppid=12358 vsize=10554080 CPUtime=0.56 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27196 0 1 0 54 2 0 0 15 0 22 0 811433770 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554080 CPUtime=0.74 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 3420 0 0 0 74 0 0 0 16 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554080 CPUtime=0.65 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 6054 0 0 0 65 0 0 0 16 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554080 CPUtime=0.65 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 3271 0 0 0 65 0 0 0 16 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554080 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 5370 0 0 0 55 0 0 0 16 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554080 CPUtime=0.55 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 1912 0 0 0 55 0 0 0 16 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554080 CPUtime=0.6 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 2824 0 0 0 60 0 0 0 15 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554080 CPUtime=0.65 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 4482 0 0 0 65 0 0 0 15 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554080 CPUtime=0.64 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 4322 0 0 0 64 0 0 0 15 0 22 0 811433772 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12373] ppid=12358 vsize=10554080 CPUtime=61.29 cores=1,3,5,7
/proc/12360/task/12373/stat : 12373 (java) S 12358 12360 9722 0 -1 4202560 125366 0 0 0 6115 14 0 0 16 0 22 0 811433773 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 0 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12374] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12374/stat : 12374 (java) S 12358 12360 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12375] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12375/stat : 12375 (java) S 12358 12360 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12376] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12376/stat : 12376 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433775 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350207409 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12378] ppid=12358 vsize=10554080 CPUtime=1.49 cores=1,3,5,7
/proc/12360/task/12378/stat : 12378 (java) S 12358 12360 9722 0 -1 4202560 6963 0 0 0 149 0 0 0 15 0 22 0 811433775 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12379] ppid=12358 vsize=10554080 CPUtime=1.04 cores=1,3,5,7
/proc/12360/task/12379/stat : 12379 (java) S 12358 12360 9722 0 -1 4202560 4525 0 0 0 104 0 0 0 15 0 22 0 811433775 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12380] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12380/stat : 12380 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433775 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12381] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12381/stat : 12381 (java) S 12358 12360 9722 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811433775 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12383] ppid=12358 vsize=10554080 CPUtime=758.97 cores=1,3,5,7
/proc/12360/task/12383/stat : 12383 (java) R 12358 12360 9722 0 -1 4202560 2548 0 0 0 75897 0 0 0 18 0 22 0 811433826 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912505820475 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12360/tid=12384] ppid=12358 vsize=10554080 CPUtime=758.91 cores=1,3,5,7
/proc/12360/task/12384/stat : 12384 (java) R 12358 12360 9722 0 -1 4202560 621455 0 0 0 75825 66 0 0 18 0 22 0 811433826 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912505887802 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12360/tid=12385] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12385/stat : 12385 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433831 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12386] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12386/stat : 12386 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433835 10807377920 815376 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1587.44
Current children cumulated vsize (KiB) 10554080
[startup+882.302 s]
/proc/loadavg: 3.99 3.96 3.61 5/480 12465
/proc/meminfo: memFree=20384840/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554080 CPUtime=1701.57 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 823311 0 1 0 170066 91 0 0 18 0 22 0 811433769 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638520 817760 2258 9 0 2629254 0
[pid=12360/tid=12361] ppid=12358 vsize=10554080 CPUtime=0.56 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27200 0 1 0 54 2 0 0 15 0 22 0 811433770 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554080 CPUtime=0.81 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 3428 0 0 0 81 0 0 0 16 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554080 CPUtime=0.69 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 6059 0 0 0 69 0 0 0 16 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554080 CPUtime=0.72 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 3275 0 0 0 72 0 0 0 16 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554080 CPUtime=0.58 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 5375 0 0 0 58 0 0 0 15 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554080 CPUtime=0.58 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 1915 0 0 0 58 0 0 0 15 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554080 CPUtime=0.63 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 2828 0 0 0 63 0 0 0 15 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554080 CPUtime=0.73 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 4488 0 0 0 73 0 0 0 16 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554080 CPUtime=0.67 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 4325 0 0 0 67 0 0 0 15 0 22 0 811433772 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12373] ppid=12358 vsize=10554080 CPUtime=67.29 cores=1,3,5,7
/proc/12360/task/12373/stat : 12373 (java) S 12358 12360 9722 0 -1 4202560 127716 0 0 0 6715 14 0 0 15 0 22 0 811433773 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 0 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12374] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12374/stat : 12374 (java) S 12358 12360 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12375] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12375/stat : 12375 (java) S 12358 12360 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12376] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12376/stat : 12376 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433775 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350207409 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12378] ppid=12358 vsize=10554080 CPUtime=1.49 cores=1,3,5,7
/proc/12360/task/12378/stat : 12378 (java) S 12358 12360 9722 0 -1 4202560 6963 0 0 0 149 0 0 0 15 0 22 0 811433775 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12379] ppid=12358 vsize=10554080 CPUtime=1.04 cores=1,3,5,7
/proc/12360/task/12379/stat : 12379 (java) S 12358 12360 9722 0 -1 4202560 4525 0 0 0 104 0 0 0 15 0 22 0 811433775 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12380] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12380/stat : 12380 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433775 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12381] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12381/stat : 12381 (java) S 12358 12360 9722 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811433775 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12383] ppid=12358 vsize=10554080 CPUtime=812.84 cores=1,3,5,7
/proc/12360/task/12383/stat : 12383 (java) R 12358 12360 9722 0 -1 4202560 2550 0 0 0 81284 0 0 0 25 0 22 0 811433826 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912506191400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12360/tid=12384] ppid=12358 vsize=10554080 CPUtime=812.78 cores=1,3,5,7
/proc/12360/task/12384/stat : 12384 (java) R 12358 12360 9722 0 -1 4202560 621455 0 0 0 81212 66 0 0 25 0 22 0 811433826 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912505860354 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12360/tid=12385] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12385/stat : 12385 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433831 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12386] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12386/stat : 12386 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433835 10807377920 817760 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1701.57
Current children cumulated vsize (KiB) 10554080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+934.401 s]
/proc/loadavg: 3.93 3.94 3.62 5/480 12467
/proc/meminfo: memFree=20367592/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=10554080 CPUtime=1800.17 cores=1,3,5,7
/proc/12360/stat : 12360 (java) S 12358 12360 9722 0 -1 4202496 827643 0 1 0 179926 91 0 0 18 0 22 0 811433769 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 2638520 822081 2258 9 0 2629254 0
[pid=12360/tid=12361] ppid=12358 vsize=10554080 CPUtime=0.56 cores=1,3,5,7
/proc/12360/task/12361/stat : 12361 (java) S 12358 12360 9722 0 -1 4202560 27203 0 1 0 54 2 0 0 15 0 22 0 811433770 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12363] ppid=12358 vsize=10554080 CPUtime=0.87 cores=1,3,5,7
/proc/12360/task/12363/stat : 12363 (java) S 12358 12360 9722 0 -1 4202560 3549 0 0 0 87 0 0 0 15 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12365] ppid=12358 vsize=10554080 CPUtime=0.73 cores=1,3,5,7
/proc/12360/task/12365/stat : 12365 (java) S 12358 12360 9722 0 -1 4202560 6062 0 0 0 73 0 0 0 16 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12366] ppid=12358 vsize=10554080 CPUtime=0.74 cores=1,3,5,7
/proc/12360/task/12366/stat : 12366 (java) S 12358 12360 9722 0 -1 4202560 3278 0 0 0 74 0 0 0 15 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12367] ppid=12358 vsize=10554080 CPUtime=0.64 cores=1,3,5,7
/proc/12360/task/12367/stat : 12367 (java) S 12358 12360 9722 0 -1 4202560 5382 0 0 0 64 0 0 0 16 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12368] ppid=12358 vsize=10554080 CPUtime=0.63 cores=1,3,5,7
/proc/12360/task/12368/stat : 12368 (java) S 12358 12360 9722 0 -1 4202560 1919 0 0 0 63 0 0 0 16 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12369] ppid=12358 vsize=10554080 CPUtime=0.66 cores=1,3,5,7
/proc/12360/task/12369/stat : 12369 (java) S 12358 12360 9722 0 -1 4202560 2893 0 0 0 66 0 0 0 15 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12371] ppid=12358 vsize=10554080 CPUtime=0.82 cores=1,3,5,7
/proc/12360/task/12371/stat : 12371 (java) S 12358 12360 9722 0 -1 4202560 4569 0 0 0 82 0 0 0 16 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
[pid=12360/tid=12372] ppid=12358 vsize=10554080 CPUtime=0.69 cores=1,3,5,7
/proc/12360/task/12372/stat : 12372 (java) S 12358 12360 9722 0 -1 4202560 4327 0 0 0 69 0 0 0 15 0 22 0 811433772 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12373] ppid=12358 vsize=10554080 CPUtime=73.06 cores=1,3,5,7
/proc/12360/task/12373/stat : 12373 (java) S 12358 12360 9722 0 -1 4202560 131753 0 0 0 7292 14 0 0 15 0 22 0 811433773 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 0 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12374] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12374/stat : 12374 (java) S 12358 12360 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12375] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12375/stat : 12375 (java) S 12358 12360 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811433773 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12376] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12376/stat : 12376 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811433775 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350207409 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12378] ppid=12358 vsize=10554080 CPUtime=1.49 cores=1,3,5,7
/proc/12360/task/12378/stat : 12378 (java) S 12358 12360 9722 0 -1 4202560 6963 0 0 0 149 0 0 0 15 0 22 0 811433775 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 5 0 0 0
[pid=12360/tid=12379] ppid=12358 vsize=10554080 CPUtime=1.05 cores=1,3,5,7
/proc/12360/task/12379/stat : 12379 (java) S 12358 12360 9722 0 -1 4202560 4526 0 0 0 105 0 0 0 15 0 22 0 811433775 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 1 0 0 0
[pid=12360/tid=12380] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12380/stat : 12380 (java) S 12358 12360 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811433775 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350199705 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12381] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12381/stat : 12381 (java) S 12358 12360 9722 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811433775 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12383] ppid=12358 vsize=10554080 CPUtime=859.08 cores=1,3,5,7
/proc/12360/task/12383/stat : 12383 (java) R 12358 12360 9722 0 -1 4202560 2553 0 0 0 85908 0 0 0 25 0 22 0 811433826 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912506191329 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12360/tid=12384] ppid=12358 vsize=10554080 CPUtime=859 cores=1,3,5,7
/proc/12360/task/12384/stat : 12384 (java) R 12358 12360 9722 0 -1 4202560 621455 0 0 0 85834 66 0 0 25 0 22 0 811433826 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 46912505857979 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12360/tid=12385] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12385/stat : 12385 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433831 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 3 0 0 0
[pid=12360/tid=12386] ppid=12358 vsize=10554080 CPUtime=0 cores=1,3,5,7
/proc/12360/task/12386/stat : 12386 (java) S 12358 12360 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811433835 10807377920 822081 33554432000 1073741824 1073778376 140733895066976 18446744073709551615 270350200320 0 4 0 16800975 18446604466617471168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10554080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+934.523 s]
/proc/loadavg: 3.93 3.94 3.62 5/480 12467
/proc/meminfo: memFree=20367592/32951124 swapFree=50923800/67111528
[pid=12360] ppid=12358 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/12360/stat : 12360 (java) Z 12358 12360 9722 0 -1 4203548 827678 0 1 0 179931 100 0 0 17 0 2 0 811433769 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12360/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 934.558
CPU time (s): 1800.36
CPU user time (s): 1799.32
CPU system time (s): 1.04084
CPU usage (%): 192.643
Max. virtual memory (cumulated for all children) (KiB): 10558284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 1.04084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827678
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= 24783
involuntary context switches= 19042
runsolver used 4.16237 second user time and 9.48756 second system time
The end