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-3454181-1307189156/watcher-3454181-1307189156 -o /tmp/evaluation-result-3454181-1307189156/solver-3454181-1307189156 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454181-1307189156.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.08 3.22 2.66 2/445 2072
/proc/meminfo: memFree=24665020/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 830513846 9318400 172 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246511910535 0 2147483391 4096 0 18446744071699453118 0 0 17 3 0 0 0
/proc/2072/statm: 2275 172 132 9 0 67 0
[pid=2072/tid=2073] ppid=2070 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 31765 0 -1 4202560 3165 0 1 0 0 0 0 0 25 0 2 0 830513846 10694979584 3980 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0656201 s]
/proc/loadavg: 3.08 3.22 2.66 2/445 2072
/proc/meminfo: memFree=24665020/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 11675 0 1 0 3 2 0 0 25 0 18 0 830513846 10724274176 11371 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2618231 11371 1733 9 0 2608972 0
[pid=2072/tid=2073] ppid=2070 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 31765 0 -1 4202560 10501 0 1 0 3 1 0 0 25 0 18 0 830513846 10724274176 11371 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 47132315080723 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.104655 s]
/proc/loadavg: 3.08 3.22 2.66 2/445 2072
/proc/meminfo: memFree=24665020/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10539992 CPUtime=0.1 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 13080 0 1 0 8 2 0 0 25 0 18 0 830513846 10792951808 12739 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2634998 12739 2092 9 0 2625732 0
[pid=2072/tid=2073] ppid=2070 vsize=10539992 CPUtime=0.09 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 31765 0 -1 4202560 11138 0 1 0 7 2 0 0 18 0 18 0 830513846 10792951808 12739 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539992
[startup+0.30562 s]
/proc/loadavg: 3.08 3.22 2.66 2/445 2072
/proc/meminfo: memFree=24665020/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10540196 CPUtime=0.49 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 16418 0 1 0 46 3 0 0 25 0 18 0 830513846 10793160704 15449 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2635049 15450 2200 9 0 2625783 0
[pid=2072/tid=2073] ppid=2070 vsize=10540196 CPUtime=0.28 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 31765 0 -1 4202560 13132 0 1 0 26 2 0 0 18 0 18 0 830513846 10793160704 15450 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505610198 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540196
[startup+0.700518 s]
/proc/loadavg: 3.08 3.22 2.66 2/445 2072
/proc/meminfo: memFree=24665020/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10552604 CPUtime=1.26 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 52276 0 1 0 117 9 0 0 25 0 18 0 830513846 10805866496 48806 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2638151 48811 2216 9 0 2628885 0
[pid=2072/tid=2073] ppid=2070 vsize=10552604 CPUtime=0.67 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) R 2070 2072 31765 0 -1 4202560 41918 0 1 0 60 7 0 0 18 0 18 0 830513846 10805866496 48813 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505545051 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10552604
[startup+1.50133 s]
/proc/loadavg: 3.08 3.22 2.66 7/467 2094
/proc/meminfo: memFree=24443220/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10556716 CPUtime=3.48 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 99036 0 1 0 333 15 0 0 25 0 22 0 830513846 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2639179 92972 2240 9 0 2629913 0
[pid=2072/tid=2073] ppid=2070 vsize=10556716 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46290 0 1 0 64 8 0 0 15 0 22 0 830513846 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513848 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 31765 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830513849 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 0 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 31765 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830513850 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513850 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830513852 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528657841 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=10556716 CPUtime=0.57 cores=1,3,5,7
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 31765 0 -1 4202560 4905 0 0 0 57 0 0 0 20 0 22 0 830513852 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=10556716 CPUtime=0.67 cores=1,3,5,7
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 31765 0 -1 4202560 7046 0 0 0 66 1 0 0 21 0 22 0 830513852 10810077184 92972 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830513852 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830513852 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=10556716 CPUtime=0.75 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4202560 759 0 0 0 75 0 0 0 22 0 22 0 830513920 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 47132317178707 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2072/tid=2092] ppid=2070 vsize=10556716 CPUtime=0.73 cores=1,3,5,7
/proc/2072/task/2092/stat : 2092 (java) R 2070 2072 31765 0 -1 4202560 38870 0 0 0 69 4 0 0 24 0 22 0 830513920 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505905429 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2072/tid=2093] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2093/stat : 2093 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513923 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2094] ppid=2070 vsize=10556716 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2094/stat : 2094 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830513923 10810077184 92973 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10556716
[startup+3.10103 s]
/proc/loadavg: 3.08 3.22 2.66 4/467 2094
/proc/meminfo: memFree=24132972/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10563776 CPUtime=7.02 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 166711 0 1 0 680 22 0 0 25 0 22 0 830513846 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2640944 159712 2265 9 0 2631678 0
[pid=2072/tid=2073] ppid=2070 vsize=10563776 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46290 0 1 0 64 8 0 0 15 0 22 0 830513846 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 548 0 0 0 0 0 0 0 16 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10563776 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 812 0 0 0 1 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10563776 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 1126 0 0 0 1 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10563776 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 1016 0 0 0 1 0 0 0 15 0 22 0 830513848 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=10563776 CPUtime=0.08 cores=1,3,5,7
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 31765 0 -1 4202560 3835 0 0 0 8 0 0 0 15 0 22 0 830513849 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 0 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513850 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513850 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830513852 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528657841 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=10563776 CPUtime=0.94 cores=1,3,5,7
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 31765 0 -1 4202560 7375 0 0 0 93 1 0 0 16 0 22 0 830513852 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=10563776 CPUtime=0.71 cores=1,3,5,7
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 31765 0 -1 4202560 7047 0 0 0 70 1 0 0 15 0 22 0 830513852 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830513852 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830513852 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=10563776 CPUtime=2.24 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4202560 1681 0 0 0 224 0 0 0 17 0 22 0 830513920 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505957312 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2072/tid=2092] ppid=2070 vsize=10563776 CPUtime=2.22 cores=1,3,5,7
/proc/2072/task/2092/stat : 2092 (java) R 2070 2072 31765 0 -1 4202560 95456 0 0 0 213 9 0 0 25 0 22 0 830513920 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912506010968 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2072/tid=2093] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2093/stat : 2093 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513923 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2094] ppid=2070 vsize=10563776 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2094/stat : 2094 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830513923 10817306624 159712 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10563776
[startup+6.30149 s]
/proc/loadavg: 3.00 3.20 2.66 3/444 2097
/proc/meminfo: memFree=25192328/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10559324 CPUtime=13.95 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 183592 0 1 0 1370 25 0 0 25 0 22 0 830513846 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2639831 173141 2265 9 0 2630565 0
[pid=2072/tid=2073] ppid=2070 vsize=10559324 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46290 0 1 0 64 8 0 0 15 0 22 0 830513846 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 801 0 0 0 0 0 0 0 16 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10559324 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 1121 0 0 0 1 0 0 0 16 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10559324 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 1242 0 0 0 1 0 0 0 16 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10559324 CPUtime=0.01 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 1322 0 0 0 1 0 0 0 16 0 22 0 830513848 10812747776 173141 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=19683924/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10559324 CPUtime=1635.95 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 841256 0 1 0 163496 99 0 0 25 0 22 0 830513846 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2639831 829417 2266 9 0 2630565 0
[pid=2072/tid=2073] ppid=2070 vsize=10559324 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46302 0 1 0 64 8 0 0 15 0 22 0 830513846 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10559324 CPUtime=0.39 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 5784 0 0 0 39 0 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10559324 CPUtime=0.44 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 3815 0 0 0 44 0 0 0 15 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10559324 CPUtime=0.39 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 5390 0 0 0 39 0 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10559324 CPUtime=0.4 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 4439 0 0 0 40 0 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10559324 CPUtime=0.39 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 6987 0 0 0 38 1 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10559324 CPUtime=0.44 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 5033 0 0 0 43 1 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10559324 CPUtime=0.45 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 8368 0 0 0 44 1 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10559324 CPUtime=0.34 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 4694 0 0 0 34 0 0 0 16 0 22 0 830513848 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=10559324 CPUtime=11.75 cores=1,3,5,7
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 31765 0 -1 4202560 130117 0 0 0 1161 14 0 0 15 0 22 0 830513849 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 0 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830513852 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528657841 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=10559324 CPUtime=0.98 cores=1,3,5,7
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 31765 0 -1 4202560 7375 0 0 0 97 1 0 0 16 0 22 0 830513852 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=10559324 CPUtime=1.41 cores=1,3,5,7
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 31765 0 -1 4202560 11021 0 0 0 139 2 0 0 15 0 22 0 830513852 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830513852 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 31765 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830513852 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=10559324 CPUtime=808.88 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4202560 6280 0 0 0 80887 1 0 0 25 0 22 0 830513920 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505870816 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2072/tid=2092] ppid=2070 vsize=10559324 CPUtime=808.84 cores=1,3,5,7
/proc/2072/task/2092/stat : 2092 (java) R 2070 2072 31765 0 -1 4202560 594446 0 0 0 80821 63 0 0 25 0 22 0 830513920 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505904197 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2072/tid=2093] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2093/stat : 2093 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513923 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2094] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2094/stat : 2094 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830513923 10812747776 829417 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1635.95
Current children cumulated vsize (KiB) 10559324
[startup+882.301 s]
/proc/loadavg: 4.04 3.94 3.45 5/467 2244
/proc/meminfo: memFree=19603400/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10559324 CPUtime=1755.2 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 861336 0 1 0 175419 101 0 0 25 0 22 0 830513846 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2639831 849489 2266 9 0 2630565 0
[pid=2072/tid=2073] ppid=2070 vsize=10559324 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46303 0 1 0 64 8 0 0 15 0 22 0 830513846 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10559324 CPUtime=0.42 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 5784 0 0 0 42 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10559324 CPUtime=0.45 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 3815 0 0 0 45 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10559324 CPUtime=0.39 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 5390 0 0 0 39 0 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10559324 CPUtime=0.44 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 4439 0 0 0 44 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10559324 CPUtime=0.42 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 6987 0 0 0 41 1 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10559324 CPUtime=0.47 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 5033 0 0 0 46 1 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10559324 CPUtime=0.45 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 8368 0 0 0 44 1 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10559324 CPUtime=0.34 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 4694 0 0 0 34 0 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=10559324 CPUtime=12.57 cores=1,3,5,7
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 31765 0 -1 4202560 150191 0 0 0 1241 16 0 0 15 0 22 0 830513849 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 0 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528657841 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=10559324 CPUtime=0.98 cores=1,3,5,7
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 31765 0 -1 4202560 7375 0 0 0 97 1 0 0 16 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=10559324 CPUtime=1.41 cores=1,3,5,7
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 31765 0 -1 4202560 11021 0 0 0 139 2 0 0 15 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 31765 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=10559324 CPUtime=868.01 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4202560 6281 0 0 0 86800 1 0 0 25 0 22 0 830513920 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505875527 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2072/tid=2092] ppid=2070 vsize=10559324 CPUtime=867.98 cores=1,3,5,7
/proc/2072/task/2092/stat : 2092 (java) R 2070 2072 31765 0 -1 4202560 594446 0 0 0 86735 63 0 0 25 0 22 0 830513920 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505904493 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2072/tid=2093] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2093/stat : 2093 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513923 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2094] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2094/stat : 2094 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830513923 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1755.2
Current children cumulated vsize (KiB) 10559324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.701 s]
/proc/loadavg: 4.09 3.96 3.47 5/467 2245
/proc/meminfo: memFree=19603384/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=10559324 CPUtime=1800.01 cores=1,3,5,7
/proc/2072/stat : 2072 (java) S 2070 2072 31765 0 -1 4202496 861336 0 1 0 179900 101 0 0 25 0 22 0 830513846 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 2639831 849489 2266 9 0 2630565 0
[pid=2072/tid=2073] ppid=2070 vsize=10559324 CPUtime=0.72 cores=1,3,5,7
/proc/2072/task/2073/stat : 2073 (java) S 2070 2072 31765 0 -1 4202560 46303 0 1 0 64 8 0 0 15 0 22 0 830513846 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2075] ppid=2070 vsize=10559324 CPUtime=0.42 cores=1,3,5,7
/proc/2072/task/2075/stat : 2075 (java) S 2070 2072 31765 0 -1 4202560 5784 0 0 0 42 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2076] ppid=2070 vsize=10559324 CPUtime=0.45 cores=1,3,5,7
/proc/2072/task/2076/stat : 2076 (java) S 2070 2072 31765 0 -1 4202560 3815 0 0 0 45 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2077] ppid=2070 vsize=10559324 CPUtime=0.39 cores=1,3,5,7
/proc/2072/task/2077/stat : 2077 (java) S 2070 2072 31765 0 -1 4202560 5390 0 0 0 39 0 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2078] ppid=2070 vsize=10559324 CPUtime=0.44 cores=1,3,5,7
/proc/2072/task/2078/stat : 2078 (java) S 2070 2072 31765 0 -1 4202560 4439 0 0 0 44 0 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2079] ppid=2070 vsize=10559324 CPUtime=0.42 cores=1,3,5,7
/proc/2072/task/2079/stat : 2079 (java) S 2070 2072 31765 0 -1 4202560 6987 0 0 0 41 1 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2080] ppid=2070 vsize=10559324 CPUtime=0.47 cores=1,3,5,7
/proc/2072/task/2080/stat : 2080 (java) S 2070 2072 31765 0 -1 4202560 5033 0 0 0 46 1 0 0 16 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2081] ppid=2070 vsize=10559324 CPUtime=0.45 cores=1,3,5,7
/proc/2072/task/2081/stat : 2081 (java) S 2070 2072 31765 0 -1 4202560 8368 0 0 0 44 1 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2082] ppid=2070 vsize=10559324 CPUtime=0.34 cores=1,3,5,7
/proc/2072/task/2082/stat : 2082 (java) S 2070 2072 31765 0 -1 4202560 4694 0 0 0 34 0 0 0 15 0 22 0 830513848 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
[pid=2072/tid=2083] ppid=2070 vsize=10559324 CPUtime=12.57 cores=1,3,5,7
/proc/2072/task/2083/stat : 2083 (java) S 2070 2072 31765 0 -1 4202560 150191 0 0 0 1241 16 0 0 15 0 22 0 830513849 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 0 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2084] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2084/stat : 2084 (java) S 2070 2072 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2085] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2085/stat : 2085 (java) S 2070 2072 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513850 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2086] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2086/stat : 2086 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528657841 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2087] ppid=2070 vsize=10559324 CPUtime=0.98 cores=1,3,5,7
/proc/2072/task/2087/stat : 2087 (java) S 2070 2072 31765 0 -1 4202560 7375 0 0 0 97 1 0 0 16 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 1 0 0 0
[pid=2072/tid=2088] ppid=2070 vsize=10559324 CPUtime=1.41 cores=1,3,5,7
/proc/2072/task/2088/stat : 2088 (java) S 2070 2072 31765 0 -1 4202560 11021 0 0 0 139 2 0 0 15 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2089] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2089/stat : 2089 (java) S 2070 2072 31765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650137 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2090] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2090/stat : 2090 (java) S 2070 2072 31765 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830513852 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 3 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=10559324 CPUtime=890.43 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4202560 6281 0 0 0 89042 1 0 0 25 0 22 0 830513920 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505974184 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2072/tid=2092] ppid=2070 vsize=10559324 CPUtime=890.39 cores=1,3,5,7
/proc/2072/task/2092/stat : 2092 (java) R 2070 2072 31765 0 -1 4202560 594446 0 0 0 88976 63 0 0 25 0 22 0 830513920 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 46912505875527 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2072/tid=2093] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2093/stat : 2093 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830513923 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 5 0 0 0
[pid=2072/tid=2094] ppid=2070 vsize=10559324 CPUtime=0 cores=1,3,5,7
/proc/2072/task/2094/stat : 2094 (java) S 2070 2072 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830513923 10812747776 849489 33554432000 1073741824 1073778376 140733381304656 18446744073709551615 246528650752 0 4 0 16800975 18446604454456426624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10559324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+904.823 s]
/proc/loadavg: 4.09 3.96 3.47 5/467 2245
/proc/meminfo: memFree=19603384/32951124 swapFree=44043516/67111528
[pid=2072] ppid=2070 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/2072/stat : 2072 (java) Z 2070 2072 31765 0 -1 4203548 861369 0 1 0 179914 108 0 0 17 0 2 0 830513846 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2072/statm: 0 0 0 0 0 0 0
[pid=2072/tid=2091] ppid=2070 vsize=0 CPUtime=890.53 cores=1,3,5,7
/proc/2072/task/2091/stat : 2091 (java) R 2070 2072 31765 0 -1 4203588 6281 0 0 0 89045 8 0 0 25 0 2 0 830513920 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 904.884
CPU time (s): 1800.29
CPU user time (s): 1799.15
CPU system time (s): 1.14183
CPU usage (%): 198.952
Max. virtual memory (cumulated for all children) (KiB): 10563776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.14183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 861369
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= 22777
involuntary context switches= 8402
runsolver used 3.58745 second user time and 9.30559 second system time
The end