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-3456677-1307217686/watcher-3456677-1307217686 -o /tmp/evaluation-result-3456677-1307217686/solver-3456677-1307217686 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456677-1307217686.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.57 1.93 1.69 2/516 25255
/proc/meminfo: memFree=28698732/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 5828 0 1 0 0 0 0 0 18 0 2 0 833368275 10694979584 5531 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2611079 5543 917 9 0 2602235 0
[pid=25255/tid=25256] ppid=25253 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 7293 0 1 0 0 0 0 0 19 0 2 0 833368276 10694979584 8109 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0736569 s]
/proc/loadavg: 1.57 1.93 1.69 2/516 25255
/proc/meminfo: memFree=28698732/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 11942 0 1 0 5 1 0 0 18 0 18 0 833368275 10791550976 11639 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2634656 11639 1754 9 0 2625390 0
[pid=25255/tid=25256] ppid=25253 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 10767 0 1 0 5 1 0 0 25 0 18 0 833368276 10791550976 11639 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 47595657009171 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.10065 s]
/proc/loadavg: 1.57 1.93 1.69 2/516 25255
/proc/meminfo: memFree=28698732/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10540224 CPUtime=0.1 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 13079 0 1 0 8 2 0 0 18 0 18 0 833368275 10793189376 12776 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2635056 12776 2092 9 0 2625790 0
[pid=25255/tid=25256] ppid=25253 vsize=10540224 CPUtime=0.08 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 11174 0 1 0 7 1 0 0 25 0 18 0 833368276 10793189376 12776 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540224
[startup+0.300612 s]
/proc/loadavg: 1.57 1.93 1.69 2/516 25255
/proc/meminfo: memFree=28698732/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10542828 CPUtime=0.54 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 17480 0 1 0 51 3 0 0 18 0 18 0 833368275 10795855872 16460 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2635707 16461 2206 9 0 2626441 0
[pid=25255/tid=25256] ppid=25253 vsize=10542828 CPUtime=0.28 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 13777 0 1 0 27 1 0 0 25 0 18 0 833368276 10795855872 16462 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505594531 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542828
[startup+0.700546 s]
/proc/loadavg: 1.57 1.93 1.69 2/516 25255
/proc/meminfo: memFree=28698732/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=1.65 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 35417 0 1 0 160 5 0 0 18 0 19 0 833368275 10812284928 31325 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 31326 2235 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=0.68 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 20713 0 1 0 66 2 0 0 25 0 19 0 833368276 10812284928 31330 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505628223 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10558872
[startup+1.50142 s]
/proc/loadavg: 1.57 1.93 1.69 3/535 25274
/proc/meminfo: memFree=28493076/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=2.95 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 95033 0 1 0 282 13 0 0 18 0 19 0 833368275 10812284928 90105 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 90106 2236 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=1.48 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 79421 0 1 0 138 10 0 0 18 0 19 0 833368276 10812284928 90107 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505955371 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833368277 10812284928 90108 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 90109 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 90110 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 90112 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 90113 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 90118 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 90120 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 90121 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 833368278 10812284928 90122 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833368279 10812284928 90123 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833368279 10812284928 90124 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 90126 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.72 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9087 0 0 0 71 1 0 0 15 0 19 0 833368281 10812284928 90128 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=0.72 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5366 0 0 0 72 0 0 0 15 0 19 0 833368281 10812284928 90129 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 90130 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 90132 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 90133 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10558872
[startup+3.10115 s]
/proc/loadavg: 1.60 1.93 1.69 4/535 25274
/proc/meminfo: memFree=28119712/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=4.71 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 210981 0 1 0 445 26 0 0 18 0 19 0 833368275 10812284928 206051 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 206055 2236 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=3.08 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 195351 0 1 0 285 23 0 0 20 0 19 0 833368276 10812284928 206055 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505864522 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833368277 10812284928 206057 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 206058 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 206060 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 206061 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 206063 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 206065 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 206067 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 206069 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833368278 10812284928 206071 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833368279 10812284928 206073 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833368279 10812284928 206074 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 206076 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.82 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9103 0 0 0 81 1 0 0 15 0 19 0 833368281 10812284928 206078 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=0.78 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5369 0 0 0 78 0 0 0 15 0 19 0 833368281 10812284928 206079 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 206080 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 206082 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 206083 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 10558872
[startup+6.30162 s]
/proc/loadavg: 1.60 1.93 1.69 3/535 25274
/proc/meminfo: memFree=27140904/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=7.97 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 443520 0 1 0 745 52 0 0 18 0 19 0 833368275 10812284928 438057 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 438059 2239 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=6.28 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 427875 0 1 0 580 48 0 0 19 0 19 0 833368276 10812284928 438060 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912506104619 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833368277 10812284928 438061 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 438063 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 438064 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 438065 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 438066 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833368277 10812284928 438068 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 438069 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368277 10812284928 438070 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833368278 10812284928 438072 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833368279 10812284928 438073 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833368279 10812284928 438074 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 438075 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.83 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9105 0 0 0 82 1 0 0 15 0 19 0 833368281 10812284928 438077 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=0.82 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5381 0 0 0 82 0 0 0 15 0 19 0 833368281 10812284928 438078 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 1001618 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 1001618 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 1001618 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.73
Current children cumulated vsize (KiB) 10558872
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 1.97 3/535 25323
/proc/meminfo: memFree=20680552/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=1728.9 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 1019273 0 1 0 172773 117 0 0 18 0 19 0 833368275 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 1008444 2265 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=1719.94 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 801529 0 1 0 171905 89 0 0 25 0 19 0 833368276 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505811439 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0.89 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 28443 0 0 0 86 3 0 0 16 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0.74 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 19015 0 0 0 72 2 0 0 16 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0.91 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 28495 0 0 0 88 3 0 0 15 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0.89 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 31465 0 0 0 86 3 0 0 15 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0.78 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 21086 0 0 0 76 2 0 0 16 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0.78 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 19730 0 0 0 76 2 0 0 15 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0.84 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 28921 0 0 0 81 3 0 0 15 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0.79 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 24336 0 0 0 77 2 0 0 15 0 19 0 833368277 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0.34 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 502 0 0 0 34 0 0 0 15 0 19 0 833368278 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.86 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9110 0 0 0 85 1 0 0 16 0 19 0 833368281 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=1.01 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5391 0 0 0 100 1 0 0 15 0 19 0 833368281 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 1008444 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.9
Current children cumulated vsize (KiB) 10558872
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/535 25325
/proc/meminfo: memFree=20642604/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=1789.04 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 1023977 0 1 0 178786 118 0 0 18 0 19 0 833368275 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 1012902 2265 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=1779.89 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 801531 0 1 0 177900 89 0 0 25 0 19 0 833368276 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505932261 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0.92 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 28582 0 0 0 89 3 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0.76 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 19281 0 0 0 74 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0.94 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 29925 0 0 0 91 3 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0.92 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 32982 0 0 0 89 3 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0.81 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 22180 0 0 0 79 2 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0.78 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 19730 0 0 0 76 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0.87 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 29116 0 0 0 84 3 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0.81 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 24393 0 0 0 79 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0.34 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 504 0 0 0 34 0 0 0 15 0 19 0 833368278 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.86 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9110 0 0 0 85 1 0 0 16 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=1.01 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5391 0 0 0 100 1 0 0 15 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 10558872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 1.96 2.04 1.96 3/535 25373
/proc/meminfo: memFree=22726048/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=10558872 CPUtime=1800.06 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25253 25255 24816 0 -1 4202496 1023979 0 1 0 179888 118 0 0 18 0 19 0 833368275 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 2639718 1012902 2265 9 0 2630452 0
[pid=25255/tid=25256] ppid=25253 vsize=10558872 CPUtime=1790.91 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25253 25255 24816 0 -1 4202560 801531 0 1 0 179002 89 0 0 25 0 19 0 833368276 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 46912505838360 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25255/tid=25258] ppid=25253 vsize=10558872 CPUtime=0.92 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25253 25255 24816 0 -1 4202560 28582 0 0 0 89 3 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25259] ppid=25253 vsize=10558872 CPUtime=0.76 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25253 25255 24816 0 -1 4202560 19281 0 0 0 74 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25260] ppid=25253 vsize=10558872 CPUtime=0.94 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25253 25255 24816 0 -1 4202560 29925 0 0 0 91 3 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25261] ppid=25253 vsize=10558872 CPUtime=0.92 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25253 25255 24816 0 -1 4202560 32982 0 0 0 89 3 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25262] ppid=25253 vsize=10558872 CPUtime=0.81 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25253 25255 24816 0 -1 4202560 22180 0 0 0 79 2 0 0 16 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25263] ppid=25253 vsize=10558872 CPUtime=0.78 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25253 25255 24816 0 -1 4202560 19730 0 0 0 76 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25264] ppid=25253 vsize=10558872 CPUtime=0.87 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25253 25255 24816 0 -1 4202560 29116 0 0 0 84 3 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 7 0 0 0
[pid=25255/tid=25265] ppid=25253 vsize=10558872 CPUtime=0.81 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25253 25255 24816 0 -1 4202560 24393 0 0 0 79 2 0 0 15 0 19 0 833368277 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25266] ppid=25253 vsize=10558872 CPUtime=0.34 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25253 25255 24816 0 -1 4202560 504 0 0 0 34 0 0 0 15 0 19 0 833368278 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 0 0 16800975 18446604456586593472 0 0 -1 1 0 0 0
[pid=25255/tid=25267] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25253 25255 24816 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25268] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25253 25255 24816 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833368279 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25269] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658970033 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25270] ppid=25253 vsize=10558872 CPUtime=0.86 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25253 25255 24816 0 -1 4202560 9110 0 0 0 85 1 0 0 16 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
[pid=25255/tid=25271] ppid=25253 vsize=10558872 CPUtime=1.01 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25253 25255 24816 0 -1 4202560 5391 0 0 0 100 1 0 0 15 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25272] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25253 25255 24816 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962329 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25273] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25253 25255 24816 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833368281 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 3 0 0 0
[pid=25255/tid=25274] ppid=25253 vsize=10558872 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) S 25253 25255 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833368309 10812284928 1012902 33554432000 1073741824 1073778376 140734741445472 18446744073709551615 210658962944 0 4 0 16800975 18446604456586593472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10558872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.43 s]
/proc/loadavg: 1.96 2.04 1.96 3/535 25373
/proc/meminfo: memFree=22726048/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/25255/stat : 25255 (java) Z 25253 25255 24816 0 -1 4203548 1024017 0 1 0 179899 122 0 0 17 0 2 0 833368275 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
[startup+1793.5 s]
/proc/loadavg: 1.96 2.04 1.96 3/535 25373
/proc/meminfo: memFree=22726048/32951132 swapFree=57925096/67111528
[pid=25255] ppid=25253 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/25255/stat : 25255 (java) Z 25253 25255 24816 0 -1 4203548 1024017 0 1 0 179899 130 0 0 17 0 2 0 833368275 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25255/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.53
CPU time (s): 1800.32
CPU user time (s): 1798.99
CPU system time (s): 1.3268
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 10558872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.3268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024017
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= 38960
involuntary context switches= 19115
runsolver used 9.35758 second user time and 21.5847 second system time
The end