runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312351-1304111642/watcher-3312351-1304111642 -o /tmp/evaluation-result-3312351-1304111642/solver-3312351-1304111642 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312351-1304111642.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.47 7.77 7.81 4/194 26953
/proc/meminfo: memFree=27394388/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=30572 CPUtime=0 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 1437 0 0 0 0 0 0 0 25 0 2 0 522762200 31305728 906 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 7645 912 697 9 0 383 0
[pid=26953/tid=26954] ppid=26951 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 2 0 522762201 31313920 925 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228117751552 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.103885 s]
/proc/loadavg: 6.47 7.77 7.81 4/194 26953
/proc/meminfo: memFree=27394388/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15676188 CPUtime=0.1 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 5676 0 1 0 10 0 0 0 25 0 18 0 522762200 16052416512 5101 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3919047 5101 2119 9 0 3909766 0
[pid=26953/tid=26954] ppid=26951 vsize=15676188 CPUtime=0.08 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 3527 0 1 0 8 0 0 0 18 0 18 0 522762201 16052416512 5101 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874741602323 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676188
[startup+0.200818 s]
/proc/loadavg: 6.47 7.77 7.81 4/194 26953
/proc/meminfo: memFree=27394388/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15677444 CPUtime=0.29 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 7234 0 1 0 28 1 0 0 25 0 18 0 522762200 16053702656 6570 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3919361 6571 2188 9 0 3910080 0
[pid=26953/tid=26954] ppid=26951 vsize=15677444 CPUtime=0.18 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 4595 0 1 0 17 1 0 0 18 0 18 0 522762201 16053702656 6571 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 46912505512070 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15677444
[startup+0.300888 s]
/proc/loadavg: 6.47 7.77 7.81 4/194 26953
/proc/meminfo: memFree=27394388/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15679976 CPUtime=0.52 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 15891 0 1 0 51 1 0 0 25 0 18 0 522762200 16056295424 14317 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3919994 14324 2207 9 0 3910713 0
[pid=26953/tid=26954] ppid=26951 vsize=15679976 CPUtime=0.28 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 10796 0 1 0 27 1 0 0 18 0 18 0 522762201 16056295424 14327 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 46912505641491 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679976
[startup+0.700794 s]
/proc/loadavg: 6.47 7.77 7.81 4/194 26953
/proc/meminfo: memFree=27394388/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15679976 CPUtime=0.93 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 41831 0 1 0 89 4 0 0 25 0 18 0 522762200 16056295424 40255 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3919994 40255 2223 9 0 3910713 0
[pid=26953/tid=26954] ppid=26951 vsize=15679976 CPUtime=0.68 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 35510 0 1 0 64 4 0 0 18 0 18 0 522762201 16056295424 40255 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15679976
[startup+1.50159 s]
/proc/loadavg: 6.47 7.77 7.81 10/220 26979
/proc/meminfo: memFree=27074912/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15704316 CPUtime=2.09 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 54734 0 1 0 204 5 0 0 25 0 22 0 522762200 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3926079 51151 2261 9 0 3916798 0
[pid=26953/tid=26954] ppid=26951 vsize=15704316 CPUtime=1.45 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 35613 0 1 0 141 4 0 0 21 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874743363531 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26898 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26898 0 -1 4202560 630 0 0 0 0 0 0 0 15 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26898 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26898 0 -1 4202560 952 0 0 0 0 0 0 0 16 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15704316 CPUtime=0.01 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 2652 0 0 0 1 0 0 0 16 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 695 0 0 0 0 0 0 0 16 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15704316 CPUtime=0.01 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26898 0 -1 4202560 1838 0 0 0 1 0 0 0 16 0 22 0 522762201 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26898 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522762202 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 0 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522762203 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522762203 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134537649 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=15704316 CPUtime=0.2 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26898 0 -1 4202560 2373 0 0 0 20 0 0 0 16 0 22 0 522762205 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=15704316 CPUtime=0.36 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) R 26951 26953 26898 0 -1 4202560 8090 0 0 0 36 0 0 0 16 0 22 0 522762205 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874738547016 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522762205 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26976] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26976/stat : 26976 (java) S 26951 26953 26898 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 522762306 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26977] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26977/stat : 26977 (java) S 26951 26953 26898 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 22 0 522762306 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26978] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26978/stat : 26978 (java) S 26951 26953 26898 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 522762306 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26979] ppid=26951 vsize=15704316 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26979/stat : 26979 (java) S 26951 26953 26898 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 522762306 16081219584 51151 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 15704316
[startup+3.1013 s]
/proc/loadavg: 6.47 7.77 7.81 8/220 26979
/proc/meminfo: memFree=26913464/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15718484 CPUtime=5.06 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 63724 0 1 0 499 7 0 0 25 0 22 0 522762200 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3929621 55275 2267 9 0 3920340 0
[pid=26953/tid=26954] ppid=26951 vsize=15718484 CPUtime=3.05 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) R 26951 26953 26898 0 -1 4202560 35656 0 1 0 301 4 0 0 25 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 46912506232260 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26898 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26898 0 -1 4202560 630 0 0 0 0 0 0 0 15 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26898 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26898 0 -1 4202560 952 0 0 0 0 0 0 0 16 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 2652 0 0 0 1 0 0 0 16 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 695 0 0 0 0 0 0 0 16 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26898 0 -1 4202560 1838 0 0 0 1 0 0 0 16 0 22 0 522762201 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26898 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522762202 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 0 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522762203 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522762203 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134537649 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=15718484 CPUtime=0.48 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) R 26951 26953 26898 0 -1 4202560 2487 0 0 0 48 0 0 0 16 0 22 0 522762205 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874738614369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=15718484 CPUtime=1.43 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26898 0 -1 4202560 16922 0 0 0 142 1 0 0 16 0 22 0 522762205 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522762205 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26976] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26976/stat : 26976 (java) S 26951 26953 26898 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 522762306 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26977] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26977/stat : 26977 (java) S 26951 26953 26898 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 522762306 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26978] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26978/stat : 26978 (java) S 26951 26953 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522762306 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26979] ppid=26951 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26979/stat : 26979 (java) S 26951 26953 26898 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522762306 16095727616 55275 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 15718484
[startup+6.3007 s]
/proc/loadavg: 6.43 7.74 7.80 9/220 26979
/proc/meminfo: memFree=25799944/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15712048 CPUtime=14.96 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 252213 0 1 0 1459 37 0 0 25 0 22 0 522762200 16089137152 241549 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3928012 241574 2275 9 0 3918731 0
[pid=26953/tid=26954] ppid=26951 vsize=15712048 CPUtime=3.07 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) S 26951 26953 26898 0 -1 4202560 35667 0 1 0 303 4 0 0 25 0 22 0 522762201 16089137152 241587 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) R 26951 26953 26898 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522762201 16089137152 241604 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=15712048 CPUtime=0.1 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26898 0 -1 4202560 14051 0 0 0 9 1 0 0 16 0 22 0 522762201 16089137152 241622 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=15712048 CPUtime=0.1 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) R 26951 26953 26898 0 -1 4202560 20944 0 0 0 7 3 0 0 16 0 22 0 522762201 16089137152 241639 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874742832438 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=15712048 CPUtime=0.17 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) R 26951 26953 26898 0 -1 4202560 26330 0 0 0 12 5 0 0 15 0 22 0 522762201 16089137152 241653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874738407155 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=15712048 CPUtime=0.08 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) R 26951 26953 26898 0 -1 4202560 13265 0 0 0 6 2 0 0 15 0 22 0 522762201 16089137152 241669 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874738407089 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15712048 CPUtime=0.06 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 8933 0 0 0 5 1 0 0 16 0 22 0 522762201 16089137152 241686 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15712048 CPUtime=0.12 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 21723 0 0 0 9 3 0 0 16 0 22 0 522762201 16089137152 241702 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15712048 CPUtime=0.22 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) R 26951 26953 26898 0 -1 4202560 33527 0 0 0 18 4 0 0 15 0 22 0 522762201 16089137152 241719 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874738407097 0 4 0 16800975 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26898 0 -1 4202560 375033 0 0 0 313 64 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15712048 CPUtime=3.76 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 437540 0 0 0 304 72 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15712048 CPUtime=3.84 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 441251 0 0 0 309 75 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15712048 CPUtime=4.13 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26898 0 -1 4202560 390750 0 0 0 344 69 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=15712048 CPUtime=836 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) R 26951 26953 26898 0 -1 4202560 541370 0 0 0 83497 103 0 0 18 0 22 0 522762202 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874742062301 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26898 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134537649 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=15712048 CPUtime=0.86 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26898 0 -1 4202560 2779 0 0 0 86 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=15712048 CPUtime=1.7 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26898 0 -1 4202560 16978 0 0 0 169 1 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26976] ppid=26951 vsize=15712048 CPUtime=335.31 cores=0,2,4,6
/proc/26953/task/26976/stat : 26976 (java) S 26951 26953 26898 0 -1 4202560 60921 0 0 0 33517 14 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26977] ppid=26951 vsize=15712048 CPUtime=333.08 cores=0,2,4,6
/proc/26953/task/26977/stat : 26977 (java) S 26951 26953 26898 0 -1 4202560 59457 0 0 0 33297 11 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26978] ppid=26951 vsize=15712048 CPUtime=334.64 cores=0,2,4,6
/proc/26953/task/26978/stat : 26978 (java) S 26951 26953 26898 0 -1 4202560 64820 0 0 0 33450 14 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26979] ppid=26951 vsize=15712048 CPUtime=335.1 cores=0,2,4,6
/proc/26953/task/26979/stat : 26979 (java) S 26951 26953 26898 0 -1 4202560 63723 0 0 0 33498 12 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2208.22
Current children cumulated vsize (KiB) 15712048
[startup+1242.31 s]
/proc/loadavg: 4.83 5.11 6.10 6/220 27063
/proc/meminfo: memFree=7324508/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15712048 CPUtime=2269.21 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 3918581 0 1 0 226214 707 0 0 25 0 22 0 522762200 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3928012 3860653 2294 9 0 3918731 0
[pid=26953/tid=26954] ppid=26951 vsize=15712048 CPUtime=3.07 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) S 26951 26953 26898 0 -1 4202560 35667 0 1 0 303 4 0 0 25 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=15712048 CPUtime=3 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26898 0 -1 4202560 322073 0 0 0 242 58 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=15712048 CPUtime=3.17 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26898 0 -1 4202560 373961 0 0 0 254 63 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=15712048 CPUtime=3.61 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26898 0 -1 4202560 427501 0 0 0 282 79 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=15712048 CPUtime=2.99 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26898 0 -1 4202560 302895 0 0 0 248 51 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=15712048 CPUtime=3.77 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26898 0 -1 4202560 375033 0 0 0 313 64 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15712048 CPUtime=3.76 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 437540 0 0 0 304 72 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15712048 CPUtime=3.84 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 441251 0 0 0 309 75 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15712048 CPUtime=4.13 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26898 0 -1 4202560 390750 0 0 0 344 69 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=15712048 CPUtime=895.64 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) R 26951 26953 26898 0 -1 4202560 541373 0 0 0 89457 107 0 0 18 0 22 0 522762202 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874740072828 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26898 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134537649 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=15712048 CPUtime=0.86 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26898 0 -1 4202560 2779 0 0 0 86 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=15712048 CPUtime=1.7 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26898 0 -1 4202560 16978 0 0 0 169 1 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26976] ppid=26951 vsize=15712048 CPUtime=335.66 cores=0,2,4,6
/proc/26953/task/26976/stat : 26976 (java) S 26951 26953 26898 0 -1 4202560 60967 0 0 0 33551 15 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26977] ppid=26951 vsize=15712048 CPUtime=333.4 cores=0,2,4,6
/proc/26953/task/26977/stat : 26977 (java) S 26951 26953 26898 0 -1 4202560 59490 0 0 0 33329 11 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26978] ppid=26951 vsize=15712048 CPUtime=334.98 cores=0,2,4,6
/proc/26953/task/26978/stat : 26978 (java) S 26951 26953 26898 0 -1 4202560 65059 0 0 0 33483 15 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26979] ppid=26951 vsize=15712048 CPUtime=335.42 cores=0,2,4,6
/proc/26953/task/26979/stat : 26979 (java) S 26951 26953 26898 0 -1 4202560 63807 0 0 0 33530 12 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2269.21
Current children cumulated vsize (KiB) 15712048
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.90 5.07 6.03 6/220 27065
/proc/meminfo: memFree=3186020/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=15712048 CPUtime=2326.96 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26898 0 -1 4202496 3918986 0 1 0 231983 713 0 0 25 0 22 0 522762200 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26953/statm: 3928012 3860653 2294 9 0 3918731 0
[pid=26953/tid=26954] ppid=26951 vsize=15712048 CPUtime=3.07 cores=0,2,4,6
/proc/26953/task/26954/stat : 26954 (java) S 26951 26953 26898 0 -1 4202560 35667 0 1 0 303 4 0 0 25 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=15712048 CPUtime=3 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26898 0 -1 4202560 322073 0 0 0 242 58 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=15712048 CPUtime=3.17 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26898 0 -1 4202560 373961 0 0 0 254 63 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=15712048 CPUtime=3.61 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26898 0 -1 4202560 427501 0 0 0 282 79 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=15712048 CPUtime=2.99 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26898 0 -1 4202560 302895 0 0 0 248 51 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=15712048 CPUtime=3.77 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26898 0 -1 4202560 375033 0 0 0 313 64 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=15712048 CPUtime=3.76 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26898 0 -1 4202560 437540 0 0 0 304 72 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=15712048 CPUtime=3.84 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26898 0 -1 4202560 441251 0 0 0 309 75 0 0 16 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=15712048 CPUtime=4.13 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26898 0 -1 4202560 390750 0 0 0 344 69 0 0 15 0 22 0 522762201 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=15712048 CPUtime=953.29 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) R 26951 26953 26898 0 -1 4202560 541378 0 0 0 95218 111 0 0 18 0 22 0 522762202 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 47874742444104 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26898 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522762203 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134537649 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=15712048 CPUtime=0.86 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26898 0 -1 4202560 2779 0 0 0 86 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 6 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=15712048 CPUtime=1.7 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26898 0 -1 4202560 16978 0 0 0 169 1 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=15712048 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26898 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522762205 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134530560 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26976] ppid=26951 vsize=15712048 CPUtime=335.69 cores=0,2,4,6
/proc/26953/task/26976/stat : 26976 (java) S 26951 26953 26898 0 -1 4202560 61078 0 0 0 33553 16 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
[pid=26953/tid=26977] ppid=26951 vsize=15712048 CPUtime=333.43 cores=0,2,4,6
/proc/26953/task/26977/stat : 26977 (java) S 26951 26953 26898 0 -1 4202560 59490 0 0 0 33332 11 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 2 0 0 0
[pid=26953/tid=26978] ppid=26951 vsize=15712048 CPUtime=335.02 cores=0,2,4,6
/proc/26953/task/26978/stat : 26978 (java) S 26951 26953 26898 0 -1 4202560 65059 0 0 0 33487 15 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 0 0 0 0
[pid=26953/tid=26979] ppid=26951 vsize=15712048 CPUtime=335.45 cores=0,2,4,6
/proc/26953/task/26979/stat : 26979 (java) S 26951 26953 26898 0 -1 4202560 64093 0 0 0 33531 14 0 0 15 0 22 0 522762306 16089137152 3860653 33554432000 1073741824 1073778376 140735425454336 18446744073709551615 228134529945 0 4 0 16800975 18446604453915550912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2326.96
Current children cumulated vsize (KiB) 15712048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26953
[startup+1302.3 s]
/proc/loadavg: 4.90 5.07 6.03 6/221 27066
/proc/meminfo: memFree=3186012/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=0 CPUtime=2329.26 cores=0,2,4,6
/proc/26953/stat : 26953 (java) Z 26951 26953 26898 0 -1 4203548 3919006 0 1 0 232184 742 0 0 18 0 2 0 522762200 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 0 0 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) R 26951 26953 26898 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 522762205 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2329.26
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.6 s]
/proc/loadavg: 4.90 5.07 6.03 6/221 27066
/proc/meminfo: memFree=3186012/32951124 swapFree=67111524/67111528
[pid=26953] ppid=26951 vsize=0 CPUtime=2329.56 cores=0,2,4,6
/proc/26953/stat : 26953 (java) Z 26951 26953 26898 0 -1 4203548 3919006 0 1 0 232184 772 0 0 18 0 2 0 522762200 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26953/statm: 0 0 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) R 26951 26953 26898 0 -1 4203588 1 0 0 0 0 58 0 0 18 0 2 0 522762205 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2329.56
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.66
CPU time (s): 2329.63
CPU user time (s): 2321.85
CPU system time (s): 7.78282
CPU usage (%): 178.836
Max. virtual memory (cumulated for all children) (KiB): 15718484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2321.85
system time used= 7.78282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3919006
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= 66381
involuntary context switches= 30189
runsolver used 2.04669 second user time and 5.10522 second system time
The end