Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.68 | 1781.19 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb |
MD5SUM | 924af7c450ed428ac078913fd23bc162 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.25881 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 691 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.14 c no version file found!!! 0.14 c sun.arch.data.model 32 0.14 c java.version 1.5.0_06 0.14 c os.name Linux 0.14 c os.version 2.6.9-22.EL.rootsmp 0.14 c os.arch i386 0.14 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node16/43591-1149220890/instance-43591-1149220890.opb 0.20 c reading problem ... 0.65 c ... done. Time 0.453 ms. 0.65 c #vars 231 0.65 c #constraints 2707 1781.08 c starts : 14 1781.09 c conflicts : 41827 1781.09 c decisions : 152215 1781.09 c propagations : 1151949 1781.09 c inspects : 572176220 1781.09 c learnt literals : 0 1781.09 c learnt binary clauses : 0 1781.09 c learnt ternary clauses : 5 1781.09 c learnt clauses : 41827 1781.09 c root simplifications : 0 1781.09 c removed literals (reason simplification) : 0 1781.09 c reason swapping (by a shorter reason) : 0 1781.09 c Calls to reduceDB : 0 1781.09 c speed (decisions/second) : 85.4931519544381 1781.09 c non guided choices 232 1781.09 s UNKNOWN 1781.09 c Total wall clock time (ms): 1780.89
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-43591-1149220890 -o ROOT/results/node16/solver-43591-1149220890 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/43591-1149220890/instance-43591-1149220890.opb 70574887 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.95 0.98 0.92 2/64 9120 /proc/meminfo: memFree=1439472/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1784 CPUtime=0 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 178 0 0 0 0 0 0 0 19 0 1 0 187751901 1826816 148 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9120/statm: 446 148 113 14 0 91 0 [startup+10.0036 s] /proc/loadavg: 0.96 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1249056/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=11.38 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 53492 0 1 0 1114 24 0 0 25 0 13 0 187751901 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071441482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 49388 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.2 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 5703 0 0 0 19 1 0 0 16 0 13 0 187751904 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.2 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 5841 0 0 0 18 2 0 0 16 0 13 0 187751904 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187751906 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.76 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1696 0 0 0 75 1 0 0 17 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=0.89 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1907 0 0 0 88 1 0 0 16 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 187751966 1754304512 49388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.38 Current children cumulated vsize (Kb) 1713188 [startup+20.0093 s] /proc/loadavg: 0.96 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1240928/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=21.47 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 56046 0 1 0 2121 26 0 0 21 0 13 0 187751901 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 51373 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.27 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 6981 0 0 0 25 2 0 0 16 0 13 0 187751904 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.28 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 7109 0 0 0 25 3 0 0 16 0 13 0 187751904 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187751906 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.77 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1696 0 0 0 76 1 0 0 16 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=0.91 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1907 0 0 0 90 1 0 0 17 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 187751966 1754304512 51373 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.47 Current children cumulated vsize (Kb) 1713188 [startup+30.0148 s] /proc/loadavg: 0.97 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1237216/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=31.55 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 58901 0 1 0 3128 27 0 0 25 0 13 0 187751901 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071519729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 52309 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.35 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 8456 0 0 0 32 3 0 0 16 0 13 0 187751904 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.35 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 8481 0 0 0 31 4 0 0 16 0 13 0 187751904 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 187751906 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.77 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1696 0 0 0 76 1 0 0 16 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=0.91 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1907 0 0 0 90 1 0 0 17 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 187751966 1754304512 52309 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.55 Current children cumulated vsize (Kb) 1713188 [startup+40.0202 s] /proc/loadavg: 0.97 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1238176/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=41.63 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 60655 0 1 0 4134 29 0 0 25 0 13 0 187751901 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071101923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 52073 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.42 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 9360 0 0 0 39 3 0 0 16 0 13 0 187751904 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.42 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 9323 0 0 0 38 4 0 0 16 0 13 0 187751904 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.01 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 1 0 0 0 17 0 13 0 187751906 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.77 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1696 0 0 0 76 1 0 0 16 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=0.91 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1907 0 0 0 90 1 0 0 17 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 52073 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.63 Current children cumulated vsize (Kb) 1713188 [startup+50.0257 s] /proc/loadavg: 0.98 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1240032/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=51.7 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 62296 0 1 0 5140 30 0 0 25 0 13 0 187751901 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071442038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 51607 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.5 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 10178 0 0 0 46 4 0 0 16 0 13 0 187751904 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.5 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 10137 0 0 0 45 5 0 0 16 0 13 0 187751904 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.02 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 1 1 0 0 16 0 13 0 187751906 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.77 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1696 0 0 0 76 1 0 0 16 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=0.91 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1907 0 0 0 90 1 0 0 16 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 51607 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.7 Current children cumulated vsize (Kb) 1713188 [startup+60.0311 s] /proc/loadavg: 0.98 0.98 0.92 2/76 9132 /proc/meminfo: memFree=1240288/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=61.77 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 63487 0 1 0 6146 31 0 0 24 0 13 0 187751901 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071373081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 51534 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=0.56 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 10920 0 0 0 52 4 0 0 16 0 13 0 187751904 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=0.56 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 10578 0 0 0 51 5 0 0 16 0 13 0 187751904 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.02 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 30 0 0 0 1 1 0 0 16 0 13 0 187751906 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 51534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128606 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 1713188 [startup+1778.06 s] /proc/loadavg: 1.00 1.00 0.96 2/76 9134 /proc/meminfo: memFree=930912/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=1797.5 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 195740 0 1 0 179649 101 0 0 25 0 13 0 187751901 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071528089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 128644 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=18.58 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 54584 0 0 0 1834 24 0 0 17 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=18.62 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 50999 0 0 0 1836 26 0 0 16 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.26 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 150 0 0 0 15 11 0 0 16 0 13 0 187751906 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 1713188 [startup+1779.07 s] /proc/loadavg: 1.00 1.00 0.96 2/76 9134 /proc/meminfo: memFree=930912/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=1798.5 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 195740 0 1 0 179749 101 0 0 25 0 13 0 187751901 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071441288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 128644 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=18.58 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 54584 0 0 0 1834 24 0 0 17 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=18.62 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 50999 0 0 0 1836 26 0 0 16 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.26 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 150 0 0 0 15 11 0 0 16 0 13 0 187751906 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 1713188 [startup+1780.07 s] /proc/loadavg: 1.00 1.00 0.96 2/76 9134 /proc/meminfo: memFree=930912/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=1799.51 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 195740 0 1 0 179850 101 0 0 25 0 13 0 187751901 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 128644 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=18.58 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 54584 0 0 0 1834 24 0 0 17 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=18.62 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 50999 0 0 0 1836 26 0 0 16 0 13 0 187751904 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.26 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 150 0 0 0 15 11 0 0 16 0 13 0 187751906 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128644 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 1713188 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 0.96 2/76 9134 /proc/meminfo: memFree=930720/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=1800.55 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 195790 0 1 0 179954 101 0 0 24 0 13 0 187751901 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071528255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 128692 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=18.62 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 54624 0 0 0 1838 24 0 0 17 0 13 0 187751904 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=18.65 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 51008 0 0 0 1839 26 0 0 16 0 13 0 187751904 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.26 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 150 0 0 0 15 11 0 0 16 0 13 0 187751906 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 1713188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.08 s] /proc/loadavg: 1.00 1.00 0.96 2/76 9134 /proc/meminfo: memFree=930720/2055920 swapFree=4181468/4192956 [pid=9120] ppid=9118 vsize=1713188 CPUtime=1800.56 /proc/9120/stat : 9120 (java) R 9118 9120 9075 0 -1 0 195790 0 1 0 179955 101 0 0 24 0 13 0 187751901 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071519729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9120/statm: 428297 128692 1911 14 0 415044 0 [pid=9120/tid=9121] ppid=9118 vsize=1713188 CPUtime=18.62 /proc/9120/task/9121/stat : 9121 (java) S 9118 9120 9075 0 -1 64 54624 0 0 0 1838 24 0 0 17 0 13 0 187751904 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9122] ppid=9118 vsize=1713188 CPUtime=18.65 /proc/9120/task/9122/stat : 9122 (java) S 9118 9120 9075 0 -1 64 51008 0 0 0 1839 26 0 0 16 0 13 0 187751904 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9123] ppid=9118 vsize=1713188 CPUtime=0.26 /proc/9120/task/9123/stat : 9123 (java) S 9118 9120 9075 0 -1 64 150 0 0 0 15 11 0 0 16 0 13 0 187751906 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9124] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9124/stat : 9124 (java) S 9118 9120 9075 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9125] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9125/stat : 9125 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751907 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9126] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9126/stat : 9126 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9127] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9127/stat : 9127 (java) S 9118 9120 9075 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9128] ppid=9118 vsize=1713188 CPUtime=0.84 /proc/9120/task/9128/stat : 9128 (java) S 9118 9120 9075 0 -1 64 1698 0 0 0 83 1 0 0 17 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9129] ppid=9118 vsize=1713188 CPUtime=1.01 /proc/9120/task/9129/stat : 9129 (java) S 9118 9120 9075 0 -1 64 1921 0 0 0 100 1 0 0 17 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9120/tid=9130] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9130/stat : 9130 (java) S 9118 9120 9075 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9131] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9131/stat : 9131 (java) S 9118 9120 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 187751910 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9120/tid=9132] ppid=9118 vsize=1713188 CPUtime=0 /proc/9120/task/9132/stat : 9132 (java) S 9118 9120 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 187751966 1754304512 128692 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 1713188 Sending SIGTERM to -9120 Sleeping 2 seconds Child status: 143 Real time (s): 1781.19 CPU time (s): 1800.68 CPU user time (s): 1799.58 CPU system time (s): 1.09783 CPU usage (%): 101.094 Max. virtual memory (cumulated for all children) (Kb): 1713188
Begin job on node16 on Fri Jun 2 04:01:30 UTC 2006 FILE ID= 43591-1149220890 PBS_JOBID= 295310 BENCH NAME= ROOT/tmp/node16/43591-1149220890/instance-43591-1149220890.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/43591-1149220890/instance-43591-1149220890.opb 70574887 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-43591-1149220890 -o ROOT/results/node16/solver-43591-1149220890 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/43591-1149220890/instance-43591-1149220890.opb 70574887 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 924af7c450ed428ac078913fd23bc162 RANDOM SEED= 70574887 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1439744 kB Buffers: 38136 kB Cached: 506448 kB SwapCached: 3292 kB Active: 202892 kB Inactive: 350460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1439744 kB SwapTotal: 4192956 kB SwapFree: 4181468 kB Dirty: 376 kB Writeback: 0 kB Mapped: 14720 kB Slab: 48916 kB Committed_AS: 192440 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Fri Jun 2 04:31:12 UTC 2006