Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | UNSAT | 471.974 | 469.348 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stair.opb |
MD5SUM | 98b9ab286036da69f2015d2ff2a12818 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 471.974 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524930 |
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.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.17 c no version file found!!! 0.17 c sun.arch.data.model 32 0.17 c java.version 1.5.0_06 0.17 c os.name Linux 0.17 c os.version 2.6.9-22.EL.rootsmp 0.17 c os.arch i386 0.17 c Free memory 1548419056 0.17 c Max memory 1551040512 0.17 c Total memory 1551040512 0.17 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/node64/42466-1149275086/instance-42466-1149275086.opb 0.24 c reading problem ... 1.35 c ... done. Time 1.11 ms. 1.35 c #vars 11454 1.35 c #constraints 571 469.29 c starts : 2 469.29 c conflicts : 178 469.29 c decisions : 2607 469.29 c propagations : 40492 469.29 c inspects : 167736 469.29 c learnt literals : 0 469.29 c learnt binary clauses : 0 469.29 c learnt ternary clauses : 0 469.29 c learnt clauses : 177 469.29 c root simplifications : 0 469.29 c removed literals (reason simplification) : 0 469.29 c reason swapping (by a shorter reason) : 0 469.29 c Calls to reduceDB : 0 469.29 c speed (decisions/second) : 5.571620001410537 469.29 c non guided choices 0 469.29 s UNSATISFIABLE 469.29 c Total wall clock time (ms): 469.047
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/node64/watcher-42466-1149275086 -o ROOT/results/node64/solver-42466-1149275086 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node64/42466-1149275086/instance-42466-1149275086.opb 512205514 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 28912 /proc/meminfo: memFree=1509824/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=18540 CPUtime=0 /proc/28912/stat : 28912 (runsolver) R 28910 28912 28866 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 29499906 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 246004903207 0 0 4096 24578 0 0 0 17 1 0 0 /proc/28912/statm: 0 0 0 0 0 0 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1334760/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=11.12 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 50500 0 1 0 1089 23 0 0 25 0 13 0 29499906 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 45534 1905 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.23 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 5486 0 0 0 21 2 0 0 15 0 13 0 29499912 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.25 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 5466 0 0 0 23 2 0 0 16 0 13 0 29499912 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 29499914 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.68 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2035 0 0 0 68 0 0 0 16 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.68 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 738 0 0 0 68 0 0 0 17 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 29500051 1753833472 45534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.12 Current children cumulated vsize (Kb) 1712728 [startup+20.0093 s] /proc/loadavg: 0.94 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1344872/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=21.15 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 50847 0 1 0 2091 24 0 0 19 0 13 0 29499906 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 42974 1905 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.26 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 5655 0 0 0 23 3 0 0 15 0 13 0 29499912 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.25 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 5622 0 0 0 23 2 0 0 16 0 13 0 29499912 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 29499914 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.69 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2037 0 0 0 69 0 0 0 16 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.71 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 739 0 0 0 71 0 0 0 16 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 29500051 1753833472 42974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.15 Current children cumulated vsize (Kb) 1712728 [startup+30.0162 s] /proc/loadavg: 0.95 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1363688/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=31.27 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 51028 0 1 0 3102 25 0 0 25 0 13 0 29499906 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567375 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 38285 1905 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.27 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 5734 0 0 0 24 3 0 0 16 0 13 0 29499912 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.27 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 5694 0 0 0 25 2 0 0 15 0 13 0 29499912 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.01 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 29499914 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.76 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2039 0 0 0 75 1 0 0 17 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.8 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 742 0 0 0 80 0 0 0 16 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 29500051 1753833472 38285 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.27 Current children cumulated vsize (Kb) 1712728 [startup+40.023 s] /proc/loadavg: 0.95 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1367464/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=41.28 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 51197 0 1 0 4103 25 0 0 25 0 13 0 29499906 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 37339 1905 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.27 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 5832 0 0 0 24 3 0 0 16 0 13 0 29499912 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.27 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 5743 0 0 0 25 2 0 0 15 0 13 0 29499912 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.02 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 30 0 0 0 1 1 0 0 17 0 13 0 29499914 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.76 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2039 0 0 0 75 1 0 0 16 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.81 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 742 0 0 0 81 0 0 0 17 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 37339 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.28 Current children cumulated vsize (Kb) 1712728 [startup+50.0299 s] /proc/loadavg: 0.96 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1369640/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=51.32 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 51465 0 1 0 5106 26 0 0 17 0 13 0 29499906 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 36811 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.29 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 5965 0 0 0 26 3 0 0 15 0 13 0 29499912 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.29 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 5843 0 0 0 27 2 0 0 16 0 13 0 29499912 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.02 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 30 0 0 0 1 1 0 0 15 0 13 0 29499914 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.77 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2041 0 0 0 76 1 0 0 16 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.82 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 744 0 0 0 82 0 0 0 17 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 36811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.32 Current children cumulated vsize (Kb) 1712728 [startup+60.0368 s] /proc/loadavg: 0.97 0.97 0.99 2/76 28924 /proc/meminfo: memFree=1370472/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=61.33 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 51867 0 1 0 6107 26 0 0 18 0 13 0 29499906 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071402010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 36596 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=0.31 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 6130 0 0 0 28 3 0 0 16 0 13 0 29499912 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=0.31 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 6050 0 0 0 29 2 0 0 16 0 13 0 29499912 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.02 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 29499914 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 36596 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/28912/statm: 428182 32830 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=1.86 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10204 0 0 0 177 9 0 0 16 0 13 0 29499912 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=1.83 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 9833 0 0 0 175 8 0 0 15 0 13 0 29499912 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.31 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 49 0 0 0 18 13 0 0 16 0 13 0 29499914 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 32830 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 412.62 Current children cumulated vsize (Kb) 1712728 [startup+420.283 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28926 /proc/meminfo: memFree=1384232/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=422.68 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 64026 0 1 0 42209 59 0 0 17 0 13 0 29499906 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 33109 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=1.92 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10441 0 0 0 183 9 0 0 15 0 13 0 29499912 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=1.89 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 10057 0 0 0 181 8 0 0 16 0 13 0 29499912 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.32 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 49 0 0 0 18 14 0 0 16 0 13 0 29499914 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 33109 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 422.68 Current children cumulated vsize (Kb) 1712728 [startup+430.29 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28926 /proc/meminfo: memFree=1374824/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=432.75 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 66534 0 1 0 43213 62 0 0 19 0 13 0 29499906 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 35481 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=2 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10593 0 0 0 190 10 0 0 15 0 13 0 29499912 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=1.96 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 10166 0 0 0 188 8 0 0 16 0 13 0 29499912 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.33 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 50 0 0 0 19 14 0 0 16 0 13 0 29499914 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 35481 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 432.75 Current children cumulated vsize (Kb) 1712728 [startup+440.297 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28926 /proc/meminfo: memFree=1375848/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=442.81 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 66655 0 1 0 44218 63 0 0 17 0 13 0 29499906 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 35213 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=2.05 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10641 0 0 0 195 10 0 0 15 0 13 0 29499912 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=2.01 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 10199 0 0 0 193 8 0 0 16 0 13 0 29499912 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.34 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 50 0 0 0 19 15 0 0 16 0 13 0 29499914 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 35213 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 442.81 Current children cumulated vsize (Kb) 1712728 [startup+450.304 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28926 /proc/meminfo: memFree=1375272/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=452.86 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 66941 0 1 0 45222 64 0 0 18 0 13 0 29499906 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 35332 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=2.11 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10756 0 0 0 201 10 0 0 15 0 13 0 29499912 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=2.06 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 10328 0 0 0 198 8 0 0 16 0 13 0 29499912 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.35 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 51 0 0 0 20 15 0 0 16 0 13 0 29499914 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 35332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 452.86 Current children cumulated vsize (Kb) 1712728 [startup+460.311 s] /proc/loadavg: 0.99 0.97 0.99 2/76 28926 /proc/meminfo: memFree=1376680/2055920 swapFree=4192956/4192956 [pid=28912] ppid=28910 vsize=1712728 CPUtime=462.91 /proc/28912/stat : 28912 (java) R 28910 28912 28866 0 -1 0 67089 0 1 0 46227 64 0 0 25 0 13 0 29499906 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28912/statm: 428182 34998 1907 14 0 414929 0 [pid=28912/tid=28913] ppid=28910 vsize=1712728 CPUtime=2.18 /proc/28912/task/28913/stat : 28913 (java) S 28910 28912 28866 0 -1 64 10842 0 0 0 208 10 0 0 15 0 13 0 29499912 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28914] ppid=28910 vsize=1712728 CPUtime=2.11 /proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28866 0 -1 64 10345 0 0 0 203 8 0 0 16 0 13 0 29499912 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28915] ppid=28910 vsize=1712728 CPUtime=0.35 /proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28866 0 -1 64 51 0 0 0 20 15 0 0 16 0 13 0 29499914 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28916] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28866 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28917] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28866 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 29499915 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28918] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28919] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28866 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28920] ppid=28910 vsize=1712728 CPUtime=0.78 /proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28866 0 -1 64 2042 0 0 0 77 1 0 0 16 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28921] ppid=28910 vsize=1712728 CPUtime=0.83 /proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28866 0 -1 64 745 0 0 0 83 0 0 0 17 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28912/tid=28922] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28866 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28923] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28866 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 29499918 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28912/tid=28924] ppid=28910 vsize=1712728 CPUtime=0 /proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28866 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 29500051 1753833472 34998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 462.91 Current children cumulated vsize (Kb) 1712728 Child status: 20 Real time (s): 469.348 CPU time (s): 471.974 CPU user time (s): 471.3 CPU system time (s): 0.673897 CPU usage (%): 100.56 Max. virtual memory (cumulated for all children) (Kb): 1712728
Begin job on node64 on Fri Jun 2 19:04:46 UTC 2006 FILE ID= 42466-1149275086 PBS_JOBID= 299127 BENCH NAME= ROOT/tmp/node64/42466-1149275086/instance-42466-1149275086.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node64/42466-1149275086/instance-42466-1149275086.opb 512205514 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-42466-1149275086 -o ROOT/results/node64/solver-42466-1149275086 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node64/42466-1149275086/instance-42466-1149275086.opb 512205514 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 98b9ab286036da69f2015d2ff2a12818 RANDOM SEED= 512205514 /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.219 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.219 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: 1510032 kB Buffers: 33556 kB Cached: 434352 kB SwapCached: 0 kB Active: 36180 kB Inactive: 446240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1510032 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 184 kB Writeback: 0 kB Mapped: 24928 kB Slab: 49480 kB Committed_AS: 209524 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Fri Jun 2 19:12:36 UTC 2006