Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 1396 | 1800.3 | 1796.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb |
MD5SUM | c919b2e3620f35e89404416810e81e0b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1194 |
Best CPU time to get the best result obtained on this benchmark | 0.322949 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1194 |
Optimality of the best value was proved | YES |
Number of variables | 239 |
Total number of constraints | 524 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 239 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 10012 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 10012 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node9/44279-1149402365/instance-44279-1149402365.opb 0.21 c reading problem ... 0.44 c ... done. Time 0.227 ms. 0.44 c #vars 239 0.44 c #constraints 519 0.45 c SATISFIABLE 0.47 c OPTIMIZING... 0.47 c Got one! Ellapsed CPU time (in seconds):0.242 0.47 o 1695 0.48 c Got one! Ellapsed CPU time (in seconds):0.27 0.48 o 1662 0.52 c Got one! Ellapsed CPU time (in seconds):0.313 0.52 o 1639 0.68 c Got one! Ellapsed CPU time (in seconds):0.468 0.68 o 1616 0.75 c Got one! Ellapsed CPU time (in seconds):0.54 0.75 o 1593 1.07 c Got one! Ellapsed CPU time (in seconds):0.863 1.07 o 1579 1.09 c Got one! Ellapsed CPU time (in seconds):0.877 1.09 o 1570 1.20 c Got one! Ellapsed CPU time (in seconds):0.989 1.20 o 1566 2.73 c Got one! Ellapsed CPU time (in seconds):2.517 2.73 o 1555 5.08 c Got one! Ellapsed CPU time (in seconds):4.872 5.08 o 1551 103.65 c Got one! Ellapsed CPU time (in seconds):103.439 103.65 o 1491 161.33 c Got one! Ellapsed CPU time (in seconds):161.123 161.33 o 1396 1796.33 c starts : 32 1796.33 c conflicts : 6173 1796.33 c decisions : 38823 1796.33 c propagations : 165127 1796.33 c inspects : 46174081 1796.33 c learnt literals : 3 1796.33 c learnt binary clauses : 2 1796.33 c learnt ternary clauses : 3 1796.33 c learnt clauses : 6169 1796.33 c root simplifications : 0 1796.33 c removed literals (reason simplification) : 0 1796.33 c reason swapping (by a shorter reason) : 0 1796.33 c Calls to reduceDB : 0 1796.33 c speed (decisions/second) : 23.74499769724348 1796.33 c non guided choices 1907 1796.33 s SATISFIABLE 1796.33 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 1796.33 v -x30 x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 x49 x50 -x51 -x52 x53 -x54 -x55 -x56 1796.33 v -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 1796.33 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 1796.33 v x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1796.33 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 1796.33 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1796.33 v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1796.33 v -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 1796.33 v x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1796.33 v -x234 -x235 x236 -x237 -x238 x239 1796.33 c objective function=1396 1796.33 c Total wall clock time (ms): 1796.123
OK 1396
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/node9/watcher-44279-1149402365 -o ROOT/results/node9/solver-44279-1149402365 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/44279-1149402365/instance-44279-1149402365.opb 493969731 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 3/64 30974 /proc/meminfo: memFree=1351656/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1592 CPUtime=0 /proc/30974/stat : 30974 (java) D 30972 30974 30928 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 205898853 1630208 103 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/30974/statm: 398 103 82 14 0 43 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1157136/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713752 CPUtime=11.45 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 54736 0 1 0 1121 24 0 0 25 0 13 0 205898853 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071443368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428438 50389 1910 14 0 415185 0 [pid=30974/tid=30975] ppid=30972 vsize=1713752 CPUtime=0.21 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 6416 0 0 0 18 3 0 0 16 0 13 0 205898857 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713752 CPUtime=0.22 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 5738 0 0 0 20 2 0 0 16 0 13 0 205898857 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 205898860 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713752 CPUtime=0.74 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 74 0 0 0 17 0 13 0 205898863 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713752 CPUtime=0.96 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 95 1 0 0 17 0 13 0 205898863 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30996] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30996/stat : 30996 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 205899362 1754882048 50389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.45 Current children cumulated vsize (Kb) 1713752 [startup+20.0102 s] /proc/loadavg: 0.94 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1144080/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713752 CPUtime=21.54 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 58484 0 1 0 2128 26 0 0 21 0 13 0 205898853 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428438 53619 1910 14 0 415185 0 [pid=30974/tid=30975] ppid=30972 vsize=1713752 CPUtime=0.29 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 8506 0 0 0 25 4 0 0 17 0 13 0 205898857 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713752 CPUtime=0.3 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 7385 0 0 0 27 3 0 0 17 0 13 0 205898857 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713752 CPUtime=0.74 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 74 0 0 0 16 0 13 0 205898863 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713752 CPUtime=0.96 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 95 1 0 0 17 0 13 0 205898863 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30996] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30996/stat : 30996 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 205899362 1754882048 53619 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.54 Current children cumulated vsize (Kb) 1713752 [startup+30.0174 s] /proc/loadavg: 0.95 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1148560/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713752 CPUtime=31.58 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 59735 0 1 0 3131 27 0 0 25 0 13 0 205898853 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071496940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428438 52485 1910 14 0 415185 0 [pid=30974/tid=30975] ppid=30972 vsize=1713752 CPUtime=0.33 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 9306 0 0 0 29 4 0 0 16 0 13 0 205898857 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713752 CPUtime=0.34 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 7826 0 0 0 30 4 0 0 17 0 13 0 205898857 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713752 CPUtime=0.01 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 1 0 0 0 17 0 13 0 205898860 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713752 CPUtime=0.74 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 74 0 0 0 16 0 13 0 205898863 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713752 CPUtime=0.96 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 95 1 0 0 17 0 13 0 205898863 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30996] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30996/stat : 30996 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 205899362 1754882048 52485 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.58 Current children cumulated vsize (Kb) 1713752 [startup+40.0245 s] /proc/loadavg: 0.96 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1147600/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713752 CPUtime=41.66 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 62388 0 1 0 4138 28 0 0 25 0 13 0 205898853 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428438 52722 1910 14 0 415185 0 [pid=30974/tid=30975] ppid=30972 vsize=1713752 CPUtime=0.41 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 10758 0 0 0 37 4 0 0 17 0 13 0 205898857 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713752 CPUtime=0.41 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 9017 0 0 0 37 4 0 0 16 0 13 0 205898857 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713752 CPUtime=0.01 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 1 0 0 0 17 0 13 0 205898860 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713752 CPUtime=0.74 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 74 0 0 0 16 0 13 0 205898863 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713752 CPUtime=0.96 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 95 1 0 0 17 0 13 0 205898863 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30996] ppid=30972 vsize=1713752 CPUtime=0 /proc/30974/task/30996/stat : 30996 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205899362 1754882048 52722 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.66 Current children cumulated vsize (Kb) 1713752 [startup+50.0317 s] /proc/loadavg: 0.96 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1148432/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=51.73 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 64352 0 1 0 5144 29 0 0 25 0 13 0 205898853 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071427264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 52510 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=0.48 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 11514 0 0 0 43 5 0 0 16 0 13 0 205898857 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=0.48 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 10213 0 0 0 44 4 0 0 16 0 13 0 205898857 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.01 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 205898860 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.74 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 74 0 0 0 16 0 13 0 205898863 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.96 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 95 1 0 0 17 0 13 0 205898863 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30996] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30996/stat : 30996 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205899362 1754554368 52510 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.73 Current children cumulated vsize (Kb) 1713432 [startup+60.0388 s] /proc/loadavg: 0.97 0.97 0.99 2/76 30996 /proc/meminfo: memFree=1146128/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=61.8 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 66395 0 1 0 6150 30 0 0 25 0 13 0 205898853 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071456035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 53094 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=0.55 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 12219 0 0 0 50 5 0 0 16 0 13 0 205898857 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=0.56 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 11541 0 0 0 51 5 0 0 16 0 13 0 205898857 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.01 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 205898860 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 53094 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (Kb) 1713432 [startup+1793.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31000 /proc/meminfo: memFree=954176/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=1797.16 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 157265 0 1 0 179641 75 0 0 25 0 13 0 205898853 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071664144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 100746 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=3.17 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 43008 0 0 0 299 18 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=3.21 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 49063 0 0 0 299 22 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.09 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 135 0 0 0 5 4 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (Kb) 1713432 [startup+1794.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31000 /proc/meminfo: memFree=954176/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=1798.17 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 157265 0 1 0 179742 75 0 0 25 0 13 0 205898853 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 100746 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=3.17 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 43008 0 0 0 299 18 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=3.21 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 49063 0 0 0 299 22 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.09 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 135 0 0 0 5 4 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.17 Current children cumulated vsize (Kb) 1713432 [startup+1795.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31000 /proc/meminfo: memFree=954176/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=1799.17 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 157265 0 1 0 179842 75 0 0 25 0 13 0 205898853 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071661217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 100746 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=3.17 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 43008 0 0 0 299 18 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=3.21 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 49063 0 0 0 299 22 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.09 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 135 0 0 0 5 4 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.17 Current children cumulated vsize (Kb) 1713432 [startup+1796.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31000 /proc/meminfo: memFree=954176/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=1800.18 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 157265 0 1 0 179943 75 0 0 25 0 13 0 205898853 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071660720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 100746 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=3.17 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 43008 0 0 0 299 18 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=3.21 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 49063 0 0 0 299 22 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.09 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 135 0 0 0 5 4 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (Kb) 1713432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31000 /proc/meminfo: memFree=954176/2055920 swapFree=4180856/4192956 [pid=30974] ppid=30972 vsize=1713432 CPUtime=1800.19 /proc/30974/stat : 30974 (java) R 30972 30974 30928 0 -1 0 157265 0 1 0 179944 75 0 0 25 0 13 0 205898853 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071660756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30974/statm: 428358 100746 1910 14 0 415105 0 [pid=30974/tid=30975] ppid=30972 vsize=1713432 CPUtime=3.17 /proc/30974/task/30975/stat : 30975 (java) S 30972 30974 30928 0 -1 64 43008 0 0 0 299 18 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30976] ppid=30972 vsize=1713432 CPUtime=3.21 /proc/30974/task/30976/stat : 30976 (java) S 30972 30974 30928 0 -1 64 49063 0 0 0 299 22 0 0 16 0 13 0 205898857 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30977] ppid=30972 vsize=1713432 CPUtime=0.09 /proc/30974/task/30977/stat : 30977 (java) S 30972 30974 30928 0 -1 64 135 0 0 0 5 4 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30978] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30978/stat : 30978 (java) S 30972 30974 30928 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30979] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30979/stat : 30979 (java) S 30972 30974 30928 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 205898860 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30980] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30980/stat : 30980 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30981] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30981/stat : 30981 (java) S 30972 30974 30928 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30982] ppid=30972 vsize=1713432 CPUtime=0.76 /proc/30974/task/30982/stat : 30982 (java) S 30972 30974 30928 0 -1 64 697 0 0 0 76 0 0 0 17 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30983] ppid=30972 vsize=1713432 CPUtime=0.97 /proc/30974/task/30983/stat : 30983 (java) S 30972 30974 30928 0 -1 64 3026 0 0 0 96 1 0 0 16 0 13 0 205898863 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30984] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30984/stat : 30984 (java) S 30972 30974 30928 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30974/tid=30985] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30985/stat : 30985 (java) S 30972 30974 30928 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 205898864 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30974/tid=30998] ppid=30972 vsize=1713432 CPUtime=0 /proc/30974/task/30998/stat : 30998 (java) S 30972 30974 30928 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 205914987 1754554368 100746 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 1713432 Sending SIGTERM to -30974 Sleeping 2 seconds Child status: 143 Real time (s): 1796.44 CPU time (s): 1800.3 CPU user time (s): 1799.48 CPU system time (s): 0.818875 CPU usage (%): 100.215 Max. virtual memory (cumulated for all children) (Kb): 1713752
Begin job on node9 on Sun Jun 4 06:26:05 UTC 2006 FILE ID= 44279-1149402365 PBS_JOBID= 314105 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/44279-1149402365/instance-44279-1149402365.opb 493969731 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-44279-1149402365 -o ROOT/results/node9/solver-44279-1149402365 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/44279-1149402365/instance-44279-1149402365.opb 493969731 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b RANDOM SEED= 493969731 /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.234 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.234 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: 1351864 kB Buffers: 32120 kB Cached: 595056 kB SwapCached: 3660 kB Active: 34920 kB Inactive: 600812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1351864 kB SwapTotal: 4192956 kB SwapFree: 4180856 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14708 kB Slab: 54332 kB Committed_AS: 392740 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Sun Jun 4 06:56:02 UTC 2006