Trace number 3456906\nSat4j CuttingPlanes 2.3.0 ? (TO) 1800.3 1795.68\n0.10/0.11\tc solving HOME/instance-3456906-1307202006.opb\n0.27/0.22\tc #vars     490\n0.27/0.22\tc #constraints  737\n0.27/0.22\tc org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 253\n0.27/0.22\tc org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144\n0.27/0.22\tc org.sat4j.pb.constraints.pb.MinWatchCardPB => 2\n0.27/0.22\tc org.sat4j.pb.constraints.pb.MaxWatchPb => 338\n175.56/173.51\tc cleaning 0 clauses out of 5000 with flag 0/5000\n1185.31/1181.63\tc cleaning 0 clauses out of 11001 with flag 0/11001\n1800.10/1795.52\tc starts\t\t: 37\n1800.10/1795.52\tc conflicts\t\t: 13282\n1800.10/1795.52\tc decisions\t\t: 20076\n1800.10/1795.52\tc propagations\t\t: 538140\n1800.10/1795.52\tc inspects\t\t: 1403213687\n1800.10/1795.52\tc shortcuts\t\t: 0\n1800.10/1795.52\tc learnt literals\t: 0\n1800.10/1795.52\tc learnt binary clauses\t: 0\n1800.10/1795.52\tc learnt ternary clauses\t: 0\n1800.10/1795.52\tc learnt constraints\t: 13282\n1800.10/1795.52\tc ignored constraints\t: 0\n1800.10/1795.52\tc root simplifications\t: 0\n1800.10/1795.52\tc removed literals (reason simplification)\t: 0\n1800.10/1795.52\tc reason swapping (by a shorter reason)\t: 0\n1800.10/1795.52\tc Calls to reduceDB\t: 2\n1800.10/1795.52\tc number of reductions to clauses (during analyze)\t: 0\n1800.10/1795.52\tc number of learned constraints concerned by reduction\t: 0\n1800.10/1795.52\tc number of learning phase by resolution\t: 0\n1800.10/1795.52\tc number of learning phase by cutting planes\t: 0\n1800.10/1795.52\tc speed (assignments/second)\t: 299.7493455132847\n1800.10/1795.52\tc non guided choices\t56\n1800.10/1795.53\tc org.sat4j.pb.constraints.pb.MaxWatchPb => 13282\n1800.10/1795.53\tc org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 253\n1800.10/1795.53\tc org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144\n1800.10/1795.53\tc org.sat4j.pb.constraints.pb.MinWatchCardPB => 2\n1800.10/1795.53\tc org.sat4j.pb.constraints.pb.MaxWatchPb => 338\n1800.10/1795.53\tc Total wall clock time (in seconds): 1795.424\ncommand line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456906-1307202006/watcher-3456906-1307202006 -o /tmp/evaluation-result-3456906-1307202006/solver-3456906-1307202006 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456906-1307202006.opb\n/proc/loadavg: 0.92 0.97 0.85 1/394 15785\n/proc/meminfo: memFree=30000544/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=35820 CPUtime=0 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 1362 0 1 0 0 0 0 0 25 0 2 0 831800363 36679680 1065 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 8955 1066 828 9 0 386 0\n[pid=15785/tid=15786] ppid=15783 vsize=10444316 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 2867 0 1 0 0 0 0 0 25 0 2 0 831800363 10694979584 3683 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0\n[pid=15785] ppid=15783 vsize=10467480 CPUtime=0.04 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 11324 0 1 0 3 1 0 0 25 0 13 0 831800363 10718699520 11021 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2616870 11021 1678 9 0 2607618 0\n[pid=15785/tid=15786] ppid=15783 vsize=10467480 CPUtime=0.03 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 10177 0 1 0 2 1 0 0 25 0 13 0 831800363 10718699520 11021 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237278875653 0 4 0 16784584 0 0 0 -1 7 0 0 0\n[pid=15785] ppid=15783 vsize=10539372 CPUtime=0.1 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 12942 0 1 0 9 1 0 0 25 0 18 0 831800363 10792316928 12639 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2634843 12640 2092 9 0 2625577 0\n[pid=15785/tid=15786] ppid=15783 vsize=10539372 CPUtime=0.09 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 11182 0 1 0 8 1 0 0 25 0 18 0 831800363 10792316928 12640 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 1 0 0 0\nCurrent children cumulated vsize (KiB) 10539372\n[pid=15785] ppid=15783 vsize=10543692 CPUtime=0.49 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 17143 0 1 0 47 2 0 0 25 0 19 0 831800363 10796740608 16035 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2635923 16036 2205 9 0 2626657 0\n[pid=15785/tid=15786] ppid=15783 vsize=10543692 CPUtime=0.28 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 12469 0 1 0 27 1 0 0 25 0 19 0 831800363 10796740608 16036 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=1.65 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 34425 0 1 0 161 4 0 0 25 0 19 0 831800363 10803032064 29462 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 29467 2224 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=0.68 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 22643 0 1 0 65 3 0 0 25 0 19 0 831800363 10803032064 29468 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505623877 0 4 0 16800975 0 0 0 -1 1 0 0 0\nCurrent children cumulated vsize (KiB) 10549836\n/proc/loadavg: 0.92 0.97 0.85 2/413 15804\n/proc/meminfo: memFree=29812608/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=2.64 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 90251 0 1 0 254 10 0 0 25 0 19 0 831800363 10803032064 84201 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 84204 2227 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=1.48 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 77356 0 1 0 139 9 0 0 25 0 19 0 831800363 10803032064 84206 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505673527 0 4 0 16800975 0 0 0 -1 1 0 0 0\n[pid=15785/tid=15788] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15788/stat : 15788 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84208 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15789] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15789/stat : 15789 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84210 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15790] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15790/stat : 15790 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84212 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15791] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15791/stat : 15791 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84214 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15792] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15792/stat : 15792 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84216 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15793] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15793/stat : 15793 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84218 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15794] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15794/stat : 15794 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84220 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15795] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15795/stat : 15795 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 84222 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15796] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15796/stat : 15796 (java) S 15783 15785 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 84224 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 0 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15797] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15797/stat : 15797 (java) S 15783 15785 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 84225 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15798] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 84227 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15799] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 84228 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15800] ppid=15783 vsize=10549836 CPUtime=0.52 cores=1,3,5,7\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6088 0 0 0 52 0 0 0 24 0 19 0 831800369 10803032064 84230 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15801] ppid=15783 vsize=10549836 CPUtime=0.61 cores=1,3,5,7\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5653 0 0 0 61 0 0 0 20 0 19 0 831800369 10803032064 84233 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n[pid=15785/tid=15802] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15802/stat : 15802 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 84235 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15803] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15803/stat : 15803 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831800369 10803032064 84237 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n[pid=15785/tid=15804] ppid=15783 vsize=10549836 CPUtime=0 cores=1,3,5,7\n/proc/15785/task/15804/stat : 15804 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800385 10803032064 84238 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/meminfo: memFree=29499012/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=4.26 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 200786 0 1 0 401 25 0 0 25 0 19 0 831800363 10803032064 194736 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 194738 2227 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=3.08 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 187888 0 1 0 285 23 0 0 25 0 19 0 831800363 10803032064 194740 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505673016 0 4 0 16800975 0 0 0 -1 1 0 0 0\n/proc/15785/task/15788/stat : 15788 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194741 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15789/stat : 15789 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194742 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15790/stat : 15790 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194744 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15791/stat : 15791 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194746 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15792/stat : 15792 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194747 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15793/stat : 15793 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194749 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15794/stat : 15794 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194751 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15795/stat : 15795 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 194753 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15796/stat : 15796 (java) S 15783 15785 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 194755 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 0 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15797/stat : 15797 (java) S 15783 15785 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 194756 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 194758 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 194760 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15800] ppid=15783 vsize=10549836 CPUtime=0.53 cores=1,3,5,7\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6088 0 0 0 53 0 0 0 18 0 19 0 831800369 10803032064 194762 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15801] ppid=15783 vsize=10549836 CPUtime=0.62 cores=1,3,5,7\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5655 0 0 0 62 0 0 0 15 0 19 0 831800369 10803032064 194763 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15802/stat : 15802 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 194765 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15803/stat : 15803 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831800369 10803032064 194767 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15804/stat : 15804 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800385 10803032064 194769 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/loadavg: 0.93 0.97 0.85 2/413 15804\n/proc/meminfo: memFree=28617360/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=7.47 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 411790 0 1 0 698 49 0 0 25 0 19 0 831800363 10803032064 405738 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 405740 2228 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=6.28 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 398888 0 1 0 580 48 0 0 25 0 19 0 831800363 10803032064 405741 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505673542 0 4 0 16800975 0 0 0 -1 1 0 0 0\n/proc/15785/task/15788/stat : 15788 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405743 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15789/stat : 15789 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405744 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15790/stat : 15790 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405746 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15791/stat : 15791 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405747 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15792/stat : 15792 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405748 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15793/stat : 15793 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405749 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15794/stat : 15794 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405750 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15795/stat : 15795 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800365 10803032064 405752 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15796/stat : 15796 (java) S 15783 15785 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831800366 10803032064 405753 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 0 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15797/stat : 15797 (java) S 15783 15785 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 405754 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800366 10803032064 405755 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 405757 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6088 0 0 0 53 0 0 0 15 0 19 0 831800369 10803032064 405758 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15801] ppid=15783 vsize=10549836 CPUtime=0.63 cores=1,3,5,7\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5656 0 0 0 63 0 0 0 15 0 19 0 831800369 10803032064 405759 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15800] ppid=15783 vsize=10549836 CPUtime=0.63 cores=1,3,5,7\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6108 0 0 0 63 0 0 0 15 0 19 0 831800369 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15801] ppid=15783 vsize=10549836 CPUtime=0.71 cores=1,3,5,7\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5676 0 0 0 71 0 0 0 15 0 19 0 831800369 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15802/stat : 15802 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15803/stat : 15803 (java) S 15783 15785 15661 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 831800369 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n/proc/15785/task/15804/stat : 15804 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800385 10803032064 935104 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/loadavg: 1.00 1.00 0.94 2/413 15862\n/proc/meminfo: memFree=26253684/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=1726.8 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 943814 0 1 0 172565 115 0 0 25 0 19 0 831800363 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 936059 2257 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=1720.3 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 813457 0 1 0 171933 97 0 0 25 0 19 0 831800363 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505869319 0 4 0 16800975 0 0 0 -1 5 0 0 0\n[pid=15785/tid=15788] ppid=15783 vsize=10549836 CPUtime=0.43 cores=1,3,5,7\n/proc/15785/task/15788/stat : 15788 (java) S 15783 15785 15661 0 -1 4202560 12994 0 0 0 41 2 0 0 15 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n[pid=15785/tid=15789] ppid=15783 vsize=10549836 CPUtime=0.57 cores=1,3,5,7\n/proc/15785/task/15789/stat : 15789 (java) S 15783 15785 15661 0 -1 4202560 13035 0 0 0 56 1 0 0 16 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15790] ppid=15783 vsize=10549836 CPUtime=0.57 cores=1,3,5,7\n/proc/15785/task/15790/stat : 15790 (java) S 15783 15785 15661 0 -1 4202560 17840 0 0 0 55 2 0 0 16 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15791] ppid=15783 vsize=10549836 CPUtime=0.63 cores=1,3,5,7\n/proc/15785/task/15791/stat : 15791 (java) S 15783 15785 15661 0 -1 4202560 16055 0 0 0 62 1 0 0 15 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n[pid=15785/tid=15792] ppid=15783 vsize=10549836 CPUtime=0.54 cores=1,3,5,7\n/proc/15785/task/15792/stat : 15792 (java) S 15783 15785 15661 0 -1 4202560 11646 0 0 0 53 1 0 0 16 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15793] ppid=15783 vsize=10549836 CPUtime=0.66 cores=1,3,5,7\n/proc/15785/task/15793/stat : 15793 (java) S 15783 15785 15661 0 -1 4202560 19519 0 0 0 64 2 0 0 15 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15794] ppid=15783 vsize=10549836 CPUtime=0.5 cores=1,3,5,7\n/proc/15785/task/15794/stat : 15794 (java) S 15783 15785 15661 0 -1 4202560 12011 0 0 0 49 1 0 0 16 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n[pid=15785/tid=15795] ppid=15783 vsize=10549836 CPUtime=0.53 cores=1,3,5,7\n/proc/15785/task/15795/stat : 15795 (java) S 15783 15785 15661 0 -1 4202560 12991 0 0 0 52 1 0 0 16 0 19 0 831800365 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n[pid=15785/tid=15796] ppid=15783 vsize=10549836 CPUtime=0.6 cores=1,3,5,7\n/proc/15785/task/15796/stat : 15796 (java) S 15783 15785 15661 0 -1 4202560 1225 0 0 0 60 0 0 0 15 0 19 0 831800366 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 0 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15797/stat : 15797 (java) S 15783 15785 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6108 0 0 0 63 0 0 0 15 0 19 0 831800369 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5676 0 0 0 71 0 0 0 15 0 19 0 831800369 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15802/stat : 15802 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15803/stat : 15803 (java) S 15783 15785 15661 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 831800369 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n/proc/15785/task/15804/stat : 15804 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800385 10803032064 936059 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/loadavg: 1.00 1.00 0.94 2/413 15864\n/proc/meminfo: memFree=26248456/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=1786.89 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 945057 0 1 0 178574 115 0 0 25 0 19 0 831800363 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 2637459 937268 2257 9 0 2628193 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=1780.23 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 813460 0 1 0 177926 97 0 0 25 0 19 0 831800363 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505869345 0 4 0 16800975 0 0 0 -1 5 0 0 0\n[pid=15785/tid=15788] ppid=15783 vsize=10549836 CPUtime=0.45 cores=1,3,5,7\n/proc/15785/task/15788/stat : 15788 (java) S 15783 15785 15661 0 -1 4202560 13161 0 0 0 43 2 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n/proc/15785/task/15789/stat : 15789 (java) S 15783 15785 15661 0 -1 4202560 13035 0 0 0 56 1 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15790] ppid=15783 vsize=10549836 CPUtime=0.59 cores=1,3,5,7\n/proc/15785/task/15790/stat : 15790 (java) S 15783 15785 15661 0 -1 4202560 18063 0 0 0 57 2 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n[pid=15785/tid=15791] ppid=15783 vsize=10549836 CPUtime=0.66 cores=1,3,5,7\n/proc/15785/task/15791/stat : 15791 (java) S 15783 15785 15661 0 -1 4202560 16303 0 0 0 65 1 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n/proc/15785/task/15792/stat : 15792 (java) S 15783 15785 15661 0 -1 4202560 11646 0 0 0 53 1 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n[pid=15785/tid=15793] ppid=15783 vsize=10549836 CPUtime=0.7 cores=1,3,5,7\n/proc/15785/task/15793/stat : 15793 (java) S 15783 15785 15661 0 -1 4202560 19847 0 0 0 68 2 0 0 16 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15794/stat : 15794 (java) S 15783 15785 15661 0 -1 4202560 12011 0 0 0 49 1 0 0 15 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n[pid=15785/tid=15795] ppid=15783 vsize=10549836 CPUtime=0.57 cores=1,3,5,7\n/proc/15785/task/15795/stat : 15795 (java) S 15783 15785 15661 0 -1 4202560 13257 0 0 0 56 1 0 0 16 0 19 0 831800365 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 5 0 0 0\n/proc/15785/task/15796/stat : 15796 (java) S 15783 15785 15661 0 -1 4202560 1229 0 0 0 60 0 0 0 15 0 19 0 831800366 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 0 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15797/stat : 15797 (java) S 15783 15785 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15798/stat : 15798 (java) S 15783 15785 15661 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831800366 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15799/stat : 15799 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290703281 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15800/stat : 15800 (java) S 15783 15785 15661 0 -1 4202560 6108 0 0 0 63 0 0 0 15 0 19 0 831800369 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15801/stat : 15801 (java) S 15783 15785 15661 0 -1 4202560 5676 0 0 0 71 0 0 0 15 0 19 0 831800369 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 3 0 0 0\n/proc/15785/task/15802/stat : 15802 (java) S 15783 15785 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831800369 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290695577 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/15785/task/15803/stat : 15803 (java) S 15783 15785 15661 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 831800369 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 1 0 0 0\n/proc/15785/task/15804/stat : 15804 (java) S 15783 15785 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831800385 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290696192 0 4 0 16800975 18446604460426860480 0 0 -1 7 0 0 0\n/proc/meminfo: memFree=26248444/32950904 swapFree=56615552/67111528\n[pid=15785] ppid=15783 vsize=10549836 CPUtime=1800.1 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) S 15783 15785 15661 0 -1 4202496 945057 0 1 0 179895 115 0 0 25 0 19 0 831800363 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n[pid=15785/tid=15786] ppid=15783 vsize=10549836 CPUtime=1793.45 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4202560 813460 0 1 0 179248 97 0 0 25 0 19 0 831800363 10803032064 937268 33554432000 1073741824 1073778376 140734387873568 18446744073709551615 46912505672199 0 4 0 16800975 0 0 0 -1 5 0 0 0\n[pid=15785] ppid=15783 vsize=0 CPUtime=1800.23 cores=1,3,5,7\n/proc/15785/stat : 15785 (java) Z 15783 15785 15661 0 -1 4203548 945092 0 1 0 179899 124 0 0 17 0 2 0 831800363 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0\n/proc/15785/statm: 0 0 0 0 0 0 0\n[pid=15785/tid=15786] ppid=15783 vsize=0 CPUtime=1793.55 cores=1,3,5,7\n/proc/15785/task/15786/stat : 15786 (java) R 15783 15785 15661 0 -1 4203588 813460 0 1 0 179250 105 0 0 25 0 2 0 831800363 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0\nMax. virtual memory (cumulated for all children) (KiB): 10554268\npage reclaims= 945092\nvoluntary context switches= 38993\nrunsolver used 6.66199 second user time and 17.8383 second system time\nBegin job on node121 at 2011-06-04 17:40:06\nRUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456906-1307202006/watcher-3456906-1307202006 -o /tmp/evaluation-result-3456906-1307202006/solver-3456906-1307202006 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456906-1307202006.opb\nMemFree:      30000808 kB\nBuffers:        334632 kB\nCached:         511384 kB\nActive:        2229232 kB\nInactive:       461060 kB\nLowFree:      30000808 kB\nAnonPages:     1841784 kB\nSlab:           142280 kB\nCommitted_AS: 83500052 kB\nEnd job on node121 at 2011-06-04 18:10:04


St. Gallen, Stiftsbibliothek, Cod. Sang. 536, p. 398 – Directorium perpetuum ecclesie sancti Galli, Series prima, Regulae 18–25 (http://www.e-codices.chfr/csg/0536/398/270/Sequence-2955)


Version vom 9. Dezember 2008, 15:28 Uhr (Quelltext anzeigen)\nVersion vom 9. Dezember 2008, 15:28 Uhr


Die Besten Pensionen und B&Bs in Schondorf am Ammersee 2017 (mit Preisen) - TripAdvisor\nBeste Pensionen und B&Bs in Schondorf am Ammersee\nSchondorf am Ammersee Pensionen und B&Bs\nB&B/Pensionen in der Umgebung von Schondorf am Ammersee (27)\n7,8 km von Schondorf am Ammersee\n8,8 km von Schondorf am Ammersee\n12,0 km von Schondorf am Ammersee\n17,1 km von Schondorf am Ammersee\n18,4 km von Schondorf am Ammersee\n8,5 km von Schondorf am Ammersee\n8,6 km von Schondorf am Ammersee\n8,7 km von Schondorf am Ammersee\n8,9 km von Schondorf am Ammersee\n9,0 km von Schondorf am Ammersee\n9,6 km von Schondorf am Ammersee\n10,3 km von Schondorf am Ammersee\n11,8 km von Schondorf am Ammersee\n15,8 km von Schondorf am Ammersee\n16,0 km von Schondorf am Ammersee\n16,1 km von Schondorf am Ammersee\n17,4 km von Schondorf am Ammersee\n17,7 km von Schondorf am Ammersee\n17,8 km von Schondorf am Ammersee\n18,0 km von Schondorf am Ammersee\n18,3 km von Schondorf am Ammersee\n19,0 km von Schondorf am Ammersee\n19,1 km von Schondorf am Ammersee\nNr. 1 von 3 Schondorf am Ammersee B&B/Pensionen\nNr. 2 von 3 Schondorf am Ammersee B&B/Pensionen