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-3454459-1307192711/watcher-3454459-1307192711 -o /tmp/evaluation-result-3454459-1307192711/solver-3454459-1307192711 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454459-1307192711.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.54 3.53 3.70 3/482 25405
/proc/meminfo: memFree=28332476/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 6661 0 1 0 0 0 0 0 25 0 2 0 830869084 10694979584 6363 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2611079 6375 917 9 0 2602235 0
[pid=25405/tid=25406] ppid=25403 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) R 25403 25405 21158 0 -1 4202560 6161 0 1 0 0 0 0 0 25 0 2 0 830869084 10694979584 6977 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0481681 s]
/proc/loadavg: 2.54 3.53 3.70 3/482 25405
/proc/meminfo: memFree=28332476/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 11383 0 1 0 3 1 0 0 25 0 13 0 830869084 10718699520 11080 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2616870 11081 1682 9 0 2607618 0
[pid=25405/tid=25406] ppid=25403 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) R 25403 25405 21158 0 -1 4202560 10236 0 1 0 2 1 0 0 25 0 13 0 830869084 10718699520 11081 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 47953424440382 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.101167 s]
/proc/loadavg: 2.54 3.53 3.70 3/482 25405
/proc/meminfo: memFree=28332476/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10540400 CPUtime=0.1 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 13140 0 1 0 9 1 0 0 25 0 18 0 830869084 10793369600 12809 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2635100 12810 2092 9 0 2625834 0
[pid=25405/tid=25406] ppid=25403 vsize=10540400 CPUtime=0.08 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) R 25403 25405 21158 0 -1 4202560 11205 0 1 0 7 1 0 0 18 0 18 0 830869084 10793369600 12810 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 47953424780115 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) 10540400
[startup+0.301078 s]
/proc/loadavg: 2.54 3.53 3.70 3/482 25405
/proc/meminfo: memFree=28332476/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10552076 CPUtime=0.58 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 22806 0 1 0 55 3 0 0 25 0 18 0 830869084 10805325824 19661 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2638019 19662 2201 9 0 2628753 0
[pid=25405/tid=25406] ppid=25403 vsize=10552076 CPUtime=0.29 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) R 25403 25405 21158 0 -1 4202560 12948 0 1 0 27 2 0 0 18 0 18 0 830869084 10805325824 19662 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10552076
[startup+0.701007 s]
/proc/loadavg: 2.54 3.53 3.70 3/482 25405
/proc/meminfo: memFree=28332476/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10559520 CPUtime=1.54 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 43340 0 1 0 148 6 0 0 25 0 22 0 830869084 10812948480 39045 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2639880 39045 2221 9 0 2630614 0
[pid=25405/tid=25406] ppid=25403 vsize=10559520 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30500 0 1 0 60 5 0 0 19 0 22 0 830869084 10812948480 39045 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10559520
[startup+1.5009 s]
/proc/loadavg: 2.54 3.53 3.70 6/504 25433
/proc/meminfo: memFree=28025544/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10559520 CPUtime=3.37 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 73942 0 1 0 327 10 0 0 25 0 19 0 830869084 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2639880 67542 2235 9 0 2630614 0
[pid=25405/tid=25406] ppid=25403 vsize=10559520 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30500 0 1 0 60 5 0 0 15 0 19 0 830869084 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869086 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 830869087 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830869087 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830869087 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869089 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134537649 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=10559520 CPUtime=0.68 cores=1,3,5,7
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21158 0 -1 4202560 7482 0 0 0 68 0 0 0 24 0 19 0 830869089 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=10559520 CPUtime=0.72 cores=1,3,5,7
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21158 0 -1 4202560 5844 0 0 0 72 0 0 0 16 0 19 0 830869089 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830869089 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830869089 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25430] ppid=25403 vsize=10559520 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25430/stat : 25430 (java) S 25403 25405 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830869150 10812948480 67542 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 10559520
[startup+3.1016 s]
/proc/loadavg: 2.54 3.53 3.70 5/504 25439
/proc/meminfo: memFree=27579020/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10560036 CPUtime=6.59 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 169532 0 1 0 639 20 0 0 25 0 22 0 830869084 10813476864 163055 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2640009 163058 2239 9 0 2630743 0
[pid=25405/tid=25406] ppid=25403 vsize=10560036 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30504 0 1 0 60 5 0 0 15 0 22 0 830869084 10813476864 163059 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163061 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163063 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163065 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163067 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163068 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163070 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163072 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 163074 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830869087 10813476864 163076 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830869087 10813476864 163078 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830869087 10813476864 163080 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10813476864 163082 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134537649 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=10560036 CPUtime=0.81 cores=1,3,5,7
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21158 0 -1 4202560 7570 0 0 0 80 1 0 0 15 0 22 0 830869089 10813476864 163083 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=10560036 CPUtime=0.96 cores=1,3,5,7
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21158 0 -1 4202560 6023 0 0 0 96 0 0 0 15 0 22 0 830869089 10813476864 163085 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10813476864 163088 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830869089 10813476864 163090 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25430] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25430/stat : 25430 (java) S 25403 25405 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830869150 10813476864 163092 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25437] ppid=25403 vsize=10560036 CPUtime=1.42 cores=1,3,5,7
/proc/25405/task/25437/stat : 25437 (java) R 25403 25405 21158 0 -1 4202560 111 0 0 0 142 0 0 0 18 0 22 0 830869250 10813476864 163093 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505791936 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25405/tid=25438] ppid=25403 vsize=10560036 CPUtime=1.43 cores=1,3,5,7
/proc/25405/task/25438/stat : 25438 (java) R 25403 25405 21158 0 -1 4202560 95248 0 0 0 134 9 0 0 20 0 22 0 830869250 10813476864 163095 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505543402 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25405/tid=25439] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25439/stat : 25439 (java) S 25403 25405 21158 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830869250 10813476864 163097 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 10560036
[startup+6.30103 s]
/proc/loadavg: 2.66 3.54 3.71 5/504 25448
/proc/meminfo: memFree=25901284/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10560036 CPUtime=12.06 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 345567 0 1 0 1167 39 0 0 25 0 22 0 830869084 10813476864 339071 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2640009 339074 2241 9 0 2630743 0
[pid=25405/tid=25406] ppid=25403 vsize=10560036 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30517 0 1 0 60 5 0 0 15 0 22 0 830869084 10813476864 339075 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339076 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339078 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339079 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339080 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339081 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339082 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339084 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869086 10813476864 339085 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830869087 10813476864 339087 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830869087 10813476864 339088 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10560036 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830869087 10813476864 339090 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=22321128/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10557896 CPUtime=1622.15 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 711647 0 1 0 162135 80 0 0 25 0 22 0 830869084 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2639474 692483 2265 9 0 2630208 0
[pid=25405/tid=25406] ppid=25403 vsize=10557896 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30565 0 1 0 60 5 0 0 15 0 22 0 830869084 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10557896 CPUtime=0.54 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 332 0 0 0 54 0 0 0 16 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10557896 CPUtime=0.57 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 174 0 0 0 57 0 0 0 15 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10557896 CPUtime=0.5 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 286 0 0 0 50 0 0 0 16 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10557896 CPUtime=0.52 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 409 0 0 0 52 0 0 0 16 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10557896 CPUtime=0.51 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 904 0 0 0 51 0 0 0 15 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10557896 CPUtime=0.56 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1149 0 0 0 56 0 0 0 15 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10557896 CPUtime=0.47 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1491 0 0 0 47 0 0 0 16 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10557896 CPUtime=0.41 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1080 0 0 0 41 0 0 0 15 0 22 0 830869086 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10557896 CPUtime=21.01 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 27659 0 0 0 2097 4 0 0 15 0 22 0 830869087 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134537649 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=10557896 CPUtime=1.9 cores=1,3,5,7
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21158 0 -1 4202560 16438 0 0 0 188 2 0 0 15 0 22 0 830869089 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=10557896 CPUtime=2.04 cores=1,3,5,7
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21158 0 -1 4202560 9224 0 0 0 203 1 0 0 15 0 22 0 830869089 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21158 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830869089 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25472] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25472/stat : 25472 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830870708 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25527] ppid=25403 vsize=10557896 CPUtime=109.96 cores=1,3,5,7
/proc/25405/task/25527/stat : 25527 (java) R 25403 25405 21158 0 -1 4202560 1 0 0 0 10996 0 0 0 25 0 22 0 830939929 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505815763 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25405/tid=25528] ppid=25403 vsize=10557896 CPUtime=109.95 cores=1,3,5,7
/proc/25405/task/25528/stat : 25528 (java) R 25403 25405 21158 0 -1 4202560 4 0 0 0 10995 0 0 0 25 0 22 0 830939929 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505915985 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25405/tid=25529] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25529/stat : 25529 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830939935 10811285504 692483 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1622.15
Current children cumulated vsize (KiB) 10557896
[startup+882.301 s]
/proc/loadavg: 3.91 3.93 3.85 5/504 25604
/proc/meminfo: memFree=22286604/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10557896 CPUtime=1740.03 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 712588 0 1 0 173923 80 0 0 25 0 22 0 830869084 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2639474 693409 2265 9 0 2630208 0
[pid=25405/tid=25406] ppid=25403 vsize=10557896 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30569 0 1 0 60 5 0 0 15 0 22 0 830869084 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10557896 CPUtime=0.59 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 349 0 0 0 59 0 0 0 16 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10557896 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 203 0 0 0 65 0 0 0 15 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10557896 CPUtime=0.54 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 307 0 0 0 54 0 0 0 15 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10557896 CPUtime=0.58 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 418 0 0 0 58 0 0 0 16 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10557896 CPUtime=0.56 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 923 0 0 0 56 0 0 0 15 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10557896 CPUtime=0.59 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1156 0 0 0 59 0 0 0 16 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10557896 CPUtime=0.52 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1500 0 0 0 52 0 0 0 16 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10557896 CPUtime=0.44 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1080 0 0 0 44 0 0 0 16 0 22 0 830869086 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10557896 CPUtime=23.27 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 28476 0 0 0 2323 4 0 0 15 0 22 0 830869087 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134537649 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=10557896 CPUtime=1.9 cores=1,3,5,7
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21158 0 -1 4202560 16438 0 0 0 188 2 0 0 15 0 22 0 830869089 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=10557896 CPUtime=2.04 cores=1,3,5,7
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21158 0 -1 4202560 9224 0 0 0 203 1 0 0 15 0 22 0 830869089 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21158 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830869089 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25472] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25472/stat : 25472 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830870708 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25527] ppid=25403 vsize=10557896 CPUtime=167.57 cores=1,3,5,7
/proc/25405/task/25527/stat : 25527 (java) R 25403 25405 21158 0 -1 4202560 3 0 0 0 16757 0 0 0 25 0 22 0 830939929 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505815349 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25405/tid=25528] ppid=25403 vsize=10557896 CPUtime=167.56 cores=1,3,5,7
/proc/25405/task/25528/stat : 25528 (java) R 25403 25405 21158 0 -1 4202560 7 0 0 0 16756 0 0 0 25 0 22 0 830939929 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505878786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25405/tid=25529] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25529/stat : 25529 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830939935 10811285504 693409 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1740.03
Current children cumulated vsize (KiB) 10557896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.801 s]
/proc/loadavg: 3.89 3.92 3.84 5/504 25605
/proc/meminfo: memFree=22274072/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=10557896 CPUtime=1800.16 cores=1,3,5,7
/proc/25405/stat : 25405 (java) S 25403 25405 21158 0 -1 4202496 712998 0 1 0 179935 81 0 0 25 0 22 0 830869084 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 2639474 693811 2265 9 0 2630208 0
[pid=25405/tid=25406] ppid=25403 vsize=10557896 CPUtime=0.65 cores=1,3,5,7
/proc/25405/task/25406/stat : 25406 (java) S 25403 25405 21158 0 -1 4202560 30571 0 1 0 60 5 0 0 15 0 22 0 830869084 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=10557896 CPUtime=0.62 cores=1,3,5,7
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21158 0 -1 4202560 354 0 0 0 62 0 0 0 16 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=10557896 CPUtime=0.67 cores=1,3,5,7
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21158 0 -1 4202560 203 0 0 0 67 0 0 0 15 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=10557896 CPUtime=0.57 cores=1,3,5,7
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21158 0 -1 4202560 307 0 0 0 57 0 0 0 15 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=10557896 CPUtime=0.59 cores=1,3,5,7
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21158 0 -1 4202560 419 0 0 0 59 0 0 0 16 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=10557896 CPUtime=0.57 cores=1,3,5,7
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21158 0 -1 4202560 925 0 0 0 57 0 0 0 16 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=10557896 CPUtime=0.61 cores=1,3,5,7
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21158 0 -1 4202560 1162 0 0 0 61 0 0 0 15 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=10557896 CPUtime=0.55 cores=1,3,5,7
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21158 0 -1 4202560 1500 0 0 0 55 0 0 0 15 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=10557896 CPUtime=0.46 cores=1,3,5,7
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21158 0 -1 4202560 1081 0 0 0 46 0 0 0 16 0 22 0 830869086 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=10557896 CPUtime=24.26 cores=1,3,5,7
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21158 0 -1 4202560 28865 0 0 0 2422 4 0 0 15 0 22 0 830869087 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 0 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21158 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 830869087 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134537649 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=10557896 CPUtime=1.9 cores=1,3,5,7
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21158 0 -1 4202560 16438 0 0 0 188 2 0 0 15 0 22 0 830869089 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 1 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=10557896 CPUtime=2.04 cores=1,3,5,7
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21158 0 -1 4202560 9224 0 0 0 203 1 0 0 15 0 22 0 830869089 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 7 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830869089 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134529945 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21158 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830869089 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 5 0 0 0
[pid=25405/tid=25472] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25472/stat : 25472 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830870708 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
[pid=25405/tid=25527] ppid=25403 vsize=10557896 CPUtime=197.05 cores=1,3,5,7
/proc/25405/task/25527/stat : 25527 (java) R 25403 25405 21158 0 -1 4202560 5 0 0 0 19705 0 0 0 25 0 22 0 830939929 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505941898 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25405/tid=25528] ppid=25403 vsize=10557896 CPUtime=197.05 cores=1,3,5,7
/proc/25405/task/25528/stat : 25528 (java) R 25403 25405 21158 0 -1 4202560 7 0 0 0 19705 0 0 0 25 0 22 0 830939929 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 46912505543405 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25405/tid=25529] ppid=25403 vsize=10557896 CPUtime=0 cores=1,3,5,7
/proc/25405/task/25529/stat : 25529 (java) S 25403 25405 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830939935 10811285504 693811 33554432000 1073741824 1073778376 140737016289600 18446744073709551615 228134530560 0 4 0 16800975 18446604458977464768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10557896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+912.924 s]
/proc/loadavg: 3.89 3.92 3.84 4/485 25608
/proc/meminfo: memFree=24247532/32951124 swapFree=41830676/67111528
[pid=25405] ppid=25403 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/25405/stat : 25405 (java) Z 25403 25405 21158 0 -1 4203548 713032 0 1 0 179945 90 0 0 17 0 2 0 830869084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25405/statm: 0 0 0 0 0 0 0
[pid=25405/tid=25607] ppid=25403 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/25405/task/25607/stat : 25607 (java) R 25403 25405 21158 0 -1 4203588 11 0 0 0 0 9 0 0 21 0 2 0 830960366 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 912.954
CPU time (s): 1800.37
CPU user time (s): 1799.46
CPU system time (s): 0.91486
CPU usage (%): 197.203
Max. virtual memory (cumulated for all children) (KiB): 10569040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.91486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713032
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= 25119
involuntary context switches= 24730
runsolver used 4.20236 second user time and 9.95949 second system time
The end