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-3454495-1307188487/watcher-3454495-1307188487 -o /tmp/evaluation-result-3454495-1307188487/solver-3454495-1307188487 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454495-1307188487.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: 1.10 1.30 1.65 5/547 8874
/proc/meminfo: memFree=22571052/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=33696 CPUtime=0 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 1290 0 0 0 0 0 0 0 25 0 2 0 811264516 34504704 1000 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 8425 1002 769 9 0 387 0
[pid=8874/tid=8875] ppid=8872 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) R 8872 8874 4512 0 -1 4202560 6996 0 1 0 0 0 0 0 25 0 2 0 811264516 10694979584 7812 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0358169 s]
/proc/loadavg: 1.10 1.30 1.65 5/547 8874
/proc/meminfo: memFree=22571052/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 11030 0 1 0 2 0 0 0 25 0 11 0 811264516 10716594176 10729 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2616356 10729 1621 9 0 2607104 0
[pid=8874/tid=8875] ppid=8872 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) R 8872 8874 4512 0 -1 4202560 9905 0 1 0 1 0 0 0 25 0 11 0 811264516 10716594176 10729 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522124235 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.10081 s]
/proc/loadavg: 1.10 1.30 1.65 5/547 8874
/proc/meminfo: memFree=22571052/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10474940 CPUtime=0.1 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 13083 0 1 0 9 1 0 0 25 0 18 0 811264516 10726338560 12760 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2618735 12760 2093 9 0 2609469 0
[pid=8874/tid=8875] ppid=8872 vsize=10474940 CPUtime=0.08 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) R 8872 8874 4512 0 -1 4202560 11118 0 1 0 7 1 0 0 25 0 18 0 811264516 10726338560 12761 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 47451177683795 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474940
[startup+0.300772 s]
/proc/loadavg: 1.10 1.30 1.65 5/547 8874
/proc/meminfo: memFree=22571052/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10541132 CPUtime=0.47 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 16439 0 1 0 46 1 0 0 25 0 18 0 811264516 10794119168 15628 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2635283 15629 2199 9 0 2626017 0
[pid=8874/tid=8875] ppid=8872 vsize=10541132 CPUtime=0.28 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) R 8872 8874 4512 0 -1 4202560 13330 0 1 0 27 1 0 0 25 0 18 0 811264516 10794119168 15629 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541132
[startup+0.700702 s]
/proc/loadavg: 1.10 1.30 1.65 5/547 8874
/proc/meminfo: memFree=22571052/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10552100 CPUtime=1.15 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 24777 0 1 0 113 2 0 0 25 0 19 0 811264516 10805350400 21594 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2638025 21594 2234 9 0 2628759 0
[pid=8874/tid=8875] ppid=8872 vsize=10552100 CPUtime=0.38 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16753 0 1 0 37 1 0 0 25 0 19 0 811264516 10805350400 21594 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10552100
[startup+1.50052 s]
/proc/loadavg: 1.10 1.30 1.65 8/569 8900
/proc/meminfo: memFree=22184128/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10552100 CPUtime=1.74 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 27976 0 1 0 171 3 0 0 25 0 22 0 811264516 10805350400 23785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2638025 23785 2239 9 0 2628759 0
[pid=8874/tid=8875] ppid=8872 vsize=10552100 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16807 0 1 0 38 1 0 0 17 0 22 0 811264516 10805350400 23786 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23787 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23787 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23788 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23788 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23789 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23789 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23790 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264518 10805350400 23791 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811264519 10805350400 23791 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811264520 10805350400 23792 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264520 10805350400 23792 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8888] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8888/stat : 8888 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10805350400 23793 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522121137 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8889] ppid=8872 vsize=10552100 CPUtime=0.49 cores=1,3,5,7
/proc/8874/task/8889/stat : 8889 (java) S 8872 8874 4512 0 -1 4202560 4442 0 0 0 49 0 0 0 18 0 22 0 811264522 10805350400 23794 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8890] ppid=8872 vsize=10552100 CPUtime=0.4 cores=1,3,5,7
/proc/8874/task/8890/stat : 8890 (java) S 8872 8874 4512 0 -1 4202560 3335 0 0 0 40 0 0 0 18 0 22 0 811264522 10805350400 23795 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8891] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8891/stat : 8891 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10805350400 23796 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8892] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8892/stat : 8892 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811264522 10805350400 23797 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8895] ppid=8872 vsize=10552100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8895/stat : 8895 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264557 10805350400 23798 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10552100
[startup+3.10124 s]
/proc/loadavg: 1.10 1.30 1.65 4/569 8903
/proc/meminfo: memFree=21771452/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10555100 CPUtime=5.46 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 118422 0 1 0 533 13 0 0 25 0 22 0 811264516 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2638775 112438 2268 9 0 2629509 0
[pid=8874/tid=8875] ppid=8872 vsize=10555100 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16807 0 1 0 38 1 0 0 15 0 22 0 811264516 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 505 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 505 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 285 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 379 0 0 0 0 0 0 0 18 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 435 0 0 0 0 0 0 0 18 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 22 0 811264518 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10555100 CPUtime=0.05 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 2227 0 0 0 5 0 0 0 15 0 22 0 811264519 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811264520 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811264520 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8888] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8888/stat : 8888 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522121137 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8889] ppid=8872 vsize=10555100 CPUtime=0.93 cores=1,3,5,7
/proc/8874/task/8889/stat : 8889 (java) S 8872 8874 4512 0 -1 4202560 8036 0 0 0 92 1 0 0 15 0 22 0 811264522 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8890] ppid=8872 vsize=10555100 CPUtime=0.76 cores=1,3,5,7
/proc/8874/task/8890/stat : 8890 (java) S 8872 8874 4512 0 -1 4202560 4230 0 0 0 76 0 0 0 16 0 22 0 811264522 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8891] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8891/stat : 8891 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8892] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8892/stat : 8892 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811264522 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8895] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8895/stat : 8895 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264557 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8901] ppid=8872 vsize=10555100 CPUtime=1.61 cores=1,3,5,7
/proc/8874/task/8901/stat : 8901 (java) R 8872 8874 4512 0 -1 4202560 912 0 0 0 161 0 0 0 19 0 22 0 811264658 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505779291 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8874/tid=8902] ppid=8872 vsize=10555100 CPUtime=1.35 cores=1,3,5,7
/proc/8874/task/8902/stat : 8902 (java) R 8872 8874 4512 0 -1 4202560 81404 0 0 0 127 8 0 0 18 0 22 0 811264658 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505905711 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8874/tid=8903] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8903/stat : 8903 (java) S 8872 8874 4512 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811264658 10808422400 112438 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 10555100
[startup+6.30069 s]
/proc/loadavg: 1.41 1.36 1.67 4/569 8903
/proc/meminfo: memFree=21397728/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10555100 CPUtime=11.92 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 148103 0 1 0 1175 17 0 0 25 0 22 0 811264516 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2638775 141785 2268 9 0 2629509 0
[pid=8874/tid=8875] ppid=8872 vsize=10555100 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16807 0 1 0 38 1 0 0 15 0 22 0 811264516 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 526 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 539 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 285 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 426 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 435 0 0 0 0 0 0 0 16 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 811264518 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10555100 CPUtime=0.13 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 3438 0 0 0 13 0 0 0 15 0 22 0 811264519 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811264520 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10555100 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811264520 10808422400 141785 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=8874/tid=8923] ppid=8872 vsize=10620636 CPUtime=568.16 cores=1,3,5,7
/proc/8874/task/8923/stat : 8923 (java) R 8872 8874 4512 0 -1 4202560 79 0 0 0 56816 0 0 0 24 0 22 0 811283154 10875531264 361408 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505787639 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8874/tid=8924] ppid=8872 vsize=10620636 CPUtime=568.18 cores=1,3,5,7
/proc/8874/task/8924/stat : 8924 (java) R 8872 8874 4512 0 -1 4202560 38138 0 0 0 56813 5 0 0 24 0 22 0 811283154 10875531264 361408 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505618935 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8874/tid=8925] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8925/stat : 8925 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811283154 10875531264 361408 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1568.7
Current children cumulated vsize (KiB) 10620636
[startup+882.301 s]
/proc/loadavg: 3.89 3.77 3.02 5/569 8953
/proc/meminfo: memFree=19183540/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10620636 CPUtime=1681.52 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 371309 0 1 0 168100 52 0 0 25 0 22 0 811264516 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2655159 362916 2269 9 0 2645893 0
[pid=8874/tid=8875] ppid=8872 vsize=10620636 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16898 0 1 0 38 1 0 0 15 0 22 0 811264516 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10620636 CPUtime=1.03 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 633 0 0 0 103 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10620636 CPUtime=1.18 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 647 0 0 0 118 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10620636 CPUtime=1.1 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 238 0 0 0 110 0 0 0 15 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10620636 CPUtime=1.03 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 97 0 0 0 103 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10620636 CPUtime=0.98 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 578 0 0 0 98 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10620636 CPUtime=1.15 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 544 0 0 0 115 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10620636 CPUtime=1 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 693 0 0 0 100 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10620636 CPUtime=1.16 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 551 0 0 0 116 0 0 0 16 0 22 0 811264518 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10620636 CPUtime=82.97 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 40006 0 0 0 8289 8 0 0 15 0 22 0 811264519 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8888] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8888/stat : 8888 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522121137 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8889] ppid=8872 vsize=10620636 CPUtime=1.64 cores=1,3,5,7
/proc/8874/task/8889/stat : 8889 (java) S 8872 8874 4512 0 -1 4202560 10822 0 0 0 163 1 0 0 15 0 22 0 811264522 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8890] ppid=8872 vsize=10620636 CPUtime=0.91 cores=1,3,5,7
/proc/8874/task/8890/stat : 8890 (java) S 8872 8874 4512 0 -1 4202560 4239 0 0 0 91 0 0 0 15 0 22 0 811264522 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8891] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8891/stat : 8891 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8892] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8892/stat : 8892 (java) S 8872 8874 4512 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811264522 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8895] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8895/stat : 8895 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264557 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8923] ppid=8872 vsize=10620636 CPUtime=620.47 cores=1,3,5,7
/proc/8874/task/8923/stat : 8923 (java) R 8872 8874 4512 0 -1 4202560 101 0 0 0 62047 0 0 0 25 0 22 0 811283154 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505787639 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8874/tid=8924] ppid=8872 vsize=10620636 CPUtime=620.49 cores=1,3,5,7
/proc/8874/task/8924/stat : 8924 (java) R 8872 8874 4512 0 -1 4202560 38138 0 0 0 62044 5 0 0 25 0 22 0 811283154 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505905780 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8874/tid=8925] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8925/stat : 8925 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811283154 10875531264 362916 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1681.52
Current children cumulated vsize (KiB) 10620636
[startup+942.302 s]
/proc/loadavg: 3.82 3.77 3.06 4/569 9012
/proc/meminfo: memFree=20658728/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10620636 CPUtime=1793.92 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 372721 0 1 0 179340 52 0 0 25 0 22 0 811264516 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2655159 364301 2269 9 0 2645893 0
[pid=8874/tid=8875] ppid=8872 vsize=10620636 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16898 0 1 0 38 1 0 0 15 0 22 0 811264516 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10620636 CPUtime=1.12 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 639 0 0 0 112 0 0 0 16 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10620636 CPUtime=1.28 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 660 0 0 0 128 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10620636 CPUtime=1.2 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 246 0 0 0 120 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10620636 CPUtime=1.1 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 109 0 0 0 110 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10620636 CPUtime=1.08 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 578 0 0 0 108 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10620636 CPUtime=1.24 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 553 0 0 0 124 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10620636 CPUtime=1.1 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 699 0 0 0 110 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10620636 CPUtime=1.27 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 562 0 0 0 127 0 0 0 15 0 22 0 811264518 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10620636 CPUtime=90.87 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 41328 0 0 0 9079 8 0 0 16 0 22 0 811264519 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8888] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8888/stat : 8888 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522121137 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8889] ppid=8872 vsize=10620636 CPUtime=1.64 cores=1,3,5,7
/proc/8874/task/8889/stat : 8889 (java) S 8872 8874 4512 0 -1 4202560 10822 0 0 0 163 1 0 0 15 0 22 0 811264522 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8890] ppid=8872 vsize=10620636 CPUtime=0.91 cores=1,3,5,7
/proc/8874/task/8890/stat : 8890 (java) S 8872 8874 4512 0 -1 4202560 4239 0 0 0 91 0 0 0 15 0 22 0 811264522 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8891] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8891/stat : 8891 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8892] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8892/stat : 8892 (java) S 8872 8874 4512 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811264522 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8895] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8895/stat : 8895 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264557 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8923] ppid=8872 vsize=10620636 CPUtime=672.34 cores=1,3,5,7
/proc/8874/task/8923/stat : 8923 (java) R 8872 8874 4512 0 -1 4202560 124 0 0 0 67234 0 0 0 25 0 22 0 811283154 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8874/tid=8924] ppid=8872 vsize=10620636 CPUtime=672.37 cores=1,3,5,7
/proc/8874/task/8924/stat : 8924 (java) R 8872 8874 4512 0 -1 4202560 38138 0 0 0 67231 6 0 0 25 0 22 0 811283154 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505905711 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8874/tid=8925] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8925/stat : 8925 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811283154 10875531264 364301 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1793.92
Current children cumulated vsize (KiB) 10620636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+945.601 s]
/proc/loadavg: 3.91 3.79 3.07 5/569 9012
/proc/meminfo: memFree=20651656/32951124 swapFree=64303760/67111528
[pid=8874] ppid=8872 vsize=10620636 CPUtime=1800.09 cores=1,3,5,7
/proc/8874/stat : 8874 (java) S 8872 8874 4512 0 -1 4202496 372726 0 1 0 179957 52 0 0 25 0 22 0 811264516 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8874/statm: 2655159 364303 2269 9 0 2645893 0
[pid=8874/tid=8875] ppid=8872 vsize=10620636 CPUtime=0.39 cores=1,3,5,7
/proc/8874/task/8875/stat : 8875 (java) S 8872 8874 4512 0 -1 4202560 16898 0 1 0 38 1 0 0 15 0 22 0 811264516 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8877] ppid=8872 vsize=10620636 CPUtime=1.13 cores=1,3,5,7
/proc/8874/task/8877/stat : 8877 (java) S 8872 8874 4512 0 -1 4202560 639 0 0 0 113 0 0 0 16 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8878] ppid=8872 vsize=10620636 CPUtime=1.28 cores=1,3,5,7
/proc/8874/task/8878/stat : 8878 (java) S 8872 8874 4512 0 -1 4202560 660 0 0 0 128 0 0 0 15 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 7 0 0 0
[pid=8874/tid=8879] ppid=8872 vsize=10620636 CPUtime=1.2 cores=1,3,5,7
/proc/8874/task/8879/stat : 8879 (java) S 8872 8874 4512 0 -1 4202560 246 0 0 0 120 0 0 0 16 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8880] ppid=8872 vsize=10620636 CPUtime=1.1 cores=1,3,5,7
/proc/8874/task/8880/stat : 8880 (java) S 8872 8874 4512 0 -1 4202560 109 0 0 0 110 0 0 0 15 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8881] ppid=8872 vsize=10620636 CPUtime=1.09 cores=1,3,5,7
/proc/8874/task/8881/stat : 8881 (java) S 8872 8874 4512 0 -1 4202560 578 0 0 0 109 0 0 0 16 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8882] ppid=8872 vsize=10620636 CPUtime=1.25 cores=1,3,5,7
/proc/8874/task/8882/stat : 8882 (java) S 8872 8874 4512 0 -1 4202560 554 0 0 0 125 0 0 0 16 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8883] ppid=8872 vsize=10620636 CPUtime=1.1 cores=1,3,5,7
/proc/8874/task/8883/stat : 8883 (java) S 8872 8874 4512 0 -1 4202560 699 0 0 0 110 0 0 0 15 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8884] ppid=8872 vsize=10620636 CPUtime=1.27 cores=1,3,5,7
/proc/8874/task/8884/stat : 8884 (java) S 8872 8874 4512 0 -1 4202560 563 0 0 0 127 0 0 0 16 0 22 0 811264518 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8885] ppid=8872 vsize=10620636 CPUtime=91.33 cores=1,3,5,7
/proc/8874/task/8885/stat : 8885 (java) S 8872 8874 4512 0 -1 4202560 41328 0 0 0 9125 8 0 0 15 0 22 0 811264519 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 0 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8886] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8886/stat : 8886 (java) S 8872 8874 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8887] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8887/stat : 8887 (java) S 8872 8874 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811264520 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8888] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8888/stat : 8888 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522121137 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8889] ppid=8872 vsize=10620636 CPUtime=1.64 cores=1,3,5,7
/proc/8874/task/8889/stat : 8889 (java) S 8872 8874 4512 0 -1 4202560 10822 0 0 0 163 1 0 0 15 0 22 0 811264522 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
[pid=8874/tid=8890] ppid=8872 vsize=10620636 CPUtime=0.91 cores=1,3,5,7
/proc/8874/task/8890/stat : 8890 (java) S 8872 8874 4512 0 -1 4202560 4239 0 0 0 91 0 0 0 15 0 22 0 811264522 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8891] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8891/stat : 8891 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264522 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522113433 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8892] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8892/stat : 8892 (java) S 8872 8874 4512 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811264522 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 5 0 0 0
[pid=8874/tid=8895] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8895/stat : 8895 (java) S 8872 8874 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264557 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 1 0 0 0
[pid=8874/tid=8923] ppid=8872 vsize=10620636 CPUtime=675.19 cores=1,3,5,7
/proc/8874/task/8923/stat : 8923 (java) R 8872 8874 4512 0 -1 4202560 125 0 0 0 67519 0 0 0 25 0 22 0 811283154 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505787639 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8874/tid=8924] ppid=8872 vsize=10620636 CPUtime=675.22 cores=1,3,5,7
/proc/8874/task/8924/stat : 8924 (java) R 8872 8874 4512 0 -1 4202560 38138 0 0 0 67516 6 0 0 25 0 22 0 811283154 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 46912505905632 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8874/tid=8925] ppid=8872 vsize=10620636 CPUtime=0 cores=1,3,5,7
/proc/8874/task/8925/stat : 8925 (java) S 8872 8874 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811283154 10875531264 364303 33554432000 1073741824 1073778376 140737087993760 18446744073709551615 233522114048 0 4 0 16800975 18446604459289226048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10620636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 945.717
CPU time (s): 1800.28
CPU user time (s): 1799.69
CPU system time (s): 0.58591
CPU usage (%): 190.361
Max. virtual memory (cumulated for all children) (KiB): 10620636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372757
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= 32936
involuntary context switches= 25956
runsolver used 4.90925 second user time and 12.3401 second system time
The end