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-3456442-1307660176/watcher-3456442-1307660176 -o /tmp/evaluation-result-3456442-1307660176/solver-3456442-1307660176 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456442-1307660176.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.00 2.02 2.61 1/175 25324
/proc/meminfo: memFree=32050688/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25324/stat : 25324 (java) R 25322 25324 21841 0 -1 4202496 947 0 0 0 0 0 0 0 22 0 1 0 956248224 23580672 691 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260015474096 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25324/statm: 5757 691 508 9 0 124 0
[startup+0.0759191 s]
/proc/loadavg: 2.00 2.02 2.61 1/175 25324
/proc/meminfo: memFree=32050688/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 11883 0 1 0 5 1 0 0 22 0 18 0 956248224 10724442112 11580 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2618272 11580 1754 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100898 s]
/proc/loadavg: 2.00 2.02 2.61 1/175 25324
/proc/meminfo: memFree=32050688/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10540336 CPUtime=0.1 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 13038 0 1 0 9 1 0 0 22 0 18 0 956248224 10793304064 12705 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2635084 12705 2092 9 0 2625818 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540336
[startup+0.300829 s]
/proc/loadavg: 2.00 2.02 2.61 1/175 25324
/proc/meminfo: memFree=32050688/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10545260 CPUtime=0.55 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 18951 0 1 0 53 2 0 0 22 0 18 0 956248224 10798346240 17559 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2636315 17561 2202 9 0 2627049 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10545260
[startup+0.700792 s]
/proc/loadavg: 2.00 2.02 2.61 1/175 25324
/proc/meminfo: memFree=32050688/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10560892 CPUtime=1.41 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 37483 0 1 0 137 4 0 0 22 0 19 0 956248224 10814353408 33740 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2640223 33740 2228 9 0 2630957 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10560892
[startup+1.50065 s]
/proc/loadavg: 2.00 2.02 2.61 2/194 25343
/proc/meminfo: memFree=31845776/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10560892 CPUtime=2.5 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 128993 0 1 0 235 15 0 0 22 0 19 0 956248224 10814353408 121998 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2640223 122004 2231 9 0 2630957 0
[pid=25324/tid=25326] ppid=25322 vsize=10560892 CPUtime=1.48 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 115401 0 1 0 135 13 0 0 20 0 19 0 956248225 10814353408 122007 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505616263 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956248227 10814353408 122011 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122013 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122018 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122019 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122024 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122025 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122031 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 122032 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 956248228 10814353408 122037 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956248228 10814353408 122038 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 956248228 10814353408 122043 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10814353408 122045 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10560892 CPUtime=0.41 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 3899 0 0 0 41 0 0 0 23 0 19 0 956248230 10814353408 122050 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10560892 CPUtime=0.59 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 8543 0 0 0 58 1 0 0 15 0 19 0 956248230 10814353408 122052 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10814353408 122055 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956248230 10814353408 122059 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10814353408 122061 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10560892
[startup+3.10135 s]
/proc/loadavg: 2.00 2.02 2.61 3/193 25371
/proc/meminfo: memFree=31220288/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10560892 CPUtime=4.38 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 338232 0 1 0 400 38 0 0 22 0 19 0 956248224 10814353408 327706 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2640223 327706 2233 9 0 2630957 0
[pid=25324/tid=25326] ppid=25322 vsize=10560892 CPUtime=3.08 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 320868 0 1 0 272 36 0 0 25 0 19 0 956248225 10814353408 327706 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505616070 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956248227 10814353408 327711 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327713 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327713 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327713 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327718 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327719 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327719 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 327720 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 956248228 10814353408 327725 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956248228 10814353408 327726 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 956248228 10814353408 327726 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10814353408 327727 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10560892 CPUtime=0.51 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 5696 0 0 0 51 0 0 0 18 0 19 0 956248230 10814353408 327731 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10560892 CPUtime=0.77 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 10509 0 0 0 76 1 0 0 15 0 19 0 956248230 10814353408 327732 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10814353408 327733 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956248230 10814353408 327733 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10814353408 327738 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10560892
[startup+6.30077 s]
/proc/loadavg: 2.00 2.02 2.61 4/213 25398
/proc/meminfo: memFree=29252904/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10560892 CPUtime=7.81 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 589647 0 1 0 716 65 0 0 22 0 19 0 956248224 10814353408 576978 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2640223 576981 2234 9 0 2630957 0
[pid=25324/tid=25326] ppid=25322 vsize=10560892 CPUtime=6.28 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 570123 0 1 0 566 62 0 0 25 0 19 0 956248225 10814353408 576982 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505745289 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956248227 10814353408 576983 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576986 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576986 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576987 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576991 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576991 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576991 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956248227 10814353408 576996 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 956248228 10814353408 576996 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 956248228 10814353408 576996 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 956248228 10814353408 577000 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10814353408 577001 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10560892 CPUtime=0.68 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 7849 0 0 0 67 1 0 0 16 0 19 0 956248230 10814353408 577001 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10560892 CPUtime=0.83 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 10520 0 0 0 82 1 0 0 16 0 19 0 956248230 10814353408 577004 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10814353408 577006 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956248230 10814353408 577006 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10814353408 577008 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 10560892
[startup+12.7016 s]
################
# More data... #
################
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956248228 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10560892 CPUtime=0.81 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 9202 0 0 0 80 1 0 0 15 0 19 0 956248230 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10560892 CPUtime=0.89 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 10526 0 0 0 88 1 0 0 16 0 19 0 956248230 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 956248230 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10560892 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10814353408 977196 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.3
Current children cumulated vsize (KiB) 10560892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/214 25454
/proc/meminfo: memFree=24217504/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10558592 CPUtime=1729.04 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 1008048 0 1 0 172788 116 0 0 22 0 19 0 956248224 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2639648 988400 2263 9 0 2630382 0
[pid=25324/tid=25326] ppid=25322 vsize=10558592 CPUtime=1719.75 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 838332 0 1 0 171884 91 0 0 25 0 19 0 956248225 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505749921 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10558592 CPUtime=0.75 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 19194 0 0 0 72 3 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10558592 CPUtime=0.8 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 19275 0 0 0 78 2 0 0 16 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10558592 CPUtime=0.77 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 21022 0 0 0 75 2 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10558592 CPUtime=0.77 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 17577 0 0 0 76 1 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10558592 CPUtime=0.76 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 15700 0 0 0 75 1 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10558592 CPUtime=0.81 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 16285 0 0 0 80 1 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10558592 CPUtime=0.79 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 17790 0 0 0 77 2 0 0 15 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10558592 CPUtime=0.79 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 18547 0 0 0 77 2 0 0 16 0 19 0 956248227 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10558592 CPUtime=0.76 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 2357 0 0 0 74 2 0 0 15 0 19 0 956248228 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10558592 CPUtime=0.83 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 9327 0 0 0 82 1 0 0 16 0 19 0 956248230 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10558592 CPUtime=1.33 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 11390 0 0 0 132 1 0 0 16 0 19 0 956248230 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 956248230 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10811998208 988400 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.04
Current children cumulated vsize (KiB) 10558592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/214 25455
/proc/meminfo: memFree=24170212/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10558592 CPUtime=1789.3 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 1019922 0 1 0 178813 117 0 0 22 0 19 0 956248224 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2639648 999886 2263 9 0 2630382 0
[pid=25324/tid=25326] ppid=25322 vsize=10558592 CPUtime=1779.66 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 838335 0 1 0 177875 91 0 0 25 0 19 0 956248225 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505749562 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10558592 CPUtime=0.81 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 20979 0 0 0 78 3 0 0 16 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10558592 CPUtime=0.87 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 22006 0 0 0 84 3 0 0 16 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10558592 CPUtime=0.77 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 21022 0 0 0 75 2 0 0 15 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10558592 CPUtime=0.84 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 20915 0 0 0 82 2 0 0 16 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10558592 CPUtime=0.78 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 15988 0 0 0 77 1 0 0 15 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10558592 CPUtime=0.86 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 17706 0 0 0 85 1 0 0 16 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10558592 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 20024 0 0 0 82 3 0 0 15 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10558592 CPUtime=0.81 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 18612 0 0 0 79 2 0 0 15 0 19 0 956248227 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10558592 CPUtime=0.76 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 2361 0 0 0 74 2 0 0 15 0 19 0 956248228 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10558592 CPUtime=0.83 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 9327 0 0 0 82 1 0 0 16 0 19 0 956248230 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10558592 CPUtime=1.34 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 11391 0 0 0 133 1 0 0 15 0 19 0 956248230 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 956248230 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10811998208 999886 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 10558592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 2.00 2.00 2.06 3/214 25455
/proc/meminfo: memFree=24151968/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=10558592 CPUtime=1800.07 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 21841 0 -1 4202496 1024576 0 1 0 179889 118 0 0 22 0 19 0 956248224 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 2639648 1004455 2263 9 0 2630382 0
[pid=25324/tid=25326] ppid=25322 vsize=10558592 CPUtime=1789.54 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4202560 838336 0 1 0 178863 91 0 0 25 0 19 0 956248225 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 46912505534387 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=10558592 CPUtime=0.81 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 21841 0 -1 4202560 20979 0 0 0 78 3 0 0 15 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=10558592 CPUtime=0.89 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 21841 0 -1 4202560 22674 0 0 0 86 3 0 0 16 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=10558592 CPUtime=0.77 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 21841 0 -1 4202560 21022 0 0 0 75 2 0 0 15 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=10558592 CPUtime=0.84 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 21841 0 -1 4202560 20915 0 0 0 82 2 0 0 15 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=10558592 CPUtime=0.8 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 21841 0 -1 4202560 16918 0 0 0 79 1 0 0 16 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=10558592 CPUtime=0.87 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 21841 0 -1 4202560 18327 0 0 0 86 1 0 0 16 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=10558592 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 21841 0 -1 4202560 20024 0 0 0 82 3 0 0 15 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=10558592 CPUtime=0.83 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 21841 0 -1 4202560 19451 0 0 0 81 2 0 0 16 0 19 0 956248227 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=10558592 CPUtime=1.57 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 21841 0 -1 4202560 3954 0 0 0 155 2 0 0 15 0 19 0 956248228 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 0 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 21841 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 21841 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956248228 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 7 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 956248230 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032219569 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=10558592 CPUtime=0.83 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 21841 0 -1 4202560 9327 0 0 0 82 1 0 0 16 0 19 0 956248230 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=10558592 CPUtime=1.34 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 21841 0 -1 4202560 11391 0 0 0 133 1 0 0 15 0 19 0 956248230 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 21841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956248230 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032211865 0 4 0 16800975 18446604462828186624 0 0 -1 1 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 21841 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 956248230 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 3 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=10558592 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) S 25322 25324 21841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956248281 10811998208 1004455 33554432000 1073741824 1073778376 140733243687104 18446744073709551615 260032212480 0 4 0 16800975 18446604462828186624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10558592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.11 s]
/proc/loadavg: 2.00 2.00 2.06 3/214 25455
/proc/meminfo: memFree=24151968/32951124 swapFree=67056304/67111528
[pid=25324] ppid=25322 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/25324/stat : 25324 (java) Z 25322 25324 21841 0 -1 4203548 1024612 0 1 0 179892 125 0 0 17 0 2 0 956248224 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25324/statm: 0 0 0 0 0 0 0
[pid=25324/tid=25326] ppid=25322 vsize=0 CPUtime=1789.63 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) R 25322 25324 21841 0 -1 4203588 838336 0 1 0 178865 98 0 0 25 0 2 0 956248225 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.2
CPU time (s): 1800.26
CPU user time (s): 1798.93
CPU system time (s): 1.3328
CPU usage (%): 100.394
Max. virtual memory (cumulated for all children) (KiB): 10564164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.3328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024612
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= 43421
involuntary context switches= 24794
runsolver used 3.22751 second user time and 6.575 second system time
The end