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-3455760-1307228456/watcher-3455760-1307228456 -o /tmp/evaluation-result-3455760-1307228456/solver-3455760-1307228456 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455760-1307228456.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.00 2.00 2.00 2/535 24041
/proc/meminfo: memFree=17811880/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 6830 0 1 0 0 0 0 0 25 0 2 0 834442341 10694979584 6532 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2611079 6545 917 9 0 2602235 0
[pid=24041/tid=24042] ppid=24039 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 5807 0 1 0 0 0 0 0 25 0 2 0 834442342 10694979584 6623 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.102568 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 24041
/proc/meminfo: memFree=17811880/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10539632 CPUtime=0.1 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 13070 0 1 0 9 1 0 0 25 0 18 0 834442341 10792583168 12757 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2634908 12758 2092 9 0 2625642 0
[pid=24041/tid=24042] ppid=24039 vsize=10539632 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 11125 0 1 0 7 1 0 0 18 0 18 0 834442342 10792583168 12758 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505219208 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) 10539632
[startup+0.200525 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 24041
/proc/meminfo: memFree=17811880/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10540332 CPUtime=0.26 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 14194 0 1 0 25 1 0 0 25 0 18 0 834442341 10793299968 13832 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2635083 13832 2180 9 0 2625817 0
[pid=24041/tid=24042] ppid=24039 vsize=10540332 CPUtime=0.18 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 11805 0 1 0 17 1 0 0 18 0 18 0 834442342 10793299968 13832 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540332
[startup+0.300507 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 24041
/proc/meminfo: memFree=17811880/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10541820 CPUtime=0.51 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 16974 0 1 0 50 1 0 0 25 0 18 0 834442341 10794823680 16133 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2635455 16134 2201 9 0 2626189 0
[pid=24041/tid=24042] ppid=24039 vsize=10541820 CPUtime=0.28 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 13325 0 1 0 27 1 0 0 18 0 18 0 834442342 10794823680 16134 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541820
[startup+0.700425 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 24041
/proc/meminfo: memFree=17811880/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10552636 CPUtime=1.64 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 39444 0 1 0 160 4 0 0 25 0 19 0 834442341 10805899264 34968 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2638159 34971 2229 9 0 2628893 0
[pid=24041/tid=24042] ppid=24039 vsize=10552636 CPUtime=0.67 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 26099 0 1 0 65 2 0 0 19 0 19 0 834442342 10805899264 34973 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505757756 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10552636
[startup+1.50127 s]
/proc/loadavg: 2.16 2.03 2.01 3/554 24060
/proc/meminfo: memFree=17527524/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10552636 CPUtime=2.68 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 119189 0 1 0 256 12 0 0 25 0 19 0 834442341 10805899264 114712 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2638159 114717 2232 9 0 2628893 0
[pid=24041/tid=24042] ppid=24039 vsize=10552636 CPUtime=1.47 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 105713 0 1 0 137 10 0 0 20 0 19 0 834442342 10805899264 114720 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505757771 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114724 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114730 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114733 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114736 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114740 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114744 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10805899264 114747 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834442345 10805899264 114750 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442345 10805899264 114753 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834442345 10805899264 114756 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10805899264 114759 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10552636 CPUtime=0.61 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8508 0 0 0 61 0 0 0 19 0 19 0 834442347 10805899264 114762 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10552636 CPUtime=0.56 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 3816 0 0 0 56 0 0 0 15 0 19 0 834442347 10805899264 114766 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10805899264 114770 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834442347 10805899264 114773 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10552636 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10805899264 114775 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10552636
[startup+3.10095 s]
/proc/loadavg: 2.16 2.03 2.01 3/554 24060
/proc/meminfo: memFree=17099104/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10554336 CPUtime=4.49 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 285595 0 1 0 418 31 0 0 25 0 19 0 834442341 10807640064 281117 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2638584 281122 2233 9 0 2629318 0
[pid=24041/tid=24042] ppid=24039 vsize=10554336 CPUtime=3.07 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 271802 0 1 0 278 29 0 0 25 0 19 0 834442342 10807640064 281127 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505757756 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281130 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281134 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281138 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281141 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281146 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281148 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281154 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10807640064 281154 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834442345 10807640064 281161 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442345 10807640064 281162 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834442345 10807640064 281167 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10807640064 281170 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10554336 CPUtime=0.72 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8522 0 0 0 72 0 0 0 15 0 19 0 834442347 10807640064 281174 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10554336 CPUtime=0.66 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4121 0 0 0 66 0 0 0 15 0 19 0 834442347 10807640064 281178 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10807640064 281180 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834442347 10807640064 281186 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10554336 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10807640064 281187 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10554336
[startup+6.30127 s]
/proc/loadavg: 2.15 2.03 2.01 3/554 24069
/proc/meminfo: memFree=15615676/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10551224 CPUtime=7.69 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 628681 0 1 0 702 67 0 0 25 0 19 0 834442341 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2637806 622727 2234 9 0 2628540 0
[pid=24041/tid=24042] ppid=24039 vsize=10551224 CPUtime=6.25 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 614876 0 1 0 560 65 0 0 25 0 19 0 834442342 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505757771 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442344 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834442345 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442345 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834442345 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10551224 CPUtime=0.72 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8522 0 0 0 72 0 0 0 16 0 19 0 834442347 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10551224 CPUtime=0.69 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4122 0 0 0 69 0 0 0 15 0 19 0 834442347 10804453376 622727 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10551224 CPUtime=0.84 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8540 0 0 0 84 0 0 0 15 0 19 0 834442347 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10551224 CPUtime=0.76 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4139 0 0 0 76 0 0 0 16 0 19 0 834442347 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834442347 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10804453376 1051930 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1671.5
Current children cumulated vsize (KiB) 10551224
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 24166
/proc/meminfo: memFree=13542372/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10551224 CPUtime=1731.74 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 1067072 0 1 0 173038 136 0 0 25 0 19 0 834442341 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2637806 1056269 2263 9 0 2628540 0
[pid=24041/tid=24042] ppid=24039 vsize=10551224 CPUtime=1717.24 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 817645 0 1 0 171639 85 0 0 25 0 19 0 834442342 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505776280 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10551224 CPUtime=1.47 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 30591 0 0 0 141 6 0 0 15 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10551224 CPUtime=1.46 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 30001 0 0 0 141 5 0 0 15 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10551224 CPUtime=1.48 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 34319 0 0 0 141 7 0 0 16 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10551224 CPUtime=1.4 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 27105 0 0 0 133 7 0 0 15 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10551224 CPUtime=1.28 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 22874 0 0 0 125 3 0 0 15 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10551224 CPUtime=1.38 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 29415 0 0 0 132 6 0 0 16 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10551224 CPUtime=1.5 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 32546 0 0 0 145 5 0 0 16 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10551224 CPUtime=1.35 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 27547 0 0 0 130 5 0 0 15 0 19 0 834442344 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10551224 CPUtime=1.47 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 1101 0 0 0 145 2 0 0 15 0 19 0 834442345 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10551224 CPUtime=0.84 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8540 0 0 0 84 0 0 0 15 0 19 0 834442347 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10551224 CPUtime=0.76 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4139 0 0 0 76 0 0 0 16 0 19 0 834442347 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834442347 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10804453376 1056269 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1731.74
Current children cumulated vsize (KiB) 10551224
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/554 24168
/proc/meminfo: memFree=13520528/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10551224 CPUtime=1791.98 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 1072166 0 1 0 179061 137 0 0 25 0 19 0 834442341 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2637806 1061274 2263 9 0 2628540 0
[pid=24041/tid=24042] ppid=24039 vsize=10551224 CPUtime=1777.14 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 817648 0 1 0 177629 85 0 0 25 0 19 0 834442342 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505805145 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10551224 CPUtime=1.51 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 31487 0 0 0 145 6 0 0 15 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10551224 CPUtime=1.49 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 30423 0 0 0 144 5 0 0 16 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10551224 CPUtime=1.5 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 34914 0 0 0 143 7 0 0 15 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10551224 CPUtime=1.4 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 27105 0 0 0 133 7 0 0 15 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10551224 CPUtime=1.32 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 23300 0 0 0 129 3 0 0 16 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10551224 CPUtime=1.39 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 29520 0 0 0 133 6 0 0 15 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10551224 CPUtime=1.6 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 34203 0 0 0 154 6 0 0 16 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10551224 CPUtime=1.43 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 28529 0 0 0 138 5 0 0 16 0 19 0 834442344 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10551224 CPUtime=1.47 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 1105 0 0 0 145 2 0 0 15 0 19 0 834442345 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10551224 CPUtime=0.84 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8540 0 0 0 84 0 0 0 15 0 19 0 834442347 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10551224 CPUtime=0.76 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4139 0 0 0 76 0 0 0 16 0 19 0 834442347 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834442347 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10804453376 1061274 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 10551224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/554 24168
/proc/meminfo: memFree=13515444/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=10551224 CPUtime=1800.08 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24039 24041 22626 0 -1 4202496 1073571 0 1 0 179871 137 0 0 25 0 19 0 834442341 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 2637806 1062655 2263 9 0 2628540 0
[pid=24041/tid=24042] ppid=24039 vsize=10551224 CPUtime=1785.12 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4202560 817649 0 1 0 178427 85 0 0 25 0 19 0 834442342 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 46912505776495 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24041/tid=24044] ppid=24039 vsize=10551224 CPUtime=1.55 cores=0,2,4,6
/proc/24041/task/24044/stat : 24044 (java) S 24039 24041 22626 0 -1 4202560 32001 0 0 0 149 6 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24045] ppid=24039 vsize=10551224 CPUtime=1.52 cores=0,2,4,6
/proc/24041/task/24045/stat : 24045 (java) S 24039 24041 22626 0 -1 4202560 30859 0 0 0 147 5 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24046] ppid=24039 vsize=10551224 CPUtime=1.51 cores=0,2,4,6
/proc/24041/task/24046/stat : 24046 (java) S 24039 24041 22626 0 -1 4202560 34916 0 0 0 144 7 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 6 0 0 0
[pid=24041/tid=24047] ppid=24039 vsize=10551224 CPUtime=1.41 cores=0,2,4,6
/proc/24041/task/24047/stat : 24047 (java) S 24039 24041 22626 0 -1 4202560 27105 0 0 0 134 7 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24048] ppid=24039 vsize=10551224 CPUtime=1.33 cores=0,2,4,6
/proc/24041/task/24048/stat : 24048 (java) S 24039 24041 22626 0 -1 4202560 23300 0 0 0 130 3 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24049] ppid=24039 vsize=10551224 CPUtime=1.43 cores=0,2,4,6
/proc/24041/task/24049/stat : 24049 (java) S 24039 24041 22626 0 -1 4202560 29970 0 0 0 137 6 0 0 16 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24050] ppid=24039 vsize=10551224 CPUtime=1.6 cores=0,2,4,6
/proc/24041/task/24050/stat : 24050 (java) S 24039 24041 22626 0 -1 4202560 34203 0 0 0 154 6 0 0 15 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24051] ppid=24039 vsize=10551224 CPUtime=1.43 cores=0,2,4,6
/proc/24041/task/24051/stat : 24051 (java) S 24039 24041 22626 0 -1 4202560 28529 0 0 0 138 5 0 0 15 0 19 0 834442344 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24052] ppid=24039 vsize=10551224 CPUtime=1.47 cores=0,2,4,6
/proc/24041/task/24052/stat : 24052 (java) S 24039 24041 22626 0 -1 4202560 1107 0 0 0 145 2 0 0 15 0 19 0 834442345 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 0 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24053] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24053/stat : 24053 (java) S 24039 24041 22626 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24054] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24054/stat : 24054 (java) S 24039 24041 22626 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834442345 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24055] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24055/stat : 24055 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512515505 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24056] ppid=24039 vsize=10551224 CPUtime=0.84 cores=0,2,4,6
/proc/24041/task/24056/stat : 24056 (java) S 24039 24041 22626 0 -1 4202560 8540 0 0 0 84 0 0 0 15 0 19 0 834442347 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24057] ppid=24039 vsize=10551224 CPUtime=0.76 cores=0,2,4,6
/proc/24041/task/24057/stat : 24057 (java) S 24039 24041 22626 0 -1 4202560 4139 0 0 0 76 0 0 0 16 0 19 0 834442347 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
[pid=24041/tid=24058] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24058/stat : 24058 (java) S 24039 24041 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442347 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512507801 0 4 0 16800975 18446604451487545216 0 0 -1 4 0 0 0
[pid=24041/tid=24059] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24059/stat : 24059 (java) S 24039 24041 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834442347 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 0 0 0 0
[pid=24041/tid=24060] ppid=24039 vsize=10551224 CPUtime=0 cores=0,2,4,6
/proc/24041/task/24060/stat : 24060 (java) S 24039 24041 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442387 10804453376 1062655 33554432000 1073741824 1073778376 140735654524448 18446744073709551615 254512508416 0 4 0 16800975 18446604451487545216 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.43 s]
/proc/loadavg: 2.00 2.03 2.00 3/554 24168
/proc/meminfo: memFree=13515444/32950928 swapFree=34259960/67111528
[pid=24041] ppid=24039 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/24041/stat : 24041 (java) Z 24039 24041 22626 0 -1 4203548 1073604 0 1 0 179874 146 0 0 17 0 2 0 834442341 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24041/statm: 0 0 0 0 0 0 0
[pid=24041/tid=24042] ppid=24039 vsize=0 CPUtime=1785.23 cores=0,2,4,6
/proc/24041/task/24042/stat : 24042 (java) R 24039 24041 22626 0 -1 4203588 817649 0 1 0 178429 94 0 0 25 0 2 0 834442342 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) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.5
CPU time (s): 1800.29
CPU user time (s): 1798.75
CPU system time (s): 1.53777
CPU usage (%): 100.547
Max. virtual memory (cumulated for all children) (KiB): 10554336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1073604
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= 41065
involuntary context switches= 12508
runsolver used 10.0975 second user time and 20.8698 second system time
The end