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-3454183-1307189166/watcher-3454183-1307189166 -o /tmp/evaluation-result-3454183-1307189166/solver-3454183-1307189166 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454183-1307189166.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.85 3.83 3.00 3/582 6427
/proc/meminfo: memFree=29705052/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 2115 0 1 0 0 0 0 0 25 0 2 0 830515331 10681323520 1817 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2607745 1831 906 9 0 2598901 0
[pid=6427/tid=6428] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) R 6425 6427 3716 0 -1 4202560 8815 0 1 0 0 0 0 0 25 0 10 0 830515331 10703900672 9639 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 47969118445414 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9640 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) R 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9644 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9646 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9647 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9647 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9648 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9648 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) R 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515333 10703900672 9649 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0707869 s]
/proc/loadavg: 3.85 3.83 3.00 3/582 6427
/proc/meminfo: memFree=29705052/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 11883 0 1 0 5 1 0 0 25 0 18 0 830515331 10724442112 11580 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2618272 11580 1754 9 0 2609006 0
[pid=6427/tid=6428] ppid=6425 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) R 6425 6427 3716 0 -1 4202560 10710 0 1 0 4 1 0 0 25 0 18 0 830515331 10724442112 11581 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 47969122604055 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11581 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11581 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11582 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11582 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11582 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11583 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11584 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10724442112 11585 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100755 s]
/proc/loadavg: 3.85 3.83 3.00 3/582 6427
/proc/meminfo: memFree=29705052/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10540172 CPUtime=0.11 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 13111 0 1 0 9 2 0 0 25 0 18 0 830515331 10793136128 12773 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2635043 12773 2092 9 0 2625777 0
[pid=6427/tid=6428] ppid=6425 vsize=10540172 CPUtime=0.08 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) R 6425 6427 3716 0 -1 4202560 11176 0 1 0 7 1 0 0 25 0 18 0 830515331 10793136128 12774 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 47969119399941 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12774 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12774 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12775 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12775 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12775 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12776 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12776 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10540172 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793136128 12776 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540172
[startup+0.300686 s]
/proc/loadavg: 3.85 3.83 3.00 3/582 6427
/proc/meminfo: memFree=29705052/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10540484 CPUtime=0.49 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 16456 0 1 0 47 2 0 0 25 0 18 0 830515331 10793455616 15489 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2635121 15490 2200 9 0 2625855 0
[pid=6427/tid=6428] ppid=6425 vsize=10540484 CPUtime=0.29 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) R 6425 6427 3716 0 -1 4202560 13147 0 1 0 27 2 0 0 25 0 18 0 830515331 10793455616 15491 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15491 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15492 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15492 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15493 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15493 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15494 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15494 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10540484 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10793455616 15495 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540484
[startup+0.700617 s]
/proc/loadavg: 3.85 3.83 3.00 3/582 6427
/proc/meminfo: memFree=29705052/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10548084 CPUtime=1.27 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 52668 0 1 0 120 7 0 0 25 0 18 0 830515331 10801238016 49438 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2637021 49442 2216 9 0 2627755 0
[pid=6427/tid=6428] ppid=6425 vsize=10548084 CPUtime=0.68 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) R 6425 6427 3716 0 -1 4202560 42745 0 1 0 63 5 0 0 25 0 18 0 830515331 10801238016 49444 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505615018 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49446 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49449 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49452 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49455 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49457 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49460 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49463 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10548084 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515333 10801238016 49465 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10548084
[startup+1.50149 s]
/proc/loadavg: 3.85 3.83 3.00 5/601 6498
/proc/meminfo: memFree=29801196/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10552196 CPUtime=3.55 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 96225 0 1 0 343 12 0 0 25 0 22 0 830515331 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2638049 92993 2240 9 0 2628783 0
[pid=6427/tid=6428] ppid=6425 vsize=10552196 CPUtime=0.71 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) S 6425 6427 3716 0 -1 4202560 44377 0 1 0 65 6 0 0 20 0 22 0 830515331 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515333 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6438] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6438/stat : 6438 (java) S 6425 6427 3716 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830515334 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 0 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6439] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6439/stat : 6439 (java) S 6425 6427 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830515334 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6440] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6440/stat : 6440 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515334 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6441] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6441/stat : 6441 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826063793 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6442] ppid=6425 vsize=10552196 CPUtime=0.6 cores=1,3,5,7
/proc/6427/task/6442/stat : 6442 (java) S 6425 6427 3716 0 -1 4202560 3623 0 0 0 60 0 0 0 25 0 22 0 830515337 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6443] ppid=6425 vsize=10552196 CPUtime=0.65 cores=1,3,5,7
/proc/6427/task/6443/stat : 6443 (java) S 6425 6427 3716 0 -1 4202560 5399 0 0 0 65 0 0 0 15 0 22 0 830515337 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6444] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6444/stat : 6444 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10805448704 92993 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6445] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6445/stat : 6445 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830515337 10805448704 92994 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6491] ppid=6425 vsize=10552196 CPUtime=0.77 cores=1,3,5,7
/proc/6427/task/6491/stat : 6491 (java) R 6425 6427 3716 0 -1 4202560 747 0 0 0 77 0 0 0 25 0 22 0 830515403 10805448704 92994 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 47969123900243 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6492] ppid=6425 vsize=10552196 CPUtime=0.77 cores=1,3,5,7
/proc/6427/task/6492/stat : 6492 (java) R 6425 6427 3716 0 -1 4202560 40914 0 0 0 73 4 0 0 25 0 22 0 830515403 10805448704 92994 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505875017 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6427/tid=6493] ppid=6425 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6493/stat : 6493 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10805448704 92994 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=25588972/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10551120 CPUtime=1636.44 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 817689 0 1 0 163548 96 0 0 25 0 22 0 830515331 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2637780 804941 2266 9 0 2628514 0
[pid=6427/tid=6428] ppid=6425 vsize=10551120 CPUtime=0.71 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) S 6425 6427 3716 0 -1 4202560 44388 0 1 0 65 6 0 0 15 0 22 0 830515331 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10551120 CPUtime=0.41 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 4902 0 0 0 41 0 0 0 16 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10551120 CPUtime=0.34 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2211 0 0 0 34 0 0 0 15 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10551120 CPUtime=0.42 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 5279 0 0 0 42 0 0 0 16 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10551120 CPUtime=0.4 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 5089 0 0 0 40 0 0 0 15 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10551120 CPUtime=0.35 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 6034 0 0 0 35 0 0 0 16 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10551120 CPUtime=0.33 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 4830 0 0 0 33 0 0 0 15 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10551120 CPUtime=0.31 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 5969 0 0 0 31 0 0 0 15 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10551120 CPUtime=0.41 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 4450 0 0 0 41 0 0 0 16 0 22 0 830515333 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6438] ppid=6425 vsize=10551120 CPUtime=11.42 cores=1,3,5,7
/proc/6427/task/6438/stat : 6438 (java) S 6425 6427 3716 0 -1 4202560 108783 0 0 0 1131 11 0 0 15 0 22 0 830515334 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 0 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6439] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6439/stat : 6439 (java) S 6425 6427 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6440] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6440/stat : 6440 (java) S 6425 6427 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6441] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6441/stat : 6441 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826063793 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6442] ppid=6425 vsize=10551120 CPUtime=1.22 cores=1,3,5,7
/proc/6427/task/6442/stat : 6442 (java) S 6425 6427 3716 0 -1 4202560 8163 0 0 0 121 1 0 0 15 0 22 0 830515337 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6443] ppid=6425 vsize=10551120 CPUtime=1.42 cores=1,3,5,7
/proc/6427/task/6443/stat : 6443 (java) S 6425 6427 3716 0 -1 4202560 9955 0 0 0 141 1 0 0 15 0 22 0 830515337 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6444] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6444/stat : 6444 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6445] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6445/stat : 6445 (java) S 6425 6427 3716 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830515337 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6491] ppid=6425 vsize=10551120 CPUtime=809.27 cores=1,3,5,7
/proc/6427/task/6491/stat : 6491 (java) R 6425 6427 3716 0 -1 4202560 3052 0 0 0 80927 0 0 0 25 0 22 0 830515403 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505885379 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6492] ppid=6425 vsize=10551120 CPUtime=809.28 cores=1,3,5,7
/proc/6427/task/6492/stat : 6492 (java) R 6425 6427 3716 0 -1 4202560 603379 0 0 0 80858 70 0 0 25 0 22 0 830515403 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505944956 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6427/tid=6493] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6493/stat : 6493 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6494] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6494/stat : 6494 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 804941 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1636.44
Current children cumulated vsize (KiB) 10551120
[startup+882.301 s]
/proc/loadavg: 3.87 3.85 3.50 4/604 6534
/proc/meminfo: memFree=25543924/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10551120 CPUtime=1755.46 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 838797 0 1 0 175448 98 0 0 25 0 22 0 830515331 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2637780 826037 2266 9 0 2628514 0
[pid=6427/tid=6428] ppid=6425 vsize=10551120 CPUtime=0.71 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) S 6425 6427 3716 0 -1 4202560 44390 0 1 0 65 6 0 0 15 0 22 0 830515331 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10551120 CPUtime=0.45 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 4906 0 0 0 45 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10551120 CPUtime=0.38 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2218 0 0 0 38 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10551120 CPUtime=0.47 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 5282 0 0 0 47 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10551120 CPUtime=0.44 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 5091 0 0 0 44 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10551120 CPUtime=0.36 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 6034 0 0 0 36 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10551120 CPUtime=0.39 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 4830 0 0 0 39 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10551120 CPUtime=0.38 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 5969 0 0 0 38 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10551120 CPUtime=0.44 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 4450 0 0 0 44 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6438] ppid=6425 vsize=10551120 CPUtime=12.54 cores=1,3,5,7
/proc/6427/task/6438/stat : 6438 (java) S 6425 6427 3716 0 -1 4202560 129543 0 0 0 1241 13 0 0 16 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 0 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6439] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6439/stat : 6439 (java) S 6425 6427 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6440] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6440/stat : 6440 (java) S 6425 6427 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6441] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6441/stat : 6441 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826063793 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6442] ppid=6425 vsize=10551120 CPUtime=1.22 cores=1,3,5,7
/proc/6427/task/6442/stat : 6442 (java) S 6425 6427 3716 0 -1 4202560 8163 0 0 0 121 1 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6443] ppid=6425 vsize=10551120 CPUtime=1.42 cores=1,3,5,7
/proc/6427/task/6443/stat : 6443 (java) S 6425 6427 3716 0 -1 4202560 9955 0 0 0 141 1 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6444] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6444/stat : 6444 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6445] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6445/stat : 6445 (java) S 6425 6427 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6491] ppid=6425 vsize=10551120 CPUtime=868.06 cores=1,3,5,7
/proc/6427/task/6491/stat : 6491 (java) R 6425 6427 3716 0 -1 4202560 3052 0 0 0 86806 0 0 0 22 0 22 0 830515403 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505875207 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6492] ppid=6425 vsize=10551120 CPUtime=868.07 cores=1,3,5,7
/proc/6427/task/6492/stat : 6492 (java) R 6425 6427 3716 0 -1 4202560 603705 0 0 0 86737 70 0 0 22 0 22 0 830515403 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505960448 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6427/tid=6493] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6493/stat : 6493 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6494] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6494/stat : 6494 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1755.46
Current children cumulated vsize (KiB) 10551120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.602 s]
/proc/loadavg: 3.69 3.81 3.50 5/604 6534
/proc/meminfo: memFree=25503232/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=10551120 CPUtime=1800.08 cores=1,3,5,7
/proc/6427/stat : 6427 (java) S 6425 6427 3716 0 -1 4202496 838797 0 1 0 179910 98 0 0 25 0 22 0 830515331 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 2637780 826037 2266 9 0 2628514 0
[pid=6427/tid=6428] ppid=6425 vsize=10551120 CPUtime=0.71 cores=1,3,5,7
/proc/6427/task/6428/stat : 6428 (java) S 6425 6427 3716 0 -1 4202560 44390 0 1 0 65 6 0 0 15 0 22 0 830515331 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6429] ppid=6425 vsize=10551120 CPUtime=0.45 cores=1,3,5,7
/proc/6427/task/6429/stat : 6429 (java) S 6425 6427 3716 0 -1 4202560 4906 0 0 0 45 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6430] ppid=6425 vsize=10551120 CPUtime=0.38 cores=1,3,5,7
/proc/6427/task/6430/stat : 6430 (java) S 6425 6427 3716 0 -1 4202560 2218 0 0 0 38 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6431] ppid=6425 vsize=10551120 CPUtime=0.47 cores=1,3,5,7
/proc/6427/task/6431/stat : 6431 (java) S 6425 6427 3716 0 -1 4202560 5282 0 0 0 47 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6432] ppid=6425 vsize=10551120 CPUtime=0.44 cores=1,3,5,7
/proc/6427/task/6432/stat : 6432 (java) S 6425 6427 3716 0 -1 4202560 5091 0 0 0 44 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6433] ppid=6425 vsize=10551120 CPUtime=0.36 cores=1,3,5,7
/proc/6427/task/6433/stat : 6433 (java) S 6425 6427 3716 0 -1 4202560 6034 0 0 0 36 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6434] ppid=6425 vsize=10551120 CPUtime=0.39 cores=1,3,5,7
/proc/6427/task/6434/stat : 6434 (java) S 6425 6427 3716 0 -1 4202560 4830 0 0 0 39 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6435] ppid=6425 vsize=10551120 CPUtime=0.38 cores=1,3,5,7
/proc/6427/task/6435/stat : 6435 (java) S 6425 6427 3716 0 -1 4202560 5969 0 0 0 38 0 0 0 16 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6436] ppid=6425 vsize=10551120 CPUtime=0.44 cores=1,3,5,7
/proc/6427/task/6436/stat : 6436 (java) S 6425 6427 3716 0 -1 4202560 4450 0 0 0 44 0 0 0 15 0 22 0 830515333 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6438] ppid=6425 vsize=10551120 CPUtime=12.54 cores=1,3,5,7
/proc/6427/task/6438/stat : 6438 (java) S 6425 6427 3716 0 -1 4202560 129543 0 0 0 1241 13 0 0 15 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 0 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6439] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6439/stat : 6439 (java) S 6425 6427 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6440] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6440/stat : 6440 (java) S 6425 6427 3716 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830515334 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6441] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6441/stat : 6441 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826063793 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6442] ppid=6425 vsize=10551120 CPUtime=1.22 cores=1,3,5,7
/proc/6427/task/6442/stat : 6442 (java) S 6425 6427 3716 0 -1 4202560 8163 0 0 0 121 1 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 7 0 0 0
[pid=6427/tid=6443] ppid=6425 vsize=10551120 CPUtime=1.42 cores=1,3,5,7
/proc/6427/task/6443/stat : 6443 (java) S 6425 6427 3716 0 -1 4202560 9955 0 0 0 141 1 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6444] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6444/stat : 6444 (java) S 6425 6427 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056089 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
[pid=6427/tid=6445] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6445/stat : 6445 (java) S 6425 6427 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830515337 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 5 0 0 0
[pid=6427/tid=6491] ppid=6425 vsize=10551120 CPUtime=890.38 cores=1,3,5,7
/proc/6427/task/6491/stat : 6491 (java) R 6425 6427 3716 0 -1 4202560 3052 0 0 0 89038 0 0 0 25 0 22 0 830515403 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505870540 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6427/tid=6492] ppid=6425 vsize=10551120 CPUtime=890.39 cores=1,3,5,7
/proc/6427/task/6492/stat : 6492 (java) R 6425 6427 3716 0 -1 4202560 603705 0 0 0 88969 70 0 0 25 0 22 0 830515403 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 46912505959669 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6427/tid=6493] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6493/stat : 6493 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 3 0 0 0
[pid=6427/tid=6494] ppid=6425 vsize=10551120 CPUtime=0 cores=1,3,5,7
/proc/6427/task/6494/stat : 6494 (java) S 6425 6427 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830515406 10804346880 826037 33554432000 1073741824 1073778376 140734401905072 18446744073709551615 251826056704 0 4 0 16800975 18446604457825320000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+904.728 s]
/proc/loadavg: 3.69 3.81 3.50 5/604 6534
/proc/meminfo: memFree=25503232/32950928 swapFree=41528364/67111528
[pid=6427] ppid=6425 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/6427/stat : 6427 (java) Z 6425 6427 3716 0 -1 4203548 838827 0 1 0 179924 106 0 0 17 0 2 0 830515331 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6427/statm: 0 0 0 0 0 0 0
[pid=6427/tid=6492] ppid=6425 vsize=0 CPUtime=890.49 cores=1,3,5,7
/proc/6427/task/6492/stat : 6492 (java) R 6425 6427 3716 0 -1 4203588 603705 0 0 0 88972 77 0 0 25 0 2 0 830515403 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 904.78
CPU time (s): 1800.36
CPU user time (s): 1799.24
CPU system time (s): 1.11283
CPU usage (%): 198.983
Max. virtual memory (cumulated for all children) (KiB): 10565180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.11283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 838827
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= 22884
involuntary context switches= 13345
runsolver used 5.2862 second user time and 12.0482 second system time
The end