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-3454454-1307191856/watcher-3454454-1307191856 -o /tmp/evaluation-result-3454454-1307191856/solver-3454454-1307191856 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454454-1307191856.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: 3.98 3.95 3.83 3/467 25634
/proc/meminfo: memFree=27460320/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 2062 0 1 0 0 0 0 0 25 0 2 0 830784321 10681323520 1764 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2607745 1777 906 9 0 2598901 0
[pid=25634/tid=25635] ppid=25632 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) R 25632 25634 22425 0 -1 4202560 4428 0 1 0 0 0 0 0 25 0 2 0 830784322 10694979584 5243 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0455341 s]
/proc/loadavg: 3.98 3.95 3.83 3/467 25634
/proc/meminfo: memFree=27460320/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 11264 0 1 0 2 1 0 0 25 0 13 0 830784321 10718699520 10961 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2616870 10961 1673 9 0 2607618 0
[pid=25634/tid=25635] ppid=25632 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) R 25632 25634 22425 0 -1 4202560 10117 0 1 0 2 1 0 0 25 0 13 0 830784322 10718699520 10961 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606693323 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.105457 s]
/proc/loadavg: 3.98 3.95 3.83 3/467 25634
/proc/meminfo: memFree=27460320/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10540308 CPUtime=0.1 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 13162 0 1 0 9 1 0 0 25 0 18 0 830784321 10793275392 12840 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2635077 12840 2093 9 0 2625811 0
[pid=25634/tid=25635] ppid=25632 vsize=10540308 CPUtime=0.08 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) R 25632 25634 22425 0 -1 4202560 11213 0 1 0 7 1 0 0 25 0 18 0 830784322 10793275392 12840 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 47717696215446 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308
[startup+0.300468 s]
/proc/loadavg: 3.98 3.95 3.83 3/467 25634
/proc/meminfo: memFree=27460320/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10551876 CPUtime=0.57 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 22737 0 1 0 53 4 0 0 25 0 18 0 830784321 10805121024 19406 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2637969 19406 2202 9 0 2628703 0
[pid=25634/tid=25635] ppid=25632 vsize=10551876 CPUtime=0.28 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) R 25632 25634 22425 0 -1 4202560 12898 0 1 0 26 2 0 0 25 0 18 0 830784322 10805121024 19406 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10551876
[startup+0.700353 s]
/proc/loadavg: 3.98 3.95 3.83 3/467 25634
/proc/meminfo: memFree=27460320/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10552516 CPUtime=1.43 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 47364 0 1 0 137 6 0 0 25 0 18 0 830784321 10805776384 42361 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2638129 42365 2213 9 0 2628863 0
[pid=25634/tid=25635] ppid=25632 vsize=10552516 CPUtime=0.68 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) R 25632 25634 22425 0 -1 4202560 34896 0 1 0 64 4 0 0 18 0 18 0 830784322 10805776384 42367 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505805870 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10552516
[startup+1.50121 s]
/proc/loadavg: 3.98 3.95 3.83 8/489 25656
/proc/meminfo: memFree=27185732/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10556628 CPUtime=3.26 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 94623 0 1 0 314 12 0 0 25 0 22 0 830784321 10809987072 89620 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2639157 89622 2233 9 0 2629891 0
[pid=25634/tid=25635] ppid=25632 vsize=10556628 CPUtime=0.94 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62330 0 1 0 87 7 0 0 15 0 22 0 830784322 10809987072 89622 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89623 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89624 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89625 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89626 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89627 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89628 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89629 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 89630 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25645] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25645/stat : 25645 (java) S 25632 25634 22425 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830784325 10809987072 89631 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 0 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25646] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25646/stat : 25646 (java) S 25632 25634 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830784325 10809987072 89632 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25647] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25647/stat : 25647 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830784325 10809987072 89633 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25648] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25648/stat : 25648 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784327 10809987072 89634 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606690225 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25649] ppid=25632 vsize=10556628 CPUtime=0.6 cores=0,2,4,6
/proc/25634/task/25649/stat : 25649 (java) S 25632 25634 22425 0 -1 4202560 7361 0 0 0 59 1 0 0 20 0 22 0 830784327 10809987072 89635 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25650] ppid=25632 vsize=10556628 CPUtime=0.62 cores=0,2,4,6
/proc/25634/task/25650/stat : 25650 (java) S 25632 25634 22425 0 -1 4202560 4151 0 0 0 62 0 0 0 20 0 22 0 830784328 10809987072 89636 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25651] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25651/stat : 25651 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784328 10809987072 89636 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25652] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25652/stat : 25652 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830784328 10809987072 89637 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25653] ppid=25632 vsize=10556628 CPUtime=0.54 cores=0,2,4,6
/proc/25634/task/25653/stat : 25653 (java) R 25632 25634 22425 0 -1 4202560 545 0 0 0 54 0 0 0 18 0 22 0 830784417 10809987072 89638 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25634/tid=25654] ppid=25632 vsize=10556628 CPUtime=0.53 cores=0,2,4,6
/proc/25634/task/25654/stat : 25654 (java) R 25632 25634 22425 0 -1 4202560 19090 0 0 0 51 2 0 0 23 0 22 0 830784417 10809987072 89638 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 47717700340532 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830784418 10809987072 89638 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25656] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25656/stat : 25656 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830784418 10809987072 89640 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10556628
[startup+3.10093 s]
/proc/loadavg: 3.98 3.95 3.83 5/489 25656
/proc/meminfo: memFree=27005560/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10556628 CPUtime=6.74 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 167187 0 1 0 653 21 0 0 25 0 22 0 830784321 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2639157 162182 2237 9 0 2629891 0
[pid=25634/tid=25635] ppid=25632 vsize=10556628 CPUtime=0.94 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62330 0 1 0 87 7 0 0 15 0 22 0 830784322 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784324 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25645] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25645/stat : 25645 (java) S 25632 25634 22425 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830784325 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 0 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25646] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25646/stat : 25646 (java) S 25632 25634 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830784325 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25647] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25647/stat : 25647 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830784325 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25648] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25648/stat : 25648 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784327 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606690225 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25649] ppid=25632 vsize=10556628 CPUtime=0.76 cores=0,2,4,6
/proc/25634/task/25649/stat : 25649 (java) S 25632 25634 22425 0 -1 4202560 7384 0 0 0 75 1 0 0 15 0 22 0 830784327 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25650] ppid=25632 vsize=10556628 CPUtime=0.73 cores=0,2,4,6
/proc/25634/task/25650/stat : 25650 (java) S 25632 25634 22425 0 -1 4202560 4176 0 0 0 73 0 0 0 15 0 22 0 830784328 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25651] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25651/stat : 25651 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784328 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25652] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25652/stat : 25652 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830784328 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25653] ppid=25632 vsize=10556628 CPUtime=2.14 cores=0,2,4,6
/proc/25634/task/25653/stat : 25653 (java) R 25632 25634 22425 0 -1 4202560 632 0 0 0 214 0 0 0 19 0 22 0 830784417 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505879311 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25634/tid=25654] ppid=25632 vsize=10556628 CPUtime=2.13 cores=0,2,4,6
/proc/25634/task/25654/stat : 25654 (java) R 25632 25634 22425 0 -1 4202560 91499 0 0 0 202 11 0 0 25 0 22 0 830784417 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505859388 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830784418 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25656] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25656/stat : 25656 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830784418 10809987072 162182 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10556628
[startup+6.30136 s]
/proc/loadavg: 3.99 3.95 3.83 5/489 25656
/proc/meminfo: memFree=26368648/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10556628 CPUtime=13.13 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 320170 0 1 0 1275 38 0 0 25 0 19 0 830784321 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2639157 314534 2239 9 0 2629891 0
[pid=25634/tid=25635] ppid=25632 vsize=10556628 CPUtime=0.94 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62330 0 1 0 87 7 0 0 15 0 19 0 830784322 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10556628 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784324 10809987072 314534 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23980100/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10555152 CPUtime=1629.23 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 913134 0 1 0 162815 108 0 0 25 0 22 0 830784321 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2638788 904606 2267 9 0 2629522 0
[pid=25634/tid=25635] ppid=25632 vsize=10555152 CPUtime=0.95 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62366 0 1 0 88 7 0 0 15 0 22 0 830784322 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10555152 CPUtime=0.4 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 842 0 0 0 40 0 0 0 15 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10555152 CPUtime=0.47 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 585 0 0 0 47 0 0 0 15 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10555152 CPUtime=0.43 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 741 0 0 0 43 0 0 0 16 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10555152 CPUtime=0.4 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1357 0 0 0 40 0 0 0 16 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10555152 CPUtime=0.48 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 2501 0 0 0 48 0 0 0 15 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10555152 CPUtime=0.39 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 2555 0 0 0 39 0 0 0 16 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10555152 CPUtime=0.44 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 3246 0 0 0 44 0 0 0 16 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10555152 CPUtime=0.45 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 3429 0 0 0 45 0 0 0 15 0 22 0 830784324 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25645] ppid=25632 vsize=10555152 CPUtime=13.61 cores=0,2,4,6
/proc/25634/task/25645/stat : 25645 (java) S 25632 25634 22425 0 -1 4202560 34828 0 0 0 1357 4 0 0 15 0 22 0 830784325 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 0 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25646] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25646/stat : 25646 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25647] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25647/stat : 25647 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25648] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25648/stat : 25648 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784327 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606690225 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25649] ppid=25632 vsize=10555152 CPUtime=1.16 cores=0,2,4,6
/proc/25634/task/25649/stat : 25649 (java) S 25632 25634 22425 0 -1 4202560 8065 0 0 0 115 1 0 0 15 0 22 0 830784327 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25650] ppid=25632 vsize=10555152 CPUtime=1.54 cores=0,2,4,6
/proc/25634/task/25650/stat : 25650 (java) S 25632 25634 22425 0 -1 4202560 6617 0 0 0 153 1 0 0 15 0 22 0 830784328 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25651] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25651/stat : 25651 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784328 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25652] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25652/stat : 25652 (java) S 25632 25634 22425 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830784328 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830784418 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25802] ppid=25632 vsize=10555152 CPUtime=377.6 cores=0,2,4,6
/proc/25634/task/25802/stat : 25802 (java) R 25632 25634 22425 0 -1 4202560 17 0 0 0 37760 0 0 0 25 0 22 0 830828014 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505878522 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25634/tid=25803] ppid=25632 vsize=10555152 CPUtime=377.57 cores=0,2,4,6
/proc/25634/task/25803/stat : 25803 (java) R 25632 25634 22425 0 -1 4202560 11 0 0 0 37757 0 0 0 25 0 22 0 830828014 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25634/tid=25804] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25804/stat : 25804 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830828014 10808475648 904606 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1629.23
Current children cumulated vsize (KiB) 10555152
[startup+882.301 s]
/proc/loadavg: 3.98 4.01 3.92 5/489 25827
/proc/meminfo: memFree=23962524/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10555152 CPUtime=1748.15 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 914005 0 1 0 174707 108 0 0 25 0 22 0 830784321 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2638788 905465 2267 9 0 2629522 0
[pid=25634/tid=25635] ppid=25632 vsize=10555152 CPUtime=0.95 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62366 0 1 0 88 7 0 0 15 0 22 0 830784322 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10555152 CPUtime=0.43 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 843 0 0 0 43 0 0 0 16 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10555152 CPUtime=0.5 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 595 0 0 0 50 0 0 0 15 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10555152 CPUtime=0.44 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 741 0 0 0 44 0 0 0 15 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10555152 CPUtime=0.42 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1364 0 0 0 42 0 0 0 15 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10555152 CPUtime=0.49 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 2505 0 0 0 49 0 0 0 15 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10555152 CPUtime=0.41 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 2555 0 0 0 41 0 0 0 16 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10555152 CPUtime=0.48 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 3251 0 0 0 48 0 0 0 16 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10555152 CPUtime=0.49 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 3429 0 0 0 49 0 0 0 16 0 22 0 830784324 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25645] ppid=25632 vsize=10555152 CPUtime=14.79 cores=0,2,4,6
/proc/25634/task/25645/stat : 25645 (java) S 25632 25634 22425 0 -1 4202560 35664 0 0 0 1475 4 0 0 15 0 22 0 830784325 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 0 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25646] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25646/stat : 25646 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25647] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25647/stat : 25647 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25648] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25648/stat : 25648 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784327 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606690225 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25649] ppid=25632 vsize=10555152 CPUtime=1.16 cores=0,2,4,6
/proc/25634/task/25649/stat : 25649 (java) S 25632 25634 22425 0 -1 4202560 8065 0 0 0 115 1 0 0 15 0 22 0 830784327 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25650] ppid=25632 vsize=10555152 CPUtime=1.54 cores=0,2,4,6
/proc/25634/task/25650/stat : 25650 (java) S 25632 25634 22425 0 -1 4202560 6617 0 0 0 153 1 0 0 15 0 22 0 830784328 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25651] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25651/stat : 25651 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784328 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25652] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25652/stat : 25652 (java) S 25632 25634 22425 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830784328 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830784418 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25802] ppid=25632 vsize=10555152 CPUtime=436.37 cores=0,2,4,6
/proc/25634/task/25802/stat : 25802 (java) R 25632 25634 22425 0 -1 4202560 21 0 0 0 43637 0 0 0 25 0 22 0 830828014 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505995127 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25634/tid=25803] ppid=25632 vsize=10555152 CPUtime=436.34 cores=0,2,4,6
/proc/25634/task/25803/stat : 25803 (java) R 25632 25634 22425 0 -1 4202560 11 0 0 0 43634 0 0 0 25 0 22 0 830828014 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505531303 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25634/tid=25804] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25804/stat : 25804 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830828014 10808475648 905465 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1748.15
Current children cumulated vsize (KiB) 10555152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.618 s]
/proc/loadavg: 3.99 4.00 3.92 5/489 25828
/proc/meminfo: memFree=23960284/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=10555152 CPUtime=1800.18 cores=0,2,4,6
/proc/25634/stat : 25634 (java) S 25632 25634 22425 0 -1 4202496 914070 0 1 0 179910 108 0 0 25 0 22 0 830784321 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 2638788 905526 2267 9 0 2629522 0
[pid=25634/tid=25635] ppid=25632 vsize=10555152 CPUtime=0.95 cores=0,2,4,6
/proc/25634/task/25635/stat : 25635 (java) S 25632 25634 22425 0 -1 4202560 62366 0 1 0 88 7 0 0 15 0 22 0 830784322 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25637] ppid=25632 vsize=10555152 CPUtime=0.45 cores=0,2,4,6
/proc/25634/task/25637/stat : 25637 (java) S 25632 25634 22425 0 -1 4202560 849 0 0 0 45 0 0 0 15 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25638] ppid=25632 vsize=10555152 CPUtime=0.52 cores=0,2,4,6
/proc/25634/task/25638/stat : 25638 (java) S 25632 25634 22425 0 -1 4202560 602 0 0 0 52 0 0 0 15 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25639] ppid=25632 vsize=10555152 CPUtime=0.45 cores=0,2,4,6
/proc/25634/task/25639/stat : 25639 (java) S 25632 25634 22425 0 -1 4202560 741 0 0 0 45 0 0 0 16 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25640] ppid=25632 vsize=10555152 CPUtime=0.43 cores=0,2,4,6
/proc/25634/task/25640/stat : 25640 (java) S 25632 25634 22425 0 -1 4202560 1364 0 0 0 43 0 0 0 16 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25641] ppid=25632 vsize=10555152 CPUtime=0.49 cores=0,2,4,6
/proc/25634/task/25641/stat : 25641 (java) S 25632 25634 22425 0 -1 4202560 2505 0 0 0 49 0 0 0 15 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25642] ppid=25632 vsize=10555152 CPUtime=0.42 cores=0,2,4,6
/proc/25634/task/25642/stat : 25642 (java) S 25632 25634 22425 0 -1 4202560 2555 0 0 0 42 0 0 0 16 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25643] ppid=25632 vsize=10555152 CPUtime=0.49 cores=0,2,4,6
/proc/25634/task/25643/stat : 25643 (java) S 25632 25634 22425 0 -1 4202560 3251 0 0 0 49 0 0 0 15 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25644] ppid=25632 vsize=10555152 CPUtime=0.5 cores=0,2,4,6
/proc/25634/task/25644/stat : 25644 (java) S 25632 25634 22425 0 -1 4202560 3429 0 0 0 50 0 0 0 16 0 22 0 830784324 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25645] ppid=25632 vsize=10555152 CPUtime=15.45 cores=0,2,4,6
/proc/25634/task/25645/stat : 25645 (java) S 25632 25634 22425 0 -1 4202560 35712 0 0 0 1541 4 0 0 15 0 22 0 830784325 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 0 0 16800975 18446604447866421312 0 0 -1 2 0 0 0
[pid=25634/tid=25646] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25646/stat : 25646 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25647] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25647/stat : 25647 (java) S 25632 25634 22425 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784325 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25648] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25648/stat : 25648 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784327 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606690225 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25649] ppid=25632 vsize=10555152 CPUtime=1.16 cores=0,2,4,6
/proc/25634/task/25649/stat : 25649 (java) S 25632 25634 22425 0 -1 4202560 8065 0 0 0 115 1 0 0 15 0 22 0 830784327 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25650] ppid=25632 vsize=10555152 CPUtime=1.54 cores=0,2,4,6
/proc/25634/task/25650/stat : 25650 (java) S 25632 25634 22425 0 -1 4202560 6617 0 0 0 153 1 0 0 15 0 22 0 830784328 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25651] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25651/stat : 25651 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784328 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606682521 0 4 0 16800975 18446604447866421312 0 0 -1 6 0 0 0
[pid=25634/tid=25652] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25652/stat : 25652 (java) S 25632 25634 22425 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830784328 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) S 25632 25634 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830784418 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 4 0 0 0
[pid=25634/tid=25802] ppid=25632 vsize=10555152 CPUtime=462.01 cores=0,2,4,6
/proc/25634/task/25802/stat : 25802 (java) R 25632 25634 22425 0 -1 4202560 23 0 0 0 46201 0 0 0 25 0 22 0 830828014 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505878316 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25634/tid=25803] ppid=25632 vsize=10555152 CPUtime=461.98 cores=0,2,4,6
/proc/25634/task/25803/stat : 25803 (java) R 25632 25634 22425 0 -1 4202560 11 0 0 0 46198 0 0 0 25 0 22 0 830828014 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 46912505531181 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25634/tid=25804] ppid=25632 vsize=10555152 CPUtime=0 cores=0,2,4,6
/proc/25634/task/25804/stat : 25804 (java) S 25632 25634 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830828014 10808475648 905526 33554432000 1073741824 1073778376 140733578031312 18446744073709551615 235606683136 0 4 0 16800975 18446604447866421312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10555152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+908.801 s]
/proc/loadavg: 3.99 4.00 3.92 5/489 25828
/proc/meminfo: memFree=23960284/32950928 swapFree=34365992/67111528
[pid=25634] ppid=25632 vsize=0 CPUtime=1800.43 cores=0,2,4,6
/proc/25634/stat : 25634 (java) Z 25632 25634 22425 0 -1 4203548 914107 0 1 0 179923 120 0 0 17 0 2 0 830784321 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25634/statm: 0 0 0 0 0 0 0
[pid=25634/tid=25655] ppid=25632 vsize=0 CPUtime=0.11 cores=0,2,4,6
/proc/25634/task/25655/stat : 25655 (java) R 25632 25634 22425 0 -1 4203588 7 0 0 0 0 11 0 0 18 0 2 0 830784418 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.43
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 908.813
CPU time (s): 1800.45
CPU user time (s): 1799.23
CPU system time (s): 1.22081
CPU usage (%): 198.11
Max. virtual memory (cumulated for all children) (KiB): 10562940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 1.22081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 914107
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= 23601
involuntary context switches= 26591
runsolver used 4.31534 second user time and 9.77551 second system time
The end