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-3457234-1307217685/watcher-3457234-1307217685 -o /tmp/evaluation-result-3457234-1307217685/solver-3457234-1307217685 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457234-1307217685.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.56 1.92 1.69 2/473 1230
/proc/meminfo: memFree=24043596/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1230/stat : 1230 (java) R 1228 1230 633 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 814184387 23580672 694 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220811273704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1230/statm: 5757 694 511 9 0 124 0
[pid=1230/tid=1231] ppid=1228 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 5072 0 1 0 0 0 0 0 25 0 2 0 814184387 10694979584 5887 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0617401 s]
/proc/loadavg: 1.56 1.92 1.69 2/473 1230
/proc/meminfo: memFree=24043596/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 11641 0 1 0 3 2 0 0 25 0 18 0 814184387 10724130816 11337 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2618196 11338 1730 9 0 2608937 0
[pid=1230/tid=1231] ppid=1228 vsize=10472784 CPUtime=0.04 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 10468 0 1 0 3 1 0 0 25 0 18 0 814184387 10724130816 11338 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46955861179331 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.100761 s]
/proc/loadavg: 1.56 1.92 1.69 2/473 1230
/proc/meminfo: memFree=24043596/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10605720 CPUtime=0.1 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 13026 0 1 0 8 2 0 0 25 0 18 0 814184387 10860257280 12722 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2651430 12722 2092 9 0 2642164 0
[pid=1230/tid=1231] ppid=1228 vsize=10605720 CPUtime=0.09 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 11105 0 1 0 7 2 0 0 25 0 18 0 814184387 10860257280 12722 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912496203163 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605720
[startup+0.300834 s]
/proc/loadavg: 1.56 1.92 1.69 2/473 1230
/proc/meminfo: memFree=24043596/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10614504 CPUtime=0.49 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 18632 0 1 0 46 3 0 0 25 0 19 0 814184387 10869252096 16854 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2653626 16854 2209 9 0 2644360 0
[pid=1230/tid=1231] ppid=1228 vsize=10614504 CPUtime=0.28 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 12633 0 1 0 26 2 0 0 25 0 19 0 814184387 10869252096 16854 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10614504
[startup+0.700658 s]
/proc/loadavg: 1.56 1.92 1.69 2/473 1230
/proc/meminfo: memFree=24043596/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10617812 CPUtime=1.54 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 45186 0 1 0 147 7 0 0 25 0 19 0 814184387 10872639488 42084 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2654453 42089 2218 9 0 2645187 0
[pid=1230/tid=1231] ppid=1228 vsize=10617812 CPUtime=0.68 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 35506 0 1 0 62 6 0 0 25 0 19 0 814184387 10872639488 42090 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505562466 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10617812
[startup+1.50148 s]
/proc/loadavg: 1.56 1.92 1.69 3/492 1249
/proc/meminfo: memFree=23247064/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10617928 CPUtime=2.7 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 115637 0 1 0 256 14 0 0 25 0 19 0 814184387 10872758272 111331 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2654482 111335 2225 9 0 2645216 0
[pid=1230/tid=1231] ppid=1228 vsize=10617928 CPUtime=1.48 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 104745 0 1 0 135 13 0 0 18 0 19 0 814184387 10872758272 111338 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505583146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111342 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111346 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111350 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111354 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111357 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111361 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111365 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 111368 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814184390 10872758272 111371 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 111375 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 111378 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10872758272 111382 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10617928 CPUtime=0.57 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3531 0 0 0 57 0 0 0 15 0 19 0 814184392 10872758272 111385 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10617928 CPUtime=0.63 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6207 0 0 0 63 0 0 0 15 0 19 0 814184393 10872758272 111388 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184393 10872758272 111391 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814184393 10872758272 111394 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10872758272 111397 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10617928
[startup+3.1012 s]
/proc/loadavg: 1.56 1.92 1.69 3/492 1249
/proc/meminfo: memFree=22215244/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10617928 CPUtime=4.41 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 268602 0 1 0 406 35 0 0 25 0 19 0 814184387 10872758272 264294 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2654482 264302 2225 9 0 2645216 0
[pid=1230/tid=1231] ppid=1228 vsize=10617928 CPUtime=3.08 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 257703 0 1 0 275 33 0 0 19 0 19 0 814184387 10872758272 264305 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505583146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264309 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264314 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264317 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264322 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264326 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264330 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264334 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 264338 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814184390 10872758272 264342 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 264346 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 264350 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10872758272 264354 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10617928 CPUtime=0.66 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3542 0 0 0 66 0 0 0 15 0 19 0 814184392 10872758272 264358 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10617928 CPUtime=0.64 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6207 0 0 0 64 0 0 0 15 0 19 0 814184393 10872758272 264362 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184393 10872758272 264366 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814184393 10872758272 264369 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10872758272 264373 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 10617928
[startup+6.30165 s]
/proc/loadavg: 1.59 1.92 1.69 3/492 1249
/proc/meminfo: memFree=19931568/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10617928 CPUtime=7.62 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 554124 0 1 0 691 71 0 0 25 0 19 0 814184387 10872758272 549540 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2654482 549545 2226 9 0 2645216 0
[pid=1230/tid=1231] ppid=1228 vsize=10617928 CPUtime=6.28 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 543219 0 1 0 558 70 0 0 25 0 19 0 814184387 10872758272 549547 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505546606 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549549 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549552 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549554 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549556 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549558 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549560 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549562 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184389 10872758272 549564 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814184390 10872758272 549566 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 549568 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814184390 10872758272 549570 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10617928 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10872758272 549571 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10617928 CPUtime=0.67 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3543 0 0 0 67 0 0 0 15 0 19 0 814184392 10872758272 549573 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10617928 CPUtime=0.64 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6208 0 0 0 64 0 0 0 15 0 19 0 814184393 10872758272 549575 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=1230/tid=1248] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814184393 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.21
Current children cumulated vsize (KiB) 10611780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/492 1344
/proc/meminfo: memFree=15922156/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10611780 CPUtime=1725.22 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 1035777 0 1 0 172376 146 0 0 25 0 19 0 814184387 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2652945 1017798 2242 9 0 2643679 0
[pid=1230/tid=1231] ppid=1228 vsize=10611780 CPUtime=1721.67 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 793360 0 1 0 172068 99 0 0 25 0 19 0 814184387 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912506037307 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10611780 CPUtime=0.24 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 28395 0 0 0 19 5 0 0 16 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10611780 CPUtime=0.28 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 31452 0 0 0 23 5 0 0 16 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10611780 CPUtime=0.21 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 21681 0 0 0 18 3 0 0 16 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10611780 CPUtime=0.26 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 28190 0 0 0 21 5 0 0 16 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 35180 0 0 0 23 6 0 0 15 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10611780 CPUtime=0.3 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 33390 0 0 0 24 6 0 0 15 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 30163 0 0 0 22 7 0 0 15 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10611780 CPUtime=0.21 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 22880 0 0 0 17 4 0 0 15 0 19 0 814184389 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 814184390 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10611780 CPUtime=0.71 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3555 0 0 0 71 0 0 0 15 0 19 0 814184392 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10611780 CPUtime=0.64 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6208 0 0 0 64 0 0 0 15 0 19 0 814184393 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184393 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814184393 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10866462720 1017798 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.22
Current children cumulated vsize (KiB) 10611780
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.95 3/492 1346
/proc/meminfo: memFree=15869308/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10611780 CPUtime=1785.25 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 1041430 0 1 0 178378 147 0 0 25 0 19 0 814184387 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2652945 1023202 2242 9 0 2643679 0
[pid=1230/tid=1231] ppid=1228 vsize=10611780 CPUtime=1781.65 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 793361 0 1 0 178066 99 0 0 25 0 19 0 814184387 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505613679 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10611780 CPUtime=0.26 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 29001 0 0 0 21 5 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 32312 0 0 0 24 5 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10611780 CPUtime=0.21 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 21681 0 0 0 18 3 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10611780 CPUtime=0.27 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 28682 0 0 0 22 5 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 35180 0 0 0 23 6 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10611780 CPUtime=0.3 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 33390 0 0 0 24 6 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10611780 CPUtime=0.3 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 32372 0 0 0 23 7 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10611780 CPUtime=0.22 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 24361 0 0 0 18 4 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10611780 CPUtime=0.71 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3555 0 0 0 71 0 0 0 15 0 19 0 814184392 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10611780 CPUtime=0.64 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6208 0 0 0 64 0 0 0 15 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 10611780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.04 2.03 1.95 3/492 1346
/proc/meminfo: memFree=15865704/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=10611780 CPUtime=1800.06 cores=0,2,4,6
/proc/1230/stat : 1230 (java) S 1228 1230 633 0 -1 4202496 1041432 0 1 0 179859 147 0 0 25 0 19 0 814184387 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 2652945 1023202 2242 9 0 2643679 0
[pid=1230/tid=1231] ppid=1228 vsize=10611780 CPUtime=1796.47 cores=0,2,4,6
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 633 0 -1 4202560 793361 0 1 0 179548 99 0 0 25 0 19 0 814184387 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 46912505862935 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=10611780 CPUtime=0.26 cores=0,2,4,6
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 633 0 -1 4202560 29001 0 0 0 21 5 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 633 0 -1 4202560 32312 0 0 0 24 5 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=10611780 CPUtime=0.21 cores=0,2,4,6
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 633 0 -1 4202560 21681 0 0 0 18 3 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=10611780 CPUtime=0.27 cores=0,2,4,6
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 633 0 -1 4202560 28682 0 0 0 22 5 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=10611780 CPUtime=0.29 cores=0,2,4,6
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 633 0 -1 4202560 35180 0 0 0 23 6 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=10611780 CPUtime=0.3 cores=0,2,4,6
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 633 0 -1 4202560 33390 0 0 0 24 6 0 0 15 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=10611780 CPUtime=0.3 cores=0,2,4,6
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 633 0 -1 4202560 32372 0 0 0 23 7 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=10611780 CPUtime=0.22 cores=0,2,4,6
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 633 0 -1 4202560 24361 0 0 0 18 4 0 0 16 0 19 0 814184389 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 633 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 0 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814184390 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1244/stat : 1244 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184392 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828060081 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=10611780 CPUtime=0.71 cores=0,2,4,6
/proc/1230/task/1245/stat : 1245 (java) S 1228 1230 633 0 -1 4202560 3555 0 0 0 71 0 0 0 15 0 19 0 814184392 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 2 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=10611780 CPUtime=0.64 cores=0,2,4,6
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 633 0 -1 4202560 6208 0 0 0 64 0 0 0 15 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052377 0 4 0 16800975 18446604445725827200 0 0 -1 0 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814184393 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 4 0 0 0
[pid=1230/tid=1249] ppid=1228 vsize=10611780 CPUtime=0 cores=0,2,4,6
/proc/1230/task/1249/stat : 1249 (java) S 1228 1230 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814184407 10866462720 1023202 33554432000 1073741824 1073778376 140735817208480 18446744073709551615 220828052992 0 4 0 16800975 18446604445725827200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10611780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.22 s]
/proc/loadavg: 2.04 2.03 1.95 3/492 1346
/proc/meminfo: memFree=15865704/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/1230/stat : 1230 (java) Z 1228 1230 633 0 -1 4203548 1041463 0 1 0 179862 156 0 0 17 0 2 0 814184387 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 0 0 0 0 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/1230/task/1247/stat : 1247 (java) R 1228 1230 633 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 814184393 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1797.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/476 1349
/proc/meminfo: memFree=19941272/32951124 swapFree=60476376/67111528
[pid=1230] ppid=1228 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/1230/stat : 1230 (java) Z 1228 1230 633 0 -1 4203548 1041463 0 1 0 179862 164 0 0 17 0 1 0 814184387 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1230/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.32
CPU time (s): 1800.27
CPU user time (s): 1798.62
CPU system time (s): 1.64275
CPU usage (%): 100.164
Max. virtual memory (cumulated for all children) (KiB): 10621396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.64275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1041463
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= 38204
involuntary context switches= 30910
runsolver used 9.07362 second user time and 18.1532 second system time
The end