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-3454652-1307192650/watcher-3454652-1307192650 -o /tmp/evaluation-result-3454652-1307192650/solver-3454652-1307192650 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454652-1307192650.opb
running on 4 cores: 0,2,4,6
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 3.28 3.62 2/500 23018
/proc/meminfo: memFree=21341004/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 3833 0 1 0 0 0 0 0 22 0 2 0 563456251 10694979584 3535 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2611079 3547 917 9 0 2602235 0
[pid=23018/tid=23019] ppid=23016 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) R 23016 23018 17058 0 -1 4202560 7188 0 1 0 0 0 0 0 24 0 2 0 563456252 10694979584 8004 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.113505 s]
/proc/loadavg: 2.11 3.28 3.62 2/500 23018
/proc/meminfo: memFree=21341004/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10540512 CPUtime=0.13 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 13348 0 1 0 11 2 0 0 22 0 18 0 563456251 10793484288 13045 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2635128 13045 2133 9 0 2625862 0
[pid=23018/tid=23019] ppid=23016 vsize=10540512 CPUtime=0.09 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) R 23016 23018 17058 0 -1 4202560 11346 0 1 0 8 1 0 0 18 0 18 0 563456252 10793484288 13045 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505191183 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540512
[startup+0.200442 s]
/proc/loadavg: 2.11 3.28 3.62 2/500 23018
/proc/meminfo: memFree=21341004/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10541112 CPUtime=0.29 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 14227 0 1 0 27 2 0 0 22 0 18 0 563456251 10794098688 13881 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2635278 13881 2186 9 0 2626012 0
[pid=23018/tid=23019] ppid=23016 vsize=10541112 CPUtime=0.19 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) R 23016 23018 17058 0 -1 4202560 11952 0 1 0 17 2 0 0 18 0 18 0 563456252 10794098688 13882 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541112
[startup+0.300443 s]
/proc/loadavg: 2.11 3.28 3.62 2/500 23018
/proc/meminfo: memFree=21341004/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10553608 CPUtime=0.58 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 22885 0 1 0 55 3 0 0 22 0 18 0 563456251 10806894592 20120 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2638402 20121 2202 9 0 2629136 0
[pid=23018/tid=23019] ppid=23016 vsize=10553608 CPUtime=0.28 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) R 23016 23018 17058 0 -1 4202560 13239 0 1 0 26 2 0 0 18 0 18 0 563456252 10806894592 20122 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505585783 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10553608
[startup+0.700415 s]
/proc/loadavg: 2.11 3.28 3.62 2/500 23018
/proc/meminfo: memFree=21341004/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10554492 CPUtime=1.43 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 49746 0 1 0 137 6 0 0 22 0 18 0 563456251 10807799808 44565 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2638623 44570 2213 9 0 2629357 0
[pid=23018/tid=23019] ppid=23016 vsize=10554492 CPUtime=0.69 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) R 23016 23018 17058 0 -1 4202560 37216 0 1 0 64 5 0 0 18 0 18 0 563456252 10807799808 44573 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505662162 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10554492
[startup+1.50128 s]
/proc/loadavg: 2.11 3.28 3.62 3/528 23052
/proc/meminfo: memFree=21002488/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10558604 CPUtime=3.22 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 93459 0 1 0 310 12 0 0 22 0 22 0 563456251 10812010496 87535 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2639651 87537 2235 9 0 2630385 0
[pid=23018/tid=23019] ppid=23016 vsize=10558604 CPUtime=0.91 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) S 23016 23018 17058 0 -1 4202560 61798 0 1 0 83 8 0 0 15 0 22 0 563456252 10812010496 87538 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23026] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23026/stat : 23026 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87539 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23027] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23027/stat : 23027 (java) S 23016 23018 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87540 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23028] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87542 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87543 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87544 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87545 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87546 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 87547 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23034] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23034/stat : 23034 (java) S 23016 23018 17058 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 563456254 10812010496 87548 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 0 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23035] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23035/stat : 23035 (java) S 23016 23018 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563456255 10812010496 87549 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23036] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23036/stat : 23036 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563456255 10812010496 87550 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23037] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23037/stat : 23037 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10812010496 87551 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672485809 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23038] ppid=23016 vsize=10558604 CPUtime=0.63 cores=0,2,4,6
/proc/23018/task/23038/stat : 23038 (java) S 23016 23018 17058 0 -1 4202560 7883 0 0 0 62 1 0 0 20 0 22 0 563456257 10812010496 87552 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23039] ppid=23016 vsize=10558604 CPUtime=0.56 cores=0,2,4,6
/proc/23018/task/23039/stat : 23039 (java) S 23016 23018 17058 0 -1 4202560 4317 0 0 0 56 0 0 0 20 0 22 0 563456257 10812010496 87553 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23040] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23040/stat : 23040 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10812010496 87554 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23041] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23041/stat : 23041 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563456257 10812010496 87555 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23049] ppid=23016 vsize=10558604 CPUtime=0.57 cores=0,2,4,6
/proc/23018/task/23049/stat : 23049 (java) R 23016 23018 17058 0 -1 4202560 554 0 0 0 57 0 0 0 19 0 22 0 563456344 10812010496 87556 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505984698 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23018/tid=23050] ppid=23016 vsize=10558604 CPUtime=0.51 cores=0,2,4,6
/proc/23018/task/23050/stat : 23050 (java) R 23016 23018 17058 0 -1 4202560 17764 0 0 0 50 1 0 0 25 0 22 0 563456344 10812010496 87557 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505874132 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23018/tid=23051] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23051/stat : 23051 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563456345 10812010496 87558 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23052] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23052/stat : 23052 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 563456348 10812010496 87559 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10558604
[startup+3.10099 s]
/proc/loadavg: 2.11 3.28 3.62 4/528 23058
/proc/meminfo: memFree=20777056/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10558604 CPUtime=6.72 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 166891 0 1 0 651 21 0 0 22 0 22 0 563456251 10812010496 160396 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2639651 160399 2240 9 0 2630385 0
[pid=23018/tid=23019] ppid=23016 vsize=10558604 CPUtime=0.91 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) S 23016 23018 17058 0 -1 4202560 61798 0 1 0 83 8 0 0 15 0 22 0 563456252 10812010496 160400 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23026] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23026/stat : 23026 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160401 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23027] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23027/stat : 23027 (java) S 23016 23018 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160403 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23028] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160404 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160406 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160407 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160409 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160410 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 160411 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23034] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23034/stat : 23034 (java) S 23016 23018 17058 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 563456254 10812010496 160412 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 0 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23035] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23035/stat : 23035 (java) S 23016 23018 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563456255 10812010496 160414 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23036] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23036/stat : 23036 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563456255 10812010496 160415 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23037] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23037/stat : 23037 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10812010496 160416 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672485809 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23038] ppid=23016 vsize=10558604 CPUtime=0.76 cores=0,2,4,6
/proc/23018/task/23038/stat : 23038 (java) S 23016 23018 17058 0 -1 4202560 8474 0 0 0 75 1 0 0 15 0 22 0 563456257 10812010496 160417 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23039] ppid=23016 vsize=10558604 CPUtime=0.73 cores=0,2,4,6
/proc/23018/task/23039/stat : 23039 (java) S 23016 23018 17058 0 -1 4202560 4345 0 0 0 73 0 0 0 15 0 22 0 563456257 10812010496 160418 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23040] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23040/stat : 23040 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10812010496 160419 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23041] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23041/stat : 23041 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563456257 10812010496 160420 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23049] ppid=23016 vsize=10558604 CPUtime=2.17 cores=0,2,4,6
/proc/23018/task/23049/stat : 23049 (java) R 23016 23018 17058 0 -1 4202560 612 0 0 0 217 0 0 0 24 0 22 0 563456344 10812010496 160421 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505934238 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23018/tid=23050] ppid=23016 vsize=10558604 CPUtime=2.11 cores=0,2,4,6
/proc/23018/task/23050/stat : 23050 (java) R 23016 23018 17058 0 -1 4202560 90522 0 0 0 200 11 0 0 25 0 22 0 563456344 10812010496 160422 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505585783 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23018/tid=23051] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23051/stat : 23051 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563456345 10812010496 160424 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23052] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23052/stat : 23052 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 563456348 10812010496 160425 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 10558604
[startup+6.30144 s]
/proc/loadavg: 2.26 3.29 3.62 5/531 23107
/proc/meminfo: memFree=19597756/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10558604 CPUtime=13.37 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 327732 0 1 0 1295 42 0 0 22 0 22 0 563456251 10812010496 318308 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2639651 318310 2241 9 0 2630385 0
[pid=23018/tid=23019] ppid=23016 vsize=10558604 CPUtime=0.91 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) S 23016 23018 17058 0 -1 4202560 61798 0 1 0 83 8 0 0 15 0 22 0 563456252 10812010496 318312 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23026] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23026/stat : 23026 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318313 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23027] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23027/stat : 23027 (java) S 23016 23018 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318315 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23028] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318316 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318318 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318319 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318321 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318322 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10558604 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456253 10812010496 318324 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 700 0 0 0 45 0 0 0 16 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10562156 CPUtime=0.47 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1421 0 0 0 47 0 0 0 15 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 0 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10562156 CPUtime=0.42 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1702 0 0 0 42 0 0 0 16 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 0 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10562156 CPUtime=0.5 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 2691 0 0 0 50 0 0 0 16 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10562156 CPUtime=0.44 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 3317 0 0 0 44 0 0 0 15 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10562156 CPUtime=0.47 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 3302 0 0 0 47 0 0 0 15 0 22 0 563456253 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23034] ppid=23016 vsize=10562156 CPUtime=13.41 cores=0,2,4,6
/proc/23018/task/23034/stat : 23034 (java) S 23016 23018 17058 0 -1 4202560 34681 0 0 0 1337 4 0 0 15 0 22 0 563456254 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 0 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23035] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23035/stat : 23035 (java) S 23016 23018 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563456255 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23036] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23036/stat : 23036 (java) S 23016 23018 17058 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 563456255 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23037] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23037/stat : 23037 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672485809 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23038] ppid=23016 vsize=10562156 CPUtime=1.99 cores=0,2,4,6
/proc/23018/task/23038/stat : 23038 (java) S 23016 23018 17058 0 -1 4202560 21937 0 0 0 196 3 0 0 15 0 22 0 563456257 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23039] ppid=23016 vsize=10562156 CPUtime=1.31 cores=0,2,4,6
/proc/23018/task/23039/stat : 23039 (java) S 23016 23018 17058 0 -1 4202560 6667 0 0 0 131 0 0 0 15 0 22 0 563456257 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23040] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23040/stat : 23040 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23041] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23041/stat : 23041 (java) S 23016 23018 17058 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 563456257 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23051] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23051/stat : 23051 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563456345 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23138] ppid=23016 vsize=10562156 CPUtime=569.36 cores=0,2,4,6
/proc/23018/task/23138/stat : 23138 (java) R 23016 23018 17058 0 -1 4202560 35 0 0 0 56936 0 0 0 25 0 22 0 563480468 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505858353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23018/tid=23139] ppid=23016 vsize=10562156 CPUtime=569.36 cores=0,2,4,6
/proc/23018/task/23139/stat : 23139 (java) R 23016 23018 17058 0 -1 4202560 211 0 0 0 56936 0 0 0 25 0 22 0 563480468 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505899024 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23018/tid=23140] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23140/stat : 23140 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563480469 10815647744 906218 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1633.48
Current children cumulated vsize (KiB) 10562156
[startup+882.319 s]
/proc/loadavg: 4.12 3.98 3.84 5/531 23160
/proc/meminfo: memFree=14107280/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10562156 CPUtime=1752.11 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 927953 0 1 0 175096 115 0 0 22 0 22 0 563456251 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2640539 907661 2267 9 0 2631273 0
[pid=23018/tid=23019] ppid=23016 vsize=10562156 CPUtime=0.92 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) S 23016 23018 17058 0 -1 4202560 61826 0 1 0 84 8 0 0 15 0 22 0 563456252 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23026] ppid=23016 vsize=10562156 CPUtime=0.44 cores=0,2,4,6
/proc/23018/task/23026/stat : 23026 (java) S 23016 23018 17058 0 -1 4202560 1326 0 0 0 44 0 0 0 16 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23027] ppid=23016 vsize=10562156 CPUtime=0.48 cores=0,2,4,6
/proc/23018/task/23027/stat : 23027 (java) S 23016 23018 17058 0 -1 4202560 1122 0 0 0 48 0 0 0 16 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23028] ppid=23016 vsize=10562156 CPUtime=0.49 cores=0,2,4,6
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 701 0 0 0 49 0 0 0 15 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10562156 CPUtime=0.51 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1421 0 0 0 51 0 0 0 15 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10562156 CPUtime=0.47 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1855 0 0 0 47 0 0 0 16 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10562156 CPUtime=0.57 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 2763 0 0 0 57 0 0 0 16 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10562156 CPUtime=0.48 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 3342 0 0 0 48 0 0 0 15 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 0 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10562156 CPUtime=0.53 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 3530 0 0 0 53 0 0 0 16 0 22 0 563456253 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23034] ppid=23016 vsize=10562156 CPUtime=15 cores=0,2,4,6
/proc/23018/task/23034/stat : 23034 (java) S 23016 23018 17058 0 -1 4202560 35276 0 0 0 1496 4 0 0 15 0 22 0 563456254 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 0 0 16800975 18446604447642169792 0 0 -1 0 0 0 0
[pid=23018/tid=23035] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23035/stat : 23035 (java) S 23016 23018 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563456255 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23036] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23036/stat : 23036 (java) S 23016 23018 17058 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 563456255 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23037] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23037/stat : 23037 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672485809 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23038] ppid=23016 vsize=10562156 CPUtime=1.99 cores=0,2,4,6
/proc/23018/task/23038/stat : 23038 (java) S 23016 23018 17058 0 -1 4202560 21937 0 0 0 196 3 0 0 15 0 22 0 563456257 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23039] ppid=23016 vsize=10562156 CPUtime=1.31 cores=0,2,4,6
/proc/23018/task/23039/stat : 23039 (java) S 23016 23018 17058 0 -1 4202560 6667 0 0 0 131 0 0 0 15 0 22 0 563456257 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23040] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23040/stat : 23040 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23041] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23041/stat : 23041 (java) S 23016 23018 17058 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 563456257 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23051] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23051/stat : 23051 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563456345 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23138] ppid=23016 vsize=10562156 CPUtime=627.66 cores=0,2,4,6
/proc/23018/task/23138/stat : 23138 (java) R 23016 23018 17058 0 -1 4202560 41 0 0 0 62766 0 0 0 25 0 22 0 563480468 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505934323 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23018/tid=23139] ppid=23016 vsize=10562156 CPUtime=627.67 cores=0,2,4,6
/proc/23018/task/23139/stat : 23139 (java) R 23016 23018 17058 0 -1 4202560 214 0 0 0 62766 1 0 0 25 0 22 0 563480468 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505971685 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23018/tid=23140] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23140/stat : 23140 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563480469 10815647744 907661 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1752.11
Current children cumulated vsize (KiB) 10562156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.401 s]
/proc/loadavg: 4.08 3.98 3.84 6/531 23161
/proc/meminfo: memFree=14107268/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=10562156 CPUtime=1800.08 cores=0,2,4,6
/proc/23018/stat : 23018 (java) S 23016 23018 17058 0 -1 4202496 927967 0 1 0 179893 115 0 0 22 0 22 0 563456251 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 2640539 907673 2267 9 0 2631273 0
[pid=23018/tid=23019] ppid=23016 vsize=10562156 CPUtime=0.92 cores=0,2,4,6
/proc/23018/task/23019/stat : 23019 (java) S 23016 23018 17058 0 -1 4202560 61826 0 1 0 84 8 0 0 15 0 22 0 563456252 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23026] ppid=23016 vsize=10562156 CPUtime=0.46 cores=0,2,4,6
/proc/23018/task/23026/stat : 23026 (java) S 23016 23018 17058 0 -1 4202560 1333 0 0 0 46 0 0 0 16 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23027] ppid=23016 vsize=10562156 CPUtime=0.48 cores=0,2,4,6
/proc/23018/task/23027/stat : 23027 (java) S 23016 23018 17058 0 -1 4202560 1122 0 0 0 48 0 0 0 15 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23028] ppid=23016 vsize=10562156 CPUtime=0.49 cores=0,2,4,6
/proc/23018/task/23028/stat : 23028 (java) S 23016 23018 17058 0 -1 4202560 701 0 0 0 49 0 0 0 15 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23029] ppid=23016 vsize=10562156 CPUtime=0.52 cores=0,2,4,6
/proc/23018/task/23029/stat : 23029 (java) S 23016 23018 17058 0 -1 4202560 1421 0 0 0 52 0 0 0 15 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23030] ppid=23016 vsize=10562156 CPUtime=0.49 cores=0,2,4,6
/proc/23018/task/23030/stat : 23030 (java) S 23016 23018 17058 0 -1 4202560 1859 0 0 0 49 0 0 0 16 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23031] ppid=23016 vsize=10562156 CPUtime=0.58 cores=0,2,4,6
/proc/23018/task/23031/stat : 23031 (java) S 23016 23018 17058 0 -1 4202560 2764 0 0 0 58 0 0 0 16 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23032] ppid=23016 vsize=10562156 CPUtime=0.52 cores=0,2,4,6
/proc/23018/task/23032/stat : 23032 (java) S 23016 23018 17058 0 -1 4202560 3342 0 0 0 52 0 0 0 16 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
[pid=23018/tid=23033] ppid=23016 vsize=10562156 CPUtime=0.54 cores=0,2,4,6
/proc/23018/task/23033/stat : 23033 (java) S 23016 23018 17058 0 -1 4202560 3530 0 0 0 54 0 0 0 15 0 22 0 563456253 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23034] ppid=23016 vsize=10562156 CPUtime=15.3 cores=0,2,4,6
/proc/23018/task/23034/stat : 23034 (java) S 23016 23018 17058 0 -1 4202560 35276 0 0 0 1526 4 0 0 15 0 22 0 563456254 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 0 0 16800975 18446604447642169792 0 0 -1 0 0 0 0
[pid=23018/tid=23035] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23035/stat : 23035 (java) S 23016 23018 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563456255 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23036] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23036/stat : 23036 (java) S 23016 23018 17058 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 563456255 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23037] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23037/stat : 23037 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672485809 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23038] ppid=23016 vsize=10562156 CPUtime=1.99 cores=0,2,4,6
/proc/23018/task/23038/stat : 23038 (java) S 23016 23018 17058 0 -1 4202560 21937 0 0 0 196 3 0 0 15 0 22 0 563456257 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 4 0 0 0
[pid=23018/tid=23039] ppid=23016 vsize=10562156 CPUtime=1.31 cores=0,2,4,6
/proc/23018/task/23039/stat : 23039 (java) S 23016 23018 17058 0 -1 4202560 6667 0 0 0 131 0 0 0 15 0 22 0 563456257 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23040] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23040/stat : 23040 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563456257 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478105 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23041] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23041/stat : 23041 (java) S 23016 23018 17058 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 563456257 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23051] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23051/stat : 23051 (java) S 23016 23018 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 563456345 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 2 0 0 0
[pid=23018/tid=23138] ppid=23016 vsize=10562156 CPUtime=651.46 cores=0,2,4,6
/proc/23018/task/23138/stat : 23138 (java) R 23016 23018 17058 0 -1 4202560 43 0 0 0 65146 0 0 0 25 0 22 0 563480468 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505864431 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23018/tid=23139] ppid=23016 vsize=10562156 CPUtime=651.46 cores=0,2,4,6
/proc/23018/task/23139/stat : 23139 (java) R 23016 23018 17058 0 -1 4202560 214 0 0 0 65145 1 0 0 25 0 22 0 563480468 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 46912505898913 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23018/tid=23140] ppid=23016 vsize=10562156 CPUtime=0 cores=0,2,4,6
/proc/23018/task/23140/stat : 23140 (java) S 23016 23018 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563480469 10815647744 907673 33554432000 1073741824 1073778376 140735031682368 18446744073709551615 268672478720 0 4 0 16800975 18446604447642169792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10562156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+906.543 s]
/proc/loadavg: 4.08 3.98 3.84 6/531 23161
/proc/meminfo: memFree=14107268/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/23018/stat : 23018 (java) Z 23016 23018 17058 0 -1 4203548 928001 0 1 0 179904 121 0 0 17 0 2 0 563456251 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 0 0 0 0 0 0 0
[pid=23018/tid=23139] ppid=23016 vsize=0 CPUtime=651.54 cores=0,2,4,6
/proc/23018/task/23139/stat : 23139 (java) R 23016 23018 17058 0 -1 4203588 214 0 0 0 65147 7 0 0 25 0 2 0 563480468 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+906.601 s]
/proc/loadavg: 4.08 3.98 3.84 6/531 23161
/proc/meminfo: memFree=14107268/32951124 swapFree=46575304/67111528
[pid=23018] ppid=23016 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/23018/stat : 23018 (java) Z 23016 23018 17058 0 -1 4203548 928001 0 1 0 179904 127 0 0 17 0 2 0 563456251 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23018/statm: 0 0 0 0 0 0 0
[pid=23018/tid=23139] ppid=23016 vsize=0 CPUtime=651.6 cores=0,2,4,6
/proc/23018/task/23139/stat : 23139 (java) R 23016 23018 17058 0 -1 4203588 214 0 0 0 65147 13 0 0 25 0 2 0 563480468 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 906.618
CPU time (s): 1800.33
CPU user time (s): 1799.04
CPU system time (s): 1.2898
CPU usage (%): 198.577
Max. virtual memory (cumulated for all children) (KiB): 10565264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.2898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928001
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= 23719
involuntary context switches= 12325
runsolver used 4.95425 second user time and 9.93149 second system time
The end