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-3454021-1307195320/watcher-3454021-1307195320 -o /tmp/evaluation-result-3454021-1307195320/solver-3454021-1307195320 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454021-1307195320.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: 3.80 3.94 3.87 2/460 30172
/proc/meminfo: memFree=29756140/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 6679 0 1 0 0 0 0 0 23 0 2 0 909762690 10694979584 6381 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2611079 6395 917 9 0 2602235 0
[pid=30172/tid=30173] ppid=30170 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 5926 0 1 0 0 0 0 0 25 0 2 0 909762691 10694979584 6742 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.053512 s]
/proc/loadavg: 3.80 3.94 3.87 2/460 30172
/proc/meminfo: memFree=29756140/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 11499 0 1 0 3 1 0 0 23 0 13 0 909762690 10718838784 11195 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2616904 11195 1685 9 0 2607652 0
[pid=30172/tid=30173] ppid=30170 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 10350 0 1 0 3 1 0 0 21 0 13 0 909762691 10718838784 11195 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 47803455166483 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.104542 s]
/proc/loadavg: 3.80 3.94 3.87 2/460 30172
/proc/meminfo: memFree=29756140/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10540308 CPUtime=0.1 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 13122 0 1 0 9 1 0 0 23 0 18 0 909762690 10793275392 12818 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2635077 12818 2092 9 0 2625811 0
[pid=30172/tid=30173] ppid=30170 vsize=10540308 CPUtime=0.08 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 11218 0 1 0 7 1 0 0 18 0 18 0 909762691 10793275392 12818 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505176826 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308
[startup+0.300391 s]
/proc/loadavg: 3.80 3.94 3.87 2/460 30172
/proc/meminfo: memFree=29756140/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10542692 CPUtime=0.46 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 16428 0 1 0 44 2 0 0 23 0 18 0 909762690 10795716608 15788 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2635673 15788 2198 9 0 2626407 0
[pid=30172/tid=30173] ppid=30170 vsize=10542692 CPUtime=0.28 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 12915 0 1 0 26 2 0 0 18 0 18 0 909762691 10795716608 15788 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505179392 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542692
[startup+0.700318 s]
/proc/loadavg: 3.80 3.94 3.87 2/460 30172
/proc/meminfo: memFree=29756140/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10553472 CPUtime=1.57 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 36298 0 1 0 152 5 0 0 23 0 18 0 909762690 10806755328 31588 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2638368 31588 2227 9 0 2629102 0
[pid=30172/tid=30173] ppid=30170 vsize=10553472 CPUtime=0.68 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 24636 0 1 0 64 4 0 0 18 0 18 0 909762691 10806755328 31588 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505575750 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10553472
[startup+1.50124 s]
/proc/loadavg: 3.80 3.94 3.87 6/482 30194
/proc/meminfo: memFree=29209644/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10553472 CPUtime=2.49 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 232857 0 1 0 221 28 0 0 23 0 18 0 909762690 10806755328 228146 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2638368 228152 2230 9 0 2629102 0
[pid=30172/tid=30173] ppid=30170 vsize=10553472 CPUtime=1.47 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) R 30170 30172 30116 0 -1 4202560 221181 0 1 0 120 27 0 0 18 0 18 0 909762691 10806755328 228155 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505770159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228168 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228186 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228203 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228220 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228236 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228253 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228269 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909762692 10806755328 228286 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 909762694 10806755328 228300 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 909762694 10806755328 228302 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 909762694 10806755328 228303 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 909762696 10806755328 228305 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30187] ppid=30170 vsize=10553472 CPUtime=0.51 cores=1,3,5,7
/proc/30172/task/30187/stat : 30187 (java) S 30170 30172 30116 0 -1 4202560 5732 0 0 0 51 0 0 0 23 0 18 0 909762696 10806755328 228306 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30188] ppid=30170 vsize=10553472 CPUtime=0.49 cores=1,3,5,7
/proc/30172/task/30188/stat : 30188 (java) S 30170 30172 30116 0 -1 4202560 4797 0 0 0 49 0 0 0 15 0 18 0 909762696 10806755328 228308 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30189] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30189/stat : 30189 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 909762696 10806755328 228310 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30190] ppid=30170 vsize=10553472 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30190/stat : 30190 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909762696 10806755328 228311 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10553472
[startup+3.10087 s]
/proc/loadavg: 3.73 3.92 3.86 5/483 30204
/proc/meminfo: memFree=28053336/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10557584 CPUtime=6.02 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 389527 0 1 0 554 48 0 0 23 0 22 0 909762690 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2639396 384814 2241 9 0 2630130 0
[pid=30172/tid=30173] ppid=30170 vsize=10557584 CPUtime=1.74 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) S 30170 30172 30116 0 -1 4202560 312597 0 1 0 136 38 0 0 15 0 22 0 909762691 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909762694 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909762694 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909762696 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30187] ppid=30170 vsize=10557584 CPUtime=0.82 cores=1,3,5,7
/proc/30172/task/30187/stat : 30187 (java) S 30170 30172 30116 0 -1 4202560 5774 0 0 0 82 0 0 0 15 0 22 0 909762696 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30188] ppid=30170 vsize=10557584 CPUtime=0.78 cores=1,3,5,7
/proc/30172/task/30188/stat : 30188 (java) S 30170 30172 30116 0 -1 4202560 4841 0 0 0 78 0 0 0 15 0 22 0 909762696 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30189] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30189/stat : 30189 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909762696 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30190] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30190/stat : 30190 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909762696 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30198] ppid=30170 vsize=10557584 CPUtime=1.33 cores=1,3,5,7
/proc/30172/task/30198/stat : 30198 (java) R 30170 30172 30116 0 -1 4202560 1588 0 0 0 133 0 0 0 25 0 22 0 909762867 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506109449 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30172/tid=30199] ppid=30170 vsize=10557584 CPUtime=1.31 cores=1,3,5,7
/proc/30172/task/30199/stat : 30199 (java) R 30170 30172 30116 0 -1 4202560 63557 0 0 0 123 8 0 0 19 0 22 0 909762867 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505557183 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30172/tid=30200] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30200/stat : 30200 (java) S 30170 30172 30116 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 909762871 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30201] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30201/stat : 30201 (java) S 30170 30172 30116 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909762871 10810966016 384814 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 10557584
[startup+6.30127 s]
/proc/loadavg: 3.73 3.92 3.86 5/486 30228
/proc/meminfo: memFree=26966448/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10557584 CPUtime=11.93 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 552120 0 1 0 1128 65 0 0 23 0 22 0 909762690 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2639396 547388 2244 9 0 2630130 0
[pid=30172/tid=30173] ppid=30170 vsize=10557584 CPUtime=1.8 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) S 30170 30172 30116 0 -1 4202560 312884 0 1 0 142 38 0 0 15 0 22 0 909762691 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909762692 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909762694 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909762694 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909762696 10810966016 547388 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23512204/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10557584 CPUtime=1631.31 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 878632 0 1 0 163023 108 0 0 23 0 22 0 909762690 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2639396 873549 2269 9 0 2630130 0
[pid=30172/tid=30173] ppid=30170 vsize=10557584 CPUtime=2.43 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) S 30170 30172 30116 0 -1 4202560 313167 0 1 0 205 38 0 0 15 0 22 0 909762691 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10557584 CPUtime=0.46 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 9635 0 0 0 45 1 0 0 16 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10557584 CPUtime=0.42 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 10353 0 0 0 41 1 0 0 15 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10557584 CPUtime=0.18 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1623 0 0 0 18 0 0 0 15 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10557584 CPUtime=0.35 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 2800 0 0 0 35 0 0 0 16 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10557584 CPUtime=0.4 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 11918 0 0 0 39 1 0 0 16 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10557584 CPUtime=0.51 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 12612 0 0 0 50 1 0 0 16 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10557584 CPUtime=0.42 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 17679 0 0 0 39 3 0 0 15 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10557584 CPUtime=0.18 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 6695 0 0 0 18 0 0 0 15 0 22 0 909762692 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10557584 CPUtime=5.12 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 67280 0 0 0 505 7 0 0 15 0 22 0 909762694 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909762696 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30187] ppid=30170 vsize=10557584 CPUtime=1.1 cores=1,3,5,7
/proc/30172/task/30187/stat : 30187 (java) S 30170 30172 30116 0 -1 4202560 5814 0 0 0 110 0 0 0 15 0 22 0 909762696 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30188] ppid=30170 vsize=10557584 CPUtime=1.29 cores=1,3,5,7
/proc/30172/task/30188/stat : 30188 (java) S 30170 30172 30116 0 -1 4202560 4905 0 0 0 129 0 0 0 16 0 22 0 909762696 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30189] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30189/stat : 30189 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909762696 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30190] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30190/stat : 30190 (java) S 30170 30172 30116 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909762696 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30303] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30303/stat : 30303 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766244 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30347] ppid=30170 vsize=10557584 CPUtime=176.64 cores=1,3,5,7
/proc/30172/task/30347/stat : 30347 (java) R 30170 30172 30116 0 -1 4202560 1 0 0 0 17664 0 0 0 25 0 22 0 909827115 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506045308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30172/tid=30348] ppid=30170 vsize=10557584 CPUtime=176.66 cores=1,3,5,7
/proc/30172/task/30348/stat : 30348 (java) R 30170 30172 30116 0 -1 4202560 2 0 0 0 17666 0 0 0 25 0 22 0 909827115 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506077536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30172/tid=30349] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30349/stat : 30349 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909827115 10810966016 873549 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1631.31
Current children cumulated vsize (KiB) 10557584
[startup+882.301 s]
/proc/loadavg: 4.06 4.00 3.92 5/486 30364
/proc/meminfo: memFree=23477548/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10557584 CPUtime=1750.82 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 886710 0 1 0 174973 109 0 0 23 0 22 0 909762690 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2639396 881469 2269 9 0 2630130 0
[pid=30172/tid=30173] ppid=30170 vsize=10557584 CPUtime=2.43 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) S 30170 30172 30116 0 -1 4202560 313168 0 1 0 205 38 0 0 15 0 22 0 909762691 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10557584 CPUtime=0.49 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 10718 0 0 0 48 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10557584 CPUtime=0.46 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 11955 0 0 0 45 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10557584 CPUtime=0.19 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1844 0 0 0 19 0 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10557584 CPUtime=0.35 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 3107 0 0 0 35 0 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10557584 CPUtime=0.41 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 11920 0 0 0 40 1 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10557584 CPUtime=0.54 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 13932 0 0 0 53 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10557584 CPUtime=0.44 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 17703 0 0 0 41 3 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10557584 CPUtime=0.22 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 8112 0 0 0 22 0 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10557584 CPUtime=5.73 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 69371 0 0 0 565 8 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30187] ppid=30170 vsize=10557584 CPUtime=1.11 cores=1,3,5,7
/proc/30172/task/30187/stat : 30187 (java) S 30170 30172 30116 0 -1 4202560 5819 0 0 0 111 0 0 0 15 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30188] ppid=30170 vsize=10557584 CPUtime=1.29 cores=1,3,5,7
/proc/30172/task/30188/stat : 30188 (java) S 30170 30172 30116 0 -1 4202560 4905 0 0 0 129 0 0 0 16 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30189] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30189/stat : 30189 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30190] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30190/stat : 30190 (java) S 30170 30172 30116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30303] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30303/stat : 30303 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766244 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30347] ppid=30170 vsize=10557584 CPUtime=235.99 cores=1,3,5,7
/proc/30172/task/30347/stat : 30347 (java) R 30170 30172 30116 0 -1 4202560 1 0 0 0 23599 0 0 0 25 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506045308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30172/tid=30348] ppid=30170 vsize=10557584 CPUtime=236.01 cores=1,3,5,7
/proc/30172/task/30348/stat : 30348 (java) R 30170 30172 30116 0 -1 4202560 3 0 0 0 23601 0 0 0 25 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506171071 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30172/tid=30349] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30349/stat : 30349 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1750.82
Current children cumulated vsize (KiB) 10557584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.901 s]
/proc/loadavg: 4.10 4.02 3.93 5/486 30365
/proc/meminfo: memFree=23477412/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=10557584 CPUtime=1800.05 cores=1,3,5,7
/proc/30172/stat : 30172 (java) S 30170 30172 30116 0 -1 4202496 886710 0 1 0 179896 109 0 0 23 0 22 0 909762690 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 2639396 881469 2269 9 0 2630130 0
[pid=30172/tid=30173] ppid=30170 vsize=10557584 CPUtime=2.43 cores=1,3,5,7
/proc/30172/task/30173/stat : 30173 (java) S 30170 30172 30116 0 -1 4202560 313168 0 1 0 205 38 0 0 15 0 22 0 909762691 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30175] ppid=30170 vsize=10557584 CPUtime=0.49 cores=1,3,5,7
/proc/30172/task/30175/stat : 30175 (java) S 30170 30172 30116 0 -1 4202560 10718 0 0 0 48 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30176] ppid=30170 vsize=10557584 CPUtime=0.46 cores=1,3,5,7
/proc/30172/task/30176/stat : 30176 (java) S 30170 30172 30116 0 -1 4202560 11955 0 0 0 45 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30177] ppid=30170 vsize=10557584 CPUtime=0.19 cores=1,3,5,7
/proc/30172/task/30177/stat : 30177 (java) S 30170 30172 30116 0 -1 4202560 1844 0 0 0 19 0 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30178] ppid=30170 vsize=10557584 CPUtime=0.35 cores=1,3,5,7
/proc/30172/task/30178/stat : 30178 (java) S 30170 30172 30116 0 -1 4202560 3107 0 0 0 35 0 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30179] ppid=30170 vsize=10557584 CPUtime=0.41 cores=1,3,5,7
/proc/30172/task/30179/stat : 30179 (java) S 30170 30172 30116 0 -1 4202560 11920 0 0 0 40 1 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30180] ppid=30170 vsize=10557584 CPUtime=0.54 cores=1,3,5,7
/proc/30172/task/30180/stat : 30180 (java) S 30170 30172 30116 0 -1 4202560 13932 0 0 0 53 1 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30181] ppid=30170 vsize=10557584 CPUtime=0.44 cores=1,3,5,7
/proc/30172/task/30181/stat : 30181 (java) S 30170 30172 30116 0 -1 4202560 17703 0 0 0 41 3 0 0 15 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30182] ppid=30170 vsize=10557584 CPUtime=0.22 cores=1,3,5,7
/proc/30172/task/30182/stat : 30182 (java) S 30170 30172 30116 0 -1 4202560 8112 0 0 0 22 0 0 0 16 0 22 0 909762692 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30183] ppid=30170 vsize=10557584 CPUtime=5.73 cores=1,3,5,7
/proc/30172/task/30183/stat : 30183 (java) S 30170 30172 30116 0 -1 4202560 69371 0 0 0 565 8 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 0 0 16800975 18446604464488044672 0 0 -1 1 0 0 0
[pid=30172/tid=30184] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30184/stat : 30184 (java) S 30170 30172 30116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30185] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30185/stat : 30185 (java) S 30170 30172 30116 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 909762694 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30186] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30186/stat : 30186 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907314097 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30187] ppid=30170 vsize=10557584 CPUtime=1.11 cores=1,3,5,7
/proc/30172/task/30187/stat : 30187 (java) S 30170 30172 30116 0 -1 4202560 5819 0 0 0 111 0 0 0 15 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
[pid=30172/tid=30188] ppid=30170 vsize=10557584 CPUtime=1.29 cores=1,3,5,7
/proc/30172/task/30188/stat : 30188 (java) S 30170 30172 30116 0 -1 4202560 4905 0 0 0 129 0 0 0 16 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30189] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30189/stat : 30189 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907306393 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30190] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30190/stat : 30190 (java) S 30170 30172 30116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909762696 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 3 0 0 0
[pid=30172/tid=30303] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30303/stat : 30303 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909766244 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 7 0 0 0
[pid=30172/tid=30347] ppid=30170 vsize=10557584 CPUtime=260.61 cores=1,3,5,7
/proc/30172/task/30347/stat : 30347 (java) R 30170 30172 30116 0 -1 4202560 1 0 0 0 26061 0 0 0 25 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912506059273 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30172/tid=30348] ppid=30170 vsize=10557584 CPUtime=260.63 cores=1,3,5,7
/proc/30172/task/30348/stat : 30348 (java) R 30170 30172 30116 0 -1 4202560 3 0 0 0 26063 0 0 0 25 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 46912505968019 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30172/tid=30349] ppid=30170 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30172/task/30349/stat : 30349 (java) S 30170 30172 30116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909827115 10810966016 881469 33554432000 1073741824 1073778376 140736664438928 18446744073709551615 231907307008 0 4 0 16800975 18446604464488044672 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10557584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.023 s]
/proc/loadavg: 4.10 4.02 3.93 5/486 30365
/proc/meminfo: memFree=23477412/32950928 swapFree=52246700/67111528
[pid=30172] ppid=30170 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/30172/stat : 30172 (java) Z 30170 30172 30116 0 -1 4203548 886738 0 1 0 179906 117 0 0 17 0 2 0 909762690 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30172/statm: 0 0 0 0 0 0 0
[pid=30172/tid=30347] ppid=30170 vsize=0 CPUtime=260.71 cores=1,3,5,7
/proc/30172/task/30347/stat : 30347 (java) R 30170 30172 30116 0 -1 4203588 1 0 0 0 26064 7 0 0 25 0 2 0 909827115 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): 907.09
CPU time (s): 1800.3
CPU user time (s): 1799.07
CPU system time (s): 1.23581
CPU usage (%): 198.47
Max. virtual memory (cumulated for all children) (KiB): 10557584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.23581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886738
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= 21954
involuntary context switches= 15021
runsolver used 4.05538 second user time and 9.99048 second system time
The end