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-3456705-1307217880/watcher-3456705-1307217880 -o /tmp/evaluation-result-3456705-1307217880/solver-3456705-1307217880 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456705-1307217880.opb
running on 4 cores: 0,2,4,6
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.99 2.00 1.76 2/568 3312
/proc/meminfo: memFree=17539248/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3312/stat : 3312 (java) R 3310 3312 3030 0 -1 4202496 922 0 0 0 0 0 0 0 25 0 1 0 833388415 23580672 666 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253635897109 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3312/statm: 5757 679 496 9 0 124 0
[pid=3312/tid=3313] ppid=3310 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 6713 0 1 0 0 0 0 0 25 0 2 0 833388416 10694979584 7529 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.061822 s]
/proc/loadavg: 1.99 2.00 1.76 2/568 3312
/proc/meminfo: memFree=17539248/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 11633 0 1 0 3 2 0 0 25 0 18 0 833388415 10724130816 11330 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2618196 11330 1730 9 0 2608937 0
[pid=3312/tid=3313] ppid=3310 vsize=10472784 CPUtime=0.04 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 10460 0 1 0 3 1 0 0 25 0 18 0 833388416 10724130816 11331 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 47470671738392 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.100793 s]
/proc/loadavg: 1.99 2.00 1.76 2/568 3312
/proc/meminfo: memFree=17539248/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10539700 CPUtime=0.1 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 13057 0 1 0 8 2 0 0 25 0 18 0 833388415 10792652800 12731 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2634925 12731 2093 9 0 2625659 0
[pid=3312/tid=3313] ppid=3310 vsize=10539700 CPUtime=0.08 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 11120 0 1 0 7 1 0 0 18 0 18 0 833388416 10792652800 12731 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539700
[startup+0.331078 s]
/proc/loadavg: 1.99 2.00 1.76 2/568 3312
/proc/meminfo: memFree=17539248/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10543020 CPUtime=0.61 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 16998 0 1 0 59 2 0 0 25 0 19 0 833388415 10796052480 16064 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2635755 16065 2208 9 0 2626489 0
[pid=3312/tid=3313] ppid=3310 vsize=10543020 CPUtime=0.31 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 12974 0 1 0 29 2 0 0 19 0 19 0 833388416 10796052480 16065 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505644042 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10543020
[startup+0.700663 s]
/proc/loadavg: 1.99 2.00 1.76 2/568 3312
/proc/meminfo: memFree=17539248/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10551644 CPUtime=1.48 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 49353 0 1 0 141 7 0 0 25 0 19 0 833388415 10804883456 44442 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637911 44443 2219 9 0 2628645 0
[pid=3312/tid=3313] ppid=3310 vsize=10551644 CPUtime=0.68 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 37948 0 1 0 63 5 0 0 18 0 19 0 833388416 10804883456 44443 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 47470669534856 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10551644
[startup+1.50152 s]
/proc/loadavg: 1.99 2.00 1.76 4/587 3332
/proc/meminfo: memFree=17268164/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10551644 CPUtime=2.51 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 119977 0 1 0 238 13 0 0 25 0 19 0 833388415 10804883456 111565 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637911 111566 2222 9 0 2628645 0
[pid=3312/tid=3313] ppid=3310 vsize=10551644 CPUtime=1.48 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 105040 0 1 0 137 11 0 0 19 0 19 0 833388416 10804883456 111566 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505644046 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111566 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111567 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111567 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111568 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111568 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111568 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111568 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 111569 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833388418 10804883456 111569 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833388419 10804883456 111569 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388419 10804883456 111569 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10804883456 111570 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10551644 CPUtime=0.46 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4633 0 0 0 46 0 0 0 15 0 19 0 833388421 10804883456 111573 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10551644 CPUtime=0.55 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 9145 0 0 0 54 1 0 0 15 0 19 0 833388421 10804883456 111574 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3330] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10804883456 111577 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833388421 10804883456 111578 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10804883456 111578 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10551644
[startup+3.10125 s]
/proc/loadavg: 1.99 2.00 1.76 3/587 3332
/proc/meminfo: memFree=16893808/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10551644 CPUtime=4.13 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 249594 0 1 0 385 28 0 0 25 0 19 0 833388415 10804883456 241181 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637911 241183 2223 9 0 2628645 0
[pid=3312/tid=3313] ppid=3310 vsize=10551644 CPUtime=3.08 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 234660 0 1 0 282 26 0 0 18 0 19 0 833388416 10804883456 241185 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505875834 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241186 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241188 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241189 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241191 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241193 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241195 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241197 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10804883456 241198 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833388418 10804883456 241200 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833388419 10804883456 241201 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388419 10804883456 241203 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10804883456 241204 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10551644 CPUtime=0.46 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4633 0 0 0 46 0 0 0 15 0 19 0 833388421 10804883456 241206 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10551644 CPUtime=0.56 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 9146 0 0 0 55 1 0 0 15 0 19 0 833388421 10804883456 241207 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3330] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10804883456 241209 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833388421 10804883456 241210 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10551644 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10804883456 241211 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10551644
[startup+6.30068 s]
/proc/loadavg: 1.99 2.00 1.76 3/587 3332
/proc/meminfo: memFree=15815508/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10548612 CPUtime=7.43 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 511382 0 1 0 687 56 0 0 25 0 19 0 833388415 10801778688 502023 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637153 502024 2228 9 0 2627887 0
[pid=3312/tid=3313] ppid=3310 vsize=10548612 CPUtime=6.28 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 496433 0 1 0 575 53 0 0 18 0 19 0 833388416 10801778688 502025 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912506002640 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502026 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502027 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502027 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502028 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502029 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502034 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502040 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388417 10801778688 502046 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833388418 10801778688 502050 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833388419 10801778688 502055 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833388419 10801778688 502055 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 502059 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10548612 CPUtime=0.54 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4641 0 0 0 54 0 0 0 15 0 19 0 833388421 10801778688 502060 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10548612 CPUtime=0.59 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 9149 0 0 0 58 1 0 0 15 0 19 0 833388421 10801778688 502061 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=3312/tid=3330] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1070767 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833388421 10801778688 1070767 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10801778688 1070767 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.1
Current children cumulated vsize (KiB) 10548612
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 1.98 3/587 3431
/proc/meminfo: memFree=13195372/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10548612 CPUtime=1730.28 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 1096106 0 1 0 172896 132 0 0 25 0 19 0 833388415 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637153 1077192 2257 9 0 2627887 0
[pid=3312/tid=3313] ppid=3310 vsize=10548612 CPUtime=1717.79 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 805275 0 1 0 171694 85 0 0 25 0 19 0 833388416 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505651796 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10548612 CPUtime=1 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 29464 0 0 0 97 3 0 0 15 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10548612 CPUtime=1.01 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 29732 0 0 0 98 3 0 0 15 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10548612 CPUtime=1.24 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 32468 0 0 0 119 5 0 0 15 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10548612 CPUtime=1.42 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 39368 0 0 0 136 6 0 0 16 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10548612 CPUtime=1.08 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 31282 0 0 0 103 5 0 0 16 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10548612 CPUtime=1.08 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 37312 0 0 0 102 6 0 0 16 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10548612 CPUtime=1.14 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 32137 0 0 0 110 4 0 0 15 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10548612 CPUtime=1.09 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 36750 0 0 0 103 6 0 0 16 0 19 0 833388417 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10548612 CPUtime=1.64 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5875 0 0 0 163 1 0 0 15 0 19 0 833388418 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10548612 CPUtime=0.75 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4695 0 0 0 75 0 0 0 15 0 19 0 833388421 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10548612 CPUtime=0.88 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 10499 0 0 0 87 1 0 0 15 0 19 0 833388421 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3330] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833388421 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10801778688 1077192 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.28
Current children cumulated vsize (KiB) 10548612
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/587 3433
/proc/meminfo: memFree=13110668/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10548612 CPUtime=1790.44 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 1106897 0 1 0 178910 134 0 0 25 0 19 0 833388415 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637153 1087042 2257 9 0 2627887 0
[pid=3312/tid=3313] ppid=3310 vsize=10548612 CPUtime=1777.71 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 805277 0 1 0 177686 85 0 0 25 0 19 0 833388416 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505651710 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10548612 CPUtime=1.04 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 31503 0 0 0 101 3 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10548612 CPUtime=1.06 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 31878 0 0 0 102 4 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10548612 CPUtime=1.28 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 34817 0 0 0 123 5 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10548612 CPUtime=1.42 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 39368 0 0 0 136 6 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10548612 CPUtime=1.08 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 31282 0 0 0 103 5 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10548612 CPUtime=1.12 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 38172 0 0 0 106 6 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10548612 CPUtime=1.19 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 33715 0 0 0 114 5 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10548612 CPUtime=1.13 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 38559 0 0 0 107 6 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10548612 CPUtime=1.64 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5879 0 0 0 163 1 0 0 15 0 19 0 833388418 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10548612 CPUtime=0.75 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4695 0 0 0 75 0 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10548612 CPUtime=0.88 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 10499 0 0 0 87 1 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3330] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (KiB) 10548612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.92 s]
/proc/loadavg: 2.06 2.06 2.00 3/587 3433
/proc/meminfo: memFree=13104344/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=10548612 CPUtime=1800.07 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3310 3312 3030 0 -1 4202496 1106897 0 1 0 179873 134 0 0 25 0 19 0 833388415 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 2637153 1087042 2257 9 0 2627887 0
[pid=3312/tid=3313] ppid=3310 vsize=10548612 CPUtime=1787.35 cores=0,2,4,6
/proc/3312/task/3313/stat : 3313 (java) R 3310 3312 3030 0 -1 4202560 805277 0 1 0 178650 85 0 0 25 0 19 0 833388416 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 46912505651854 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3312/tid=3316] ppid=3310 vsize=10548612 CPUtime=1.04 cores=0,2,4,6
/proc/3312/task/3316/stat : 3316 (java) S 3310 3312 3030 0 -1 4202560 31503 0 0 0 101 3 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3317] ppid=3310 vsize=10548612 CPUtime=1.06 cores=0,2,4,6
/proc/3312/task/3317/stat : 3317 (java) S 3310 3312 3030 0 -1 4202560 31878 0 0 0 102 4 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3318] ppid=3310 vsize=10548612 CPUtime=1.28 cores=0,2,4,6
/proc/3312/task/3318/stat : 3318 (java) S 3310 3312 3030 0 -1 4202560 34817 0 0 0 123 5 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3319] ppid=3310 vsize=10548612 CPUtime=1.42 cores=0,2,4,6
/proc/3312/task/3319/stat : 3319 (java) S 3310 3312 3030 0 -1 4202560 39368 0 0 0 136 6 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3320] ppid=3310 vsize=10548612 CPUtime=1.08 cores=0,2,4,6
/proc/3312/task/3320/stat : 3320 (java) S 3310 3312 3030 0 -1 4202560 31282 0 0 0 103 5 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3321] ppid=3310 vsize=10548612 CPUtime=1.12 cores=0,2,4,6
/proc/3312/task/3321/stat : 3321 (java) S 3310 3312 3030 0 -1 4202560 38172 0 0 0 106 6 0 0 15 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3322] ppid=3310 vsize=10548612 CPUtime=1.19 cores=0,2,4,6
/proc/3312/task/3322/stat : 3322 (java) S 3310 3312 3030 0 -1 4202560 33715 0 0 0 114 5 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
[pid=3312/tid=3323] ppid=3310 vsize=10548612 CPUtime=1.13 cores=0,2,4,6
/proc/3312/task/3323/stat : 3323 (java) S 3310 3312 3030 0 -1 4202560 38559 0 0 0 107 6 0 0 16 0 19 0 833388417 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3324] ppid=3310 vsize=10548612 CPUtime=1.64 cores=0,2,4,6
/proc/3312/task/3324/stat : 3324 (java) S 3310 3312 3030 0 -1 4202560 5879 0 0 0 163 1 0 0 15 0 19 0 833388418 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 0 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3325] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3325/stat : 3325 (java) S 3310 3312 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3326] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3326/stat : 3326 (java) S 3310 3312 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833388419 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3327] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3327/stat : 3327 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652683185 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3328] ppid=3310 vsize=10548612 CPUtime=0.75 cores=0,2,4,6
/proc/3312/task/3328/stat : 3328 (java) S 3310 3312 3030 0 -1 4202560 4695 0 0 0 75 0 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 2 0 0 0
[pid=3312/tid=3329] ppid=3310 vsize=10548612 CPUtime=0.88 cores=0,2,4,6
/proc/3312/task/3329/stat : 3329 (java) S 3310 3312 3030 0 -1 4202560 10499 0 0 0 87 1 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3330] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3330/stat : 3330 (java) S 3310 3312 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652675481 0 4 0 16800975 18446604450116217792 0 0 -1 4 0 0 0
[pid=3312/tid=3331] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3331/stat : 3331 (java) S 3310 3312 3030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833388421 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 0 0 0 0
[pid=3312/tid=3332] ppid=3310 vsize=10548612 CPUtime=0 cores=0,2,4,6
/proc/3312/task/3332/stat : 3332 (java) S 3310 3312 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833388438 10801778688 1087042 33554432000 1073741824 1073778376 140735628199024 18446744073709551615 253652676096 0 4 0 16800975 18446604450116217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.03 s]
/proc/loadavg: 2.06 2.06 2.00 3/587 3433
/proc/meminfo: memFree=13104344/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/3312/stat : 3312 (java) Z 3310 3312 3030 0 -1 4203548 1106934 0 1 0 179879 139 0 0 17 0 2 0 833388415 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1792.1 s]
/proc/loadavg: 2.06 2.06 2.00 3/587 3433
/proc/meminfo: memFree=13104344/32951124 swapFree=53733252/67111528
[pid=3312] ppid=3310 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/3312/stat : 3312 (java) Z 3310 3312 3030 0 -1 4203548 1106934 0 1 0 179879 146 0 0 17 0 2 0 833388415 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.14
CPU time (s): 1800.3
CPU user time (s): 1798.79
CPU system time (s): 1.50877
CPU usage (%): 100.455
Max. virtual memory (cumulated for all children) (KiB): 10551644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.50877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106934
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= 39061
involuntary context switches= 11953
runsolver used 10.6504 second user time and 22.3886 second system time
The end