Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1801.1 | 1783.51 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-khb05250.opb |
MD5SUM | 0abc7673c35064c54cd6e972f16047d8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 38297 |
Total number of constraints | 102 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 102 |
Minimum length of a constraint | 23 |
Maximum length of a constraint | 1530 |
Number of terms in the objective function | 37494 |
Biggest coefficient in the objective function | 580 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 555190 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 260900 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 555190 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.19 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.19 c no version file found!!! 0.19 c sun.arch.data.model 32 0.19 c java.version 1.5.0_06 0.19 c os.name Linux 0.19 c os.version 2.6.9-22.EL.rootsmp 0.19 c os.arch i386 0.19 c Free memory 1548419056 0.19 c Max memory 1551040512 0.19 c Total memory 1551040512 0.19 c Number of processors 2 0.24 c Cutting planes based inference 0.24 c --- Begin Solver configuration --- 0.24 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.24 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.24 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.24 c VSIDS like heuristics from MiniSAT using a heap 0.24 c No reason simplification 0.24 c --- End Solver configuration --- 0.24 c solving ROOT/tmp/node11/42590-1149352743/instance-42590-1149352743.opb 0.24 c reading problem ... 1.75 c ... done. Time 1.509 ms. 1.75 c #vars 38297 1.75 c #constraints 179 1783.38 c starts : 4 1783.38 c conflicts : 612 1783.38 c decisions : 202355 1783.38 c propagations : 486356 1783.38 c inspects : 1178680 1783.38 c learnt literals : 0 1783.38 c learnt binary clauses : 0 1783.38 c learnt ternary clauses : 0 1783.38 c learnt clauses : 611 1783.38 c root simplifications : 0 1783.38 c removed literals (reason simplification) : 0 1783.38 c reason swapping (by a shorter reason) : 0 1783.38 c Calls to reduceDB : 0 1783.38 c speed (decisions/second) : 113.60963156804367 1783.38 c non guided choices 0 1783.38 s UNKNOWN 1783.38 c Total wall clock time (ms): 1783.133
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/node11/watcher-42590-1149352743 -o ROOT/results/node11/solver-42590-1149352743 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42590-1149352743/instance-42590-1149352743.opb 17721942 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 7617 /proc/meminfo: memFree=1596184/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1784 CPUtime=0 /proc/7617/stat : 7617 (java) D 7615 7617 7571 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 200936839 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/7617/statm: 446 137 102 14 0 91 0 [startup+10.0036 s] /proc/loadavg: 0.93 0.97 0.99 3/76 7629 /proc/meminfo: memFree=1408648/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=11.62 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 51875 0 1 0 1139 23 0 0 25 0 13 0 200936839 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 48697 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.37 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 5333 0 0 0 34 3 0 0 16 0 13 0 200936847 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.37 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 5765 0 0 0 35 2 0 0 16 0 13 0 200936847 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 18 0 0 0 0 0 0 0 17 0 13 0 200936849 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=0.95 /proc/7617/task/7625/stat : 7625 (java) R 7615 7617 7571 0 -1 64 1977 0 0 0 95 0 0 0 16 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4155042218 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=0.91 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2213 0 0 0 90 1 0 0 16 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200937069 1756024832 48697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.62 Current children cumulated vsize (Kb) 1714868 [startup+20.0111 s] /proc/loadavg: 0.94 0.97 0.99 2/76 7629 /proc/meminfo: memFree=1389256/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=22.01 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 60549 0 1 0 2173 28 0 0 25 0 13 0 200936839 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 53511 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.67 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 9865 0 0 0 61 6 0 0 16 0 13 0 200936847 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.67 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 9880 0 0 0 63 4 0 0 16 0 13 0 200936847 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 200936849 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=0.98 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 98 0 0 0 17 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=0.99 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2216 0 0 0 98 1 0 0 16 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200937069 1756024832 53511 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.01 Current children cumulated vsize (Kb) 1714868 [startup+30.0193 s] /proc/loadavg: 0.95 0.97 0.99 2/76 7629 /proc/meminfo: memFree=1434120/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=32.07 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 61148 0 1 0 3177 30 0 0 17 0 13 0 200936839 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071735208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 42289 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 10125 0 0 0 64 6 0 0 16 0 13 0 200936847 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 10179 0 0 0 66 4 0 0 16 0 13 0 200936847 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.02 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 200936849 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 100 0 0 0 17 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=0.99 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2216 0 0 0 98 1 0 0 16 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200937069 1756024832 42289 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.07 Current children cumulated vsize (Kb) 1714868 [startup+40.0265 s] /proc/loadavg: 0.95 0.97 0.99 2/76 7629 /proc/meminfo: memFree=1445448/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=42.15 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 61801 0 1 0 4185 30 0 0 25 0 13 0 200936839 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071735027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 39472 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.74 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 10474 0 0 0 68 6 0 0 16 0 13 0 200936847 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.74 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 10441 0 0 0 70 4 0 0 16 0 13 0 200936847 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.02 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 32 0 0 0 1 1 0 0 16 0 13 0 200936849 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 100 0 0 0 17 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.03 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2229 0 0 0 102 1 0 0 17 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 39472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.15 Current children cumulated vsize (Kb) 1714868 [startup+50.0337 s] /proc/loadavg: 0.96 0.97 0.99 2/76 7629 /proc/meminfo: memFree=1452040/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=52.2 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 61963 0 1 0 5189 31 0 0 25 0 13 0 200936839 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071724617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 37826 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.78 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 10498 0 0 0 72 6 0 0 16 0 13 0 200936847 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.78 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 10542 0 0 0 74 4 0 0 16 0 13 0 200936847 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.04 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 32 0 0 0 2 2 0 0 16 0 13 0 200936849 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 100 0 0 0 17 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.03 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2229 0 0 0 102 1 0 0 17 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 37826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.2 Current children cumulated vsize (Kb) 1714868 [startup+60.0409 s] /proc/loadavg: 0.97 0.97 0.99 2/76 7629 /proc/meminfo: memFree=1382856/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=62.28 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 79507 0 1 0 6188 40 0 0 25 0 13 0 200936839 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071742822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7617/statm: 428717 55145 1909 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=0.86 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 11561 0 0 0 79 7 0 0 16 0 13 0 200936847 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=0.86 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 11532 0 0 0 81 5 0 0 15 0 13 0 200936847 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.04 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 70 0 0 0 2 2 0 0 15 0 13 0 200936849 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 55145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (Kb) 1714868 [startup+1780.35 s] /proc/loadavg: 1.00 1.01 1.00 2/76 7824 /proc/meminfo: memFree=1040968/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=1797.9 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 217211 0 1 0 179513 277 0 0 17 0 13 0 200936839 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7617/statm: 428717 140197 1910 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=17.17 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 57538 0 0 0 1633 84 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=17.22 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 62957 0 0 0 1612 110 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 163 0 0 0 40 30 0 0 15 0 13 0 200936849 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (Kb) 1714868 [startup+1781.36 s] /proc/loadavg: 1.00 1.01 1.00 2/76 7824 /proc/meminfo: memFree=1040968/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=1798.94 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 217213 0 1 0 179616 278 0 0 17 0 13 0 200936839 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071742837 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7617/statm: 428717 140197 1910 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=17.2 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 57538 0 0 0 1636 84 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=17.24 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 62957 0 0 0 1614 110 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 163 0 0 0 40 30 0 0 15 0 13 0 200936849 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.94 Current children cumulated vsize (Kb) 1714868 [startup+1782.36 s] /proc/loadavg: 1.00 1.01 1.00 2/76 7824 /proc/meminfo: memFree=1040968/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=1799.95 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 217214 0 1 0 179717 278 0 0 17 0 13 0 200936839 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7617/statm: 428717 140197 1910 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=17.21 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 57538 0 0 0 1637 84 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=17.25 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 62957 0 0 0 1615 110 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 163 0 0 0 40 30 0 0 15 0 13 0 200936849 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (Kb) 1714868 [startup+1783.37 s] /proc/loadavg: 1.00 1.01 1.00 2/76 7824 /proc/meminfo: memFree=1040968/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=1800.97 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 217215 0 1 0 179819 278 0 0 17 0 13 0 200936839 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7617/statm: 428717 140197 1910 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=17.22 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 57538 0 0 0 1638 84 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=17.27 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 62957 0 0 0 1617 110 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 163 0 0 0 40 30 0 0 15 0 13 0 200936849 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (Kb) 1714868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.37 s] /proc/loadavg: 1.00 1.01 1.00 2/76 7824 /proc/meminfo: memFree=1040968/2055920 swapFree=4181380/4192956 [pid=7617] ppid=7615 vsize=1714868 CPUtime=1800.98 /proc/7617/stat : 7617 (java) R 7615 7617 7571 0 -1 0 217215 0 1 0 179820 278 0 0 17 0 13 0 200936839 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7617/statm: 428717 140197 1910 14 0 415464 0 [pid=7617/tid=7618] ppid=7615 vsize=1714868 CPUtime=17.22 /proc/7617/task/7618/stat : 7618 (java) S 7615 7617 7571 0 -1 64 57538 0 0 0 1638 84 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7619] ppid=7615 vsize=1714868 CPUtime=17.27 /proc/7617/task/7619/stat : 7619 (java) S 7615 7617 7571 0 -1 64 62957 0 0 0 1617 110 0 0 16 0 13 0 200936847 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7620] ppid=7615 vsize=1714868 CPUtime=0.7 /proc/7617/task/7620/stat : 7620 (java) S 7615 7617 7571 0 -1 64 163 0 0 0 40 30 0 0 15 0 13 0 200936849 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7621] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7621/stat : 7621 (java) S 7615 7617 7571 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7622] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7622/stat : 7622 (java) S 7615 7617 7571 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200936850 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7623] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7623/stat : 7623 (java) S 7615 7617 7571 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7624] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7624/stat : 7624 (java) S 7615 7617 7571 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7617/tid=7625] ppid=7615 vsize=1714868 CPUtime=1.04 /proc/7617/task/7625/stat : 7625 (java) S 7615 7617 7571 0 -1 64 1980 0 0 0 104 0 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7626] ppid=7615 vsize=1714868 CPUtime=1.09 /proc/7617/task/7626/stat : 7626 (java) S 7615 7617 7571 0 -1 64 2231 0 0 0 108 1 0 0 16 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7627] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7627/stat : 7627 (java) S 7615 7617 7571 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7628] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7628/stat : 7628 (java) S 7615 7617 7571 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200936853 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7617/tid=7629] ppid=7615 vsize=1714868 CPUtime=0 /proc/7617/task/7629/stat : 7629 (java) S 7615 7617 7571 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 200937069 1756024832 140197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (Kb) 1714868 Sending SIGTERM to -7617 Sleeping 2 seconds Child status: 143 Real time (s): 1783.51 CPU time (s): 1801.1 CPU user time (s): 1798.24 CPU system time (s): 2.86756 CPU usage (%): 100.987 Max. virtual memory (cumulated for all children) (Kb): 1714868
Begin job on node11 on Sat Jun 3 16:39:03 UTC 2006 FILE ID= 42590-1149352743 PBS_JOBID= 311084 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42590-1149352743/instance-42590-1149352743.opb 17721942 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-42590-1149352743 -o ROOT/results/node11/solver-42590-1149352743 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42590-1149352743/instance-42590-1149352743.opb 17721942 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 0abc7673c35064c54cd6e972f16047d8 RANDOM SEED= 17721942 /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.222 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 : 5931.00 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.222 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: 1596392 kB Buffers: 22080 kB Cached: 369400 kB SwapCached: 3260 kB Active: 59672 kB Inactive: 340476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1596392 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45364 kB Committed_AS: 380788 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jun 3 17:08:47 UTC 2006