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-3456830-1307221251/watcher-3456830-1307221251 -o /tmp/evaluation-result-3456830-1307221251/solver-3456830-1307221251 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456830-1307221251.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: 1.95 2.02 2.00 2/479 29828
/proc/meminfo: memFree=24734292/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 5518 0 1 0 0 0 0 0 25 0 2 0 833723128 10694979584 5220 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2611079 5233 917 9 0 2602235 0
[pid=29828/tid=29829] ppid=29826 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 4465 0 1 0 0 0 0 0 18 0 2 0 833723128 10694979584 5281 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.087138 s]
/proc/loadavg: 1.95 2.02 2.00 2/479 29828
/proc/meminfo: memFree=24734292/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10538784 CPUtime=0.07 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 12290 0 1 0 6 1 0 0 25 0 18 0 833723128 10791714816 11986 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2634854 12647 2092 9 0 2625588 0
[pid=29828/tid=29829] ppid=29826 vsize=10539416 CPUtime=0.08 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 11207 0 1 0 7 1 0 0 18 0 18 0 833723128 10792361984 12647 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538784
[startup+0.11994 s]
/proc/loadavg: 1.95 2.02 2.00 2/479 29828
/proc/meminfo: memFree=24734292/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10539844 CPUtime=0.12 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 13237 0 1 0 11 1 0 0 25 0 18 0 833723128 10792800256 12903 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2634961 12903 2133 9 0 2625695 0
[pid=29828/tid=29829] ppid=29826 vsize=10539844 CPUtime=0.1 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 11371 0 1 0 9 1 0 0 18 0 18 0 833723128 10792800256 12903 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 47372172386656 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539844
[startup+0.3009 s]
/proc/loadavg: 1.95 2.02 2.00 2/479 29828
/proc/meminfo: memFree=24734292/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10554500 CPUtime=0.56 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 21336 0 1 0 53 3 0 0 25 0 18 0 833723128 10807808000 19330 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638625 19331 2201 9 0 2629359 0
[pid=29828/tid=29829] ppid=29826 vsize=10554500 CPUtime=0.28 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 13216 0 1 0 26 2 0 0 18 0 18 0 833723128 10807808000 19331 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505555754 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10554500
[startup+0.700828 s]
/proc/loadavg: 1.95 2.02 2.00 2/479 29828
/proc/meminfo: memFree=24734292/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10552512 CPUtime=1.2 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 50432 0 1 0 113 7 0 0 25 0 19 0 833723128 10805772288 48039 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638128 48039 2220 9 0 2628862 0
[pid=29828/tid=29829] ppid=29826 vsize=10552512 CPUtime=0.68 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 42099 0 1 0 62 6 0 0 18 0 19 0 833723128 10805772288 48039 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505746639 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10552512
[startup+1.50075 s]
/proc/loadavg: 1.95 2.02 2.00 5/498 29847
/proc/meminfo: memFree=24503120/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10552512 CPUtime=2.44 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 87263 0 1 0 233 11 0 0 25 0 19 0 833723128 10805772288 84391 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638128 84393 2232 9 0 2628862 0
[pid=29828/tid=29829] ppid=29826 vsize=10552512 CPUtime=1.48 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 78372 0 1 0 138 10 0 0 18 0 19 0 833723128 10805772288 84394 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505783139 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833723130 10805772288 84396 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84397 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84398 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84399 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84400 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84400 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10805772288 84401 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833723130 10805772288 84402 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833723131 10805772288 84403 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833723131 10805772288 84404 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833723131 10805772288 84405 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10805772288 84406 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10552512 CPUtime=0.53 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4740 0 0 0 53 0 0 0 16 0 19 0 833723134 10805772288 84408 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10552512 CPUtime=0.41 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 2993 0 0 0 41 0 0 0 18 0 19 0 833723134 10805772288 84409 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10805772288 84410 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29846/stat : 29846 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833723134 10805772288 84411 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=10552512 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10805772288 84412 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 10552512
[startup+3.10145 s]
/proc/loadavg: 1.95 2.02 2.00 4/498 29847
/proc/meminfo: memFree=24269876/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10553104 CPUtime=4.24 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 183597 0 1 0 401 23 0 0 25 0 19 0 833723128 10806378496 180718 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638276 180720 2234 9 0 2629010 0
[pid=29828/tid=29829] ppid=29826 vsize=10553104 CPUtime=3.08 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 174549 0 1 0 287 21 0 0 18 0 19 0 833723128 10806378496 180721 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505581112 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833723130 10806378496 180722 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180723 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180724 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180725 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180726 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180727 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 180728 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833723130 10806378496 180729 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833723131 10806378496 180730 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833723131 10806378496 180732 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833723131 10806378496 180733 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 180734 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10553104 CPUtime=0.65 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4885 0 0 0 65 0 0 0 15 0 19 0 833723134 10806378496 180735 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10553104 CPUtime=0.47 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 3005 0 0 0 47 0 0 0 15 0 19 0 833723134 10806378496 180736 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 180737 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29846/stat : 29846 (java) R 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833723134 10806378496 180738 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10806378496 180740 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 10553104
[startup+6.30087 s]
/proc/loadavg: 1.95 2.02 2.00 3/498 29847
/proc/meminfo: memFree=23460280/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10553104 CPUtime=7.63 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 377997 0 1 0 719 44 0 0 25 0 19 0 833723128 10806378496 374120 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638276 374121 2235 9 0 2629010 0
[pid=29828/tid=29829] ppid=29826 vsize=10553104 CPUtime=6.28 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 368079 0 1 0 586 42 0 0 21 0 19 0 833723128 10806378496 374122 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505783139 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833723130 10806378496 374123 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374124 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374126 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374126 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374133 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374135 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833723130 10806378496 374137 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833723130 10806378496 374140 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833723131 10806378496 374142 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833723131 10806378496 374145 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833723131 10806378496 374147 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 374149 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10553104 CPUtime=0.8 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4911 0 0 0 80 0 0 0 15 0 19 0 833723134 10806378496 374150 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10553104 CPUtime=0.51 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 3847 0 0 0 51 0 0 0 16 0 19 0 833723134 10806378496 374152 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=29828/tid=29847] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10806378496 912734 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.63
Current children cumulated vsize (KiB) 10553104
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/498 29953
/proc/meminfo: memFree=21044144/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10553104 CPUtime=1728.84 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 917982 0 1 0 172778 106 0 0 25 0 19 0 833723128 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638276 912774 2264 9 0 2629010 0
[pid=29828/tid=29829] ppid=29826 vsize=10553104 CPUtime=1717.83 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 830210 0 1 0 171691 92 0 0 25 0 19 0 833723128 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505782705 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10553104 CPUtime=0.71 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 6974 0 0 0 70 1 0 0 15 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10553104 CPUtime=0.94 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 9367 0 0 0 93 1 0 0 16 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10553104 CPUtime=0.91 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 8869 0 0 0 90 1 0 0 16 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10553104 CPUtime=0.93 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 7035 0 0 0 93 0 0 0 16 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10553104 CPUtime=0.81 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 4689 0 0 0 81 0 0 0 15 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10553104 CPUtime=0.89 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 8781 0 0 0 89 0 0 0 16 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10553104 CPUtime=0.89 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 8500 0 0 0 88 1 0 0 16 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10553104 CPUtime=0.93 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 9672 0 0 0 92 1 0 0 15 0 19 0 833723130 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10553104 CPUtime=2.2 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 13689 0 0 0 218 2 0 0 15 0 19 0 833723131 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10553104 CPUtime=1.05 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4953 0 0 0 104 1 0 0 15 0 19 0 833723134 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10553104 CPUtime=0.61 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 3990 0 0 0 61 0 0 0 15 0 19 0 833723134 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29846/stat : 29846 (java) S 29826 29828 29047 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833723134 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10806378496 912774 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.84
Current children cumulated vsize (KiB) 10553104
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/498 29954
/proc/meminfo: memFree=21040880/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10553104 CPUtime=1788.99 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 918500 0 1 0 178793 106 0 0 25 0 19 0 833723128 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638276 913279 2264 9 0 2629010 0
[pid=29828/tid=29829] ppid=29826 vsize=10553104 CPUtime=1777.71 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 830214 0 1 0 177679 92 0 0 25 0 19 0 833723128 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505784889 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10553104 CPUtime=0.75 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 7053 0 0 0 74 1 0 0 15 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10553104 CPUtime=0.97 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 9444 0 0 0 96 1 0 0 15 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10553104 CPUtime=0.93 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 9025 0 0 0 92 1 0 0 16 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10553104 CPUtime=0.99 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 7112 0 0 0 99 0 0 0 15 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10553104 CPUtime=0.86 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 4789 0 0 0 86 0 0 0 16 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10553104 CPUtime=0.91 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 8793 0 0 0 91 0 0 0 15 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10553104 CPUtime=0.92 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 8500 0 0 0 91 1 0 0 15 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10553104 CPUtime=0.96 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 9679 0 0 0 95 1 0 0 16 0 19 0 833723130 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10553104 CPUtime=2.2 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 13693 0 0 0 218 2 0 0 15 0 19 0 833723131 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10553104 CPUtime=1.05 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4953 0 0 0 104 1 0 0 15 0 19 0 833723134 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10553104 CPUtime=0.61 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 3990 0 0 0 61 0 0 0 15 0 19 0 833723134 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29846/stat : 29846 (java) S 29826 29828 29047 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833723134 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10806378496 913279 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.99
Current children cumulated vsize (KiB) 10553104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/498 29954
/proc/meminfo: memFree=21040620/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=10553104 CPUtime=1800.06 cores=0,2,4,6
/proc/29828/stat : 29828 (java) S 29826 29828 29047 0 -1 4202496 918646 0 1 0 179900 106 0 0 25 0 19 0 833723128 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 2638276 913422 2264 9 0 2629010 0
[pid=29828/tid=29829] ppid=29826 vsize=10553104 CPUtime=1788.71 cores=0,2,4,6
/proc/29828/task/29829/stat : 29829 (java) R 29826 29828 29047 0 -1 4202560 830215 0 1 0 178779 92 0 0 25 0 19 0 833723128 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 46912505784889 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29828/tid=29831] ppid=29826 vsize=10553104 CPUtime=0.77 cores=0,2,4,6
/proc/29828/task/29831/stat : 29831 (java) S 29826 29828 29047 0 -1 4202560 7084 0 0 0 76 1 0 0 16 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29832] ppid=29826 vsize=10553104 CPUtime=0.98 cores=0,2,4,6
/proc/29828/task/29832/stat : 29832 (java) S 29826 29828 29047 0 -1 4202560 9506 0 0 0 97 1 0 0 16 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29833] ppid=29826 vsize=10553104 CPUtime=0.93 cores=0,2,4,6
/proc/29828/task/29833/stat : 29833 (java) S 29826 29828 29047 0 -1 4202560 9025 0 0 0 92 1 0 0 15 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29834] ppid=29826 vsize=10553104 CPUtime=1.01 cores=0,2,4,6
/proc/29828/task/29834/stat : 29834 (java) S 29826 29828 29047 0 -1 4202560 7161 0 0 0 101 0 0 0 16 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29835] ppid=29826 vsize=10553104 CPUtime=0.86 cores=0,2,4,6
/proc/29828/task/29835/stat : 29835 (java) S 29826 29828 29047 0 -1 4202560 4789 0 0 0 86 0 0 0 15 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29836] ppid=29826 vsize=10553104 CPUtime=0.91 cores=0,2,4,6
/proc/29828/task/29836/stat : 29836 (java) S 29826 29828 29047 0 -1 4202560 8793 0 0 0 91 0 0 0 15 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29837] ppid=29826 vsize=10553104 CPUtime=0.93 cores=0,2,4,6
/proc/29828/task/29837/stat : 29837 (java) S 29826 29828 29047 0 -1 4202560 8501 0 0 0 92 1 0 0 16 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29838] ppid=29826 vsize=10553104 CPUtime=0.96 cores=0,2,4,6
/proc/29828/task/29838/stat : 29838 (java) S 29826 29828 29047 0 -1 4202560 9679 0 0 0 95 1 0 0 15 0 19 0 833723130 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 0 0 0 0
[pid=29828/tid=29839] ppid=29826 vsize=10553104 CPUtime=2.2 cores=0,2,4,6
/proc/29828/task/29839/stat : 29839 (java) S 29826 29828 29047 0 -1 4202560 13693 0 0 0 218 2 0 0 15 0 19 0 833723131 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 0 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29840] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29840/stat : 29840 (java) S 29826 29828 29047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29841] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29841/stat : 29841 (java) S 29826 29828 29047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833723131 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 2 0 0 0
[pid=29828/tid=29842] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29842/stat : 29842 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134537649 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29843] ppid=29826 vsize=10553104 CPUtime=1.05 cores=0,2,4,6
/proc/29828/task/29843/stat : 29843 (java) S 29826 29828 29047 0 -1 4202560 4953 0 0 0 104 1 0 0 15 0 19 0 833723134 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29844] ppid=29826 vsize=10553104 CPUtime=0.61 cores=0,2,4,6
/proc/29828/task/29844/stat : 29844 (java) S 29826 29828 29047 0 -1 4202560 3990 0 0 0 61 0 0 0 15 0 19 0 833723134 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29845] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29845/stat : 29845 (java) S 29826 29828 29047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723134 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134529945 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
[pid=29828/tid=29846] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29846/stat : 29846 (java) S 29826 29828 29047 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833723134 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 4 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=10553104 CPUtime=0 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) S 29826 29828 29047 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723195 10806378496 913422 33554432000 1073741824 1073778376 140737284018176 18446744073709551615 228134530560 0 4 0 16800975 18446604450308347840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10553104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.42 s]
/proc/loadavg: 2.02 2.04 2.00 3/498 29954
/proc/meminfo: memFree=21040620/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/29828/stat : 29828 (java) Z 29826 29828 29047 0 -1 4203548 918716 0 1 0 179913 109 0 0 17 0 2 0 833723128 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 0 0 0 0 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=0 CPUtime=0.02 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) R 29826 29828 29047 0 -1 4203588 7 0 0 0 0 2 0 0 18 0 2 0 833723195 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1793.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/498 29954
/proc/meminfo: memFree=21040620/32951124 swapFree=41830676/67111528
[pid=29828] ppid=29826 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/29828/stat : 29828 (java) Z 29826 29828 29047 0 -1 4203548 918716 0 1 0 179913 117 0 0 17 0 2 0 833723128 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29828/statm: 0 0 0 0 0 0 0
[pid=29828/tid=29847] ppid=29826 vsize=0 CPUtime=0.1 cores=0,2,4,6
/proc/29828/task/29847/stat : 29847 (java) R 29826 29828 29047 0 -1 4203588 7 0 0 0 0 10 0 0 18 0 2 0 833723195 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.53
CPU time (s): 1800.34
CPU user time (s): 1799.13
CPU system time (s): 1.20482
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 10554500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.20482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 918716
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= 40229
involuntary context switches= 20014
runsolver used 8.87665 second user time and 18.8661 second system time
The end