Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | OPT | 164393 | 618.255 | 612.976 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb |
MD5SUM | ed5b5ce3af44efa2d285a6206b4187fd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 164393 |
Best CPU time to get the best result obtained on this benchmark | 0.118981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 164393 |
Optimality of the best value was proved | YES |
Number of variables | 48 |
Total number of constraints | 25 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 22495 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524314 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 22495 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524314 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node58/43991-1149346221/instance-43991-1149346221.opb 0.20 c reading problem ... 0.24 c ... done. Time 0.042 ms. 0.24 c #vars 48 0.24 c #constraints 41 0.60 c SATISFIABLE 0.60 c OPTIMIZING... 0.60 c Got one! Ellapsed CPU time (in seconds):0.397 0.60 o 178504 0.81 c Got one! Ellapsed CPU time (in seconds):0.611 0.81 o 177993 0.92 c Got one! Ellapsed CPU time (in seconds):0.72 0.92 o 177416 1.11 c Got one! Ellapsed CPU time (in seconds):0.911 1.11 o 177341 1.22 c Got one! Ellapsed CPU time (in seconds):1.02 1.22 o 176946 1.34 c Got one! Ellapsed CPU time (in seconds):1.137 1.34 o 174832 1.57 c Got one! Ellapsed CPU time (in seconds):1.367 1.57 o 174826 1.64 c Got one! Ellapsed CPU time (in seconds):1.439 1.64 o 170483 1.72 c Got one! Ellapsed CPU time (in seconds):1.516 1.72 o 170088 1.82 c Got one! Ellapsed CPU time (in seconds):1.616 1.82 o 169914 11.85 c Got one! Ellapsed CPU time (in seconds):11.651 11.85 o 169730 18.98 c Got one! Ellapsed CPU time (in seconds):18.778 18.98 o 169704 27.34 c Got one! Ellapsed CPU time (in seconds):27.138 27.34 o 169673 28.49 c Got one! Ellapsed CPU time (in seconds):28.288 28.49 o 167911 30.13 c Got one! Ellapsed CPU time (in seconds):29.927 30.13 o 167732 67.87 c Got one! Ellapsed CPU time (in seconds):67.665 67.87 o 167706 88.30 c Got one! Ellapsed CPU time (in seconds):88.103 88.30 o 165330 97.52 c Got one! Ellapsed CPU time (in seconds):97.32 97.52 o 164930 227.36 c Got one! Ellapsed CPU time (in seconds):227.16 227.36 o 164419 427.30 c Got one! Ellapsed CPU time (in seconds):427.099 427.30 o 164393 612.88 c starts : 70 612.88 c conflicts : 20873 612.88 c decisions : 28161 612.88 c propagations : 248460 612.88 c inspects : 251437681 612.88 c learnt literals : 0 612.88 c learnt binary clauses : 0 612.88 c learnt ternary clauses : 0 612.88 c learnt clauses : 20872 612.88 c root simplifications : 0 612.88 c removed literals (reason simplification) : 0 612.88 c reason swapping (by a shorter reason) : 0 612.88 c Calls to reduceDB : 0 612.88 c speed (decisions/second) : 151.74260712130356 612.88 c non guided choices 412 612.88 s OPTIMUM FOUND 612.89 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 x28 -x29 x30 612.89 v x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 612.89 c objective function=164393 612.89 c Total wall clock time (ms): 612.684
OK 164393
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/node58/watcher-43991-1149346221 -o ROOT/results/node58/solver-43991-1149346221 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43991-1149346221/instance-43991-1149346221.opb 285369897 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.95 0.91 1/64 6372 /proc/meminfo: memFree=1668248/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=172 CPUtime=0 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 201 0 0 0 0 0 0 0 19 0 1 0 36669000 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4870948 0 0 4096 0 0 0 0 17 0 0 0 /proc/6372/statm: 43 24 18 14 0 3 0 [startup+10.0024 s] /proc/loadavg: 0.87 0.95 0.91 2/76 6394 /proc/meminfo: memFree=1485888/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=11.18 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 51726 0 1 0 1094 24 0 0 25 0 13 0 36669000 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071454649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6372/statm: 427871 47356 1907 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.1 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 3240 0 0 0 9 1 0 0 16 0 13 0 36669004 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.13 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 3405 0 0 0 11 2 0 0 16 0 13 0 36669004 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.77 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1962 0 0 0 77 0 0 0 17 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.79 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2031 0 0 0 79 0 0 0 16 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6394] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6394/stat : 6394 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 36669183 1752559616 47356 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (Kb) 1711484 [startup+20.0103 s] /proc/loadavg: 0.89 0.95 0.91 2/76 6396 /proc/meminfo: memFree=1480832/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=21.23 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 53224 0 1 0 2098 25 0 0 25 0 13 0 36669000 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071369849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 48582 1907 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.15 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 4001 0 0 0 13 2 0 0 16 0 13 0 36669004 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.16 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 4132 0 0 0 14 2 0 0 16 0 13 0 36669004 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.78 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1963 0 0 0 78 0 0 0 17 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.79 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2031 0 0 0 79 0 0 0 16 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6396] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6396/stat : 6396 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36670899 1752559616 48582 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.23 Current children cumulated vsize (Kb) 1711484 [startup+30.017 s] /proc/loadavg: 0.90 0.95 0.91 2/76 6398 /proc/meminfo: memFree=1483192/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=31.28 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 53995 0 1 0 3103 25 0 0 25 0 13 0 36669000 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071365619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 47991 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.18 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 4429 0 0 0 16 2 0 0 16 0 13 0 36669004 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.19 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 4463 0 0 0 17 2 0 0 16 0 13 0 36669004 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.79 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1966 0 0 0 79 0 0 0 17 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6398] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6398/stat : 6398 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36671850 1752559616 47991 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.28 Current children cumulated vsize (Kb) 1711484 [startup+40.024 s] /proc/loadavg: 0.92 0.95 0.91 2/76 6399 /proc/meminfo: memFree=1488624/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=41.31 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 54570 0 1 0 4105 26 0 0 25 0 13 0 36669000 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071386286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 46646 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.21 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 4716 0 0 0 19 2 0 0 16 0 13 0 36669004 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.22 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 4744 0 0 0 20 2 0 0 16 0 13 0 36669004 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.79 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1966 0 0 0 79 0 0 0 17 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6399] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6399/stat : 6399 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36672014 1752559616 46646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.31 Current children cumulated vsize (Kb) 1711484 [startup+50.0309 s] /proc/loadavg: 0.93 0.96 0.91 2/76 6399 /proc/meminfo: memFree=1493360/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=51.34 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 55073 0 1 0 5108 26 0 0 25 0 13 0 36669000 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071350805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 45454 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.24 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 5012 0 0 0 22 2 0 0 16 0 13 0 36669004 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.24 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 4944 0 0 0 22 2 0 0 17 0 13 0 36669004 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.79 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1966 0 0 0 79 0 0 0 17 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6399] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6399/stat : 6399 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36672014 1752559616 45454 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.34 Current children cumulated vsize (Kb) 1711484 [startup+60.0388 s] /proc/loadavg: 0.94 0.96 0.91 2/76 6399 /proc/meminfo: memFree=1497328/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=61.4 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 55437 0 1 0 6113 27 0 0 25 0 13 0 36669000 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071386402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 44458 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=0.26 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 5076 0 0 0 24 2 0 0 16 0 13 0 36669004 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=0.29 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 5237 0 0 0 26 3 0 0 16 0 13 0 36669004 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 36669006 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 44458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/6372/statm: 427871 60923 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.12 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 20675 0 0 0 403 9 0 0 17 0 13 0 36669004 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.14 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 20806 0 0 0 403 11 0 0 16 0 13 0 36669004 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.15 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 97 0 0 0 7 8 0 0 16 0 13 0 36669006 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 60923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 565.27 Current children cumulated vsize (Kb) 1711484 [startup+570.423 s] /proc/loadavg: 1.00 0.99 0.91 2/76 6404 /proc/meminfo: memFree=1431496/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=575.37 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 107713 0 1 0 57477 60 0 0 25 0 13 0 36669000 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071454655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 60801 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.22 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 21042 0 0 0 413 9 0 0 16 0 13 0 36669004 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.24 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 21195 0 0 0 413 11 0 0 16 0 13 0 36669004 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.15 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 97 0 0 0 7 8 0 0 15 0 13 0 36669006 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 60801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 575.37 Current children cumulated vsize (Kb) 1711484 [startup+580.43 s] /proc/loadavg: 1.00 0.99 0.91 2/76 6404 /proc/meminfo: memFree=1430984/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=585.48 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 108492 0 1 0 58487 61 0 0 17 0 13 0 36669000 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071372994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 60925 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.32 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 21417 0 0 0 423 9 0 0 16 0 13 0 36669004 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.34 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 21580 0 0 0 423 11 0 0 16 0 13 0 36669004 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.15 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 108 0 0 0 7 8 0 0 16 0 13 0 36669006 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 60925 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 585.48 Current children cumulated vsize (Kb) 1711484 [startup+590.437 s] /proc/loadavg: 1.00 0.99 0.91 2/76 6404 /proc/meminfo: memFree=1408776/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=595.57 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 114496 0 1 0 59494 63 0 0 24 0 13 0 36669000 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071454570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 66509 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.4 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 22022 0 0 0 431 9 0 0 16 0 13 0 36669004 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.43 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 22257 0 0 0 432 11 0 0 16 0 13 0 36669004 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.16 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 119 0 0 0 7 9 0 0 16 0 13 0 36669006 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 66509 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 595.57 Current children cumulated vsize (Kb) 1711484 [startup+600.444 s] /proc/loadavg: 1.00 0.99 0.91 2/76 6404 /proc/meminfo: memFree=1409224/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=605.65 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 114975 0 1 0 60502 63 0 0 25 0 13 0 36669000 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071386286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 66387 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.48 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 22216 0 0 0 439 9 0 0 16 0 13 0 36669004 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.51 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 22536 0 0 0 440 11 0 0 16 0 13 0 36669004 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.16 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 119 0 0 0 7 9 0 0 16 0 13 0 36669006 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 66387 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 605.65 Current children cumulated vsize (Kb) 1711484 [startup+610.451 s] /proc/loadavg: 1.00 0.99 0.91 2/76 6404 /proc/meminfo: memFree=1409992/2055920 swapFree=4192948/4192956 [pid=6372] ppid=6370 vsize=1711484 CPUtime=615.75 /proc/6372/stat : 6372 (java) R 6370 6372 6326 0 -1 0 115642 0 1 0 61511 64 0 0 23 0 13 0 36669000 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071365931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6372/statm: 427871 66173 1909 14 0 414618 0 [pid=6372/tid=6373] ppid=6370 vsize=1711484 CPUtime=4.58 /proc/6372/task/6373/stat : 6373 (java) S 6370 6372 6326 0 -1 64 22535 0 0 0 448 10 0 0 16 0 13 0 36669004 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6374] ppid=6370 vsize=1711484 CPUtime=4.6 /proc/6372/task/6374/stat : 6374 (java) S 6370 6372 6326 0 -1 64 22877 0 0 0 448 12 0 0 16 0 13 0 36669004 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6375] ppid=6370 vsize=1711484 CPUtime=0.16 /proc/6372/task/6375/stat : 6375 (java) S 6370 6372 6326 0 -1 64 119 0 0 0 7 9 0 0 15 0 13 0 36669006 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6376] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6376/stat : 6376 (java) S 6370 6372 6326 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6377] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6377/stat : 6377 (java) S 6370 6372 6326 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 36669007 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6378] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6378/stat : 6378 (java) S 6370 6372 6326 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6379] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6379/stat : 6379 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6380] ppid=6370 vsize=1711484 CPUtime=0.81 /proc/6372/task/6380/stat : 6380 (java) S 6370 6372 6326 0 -1 64 1967 0 0 0 81 0 0 0 17 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6381] ppid=6370 vsize=1711484 CPUtime=0.82 /proc/6372/task/6381/stat : 6381 (java) S 6370 6372 6326 0 -1 64 2032 0 0 0 82 0 0 0 17 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6372/tid=6382] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6382/stat : 6382 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6383] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6383/stat : 6383 (java) S 6370 6372 6326 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 36669010 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6372/tid=6404] ppid=6370 vsize=1711484 CPUtime=0 /proc/6372/task/6404/stat : 6404 (java) S 6370 6372 6326 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 36711731 1752559616 66173 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 615.75 Current children cumulated vsize (Kb) 1711484 Child status: 30 Real time (s): 612.976 CPU time (s): 618.255 CPU user time (s): 617.573 CPU system time (s): 0.681896 CPU usage (%): 100.861 Max. virtual memory (cumulated for all children) (Kb): 1711484
Begin job on node58 on Sat Jun 3 14:50:21 UTC 2006 FILE ID= 43991-1149346221 PBS_JOBID= 310702 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43991-1149346221/instance-43991-1149346221.opb 285369897 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-43991-1149346221 -o ROOT/results/node58/solver-43991-1149346221 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node58/43991-1149346221/instance-43991-1149346221.opb 285369897 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= ed5b5ce3af44efa2d285a6206b4187fd RANDOM SEED= 285369897 /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.276 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.276 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: 1668456 kB Buffers: 27484 kB Cached: 286056 kB SwapCached: 8 kB Active: 53412 kB Inactive: 274656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1668456 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 240 kB Writeback: 0 kB Mapped: 24920 kB Slab: 45484 kB Committed_AS: 231388 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Sat Jun 3 15:00:34 UTC 2006