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-3454031-1307195396/watcher-3454031-1307195396 -o /tmp/evaluation-result-3454031-1307195396/solver-3454031-1307195396 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454031-1307195396.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.40 3.37 3.59 4/505 15833
/proc/meminfo: memFree=30300784/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 5992 0 1 0 0 0 0 0 23 0 2 0 831142227 10694979584 5694 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2611079 5708 917 9 0 2602235 0
[pid=15833/tid=15835] ppid=15831 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) R 15831 15833 9506 0 -1 4202560 7387 0 1 0 0 0 0 0 25 0 2 0 831142227 10694979584 8203 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.037368 s]
/proc/loadavg: 2.40 3.37 3.59 4/505 15833
/proc/meminfo: memFree=30300784/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 11143 0 1 0 1 1 0 0 23 0 13 0 831142227 10718699520 10840 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2616870 10841 1653 9 0 2607618 0
[pid=15833/tid=15835] ppid=15831 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) R 15831 15833 9506 0 -1 4202560 9996 0 1 0 1 1 0 0 25 0 13 0 831142227 10718699520 10841 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46958028378117 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100323 s]
/proc/loadavg: 2.40 3.37 3.59 4/505 15833
/proc/meminfo: memFree=30300784/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10540128 CPUtime=0.1 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 13085 0 1 0 8 2 0 0 23 0 18 0 831142227 10793091072 12782 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2635032 12782 2092 9 0 2625766 0
[pid=15833/tid=15835] ppid=15831 vsize=10540128 CPUtime=0.09 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) R 15831 15833 9506 0 -1 4202560 11188 0 1 0 7 2 0 0 21 0 18 0 831142227 10793091072 12782 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46958032554576 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540128
[startup+0.300288 s]
/proc/loadavg: 2.40 3.37 3.59 4/505 15833
/proc/meminfo: memFree=30300784/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10542172 CPUtime=0.47 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 16538 0 1 0 45 2 0 0 23 0 18 0 831142227 10795184128 15899 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2635543 15899 2211 9 0 2626277 0
[pid=15833/tid=15835] ppid=15831 vsize=10542172 CPUtime=0.29 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) R 15831 15833 9506 0 -1 4202560 13080 0 1 0 27 2 0 0 21 0 18 0 831142227 10795184128 15899 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912505530494 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542172
[startup+0.700219 s]
/proc/loadavg: 2.40 3.37 3.59 4/505 15833
/proc/meminfo: memFree=30300784/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10553216 CPUtime=1.59 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 39679 0 1 0 153 6 0 0 23 0 18 0 831142227 10806493184 35828 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2638304 35828 2227 9 0 2629038 0
[pid=15833/tid=15835] ppid=15831 vsize=10553216 CPUtime=0.68 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) R 15831 15833 9506 0 -1 4202560 28677 0 1 0 64 4 0 0 22 0 18 0 831142227 10806493184 35828 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912505504772 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10553216
[startup+1.50112 s]
/proc/loadavg: 2.37 3.35 3.58 8/545 15876
/proc/meminfo: memFree=29906032/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=3.74 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 88412 0 1 0 363 11 0 0 23 0 22 0 831142227 10813108224 82260 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 82262 2242 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.81 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 53665 0 1 0 75 6 0 0 20 0 22 0 831142227 10813108224 82264 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82265 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82267 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82269 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82270 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82271 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82273 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82275 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 82276 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831142230 10813108224 82278 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831142230 10813108224 82279 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831142230 10813108224 82281 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831142233 10813108224 82282 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=0.85 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 6146 0 0 0 85 0 0 0 17 0 22 0 831142233 10813108224 82284 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=0.93 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6551 0 0 0 92 1 0 0 15 0 22 0 831142233 10813108224 82285 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15867] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15867/stat : 15867 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831142233 10813108224 82287 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15868] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15868/stat : 15868 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831142233 10813108224 82288 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15876] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15876/stat : 15876 (java) S 15831 15833 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831142312 10813108224 82290 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 10559676
[startup+3.10085 s]
/proc/loadavg: 2.37 3.35 3.58 3/542 15888
/proc/meminfo: memFree=29711380/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=5.43 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 135000 0 1 0 526 17 0 0 23 0 22 0 831142227 10813108224 128847 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 128850 2243 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.83 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 53876 0 1 0 77 6 0 0 16 0 22 0 831142227 10813108224 128851 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128852 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128853 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128854 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128856 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128857 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128858 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128859 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831142229 10813108224 128868 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 831142230 10813108224 128885 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831142230 10813108224 128892 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831142230 10813108224 128893 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831142233 10813108224 128894 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=0.92 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 6154 0 0 0 92 0 0 0 15 0 22 0 831142233 10813108224 128894 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=1 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6563 0 0 0 99 1 0 0 15 0 22 0 831142233 10813108224 128894 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15867] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15867/stat : 15867 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831142233 10813108224 128895 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15868] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15868/stat : 15868 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831142233 10813108224 128896 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15876] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15876/stat : 15876 (java) S 15831 15833 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831142312 10813108224 128898 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 10559676
[startup+6.30129 s]
/proc/loadavg: 2.18 3.30 3.56 3/542 15927
/proc/meminfo: memFree=29238056/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=9.02 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 239608 0 1 0 871 31 0 0 23 0 19 0 831142227 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 233175 2245 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.86 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 54301 0 1 0 79 7 0 0 16 0 19 0 831142227 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831142229 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831142230 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831142230 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831142230 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831142233 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=1.06 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 7244 0 0 0 105 1 0 0 15 0 19 0 831142233 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=1.03 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6564 0 0 0 102 1 0 0 15 0 19 0 831142233 10813108224 233175 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23992120/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=1633.33 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 894847 0 1 0 163219 114 0 0 23 0 22 0 831142227 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 886559 2270 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.89 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 54729 0 1 0 82 7 0 0 15 0 22 0 831142227 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0.18 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 3665 0 0 0 18 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0.14 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 850 0 0 0 14 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0.17 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1656 0 0 0 17 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0.1 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 342 0 0 0 10 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0.22 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 3340 0 0 0 22 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0.22 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 6916 0 0 0 22 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0.2 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 4116 0 0 0 20 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0.18 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 5276 0 0 0 18 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=5.45 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 27325 0 0 0 542 3 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=1.44 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 8219 0 0 0 143 1 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=1.09 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6570 0 0 0 108 1 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15867] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15867/stat : 15867 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15868] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15868/stat : 15868 (java) S 15831 15833 9506 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16044] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16044/stat : 16044 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145634 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16130] ppid=15831 vsize=10559676 CPUtime=8.4 cores=1,3,5,7
/proc/15833/task/16130/stat : 16130 (java) R 15831 15833 9506 0 -1 4202560 405 0 0 0 840 0 0 0 25 0 22 0 831223587 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912506175622 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15833/tid=16131] ppid=15831 vsize=10559676 CPUtime=8.4 cores=1,3,5,7
/proc/15833/task/16131/stat : 16131 (java) R 15831 15833 9506 0 -1 4202560 16536 0 0 0 838 2 0 0 25 0 22 0 831223587 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912506140861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15833/tid=16132] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16132/stat : 16132 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831223587 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1633.33
Current children cumulated vsize (KiB) 10559676
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.83 7/548 16144
/proc/meminfo: memFree=23980488/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=1752.3 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 894858 0 1 0 175116 114 0 0 23 0 22 0 831142227 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 886559 2270 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.9 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 54729 0 1 0 83 7 0 0 15 0 22 0 831142227 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0.2 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 3665 0 0 0 20 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0.14 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 850 0 0 0 14 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0.18 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1656 0 0 0 18 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0.12 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 342 0 0 0 12 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0.24 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 3340 0 0 0 24 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0.22 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 6916 0 0 0 22 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0.21 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 4116 0 0 0 21 0 0 0 16 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0.2 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 5276 0 0 0 20 0 0 0 15 0 22 0 831142229 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=6.05 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 27327 0 0 0 602 3 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=1.44 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 8219 0 0 0 143 1 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=1.09 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6570 0 0 0 108 1 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15867] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15867/stat : 15867 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15868] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15868/stat : 15868 (java) S 15831 15833 9506 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831142233 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16044] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16044/stat : 16044 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145634 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16139] ppid=15831 vsize=10559676 CPUtime=14.5 cores=1,3,5,7
/proc/15833/task/16139/stat : 16139 (java) R 15831 15833 9506 0 -1 4202560 1 0 0 0 1450 0 0 0 25 0 22 0 831228986 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912506068906 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15833/tid=16140] ppid=15831 vsize=10559676 CPUtime=14.5 cores=1,3,5,7
/proc/15833/task/16140/stat : 16140 (java) R 15831 15833 9506 0 -1 4202560 0 0 0 0 1450 0 0 0 25 0 22 0 831228986 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912506140845 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15833/tid=16141] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16141/stat : 16141 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831228986 10813108224 886559 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1752.3
Current children cumulated vsize (KiB) 10559676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.419 s]
/proc/loadavg: 4.00 4.00 3.83 5/548 16145
/proc/meminfo: memFree=23976996/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=10559676 CPUtime=1800.12 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 9506 0 -1 4202496 894870 0 1 0 179898 114 0 0 23 0 22 0 831142227 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 2639919 886567 2270 9 0 2630653 0
[pid=15833/tid=15835] ppid=15831 vsize=10559676 CPUtime=0.9 cores=1,3,5,7
/proc/15833/task/15835/stat : 15835 (java) S 15831 15833 9506 0 -1 4202560 54729 0 1 0 83 7 0 0 15 0 22 0 831142227 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=10559676 CPUtime=0.21 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 9506 0 -1 4202560 3667 0 0 0 21 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=10559676 CPUtime=0.15 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 9506 0 -1 4202560 850 0 0 0 15 0 0 0 16 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=10559676 CPUtime=0.18 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 9506 0 -1 4202560 1656 0 0 0 18 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=10559676 CPUtime=0.13 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 9506 0 -1 4202560 342 0 0 0 13 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=10559676 CPUtime=0.25 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 9506 0 -1 4202560 3340 0 0 0 25 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=10559676 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 9506 0 -1 4202560 6916 0 0 0 23 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15852] ppid=15831 vsize=10559676 CPUtime=0.21 cores=1,3,5,7
/proc/15833/task/15852/stat : 15852 (java) S 15831 15833 9506 0 -1 4202560 4116 0 0 0 21 0 0 0 15 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=10559676 CPUtime=0.21 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 9506 0 -1 4202560 5276 0 0 0 21 0 0 0 16 0 22 0 831142229 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15856] ppid=15831 vsize=10559676 CPUtime=6.53 cores=1,3,5,7
/proc/15833/task/15856/stat : 15856 (java) S 15831 15833 9506 0 -1 4202560 27335 0 0 0 649 4 0 0 16 0 22 0 831142230 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=15833/tid=15857] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15857/stat : 15857 (java) S 15831 15833 9506 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15858] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15858/stat : 15858 (java) S 15831 15833 9506 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 831142230 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=15864] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15864/stat : 15864 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831142233 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15865] ppid=15831 vsize=10559676 CPUtime=1.44 cores=1,3,5,7
/proc/15833/task/15865/stat : 15865 (java) S 15831 15833 9506 0 -1 4202560 8219 0 0 0 143 1 0 0 15 0 22 0 831142233 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=15833/tid=15866] ppid=15831 vsize=10559676 CPUtime=1.09 cores=1,3,5,7
/proc/15833/task/15866/stat : 15866 (java) S 15831 15833 9506 0 -1 4202560 6570 0 0 0 108 1 0 0 15 0 22 0 831142233 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15867] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15867/stat : 15867 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831142233 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=15833/tid=15868] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15868/stat : 15868 (java) S 15831 15833 9506 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831142233 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16044] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16044/stat : 16044 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145634 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=15833/tid=16139] ppid=15831 vsize=10559676 CPUtime=38.14 cores=1,3,5,7
/proc/15833/task/16139/stat : 16139 (java) R 15831 15833 9506 0 -1 4202560 3 0 0 0 3814 0 0 0 25 0 22 0 831228986 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912505822424 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15833/tid=16140] ppid=15831 vsize=10559676 CPUtime=38.14 cores=1,3,5,7
/proc/15833/task/16140/stat : 16140 (java) R 15831 15833 9506 0 -1 4202560 0 0 0 0 3814 0 0 0 25 0 22 0 831228986 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 46912506140834 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15833/tid=16141] ppid=15831 vsize=10559676 CPUtime=0 cores=1,3,5,7
/proc/15833/task/16141/stat : 16141 (java) S 15831 15833 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831228986 10813108224 886567 33554432000 1073741824 1073778376 140735241095680 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10559676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+906.525 s]
/proc/loadavg: 4.00 4.00 3.83 5/548 16145
/proc/meminfo: memFree=23976996/32951124 swapFree=51712236/67111528
[pid=15833] ppid=15831 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/15833/stat : 15833 (java) Z 15831 15833 9506 0 -1 4203548 894898 0 1 0 179902 121 0 0 17 0 2 0 831142227 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15833/statm: 0 0 0 0 0 0 0
[pid=15833/tid=16140] ppid=15831 vsize=0 CPUtime=38.23 cores=1,3,5,7
/proc/15833/task/16140/stat : 16140 (java) R 15831 15833 9506 0 -1 4203588 0 0 0 0 3816 7 0 0 25 0 2 0 831228986 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 906.588
CPU time (s): 1800.31
CPU user time (s): 1799.03
CPU system time (s): 1.27881
CPU usage (%): 198.58
Max. virtual memory (cumulated for all children) (KiB): 10559676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.2788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 894898
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= 22455
involuntary context switches= 6835
runsolver used 4.68229 second user time and 10.9823 second system time
The end