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-3453569-1307196205/watcher-3453569-1307196205 -o /tmp/evaluation-result-3453569-1307196205/solver-3453569-1307196205 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453569-1307196205.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.34 2.77 3.16 2/541 3037
/proc/meminfo: memFree=18803628/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=31608 CPUtime=0 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 1273 0 0 0 0 0 0 0 25 0 2 0 812036023 32366592 991 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 7901 992 763 9 0 386 0
[pid=3037/tid=3038] ppid=3035 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) R 3035 3037 30263 0 -1 4202560 7884 0 1 0 0 0 0 0 25 0 2 0 812036023 10694979584 8699 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.086689 s]
/proc/loadavg: 2.34 2.77 3.16 2/541 3037
/proc/meminfo: memFree=18803628/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10474924 CPUtime=0.08 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 12782 0 1 0 7 1 0 0 25 0 18 0 812036023 10726322176 12479 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2618731 12480 2073 9 0 2609465 0
[pid=3037/tid=3038] ppid=3035 vsize=10474924 CPUtime=0.07 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) R 3035 3037 30263 0 -1 4202560 10888 0 1 0 6 1 0 0 22 0 18 0 812036023 10726322176 12480 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10474924
[startup+0.106671 s]
/proc/loadavg: 2.34 2.77 3.16 2/541 3037
/proc/meminfo: memFree=18803628/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10474924 CPUtime=0.1 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 13051 0 1 0 9 1 0 0 25 0 18 0 812036023 10726322176 12748 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2618731 12748 2092 9 0 2609465 0
[pid=3037/tid=3038] ppid=3035 vsize=10474924 CPUtime=0.09 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) R 3035 3037 30263 0 -1 4202560 11131 0 1 0 8 1 0 0 22 0 18 0 812036023 10726322176 12748 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228095143632 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474924
[startup+0.300624 s]
/proc/loadavg: 2.34 2.77 3.16 2/541 3037
/proc/meminfo: memFree=18803628/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10543208 CPUtime=0.5 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 17705 0 1 0 48 2 0 0 25 0 18 0 812036023 10796244992 16649 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2635802 16650 2198 9 0 2626536 0
[pid=3037/tid=3038] ppid=3035 vsize=10543208 CPUtime=0.27 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) R 3035 3037 30263 0 -1 4202560 13287 0 1 0 26 1 0 0 22 0 18 0 812036023 10796244992 16650 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 47793402166068 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543208
[startup+0.700514 s]
/proc/loadavg: 2.34 2.77 3.16 2/541 3037
/proc/meminfo: memFree=18803628/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10556616 CPUtime=1.83 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 32952 0 1 0 179 4 0 0 25 0 22 0 812036023 10809974784 28285 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2639154 28285 2227 9 0 2629888 0
[pid=3037/tid=3038] ppid=3035 vsize=10556616 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 19937 0 1 0 50 2 0 0 24 0 22 0 812036023 10809974784 28285 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10556616
[startup+1.50137 s]
/proc/loadavg: 2.34 2.77 3.16 5/563 3062
/proc/meminfo: memFree=18638408/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10557848 CPUtime=4.07 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 90752 0 1 0 397 10 0 0 25 0 22 0 812036023 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2639462 86084 2237 9 0 2630196 0
[pid=3037/tid=3038] ppid=3035 vsize=10557848 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 19937 0 1 0 50 2 0 0 19 0 22 0 812036023 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812036025 10811236352 86084 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3049] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3049/stat : 3049 (java) S 3035 3037 30263 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 812036026 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3052] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3052/stat : 3052 (java) S 3035 3037 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 812036026 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3053] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3053/stat : 3053 (java) S 3035 3037 30263 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 22 0 812036026 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3054] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3054/stat : 3054 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812036028 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3055] ppid=3035 vsize=10557848 CPUtime=0.79 cores=0,2,4,6
/proc/3037/task/3055/stat : 3055 (java) S 3035 3037 30263 0 -1 4202560 5178 0 0 0 79 0 0 0 15 0 22 0 812036028 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3056] ppid=3035 vsize=10557848 CPUtime=0.82 cores=0,2,4,6
/proc/3037/task/3056/stat : 3056 (java) S 3035 3037 30263 0 -1 4202560 6322 0 0 0 81 1 0 0 15 0 22 0 812036028 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3057] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3057/stat : 3057 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036028 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3058] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3058/stat : 3058 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036028 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3059] ppid=3035 vsize=10557848 CPUtime=0.95 cores=0,2,4,6
/proc/3037/task/3059/stat : 3059 (java) R 3035 3037 30263 0 -1 4202560 667 0 0 0 95 0 0 0 25 0 22 0 812036077 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505991478 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=10557848 CPUtime=0.93 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4202560 57483 0 0 0 89 4 0 0 25 0 22 0 812036077 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912506114104 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3037/tid=3061] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3061/stat : 3061 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3062] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3062/stat : 3062 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10811236352 86085 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 10557848
[startup+3.10107 s]
/proc/loadavg: 2.56 2.80 3.16 6/563 3062
/proc/meminfo: memFree=18363996/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10557848 CPUtime=7.39 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 164756 0 1 0 722 17 0 0 25 0 22 0 812036023 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2639462 160082 2263 9 0 2630196 0
[pid=3037/tid=3038] ppid=3035 vsize=10557848 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 19937 0 1 0 50 2 0 0 15 0 22 0 812036023 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 395 0 0 0 0 0 0 0 16 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 441 0 0 0 0 0 0 0 16 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10557848 CPUtime=0.01 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 926 0 0 0 1 0 0 0 18 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 557 0 0 0 0 0 0 0 18 0 22 0 812036025 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3049] ppid=3035 vsize=10557848 CPUtime=0.06 cores=0,2,4,6
/proc/3037/task/3049/stat : 3049 (java) S 3035 3037 30263 0 -1 4202560 2741 0 0 0 6 0 0 0 15 0 22 0 812036026 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3052] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3052/stat : 3052 (java) S 3035 3037 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812036026 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3053] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3053/stat : 3053 (java) S 3035 3037 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036026 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3054] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3054/stat : 3054 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812036028 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3055] ppid=3035 vsize=10557848 CPUtime=0.87 cores=0,2,4,6
/proc/3037/task/3055/stat : 3055 (java) S 3035 3037 30263 0 -1 4202560 5185 0 0 0 87 0 0 0 15 0 22 0 812036028 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3056] ppid=3035 vsize=10557848 CPUtime=0.93 cores=0,2,4,6
/proc/3037/task/3056/stat : 3056 (java) S 3035 3037 30263 0 -1 4202560 6339 0 0 0 92 1 0 0 15 0 22 0 812036028 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3057] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3057/stat : 3057 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036028 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3058] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3058/stat : 3058 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036028 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3059] ppid=3035 vsize=10557848 CPUtime=2.47 cores=0,2,4,6
/proc/3037/task/3059/stat : 3059 (java) R 3035 3037 30263 0 -1 4202560 826 0 0 0 247 0 0 0 17 0 22 0 812036077 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505797644 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=10557848 CPUtime=2.45 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4202560 125322 0 0 0 233 12 0 0 17 0 22 0 812036077 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912506063585 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3037/tid=3061] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3061/stat : 3061 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3062] ppid=3035 vsize=10557848 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3062/stat : 3062 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10811236352 160082 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 10557848
[startup+6.30149 s]
/proc/loadavg: 2.56 2.80 3.16 4/563 3062
/proc/meminfo: memFree=17976360/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10555440 CPUtime=13.76 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 234544 0 1 0 1349 27 0 0 25 0 22 0 812036023 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2638860 229191 2263 9 0 2629594 0
[pid=3037/tid=3038] ppid=3035 vsize=10555440 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 19937 0 1 0 50 2 0 0 15 0 22 0 812036023 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 551 0 0 0 0 0 0 0 16 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 577 0 0 0 0 0 0 0 16 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 498 0 0 0 0 0 0 0 16 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10555440 CPUtime=0.01 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 926 0 0 0 1 0 0 0 15 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10555440 CPUtime=0.01 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 558 0 0 0 1 0 0 0 15 0 22 0 812036025 10808770560 229191 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=15680648/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10555440 CPUtime=1645.61 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 515548 0 1 0 164493 68 0 0 25 0 22 0 812036023 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2638860 500365 2264 9 0 2629594 0
[pid=3037/tid=3038] ppid=3035 vsize=10555440 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 20042 0 1 0 50 2 0 0 15 0 22 0 812036023 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10555440 CPUtime=1.02 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 1333 0 0 0 102 0 0 0 16 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10555440 CPUtime=1.15 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 885 0 0 0 115 0 0 0 16 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10555440 CPUtime=1.02 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 824 0 0 0 102 0 0 0 16 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10555440 CPUtime=1.09 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1057 0 0 0 109 0 0 0 16 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10555440 CPUtime=1.11 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 984 0 0 0 111 0 0 0 15 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10555440 CPUtime=1.11 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 1249 0 0 0 111 0 0 0 15 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10555440 CPUtime=1.03 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 1164 0 0 0 103 0 0 0 15 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10555440 CPUtime=1 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 857 0 0 0 100 0 0 0 15 0 22 0 812036025 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3049] ppid=3035 vsize=10555440 CPUtime=124.59 cores=0,2,4,6
/proc/3037/task/3049/stat : 3049 (java) S 3035 3037 30263 0 -1 4202560 81938 0 0 0 12449 10 0 0 15 0 22 0 812036026 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3052] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3052/stat : 3052 (java) S 3035 3037 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3053] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3053/stat : 3053 (java) S 3035 3037 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3054] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3054/stat : 3054 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812036028 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3055] ppid=3035 vsize=10555440 CPUtime=1.93 cores=0,2,4,6
/proc/3037/task/3055/stat : 3055 (java) S 3035 3037 30263 0 -1 4202560 14735 0 0 0 192 1 0 0 15 0 22 0 812036028 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3056] ppid=3035 vsize=10555440 CPUtime=1.03 cores=0,2,4,6
/proc/3037/task/3056/stat : 3056 (java) S 3035 3037 30263 0 -1 4202560 6351 0 0 0 102 1 0 0 15 0 22 0 812036028 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3057] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3057/stat : 3057 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036028 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3058] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3058/stat : 3058 (java) S 3035 3037 30263 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812036028 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3059] ppid=3035 vsize=10555440 CPUtime=754.42 cores=0,2,4,6
/proc/3037/task/3059/stat : 3059 (java) R 3035 3037 30263 0 -1 4202560 1313 0 0 0 75440 2 0 0 17 0 22 0 812036077 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505912907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=10555440 CPUtime=754.46 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4202560 381608 0 0 0 75401 45 0 0 17 0 22 0 812036077 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505968552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3037/tid=3061] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3061/stat : 3061 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3062] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3062/stat : 3062 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 500365 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1645.61
Current children cumulated vsize (KiB) 10555440
[startup+942.302 s]
/proc/loadavg: 2.84 2.87 2.98 4/563 3089
/proc/meminfo: memFree=15664368/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10555440 CPUtime=1756.78 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 517195 0 1 0 175609 69 0 0 25 0 22 0 812036023 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2638860 501996 2264 9 0 2629594 0
[pid=3037/tid=3038] ppid=3035 vsize=10555440 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 20044 0 1 0 50 2 0 0 15 0 22 0 812036023 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10555440 CPUtime=1.07 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 1333 0 0 0 107 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10555440 CPUtime=1.23 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 889 0 0 0 123 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10555440 CPUtime=1.1 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 831 0 0 0 110 0 0 0 16 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10555440 CPUtime=1.16 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1064 0 0 0 116 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10555440 CPUtime=1.14 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 984 0 0 0 114 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10555440 CPUtime=1.2 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 1254 0 0 0 120 0 0 0 16 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10555440 CPUtime=1.09 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 1167 0 0 0 109 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10555440 CPUtime=1.08 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 858 0 0 0 108 0 0 0 15 0 22 0 812036025 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3049] ppid=3035 vsize=10555440 CPUtime=133.66 cores=0,2,4,6
/proc/3037/task/3049/stat : 3049 (java) S 3035 3037 30263 0 -1 4202560 83544 0 0 0 13355 11 0 0 15 0 22 0 812036026 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3052] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3052/stat : 3052 (java) S 3035 3037 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3053] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3053/stat : 3053 (java) S 3035 3037 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3054] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3054/stat : 3054 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812036028 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3055] ppid=3035 vsize=10555440 CPUtime=1.93 cores=0,2,4,6
/proc/3037/task/3055/stat : 3055 (java) S 3035 3037 30263 0 -1 4202560 14735 0 0 0 192 1 0 0 15 0 22 0 812036028 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3056] ppid=3035 vsize=10555440 CPUtime=1.03 cores=0,2,4,6
/proc/3037/task/3056/stat : 3056 (java) S 3035 3037 30263 0 -1 4202560 6351 0 0 0 102 1 0 0 15 0 22 0 812036028 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3057] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3057/stat : 3057 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036028 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3058] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3058/stat : 3058 (java) S 3035 3037 30263 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 812036028 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3059] ppid=3035 vsize=10555440 CPUtime=805.19 cores=0,2,4,6
/proc/3037/task/3059/stat : 3059 (java) R 3035 3037 30263 0 -1 4202560 1323 0 0 0 80517 2 0 0 24 0 22 0 812036077 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505912827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=10555440 CPUtime=805.24 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4202560 381608 0 0 0 80479 45 0 0 24 0 22 0 812036077 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505968591 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3037/tid=3061] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3061/stat : 3061 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3062] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3062/stat : 3062 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 501996 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1756.78
Current children cumulated vsize (KiB) 10555440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+965.82 s]
/proc/loadavg: 2.81 2.86 2.97 4/563 3090
/proc/meminfo: memFree=15646248/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=10555440 CPUtime=1800.16 cores=0,2,4,6
/proc/3037/stat : 3037 (java) S 3035 3037 30263 0 -1 4202496 517850 0 1 0 179946 70 0 0 25 0 22 0 812036023 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 2638860 502642 2264 9 0 2629594 0
[pid=3037/tid=3038] ppid=3035 vsize=10555440 CPUtime=0.52 cores=0,2,4,6
/proc/3037/task/3038/stat : 3038 (java) S 3035 3037 30263 0 -1 4202560 20044 0 1 0 50 2 0 0 15 0 22 0 812036023 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3040] ppid=3035 vsize=10555440 CPUtime=1.1 cores=0,2,4,6
/proc/3037/task/3040/stat : 3040 (java) S 3035 3037 30263 0 -1 4202560 1333 0 0 0 110 0 0 0 15 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3041] ppid=3035 vsize=10555440 CPUtime=1.26 cores=0,2,4,6
/proc/3037/task/3041/stat : 3041 (java) S 3035 3037 30263 0 -1 4202560 891 0 0 0 126 0 0 0 15 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3042] ppid=3035 vsize=10555440 CPUtime=1.14 cores=0,2,4,6
/proc/3037/task/3042/stat : 3042 (java) S 3035 3037 30263 0 -1 4202560 831 0 0 0 114 0 0 0 16 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3043] ppid=3035 vsize=10555440 CPUtime=1.18 cores=0,2,4,6
/proc/3037/task/3043/stat : 3043 (java) S 3035 3037 30263 0 -1 4202560 1064 0 0 0 118 0 0 0 15 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3044] ppid=3035 vsize=10555440 CPUtime=1.16 cores=0,2,4,6
/proc/3037/task/3044/stat : 3044 (java) S 3035 3037 30263 0 -1 4202560 984 0 0 0 116 0 0 0 16 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3045] ppid=3035 vsize=10555440 CPUtime=1.22 cores=0,2,4,6
/proc/3037/task/3045/stat : 3045 (java) S 3035 3037 30263 0 -1 4202560 1256 0 0 0 122 0 0 0 16 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3046] ppid=3035 vsize=10555440 CPUtime=1.1 cores=0,2,4,6
/proc/3037/task/3046/stat : 3046 (java) S 3035 3037 30263 0 -1 4202560 1168 0 0 0 110 0 0 0 16 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3047] ppid=3035 vsize=10555440 CPUtime=1.11 cores=0,2,4,6
/proc/3037/task/3047/stat : 3047 (java) S 3035 3037 30263 0 -1 4202560 860 0 0 0 111 0 0 0 15 0 22 0 812036025 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3049] ppid=3035 vsize=10555440 CPUtime=137.42 cores=0,2,4,6
/proc/3037/task/3049/stat : 3049 (java) S 3035 3037 30263 0 -1 4202560 84185 0 0 0 13731 11 0 0 15 0 22 0 812036026 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=3037/tid=3052] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3052/stat : 3052 (java) S 3035 3037 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3053] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3053/stat : 3053 (java) S 3035 3037 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812036026 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3054] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3054/stat : 3054 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812036028 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3055] ppid=3035 vsize=10555440 CPUtime=1.93 cores=0,2,4,6
/proc/3037/task/3055/stat : 3055 (java) S 3035 3037 30263 0 -1 4202560 14735 0 0 0 192 1 0 0 15 0 22 0 812036028 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3056] ppid=3035 vsize=10555440 CPUtime=1.03 cores=0,2,4,6
/proc/3037/task/3056/stat : 3056 (java) S 3035 3037 30263 0 -1 4202560 6351 0 0 0 102 1 0 0 15 0 22 0 812036028 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=3037/tid=3057] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3057/stat : 3057 (java) S 3035 3037 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812036028 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3058] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3058/stat : 3058 (java) S 3035 3037 30263 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 812036028 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=3037/tid=3059] ppid=3035 vsize=10555440 CPUtime=824.91 cores=0,2,4,6
/proc/3037/task/3059/stat : 3059 (java) R 3035 3037 30263 0 -1 4202560 1328 0 0 0 82489 2 0 0 25 0 22 0 812036077 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505934925 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=10555440 CPUtime=824.97 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4202560 381608 0 0 0 82452 45 0 0 25 0 22 0 812036077 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 46912505953129 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3037/tid=3061] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3061/stat : 3061 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=3037/tid=3062] ppid=3035 vsize=10555440 CPUtime=0 cores=0,2,4,6
/proc/3037/task/3062/stat : 3062 (java) S 3035 3037 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 812036078 10808770560 502642 33554432000 1073741824 1073778376 140733535002464 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10555440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+965.925 s]
/proc/loadavg: 2.81 2.86 2.97 4/563 3090
/proc/meminfo: memFree=15646248/32951124 swapFree=58800704/67111528
[pid=3037] ppid=3035 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/3037/stat : 3037 (java) Z 3035 3037 30263 0 -1 4203548 517883 0 1 0 179954 76 0 0 17 0 2 0 812036023 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3037/statm: 0 0 0 0 0 0 0
[pid=3037/tid=3060] ppid=3035 vsize=0 CPUtime=825.05 cores=0,2,4,6
/proc/3037/task/3060/stat : 3060 (java) R 3035 3037 30263 0 -1 4203588 381608 0 0 0 82453 52 0 0 25 0 2 0 812036077 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 965.943
CPU time (s): 1800.33
CPU user time (s): 1799.55
CPU system time (s): 0.78588
CPU usage (%): 186.381
Max. virtual memory (cumulated for all children) (KiB): 10557848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517883
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= 30580
involuntary context switches= 20708
runsolver used 5.47417 second user time and 11.3413 second system time
The end