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-3456255-1307226770/watcher-3456255-1307226770 -o /tmp/evaluation-result-3456255-1307226770/solver-3456255-1307226770 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456255-1307226770.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: 1.92 1.99 1.99 3/404 13138
/proc/meminfo: memFree=19822816/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13138/stat : 13138 (java) R 13136 13138 11997 0 -1 4202496 948 0 0 0 0 0 0 0 22 0 1 0 834279742 23580672 693 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218365994897 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13138/statm: 5757 693 510 9 0 124 0
[pid=13138/tid=13139] ppid=13136 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 1714 0 1 0 0 0 0 0 23 0 2 0 834279743 10681323520 2530 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0251009 s]
/proc/loadavg: 1.92 1.99 1.99 3/404 13138
/proc/meminfo: memFree=19822816/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 9803 0 1 0 0 0 0 0 22 0 2 0 834279742 10694979584 9506 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2611120 9513 919 9 0 2602276 0
[pid=13138/tid=13139] ppid=13136 vsize=10444480 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 8713 0 1 0 0 0 0 0 23 0 2 0 834279743 10695147520 9529 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218370651083 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.101077 s]
/proc/loadavg: 1.92 1.99 1.99 3/404 13138
/proc/meminfo: memFree=19822816/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10539836 CPUtime=0.1 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 13013 0 1 0 8 2 0 0 22 0 18 0 834279742 10792792064 12691 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2634959 12692 2092 9 0 2625693 0
[pid=13138/tid=13139] ppid=13136 vsize=10539836 CPUtime=0.07 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 11087 0 1 0 6 1 0 0 18 0 18 0 834279743 10792792064 12693 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 47203051674451 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539836
[startup+0.307083 s]
/proc/loadavg: 1.92 1.99 1.99 3/404 13138
/proc/meminfo: memFree=19822816/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10541964 CPUtime=0.47 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 16329 0 1 0 45 2 0 0 22 0 18 0 834279742 10794971136 15672 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2635491 15673 2219 9 0 2626225 0
[pid=13138/tid=13139] ppid=13136 vsize=10541964 CPUtime=0.29 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 12769 0 1 0 27 2 0 0 18 0 18 0 834279743 10794971136 15673 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505567964 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541964
[startup+0.701 s]
/proc/loadavg: 1.92 1.99 1.99 3/404 13138
/proc/meminfo: memFree=19822816/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10551752 CPUtime=1.53 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 32618 0 1 0 149 4 0 0 22 0 19 0 834279742 10804994048 29378 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2637938 29378 2233 9 0 2628672 0
[pid=13138/tid=13139] ppid=13136 vsize=10551752 CPUtime=0.67 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 22100 0 1 0 65 2 0 0 19 0 19 0 834279743 10804994048 29379 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505788141 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10551752
[startup+1.50083 s]
/proc/loadavg: 1.92 1.99 1.99 3/423 13157
/proc/meminfo: memFree=19627168/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10552768 CPUtime=2.94 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 81955 0 1 0 283 11 0 0 22 0 19 0 834279742 10806034432 74905 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638192 74907 2240 9 0 2628926 0
[pid=13138/tid=13139] ppid=13136 vsize=10552768 CPUtime=1.48 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 66888 0 1 0 139 9 0 0 20 0 19 0 834279743 10806034432 74909 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505820840 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834279744 10806034432 74910 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74911 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74913 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74914 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74916 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74917 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74918 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 74920 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834279745 10806034432 74921 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 74922 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 74924 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806034432 74926 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10552768 CPUtime=0.73 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 6364 0 0 0 73 0 0 0 15 0 19 0 834279748 10806034432 74928 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10552768 CPUtime=0.71 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 7548 0 0 0 70 1 0 0 15 0 19 0 834279748 10806034432 74929 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806034432 74931 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834279748 10806034432 74932 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806034432 74934 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10552768
[startup+3.10155 s]
/proc/loadavg: 1.92 1.99 1.99 3/423 13157
/proc/meminfo: memFree=19296336/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10552768 CPUtime=4.62 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 198064 0 1 0 438 24 0 0 22 0 19 0 834279742 10806034432 191012 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638192 191015 2240 9 0 2628926 0
[pid=13138/tid=13139] ppid=13136 vsize=10552768 CPUtime=3.07 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 182969 0 1 0 285 22 0 0 25 0 19 0 834279743 10806034432 191016 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505822134 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834279744 10806034432 191018 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191019 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191021 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191022 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191024 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191025 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191027 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 191028 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834279745 10806034432 191029 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 191031 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 191032 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806034432 191033 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10552768 CPUtime=0.73 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 6364 0 0 0 73 0 0 0 15 0 19 0 834279748 10806034432 191035 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10552768 CPUtime=0.8 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 7576 0 0 0 79 1 0 0 15 0 19 0 834279748 10806034432 191037 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806034432 191039 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834279748 10806034432 191040 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806034432 191042 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 10552768
[startup+6.30098 s]
/proc/loadavg: 1.93 1.99 1.99 3/423 13157
/proc/meminfo: memFree=18470000/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10552768 CPUtime=7.88 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 409360 0 1 0 738 50 0 0 22 0 19 0 834279742 10806034432 402308 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638192 402311 2242 9 0 2628926 0
[pid=13138/tid=13139] ppid=13136 vsize=10552768 CPUtime=6.27 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 394259 0 1 0 579 48 0 0 25 0 19 0 834279743 10806034432 402312 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505820475 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834279744 10806034432 402313 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402315 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402316 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402318 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402319 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402320 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402322 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279744 10806034432 402323 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834279745 10806034432 402324 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 402325 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834279746 10806034432 402327 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10552768 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806034432 402328 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10552768 CPUtime=0.77 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 6369 0 0 0 77 0 0 0 15 0 19 0 834279748 10806034432 402329 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10552768 CPUtime=0.81 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 7577 0 0 0 80 1 0 0 15 0 19 0 834279748 10806034432 402331 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10553660 CPUtime=1.25 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 8809 0 0 0 125 0 0 0 16 0 19 0 834279748 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10553660 CPUtime=1.34 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 12369 0 0 0 132 2 0 0 15 0 19 0 834279748 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834279748 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806947840 948453 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.36
Current children cumulated vsize (KiB) 10553660
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/423 13260
/proc/meminfo: memFree=16306964/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10553660 CPUtime=1728.49 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 966215 0 1 0 172733 116 0 0 22 0 19 0 834279742 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638415 950110 2268 9 0 2629149 0
[pid=13138/tid=13139] ppid=13136 vsize=10553660 CPUtime=1719.74 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 825163 0 1 0 171878 96 0 0 25 0 19 0 834279743 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505819985 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10553660 CPUtime=0.75 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 21401 0 0 0 73 2 0 0 15 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10553660 CPUtime=0.49 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 9055 0 0 0 48 1 0 0 16 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 12943 0 0 0 57 1 0 0 15 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10553660 CPUtime=0.68 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 13899 0 0 0 67 1 0 0 16 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10553660 CPUtime=0.67 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 14122 0 0 0 66 1 0 0 15 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10553660 CPUtime=0.64 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 13837 0 0 0 62 2 0 0 15 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10553660 CPUtime=0.77 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 16317 0 0 0 75 2 0 0 15 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10553660 CPUtime=0.54 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 15175 0 0 0 53 1 0 0 16 0 19 0 834279744 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10553660 CPUtime=0.9 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 1877 0 0 0 90 0 0 0 15 0 19 0 834279745 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10553660 CPUtime=1.25 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 8809 0 0 0 125 0 0 0 16 0 19 0 834279748 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10553660 CPUtime=1.34 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 12369 0 0 0 132 2 0 0 15 0 19 0 834279748 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834279748 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806947840 950110 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.49
Current children cumulated vsize (KiB) 10553660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 13261
/proc/meminfo: memFree=16300608/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10553660 CPUtime=1788.62 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 967797 0 1 0 178746 116 0 0 22 0 19 0 834279742 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638415 951650 2268 9 0 2629149 0
[pid=13138/tid=13139] ppid=13136 vsize=10553660 CPUtime=1779.7 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 825166 0 1 0 177874 96 0 0 25 0 19 0 834279743 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505819985 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10553660 CPUtime=0.78 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 21783 0 0 0 76 2 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10553660 CPUtime=0.52 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 9256 0 0 0 51 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 12943 0 0 0 57 1 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10553660 CPUtime=0.71 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 14181 0 0 0 70 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10553660 CPUtime=0.7 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 14314 0 0 0 69 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10553660 CPUtime=0.67 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 14141 0 0 0 65 2 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10553660 CPUtime=0.78 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 16390 0 0 0 76 2 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10553660 CPUtime=0.56 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 15314 0 0 0 55 1 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10553660 CPUtime=0.9 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 1879 0 0 0 90 0 0 0 15 0 19 0 834279745 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10553660 CPUtime=1.25 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 8809 0 0 0 125 0 0 0 16 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10553660 CPUtime=1.34 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 12369 0 0 0 132 2 0 0 15 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (KiB) 10553660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 13262
/proc/meminfo: memFree=16300588/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=10553660 CPUtime=1800.02 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13136 13138 11997 0 -1 4202496 967797 0 1 0 179886 116 0 0 22 0 19 0 834279742 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 2638415 951650 2268 9 0 2629149 0
[pid=13138/tid=13139] ppid=13136 vsize=10553660 CPUtime=1791.11 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4202560 825166 0 1 0 179015 96 0 0 25 0 19 0 834279743 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 46912505819980 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=10553660 CPUtime=0.78 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13136 13138 11997 0 -1 4202560 21783 0 0 0 76 2 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13142] ppid=13136 vsize=10553660 CPUtime=0.52 cores=1,3,5,7
/proc/13138/task/13142/stat : 13142 (java) S 13136 13138 11997 0 -1 4202560 9256 0 0 0 51 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13143] ppid=13136 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/13138/task/13143/stat : 13143 (java) S 13136 13138 11997 0 -1 4202560 12943 0 0 0 57 1 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13144] ppid=13136 vsize=10553660 CPUtime=0.71 cores=1,3,5,7
/proc/13138/task/13144/stat : 13144 (java) S 13136 13138 11997 0 -1 4202560 14181 0 0 0 70 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13145] ppid=13136 vsize=10553660 CPUtime=0.7 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13136 13138 11997 0 -1 4202560 14314 0 0 0 69 1 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13146] ppid=13136 vsize=10553660 CPUtime=0.67 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13136 13138 11997 0 -1 4202560 14141 0 0 0 65 2 0 0 16 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13147] ppid=13136 vsize=10553660 CPUtime=0.78 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13136 13138 11997 0 -1 4202560 16390 0 0 0 76 2 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13148] ppid=13136 vsize=10553660 CPUtime=0.56 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13136 13138 11997 0 -1 4202560 15314 0 0 0 55 1 0 0 15 0 19 0 834279744 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 7 0 0 0
[pid=13138/tid=13149] ppid=13136 vsize=10553660 CPUtime=0.9 cores=1,3,5,7
/proc/13138/task/13149/stat : 13149 (java) S 13136 13138 11997 0 -1 4202560 1879 0 0 0 90 0 0 0 15 0 19 0 834279745 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 0 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13150] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13150/stat : 13150 (java) S 13136 13138 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13151] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13151/stat : 13151 (java) S 13136 13138 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834279746 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13152] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13152/stat : 13152 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382780849 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13153] ppid=13136 vsize=10553660 CPUtime=1.25 cores=1,3,5,7
/proc/13138/task/13153/stat : 13153 (java) S 13136 13138 11997 0 -1 4202560 8809 0 0 0 125 0 0 0 16 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 3 0 0 0
[pid=13138/tid=13154] ppid=13136 vsize=10553660 CPUtime=1.34 cores=1,3,5,7
/proc/13138/task/13154/stat : 13154 (java) S 13136 13138 11997 0 -1 4202560 12369 0 0 0 132 2 0 0 15 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13155] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13136 13138 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773145 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
[pid=13138/tid=13156] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13156/stat : 13156 (java) S 13136 13138 11997 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834279748 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 1 0 0 0
[pid=13138/tid=13157] ppid=13136 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13136 13138 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834279783 10806947840 951650 33554432000 1073741824 1073778376 140735539042112 18446744073709551615 218382773760 0 4 0 16800975 18446604456040752192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10553660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 13262
/proc/meminfo: memFree=16300588/32951124 swapFree=49244120/67111528
[pid=13138] ppid=13136 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/13138/stat : 13138 (java) Z 13136 13138 11997 0 -1 4203548 967831 0 1 0 179891 123 0 0 17 0 2 0 834279742 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13138/statm: 0 0 0 0 0 0 0
[pid=13138/tid=13139] ppid=13136 vsize=0 CPUtime=1791.2 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (java) R 13136 13138 11997 0 -1 4203588 825166 0 1 0 179017 103 0 0 25 0 2 0 834279743 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.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.9
CPU time (s): 1800.23
CPU user time (s): 1798.91
CPU system time (s): 1.3138
CPU usage (%): 100.353
Max. virtual memory (cumulated for all children) (KiB): 10564820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.3138
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967831
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= 39459
involuntary context switches= 6981
runsolver used 6.81296 second user time and 16.0386 second system time
The end