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-3455906-1307225043/watcher-3455906-1307225043 -o /tmp/evaluation-result-3455906-1307225043/solver-3455906-1307225043 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455906-1307225043.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: 2.11 2.06 2.01 2/479 30282
/proc/meminfo: memFree=24700156/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 7221 0 1 0 0 0 0 0 25 0 2 0 834102272 10694979584 6923 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2611079 6935 917 9 0 2602235 0
[pid=30282/tid=30283] ppid=30280 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 6166 0 1 0 0 0 0 0 25 0 2 0 834102273 10694979584 6982 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0344379 s]
/proc/loadavg: 2.11 2.06 2.01 2/479 30282
/proc/meminfo: memFree=24700156/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 11028 0 1 0 1 1 0 0 25 0 11 0 834102272 10716594176 10727 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2616356 10728 1621 9 0 2607104 0
[pid=30282/tid=30283] ppid=30280 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 9906 0 1 0 1 1 0 0 25 0 11 0 834102273 10716594176 10729 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 47110022455301 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.100438 s]
/proc/loadavg: 2.11 2.06 2.01 2/479 30282
/proc/meminfo: memFree=24700156/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10540144 CPUtime=0.1 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 13076 0 1 0 9 1 0 0 25 0 18 0 834102272 10793107456 12772 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2635036 12772 2093 9 0 2625770 0
[pid=30282/tid=30283] ppid=30280 vsize=10540144 CPUtime=0.08 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 11156 0 1 0 7 1 0 0 18 0 18 0 834102273 10793107456 12772 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 47110022455301 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) 10540144
[startup+0.300358 s]
/proc/loadavg: 2.11 2.06 2.01 2/479 30282
/proc/meminfo: memFree=24700156/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10543564 CPUtime=0.55 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 18944 0 1 0 52 3 0 0 25 0 19 0 834102272 10796609536 16828 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2635891 16829 2198 9 0 2626625 0
[pid=30282/tid=30283] ppid=30280 vsize=10543564 CPUtime=0.28 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 12923 0 1 0 27 1 0 0 19 0 19 0 834102273 10796609536 16829 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505560709 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543564
[startup+0.700299 s]
/proc/loadavg: 2.11 2.06 2.01 2/479 30282
/proc/meminfo: memFree=24700156/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10557196 CPUtime=1.72 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 48063 0 1 0 165 7 0 0 25 0 19 0 834102272 10810568704 41421 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2639299 41424 2222 9 0 2630033 0
[pid=30282/tid=30283] ppid=30280 vsize=10557196 CPUtime=0.68 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 31956 0 1 0 64 4 0 0 19 0 19 0 834102273 10810568704 41425 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505560732 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10557196
[startup+1.50117 s]
/proc/loadavg: 2.11 2.06 2.01 3/498 30301
/proc/meminfo: memFree=24423696/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10557196 CPUtime=2.81 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 132187 0 1 0 263 18 0 0 25 0 19 0 834102272 10810568704 125020 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2639299 125025 2225 9 0 2630033 0
[pid=30282/tid=30283] ppid=30280 vsize=10557196 CPUtime=1.49 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 116031 0 1 0 133 16 0 0 21 0 19 0 834102273 10810568704 125028 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505607237 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125031 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125033 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125036 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125039 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125041 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125044 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125047 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 125049 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834102276 10810568704 125052 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834102276 10810568704 125054 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834102276 10810568704 125057 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10810568704 125059 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10557196 CPUtime=0.67 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8930 0 0 0 66 1 0 0 22 0 19 0 834102278 10810568704 125062 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10557196 CPUtime=0.63 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6074 0 0 0 63 0 0 0 22 0 19 0 834102278 10810568704 125065 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10810568704 125067 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834102278 10810568704 125069 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10810568704 125071 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10557196
[startup+3.10089 s]
/proc/loadavg: 2.10 2.06 2.01 3/498 30301
/proc/meminfo: memFree=23954976/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10557196 CPUtime=4.42 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 298549 0 1 0 406 36 0 0 25 0 19 0 834102272 10810568704 291381 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2639299 291385 2225 9 0 2630033 0
[pid=30282/tid=30283] ppid=30280 vsize=10557196 CPUtime=3.09 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 282390 0 1 0 275 34 0 0 25 0 19 0 834102273 10810568704 291386 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505560709 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291391 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291393 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291395 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291397 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291399 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291401 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10810568704 291403 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834102276 10810568704 291405 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834102276 10810568704 291407 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834102276 10810568704 291409 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10810568704 291411 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10557196 CPUtime=0.68 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8930 0 0 0 67 1 0 0 19 0 19 0 834102278 10810568704 291413 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10557196 CPUtime=0.63 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6074 0 0 0 63 0 0 0 22 0 19 0 834102278 10810568704 291415 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10810568704 291417 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834102278 10810568704 291419 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10557196 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10810568704 291421 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10557196
[startup+6.30131 s]
/proc/loadavg: 2.10 2.06 2.01 3/498 30301
/proc/meminfo: memFree=22643080/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10554796 CPUtime=7.64 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 610303 0 1 0 692 72 0 0 25 0 19 0 834102272 10808111104 602478 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2638699 602482 2226 9 0 2629433 0
[pid=30282/tid=30283] ppid=30280 vsize=10554796 CPUtime=6.28 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 594142 0 1 0 559 69 0 0 25 0 19 0 834102273 10808111104 602484 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505605714 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602486 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602489 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602491 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602493 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602496 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602498 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602500 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102274 10808111104 602502 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834102276 10808111104 602505 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834102276 10808111104 602507 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834102276 10808111104 602509 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 602511 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10554796 CPUtime=0.69 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8931 0 0 0 68 1 0 0 15 0 19 0 834102278 10808111104 602513 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10554796 CPUtime=0.63 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6075 0 0 0 63 0 0 0 17 0 19 0 834102278 10808111104 602516 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10554796 CPUtime=0.72 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8942 0 0 0 71 1 0 0 15 0 19 0 834102278 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10554796 CPUtime=0.86 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6118 0 0 0 86 0 0 0 15 0 19 0 834102278 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834102278 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10808111104 943964 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.44
Current children cumulated vsize (KiB) 10554796
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/498 30398
/proc/meminfo: memFree=21130220/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10554796 CPUtime=1729.67 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 954612 0 1 0 172857 110 0 0 25 0 19 0 834102272 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2638699 945389 2257 9 0 2629433 0
[pid=30282/tid=30283] ppid=30280 vsize=10554796 CPUtime=1715.55 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 842790 0 1 0 171462 93 0 0 25 0 19 0 834102273 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505684186 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10554796 CPUtime=1.18 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 10738 0 0 0 117 1 0 0 16 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10554796 CPUtime=1.05 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 8710 0 0 0 105 0 0 0 15 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10554796 CPUtime=0.99 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 11116 0 0 0 98 1 0 0 15 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10554796 CPUtime=0.99 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 10712 0 0 0 98 1 0 0 16 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10554796 CPUtime=1.03 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 10056 0 0 0 102 1 0 0 16 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10554796 CPUtime=0.96 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 9351 0 0 0 95 1 0 0 15 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10554796 CPUtime=1.18 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 10095 0 0 0 117 1 0 0 16 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10554796 CPUtime=1.13 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 11794 0 0 0 112 1 0 0 15 0 19 0 834102274 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10554796 CPUtime=3.91 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 12941 0 0 0 389 2 0 0 15 0 19 0 834102276 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10554796 CPUtime=0.72 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8942 0 0 0 71 1 0 0 15 0 19 0 834102278 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10554796 CPUtime=0.86 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6118 0 0 0 86 0 0 0 15 0 19 0 834102278 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834102278 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10808111104 945389 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.67
Current children cumulated vsize (KiB) 10554796
[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/498 30399
/proc/meminfo: memFree=21090380/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10554796 CPUtime=1790.02 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 958120 0 1 0 178891 111 0 0 25 0 19 0 834102272 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2638699 948861 2257 9 0 2629433 0
[pid=30282/tid=30283] ppid=30280 vsize=10554796 CPUtime=1775.42 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 842795 0 1 0 177449 93 0 0 25 0 19 0 834102273 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505684212 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10554796 CPUtime=1.25 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 11410 0 0 0 124 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10554796 CPUtime=1.1 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 8871 0 0 0 110 0 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10554796 CPUtime=1.04 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 11315 0 0 0 103 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10554796 CPUtime=1.1 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 11680 0 0 0 109 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10554796 CPUtime=1.07 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 10422 0 0 0 106 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10554796 CPUtime=1.02 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 9957 0 0 0 101 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10554796 CPUtime=1.24 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 10553 0 0 0 123 1 0 0 16 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10554796 CPUtime=1.16 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 11859 0 0 0 115 1 0 0 15 0 19 0 834102274 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10554796 CPUtime=3.91 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 12945 0 0 0 389 2 0 0 15 0 19 0 834102276 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10554796 CPUtime=0.72 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8942 0 0 0 71 1 0 0 15 0 19 0 834102278 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10554796 CPUtime=0.86 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6118 0 0 0 86 0 0 0 15 0 19 0 834102278 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834102278 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10808111104 948861 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.02
Current children cumulated vsize (KiB) 10554796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/498 30400
/proc/meminfo: memFree=21080832/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=10554796 CPUtime=1800.07 cores=1,3,5,7
/proc/30282/stat : 30282 (java) S 30280 30282 29047 0 -1 4202496 958373 0 1 0 179896 111 0 0 25 0 19 0 834102272 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 2638699 949111 2257 9 0 2629433 0
[pid=30282/tid=30283] ppid=30280 vsize=10554796 CPUtime=1785.42 cores=1,3,5,7
/proc/30282/task/30283/stat : 30283 (java) R 30280 30282 29047 0 -1 4202560 842796 0 1 0 178449 93 0 0 25 0 19 0 834102273 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 46912505535953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30282/tid=30285] ppid=30280 vsize=10554796 CPUtime=1.25 cores=1,3,5,7
/proc/30282/task/30285/stat : 30285 (java) S 30280 30282 29047 0 -1 4202560 11410 0 0 0 124 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30286] ppid=30280 vsize=10554796 CPUtime=1.1 cores=1,3,5,7
/proc/30282/task/30286/stat : 30286 (java) S 30280 30282 29047 0 -1 4202560 8871 0 0 0 110 0 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30287] ppid=30280 vsize=10554796 CPUtime=1.05 cores=1,3,5,7
/proc/30282/task/30287/stat : 30287 (java) S 30280 30282 29047 0 -1 4202560 11422 0 0 0 104 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30288] ppid=30280 vsize=10554796 CPUtime=1.1 cores=1,3,5,7
/proc/30282/task/30288/stat : 30288 (java) S 30280 30282 29047 0 -1 4202560 11680 0 0 0 109 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30289] ppid=30280 vsize=10554796 CPUtime=1.07 cores=1,3,5,7
/proc/30282/task/30289/stat : 30289 (java) S 30280 30282 29047 0 -1 4202560 10422 0 0 0 106 1 0 0 15 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30290] ppid=30280 vsize=10554796 CPUtime=1.04 cores=1,3,5,7
/proc/30282/task/30290/stat : 30290 (java) S 30280 30282 29047 0 -1 4202560 9997 0 0 0 103 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30291] ppid=30280 vsize=10554796 CPUtime=1.25 cores=1,3,5,7
/proc/30282/task/30291/stat : 30291 (java) S 30280 30282 29047 0 -1 4202560 10554 0 0 0 124 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30292] ppid=30280 vsize=10554796 CPUtime=1.17 cores=1,3,5,7
/proc/30282/task/30292/stat : 30292 (java) S 30280 30282 29047 0 -1 4202560 11963 0 0 0 116 1 0 0 16 0 19 0 834102274 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30293] ppid=30280 vsize=10554796 CPUtime=3.91 cores=1,3,5,7
/proc/30282/task/30293/stat : 30293 (java) S 30280 30282 29047 0 -1 4202560 12945 0 0 0 389 2 0 0 15 0 19 0 834102276 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 0 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30294] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30294/stat : 30294 (java) S 30280 30282 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30295] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30295/stat : 30295 (java) S 30280 30282 29047 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834102276 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 7 0 0 0
[pid=30282/tid=30296] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30296/stat : 30296 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134537649 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30297] ppid=30280 vsize=10554796 CPUtime=0.72 cores=1,3,5,7
/proc/30282/task/30297/stat : 30297 (java) S 30280 30282 29047 0 -1 4202560 8942 0 0 0 71 1 0 0 15 0 19 0 834102278 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30298] ppid=30280 vsize=10554796 CPUtime=0.86 cores=1,3,5,7
/proc/30282/task/30298/stat : 30298 (java) S 30280 30282 29047 0 -1 4202560 6118 0 0 0 86 0 0 0 15 0 19 0 834102278 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 5 0 0 0
[pid=30282/tid=30299] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30299/stat : 30299 (java) S 30280 30282 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834102278 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134529945 0 4 0 16800975 18446604455330490240 0 0 -1 1 0 0 0
[pid=30282/tid=30300] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30300/stat : 30300 (java) S 30280 30282 29047 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834102278 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
[pid=30282/tid=30301] ppid=30280 vsize=10554796 CPUtime=0 cores=1,3,5,7
/proc/30282/task/30301/stat : 30301 (java) S 30280 30282 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834102289 10808111104 949111 33554432000 1073741824 1073778376 140733224546160 18446744073709551615 228134530560 0 4 0 16800975 18446604455330490240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10554796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.42 s]
/proc/loadavg: 2.13 2.06 2.01 3/498 30400
/proc/meminfo: memFree=21080832/32951124 swapFree=41830676/67111528
[pid=30282] ppid=30280 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/30282/stat : 30282 (java) Z 30280 30282 29047 0 -1 4203548 958414 0 1 0 179905 118 0 0 17 0 2 0 834102272 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30282/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.49
CPU time (s): 1800.31
CPU user time (s): 1799.05
CPU system time (s): 1.25781
CPU usage (%): 100.436
Max. virtual memory (cumulated for all children) (KiB): 10557196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.25781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958414
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= 41221
involuntary context switches= 15241
runsolver used 7.81281 second user time and 19.2191 second system time
The end