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-3457261-1307219475/watcher-3457261-1307219475 -o /tmp/evaluation-result-3457261-1307219475/solver-3457261-1307219475 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457261-1307219475.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.36 2.14 2.01 2/539 5263
/proc/meminfo: memFree=20759832/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 1441 0 1 0 0 0 0 0 18 0 2 0 814362988 88928256 1142 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 21711 1147 894 9 0 12867 0
[pid=5263/tid=5264] ppid=5261 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 7731 0 1 0 0 0 0 0 19 0 2 0 814362988 10694979584 8547 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.028787 s]
/proc/loadavg: 2.36 2.14 2.01 2/539 5263
/proc/meminfo: memFree=20759832/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 10753 0 1 0 1 1 0 0 18 0 10 0 814362988 10705932288 10451 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2613753 10451 1515 9 0 2604501 0
[pid=5263/tid=5264] ppid=5261 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 9631 0 1 0 1 0 0 0 22 0 10 0 814362988 10705932288 10452 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107277771 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100776 s]
/proc/loadavg: 2.36 2.14 2.01 2/539 5263
/proc/meminfo: memFree=20759832/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10540204 CPUtime=0.1 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 13102 0 1 0 9 1 0 0 18 0 18 0 814362988 10793168896 12777 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2635051 12777 2092 9 0 2625785 0
[pid=5263/tid=5264] ppid=5261 vsize=10540204 CPUtime=0.09 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 11169 0 1 0 8 1 0 0 18 0 18 0 814362988 10793168896 12777 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 47105764410904 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) 10540204
[startup+0.300704 s]
/proc/loadavg: 2.36 2.14 2.01 2/539 5263
/proc/meminfo: memFree=20759832/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10549044 CPUtime=0.58 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 19711 0 1 0 57 1 0 0 18 0 18 0 814362988 10802221056 18637 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2637261 18640 2207 9 0 2627995 0
[pid=5263/tid=5264] ppid=5261 vsize=10549044 CPUtime=0.28 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 14910 0 1 0 27 1 0 0 18 0 18 0 814362988 10802221056 18641 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505585621 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10549044
[startup+0.700678 s]
/proc/loadavg: 2.36 2.14 2.01 2/539 5263
/proc/meminfo: memFree=20759832/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10550072 CPUtime=1.2 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 22766 0 1 0 118 2 0 0 18 0 19 0 814362988 10803273728 21692 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2637518 21692 2229 9 0 2628252 0
[pid=5263/tid=5264] ppid=5261 vsize=10550072 CPUtime=0.68 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 17894 0 1 0 67 1 0 0 19 0 19 0 814362988 10803273728 21692 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505733227 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10550072
[startup+1.50152 s]
/proc/loadavg: 2.36 2.14 2.01 3/558 5282
/proc/meminfo: memFree=20642512/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=2.63 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 33876 0 1 0 260 3 0 0 18 0 19 0 814362988 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 29255 2232 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=1.48 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 20227 0 1 0 147 1 0 0 20 0 19 0 814362988 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505733454 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814362990 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814362991 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362991 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.47 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2650 0 0 0 47 0 0 0 15 0 19 0 814362993 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.66 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9838 0 0 0 65 1 0 0 21 0 19 0 814362993 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 29255 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10562776
[startup+3.10124 s]
/proc/loadavg: 2.36 2.14 2.01 3/558 5282
/proc/meminfo: memFree=20555712/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=4.3 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 39471 0 1 0 426 4 0 0 18 0 19 0 814362988 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 34848 2232 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=3.08 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 25811 0 1 0 306 2 0 0 25 0 19 0 814362988 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505733186 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814362990 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814362991 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362991 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.5 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2657 0 0 0 50 0 0 0 15 0 19 0 814362993 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.7 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9842 0 0 0 69 1 0 0 15 0 19 0 814362993 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 34848 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10562776
[startup+6.30064 s]
/proc/loadavg: 2.33 2.14 2.00 3/558 5282
/proc/meminfo: memFree=19514200/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=7.65 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 304176 0 1 0 734 31 0 0 18 0 19 0 814362988 10816282624 298762 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 298768 2234 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=6.28 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 290504 0 1 0 599 29 0 0 19 0 19 0 814362988 10816282624 298768 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505980473 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814362990 10816282624 298772 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298779 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298786 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298793 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298800 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298800 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814362990 10816282624 298800 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814362990 10816282624 298807 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814362991 10816282624 298814 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814362991 10816282624 298821 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814362991 10816282624 298827 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 298833 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.6 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2667 0 0 0 60 0 0 0 15 0 19 0 814362993 10816282624 298833 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.75 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9850 0 0 0 74 1 0 0 16 0 19 0 814362993 10816282624 298834 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.97 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2719 0 0 0 97 0 0 0 15 0 19 0 814362993 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.79 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9852 0 0 0 78 1 0 0 15 0 19 0 814362993 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 1050224 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1672.94
Current children cumulated vsize (KiB) 10562776
[startup+1722.3 s]
/proc/loadavg: 2.05 2.09 2.05 3/558 5327
/proc/meminfo: memFree=12483708/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=1733.6 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 1080492 0 1 0 173228 132 0 0 18 0 19 0 814362988 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 1068920 2248 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=1717.89 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 838806 0 1 0 171698 91 0 0 25 0 19 0 814362988 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505581543 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=1.56 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 28633 0 0 0 153 3 0 0 15 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=1.68 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 29093 0 0 0 165 3 0 0 15 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=1.87 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 29898 0 0 0 182 5 0 0 16 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=1.69 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 24043 0 0 0 166 3 0 0 16 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=1.73 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 25924 0 0 0 169 4 0 0 16 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=1.8 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 31967 0 0 0 176 4 0 0 16 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=1.75 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 24328 0 0 0 171 4 0 0 15 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=1.67 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 33871 0 0 0 163 4 0 0 16 0 19 0 814362990 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0.04 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 108 0 0 0 3 1 0 0 15 0 19 0 814362991 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.97 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2719 0 0 0 97 0 0 0 15 0 19 0 814362993 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.79 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9852 0 0 0 78 1 0 0 15 0 19 0 814362993 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 1068920 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.6
Current children cumulated vsize (KiB) 10562776
[startup+1782.3 s]
/proc/loadavg: 1.94 2.05 2.04 3/558 5377
/proc/meminfo: memFree=16303412/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=1793.91 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 1092594 0 1 0 179257 134 0 0 18 0 19 0 814362988 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 1080323 2248 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=1777.75 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 838813 0 1 0 177684 91 0 0 25 0 19 0 814362988 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505984657 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=1.63 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 29703 0 0 0 159 4 0 0 16 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=1.72 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 30472 0 0 0 169 3 0 0 15 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=1.94 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 33382 0 0 0 189 5 0 0 15 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=1.78 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 27532 0 0 0 174 4 0 0 15 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=1.8 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 26567 0 0 0 176 4 0 0 16 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=1.82 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 31979 0 0 0 178 4 0 0 15 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=1.78 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 24921 0 0 0 174 4 0 0 15 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=1.75 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 35290 0 0 0 170 5 0 0 16 0 19 0 814362990 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0.04 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 110 0 0 0 3 1 0 0 15 0 19 0 814362991 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.97 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2719 0 0 0 97 0 0 0 15 0 19 0 814362993 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.79 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9852 0 0 0 78 1 0 0 15 0 19 0 814362993 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 1080323 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1793.91
Current children cumulated vsize (KiB) 10562776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.2 s]
/proc/loadavg: 1.95 2.05 2.04 3/558 5386
/proc/meminfo: memFree=14968220/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=10562776 CPUtime=1800.04 cores=1,3,5,7
/proc/5263/stat : 5263 (java) S 5261 5263 4768 0 -1 4202496 1133475 0 1 0 179864 140 0 0 18 0 19 0 814362988 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 2640694 1119179 2248 9 0 2631428 0
[pid=5263/tid=5264] ppid=5261 vsize=10562776 CPUtime=1783.59 cores=1,3,5,7
/proc/5263/task/5264/stat : 5264 (java) R 5261 5263 4768 0 -1 4202560 838815 0 1 0 178268 91 0 0 25 0 19 0 814362988 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 46912505984592 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5263/tid=5266] ppid=5261 vsize=10562776 CPUtime=1.63 cores=1,3,5,7
/proc/5263/task/5266/stat : 5266 (java) S 5261 5263 4768 0 -1 4202560 29703 0 0 0 159 4 0 0 15 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5267] ppid=5261 vsize=10562776 CPUtime=1.78 cores=1,3,5,7
/proc/5263/task/5267/stat : 5267 (java) S 5261 5263 4768 0 -1 4202560 35586 0 0 0 174 4 0 0 16 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5268] ppid=5261 vsize=10562776 CPUtime=2.02 cores=1,3,5,7
/proc/5263/task/5268/stat : 5268 (java) S 5261 5263 4768 0 -1 4202560 45005 0 0 0 195 7 0 0 16 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5269] ppid=5261 vsize=10562776 CPUtime=1.78 cores=1,3,5,7
/proc/5263/task/5269/stat : 5269 (java) S 5261 5263 4768 0 -1 4202560 27532 0 0 0 174 4 0 0 15 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5270] ppid=5261 vsize=10562776 CPUtime=1.89 cores=1,3,5,7
/proc/5263/task/5270/stat : 5270 (java) S 5261 5263 4768 0 -1 4202560 39085 0 0 0 183 6 0 0 16 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5271] ppid=5261 vsize=10562776 CPUtime=1.82 cores=1,3,5,7
/proc/5263/task/5271/stat : 5271 (java) S 5261 5263 4768 0 -1 4202560 31979 0 0 0 178 4 0 0 15 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5272] ppid=5261 vsize=10562776 CPUtime=1.86 cores=1,3,5,7
/proc/5263/task/5272/stat : 5272 (java) S 5261 5263 4768 0 -1 4202560 36543 0 0 0 180 6 0 0 16 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5273] ppid=5261 vsize=10562776 CPUtime=1.75 cores=1,3,5,7
/proc/5263/task/5273/stat : 5273 (java) S 5261 5263 4768 0 -1 4202560 35290 0 0 0 170 5 0 0 15 0 19 0 814362990 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5274] ppid=5261 vsize=10562776 CPUtime=0.04 cores=1,3,5,7
/proc/5263/task/5274/stat : 5274 (java) S 5261 5263 4768 0 -1 4202560 112 0 0 0 3 1 0 0 15 0 19 0 814362991 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=5263/tid=5275] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5275/stat : 5275 (java) S 5261 5263 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5276] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5276/stat : 5276 (java) S 5261 5263 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814362991 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5277] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5277/stat : 5277 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5278] ppid=5261 vsize=10562776 CPUtime=0.97 cores=1,3,5,7
/proc/5263/task/5278/stat : 5278 (java) S 5261 5263 4768 0 -1 4202560 2719 0 0 0 97 0 0 0 15 0 19 0 814362993 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=5263/tid=5279] ppid=5261 vsize=10562776 CPUtime=0.79 cores=1,3,5,7
/proc/5263/task/5279/stat : 5279 (java) S 5261 5263 4768 0 -1 4202560 9852 0 0 0 78 1 0 0 15 0 19 0 814362993 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=5263/tid=5280] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5280/stat : 5280 (java) S 5261 5263 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814362993 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5281] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5281/stat : 5281 (java) S 5261 5263 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814362993 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=5263/tid=5282] ppid=5261 vsize=10562776 CPUtime=0 cores=1,3,5,7
/proc/5263/task/5282/stat : 5282 (java) S 5261 5263 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814363022 10816282624 1119179 33554432000 1073741824 1073778376 140735810823024 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10562776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.4 s]
/proc/loadavg: 1.95 2.05 2.04 3/558 5386
/proc/meminfo: memFree=14968220/32951124 swapFree=58800704/67111528
[pid=5263] ppid=5261 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/5263/stat : 5263 (java) Z 5261 5263 4768 0 -1 4203548 1133508 0 1 0 179870 154 0 0 17 0 2 0 814362988 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5263/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.43
CPU time (s): 1800.28
CPU user time (s): 1798.7
CPU system time (s): 1.57376
CPU usage (%): 100.663
Max. virtual memory (cumulated for all children) (KiB): 10562776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.57376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1133508
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= 43548
involuntary context switches= 17662
runsolver used 8.94164 second user time and 22.3016 second system time
The end