Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 42 | 1800.86 | 1794.41 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb |
MD5SUM | 1d7aea072d665a4285862aa32425d490 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9 |
Optimality of the best value was proved | NO |
Number of variables | 270 |
Total number of constraints | 7 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 90 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 37450 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524454 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261155 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524454 |
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.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.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/node69/44040-1149357831/instance-44040-1149357831.opb 0.20 c reading problem ... 0.30 c ... done. Time 0.101 ms. 0.30 c #vars 270 0.30 c #constraints 14 1.38 c SATISFIABLE 1.38 c OPTIMIZING... 1.38 c Got one! Ellapsed CPU time (in seconds):1.178 1.39 o 135 1.89 c Got one! Ellapsed CPU time (in seconds):1.684 1.89 o 127 3.13 c Got one! Ellapsed CPU time (in seconds):2.923 3.13 o 74 3.47 c Got one! Ellapsed CPU time (in seconds):3.267 3.47 o 57 93.36 c Got one! Ellapsed CPU time (in seconds):93.155 93.36 o 56 229.72 c Got one! Ellapsed CPU time (in seconds):229.515 229.72 o 55 438.91 c Got one! Ellapsed CPU time (in seconds):438.705 438.91 o 52 440.64 c Got one! Ellapsed CPU time (in seconds):440.436 440.64 o 51 442.96 c Got one! Ellapsed CPU time (in seconds):442.76 442.96 o 50 810.90 c Got one! Ellapsed CPU time (in seconds):810.696 810.90 o 47 960.99 c Got one! Ellapsed CPU time (in seconds):960.79 960.99 o 42 1794.28 c starts : 38 1794.28 c conflicts : 6323 1794.28 c decisions : 24401 1794.28 c propagations : 86234 1794.28 c inspects : 21805496 1794.28 c learnt literals : 0 1794.28 c learnt binary clauses : 0 1794.28 c learnt ternary clauses : 0 1794.28 c learnt clauses : 6322 1794.28 c root simplifications : 0 1794.28 c removed literals (reason simplification) : 0 1794.28 c reason swapping (by a shorter reason) : 0 1794.28 c Calls to reduceDB : 0 1794.28 c speed (decisions/second) : 29.28275784271723 1794.28 c non guided choices 1164 1794.28 s SATISFIABLE 1794.28 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 1794.28 v -x29 -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 1794.28 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 1794.28 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 x97 x98 x99 -x100 x101 -x102 x103 -x104 -x105 x106 1794.28 v x107 x108 -x109 x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1794.28 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 -x146 -x147 x148 x149 x150 1794.28 v x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 x167 -x168 x169 -x170 -x171 x172 1794.28 v x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 x190 x191 -x192 -x193 1794.28 v -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 x203 x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 1794.28 v -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 1794.28 v x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 -x256 -x257 1794.28 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1794.29 c objective function=42 1794.29 c Total wall clock time (ms): 1794.082
OK 42
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/node69/watcher-44040-1149357831 -o ROOT/results/node69/solver-44040-1149357831 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node69/44040-1149357831/instance-44040-1149357831.opb 561571727 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.08 1.02 1.01 3/64 25720 /proc/meminfo: memFree=1709356/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1460 CPUtime=0 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 117 0 0 0 0 0 0 0 19 0 1 0 201453097 1495040 89 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 134520822 0 0 4096 0 0 0 0 17 1 0 0 /proc/25720/statm: 365 96 76 14 0 10 0 [startup+10.002 s] /proc/loadavg: 1.14 1.03 1.01 2/76 25736 /proc/meminfo: memFree=1525004/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1715132 CPUtime=11.21 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 52169 0 1 0 1098 23 0 0 25 0 13 0 201453097 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428783 47850 1905 14 0 415530 0 [pid=25720/tid=25721] ppid=25718 vsize=1715132 CPUtime=0.11 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 3472 0 0 0 10 1 0 0 16 0 13 0 201453100 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1715132 CPUtime=0.11 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 3497 0 0 0 10 1 0 0 16 0 13 0 201453100 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 201453103 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1715132 CPUtime=0.79 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2747 0 0 0 78 1 0 0 17 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1715132 CPUtime=0.76 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1938 0 0 0 76 0 0 0 17 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25736] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25736/stat : 25736 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453445 1756295168 47850 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.21 Current children cumulated vsize (Kb) 1715132 [startup+20.0098 s] /proc/loadavg: 1.12 1.03 1.01 2/76 25736 /proc/meminfo: memFree=1522124/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1715132 CPUtime=21.25 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 53571 0 1 0 2101 24 0 0 22 0 13 0 201453097 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071384547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428783 48523 1905 14 0 415530 0 [pid=25720/tid=25721] ppid=25718 vsize=1715132 CPUtime=0.13 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 4322 0 0 0 12 1 0 0 16 0 13 0 201453100 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1715132 CPUtime=0.13 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 4040 0 0 0 12 1 0 0 16 0 13 0 201453100 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 201453103 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1715132 CPUtime=0.79 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2747 0 0 0 78 1 0 0 17 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1715132 CPUtime=0.76 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1938 0 0 0 76 0 0 0 17 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25736] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25736/stat : 25736 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453445 1756295168 48523 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.25 Current children cumulated vsize (Kb) 1715132 [startup+30.0167 s] /proc/loadavg: 1.10 1.03 1.01 2/76 25736 /proc/meminfo: memFree=1525196/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1715132 CPUtime=31.27 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 55053 0 1 0 3102 25 0 0 25 0 13 0 201453097 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071385031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428783 47761 1907 14 0 415530 0 [pid=25720/tid=25721] ppid=25718 vsize=1715132 CPUtime=0.16 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 5150 0 0 0 14 2 0 0 16 0 13 0 201453100 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1715132 CPUtime=0.16 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 4682 0 0 0 14 2 0 0 16 0 13 0 201453100 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 201453103 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1715132 CPUtime=0.79 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2749 0 0 0 78 1 0 0 16 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1715132 CPUtime=0.76 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1938 0 0 0 76 0 0 0 16 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25736] ppid=25718 vsize=1715132 CPUtime=0 /proc/25720/task/25736/stat : 25736 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453445 1756295168 47761 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.27 Current children cumulated vsize (Kb) 1715132 [startup+40.0235 s] /proc/loadavg: 1.08 1.03 1.01 2/76 25736 /proc/meminfo: memFree=1529932/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=41.31 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 56680 0 1 0 4104 27 0 0 25 0 13 0 201453097 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071385127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 46576 1908 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=0.18 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 6056 0 0 0 16 2 0 0 17 0 13 0 201453100 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=0.18 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 5391 0 0 0 16 2 0 0 16 0 13 0 201453100 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 201453103 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.81 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 80 1 0 0 17 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.76 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1938 0 0 0 76 0 0 0 17 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 46576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25736] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25736/stat : 25736 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201453445 1754406912 46576 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) 1713288 [startup+50.0303 s] /proc/loadavg: 1.07 1.03 1.01 2/76 25736 /proc/meminfo: memFree=1531980/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=51.34 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 57900 0 1 0 5106 28 0 0 25 0 13 0 201453097 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071596578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 46065 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=0.21 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 6538 0 0 0 18 3 0 0 16 0 13 0 201453100 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=0.21 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 6116 0 0 0 18 3 0 0 16 0 13 0 201453100 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 201453103 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.81 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 80 1 0 0 16 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.76 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1938 0 0 0 76 0 0 0 17 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 46065 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25736] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25736/stat : 25736 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201453445 1754406912 46065 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) 1713288 [startup+60.0372 s] /proc/loadavg: 1.06 1.03 1.00 2/76 25736 /proc/meminfo: memFree=1533068/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=61.36 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 59172 0 1 0 6108 28 0 0 25 0 13 0 201453097 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 45787 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=0.24 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 7293 0 0 0 21 3 0 0 16 0 13 0 201453100 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=0.23 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 6625 0 0 0 20 3 0 0 16 0 13 0 201453100 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.01 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 32 0 0 0 0 1 0 0 16 0 13 0 201453103 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 45787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150907 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 1713288 [startup+1791.26 s] /proc/loadavg: 1.01 1.00 1.00 2/76 25745 /proc/meminfo: memFree=1110748/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=1797.71 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 287173 0 1 0 179619 152 0 0 25 0 13 0 201453097 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 150987 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 90473 0 0 0 566 40 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 87209 0 0 0 563 43 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.32 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 292 0 0 0 16 16 0 0 16 0 13 0 201453103 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 1713288 [startup+1792.27 s] /proc/loadavg: 1.01 1.00 1.00 2/76 25745 /proc/meminfo: memFree=1110748/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=1798.71 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 287173 0 1 0 179719 152 0 0 25 0 13 0 201453097 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 150987 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 90473 0 0 0 566 40 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 87209 0 0 0 563 43 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.32 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 292 0 0 0 16 16 0 0 16 0 13 0 201453103 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 1713288 [startup+1793.27 s] /proc/loadavg: 1.01 1.00 1.00 2/76 25745 /proc/meminfo: memFree=1110748/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=1799.72 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 287173 0 1 0 179820 152 0 0 25 0 13 0 201453097 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 150987 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 90473 0 0 0 566 40 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 87209 0 0 0 563 43 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.32 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 292 0 0 0 16 16 0 0 16 0 13 0 201453103 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 1713288 [startup+1794.28 s] /proc/loadavg: 1.01 1.00 1.00 2/76 25745 /proc/meminfo: memFree=1110748/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=1800.72 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 287173 0 1 0 179920 152 0 0 25 0 13 0 201453097 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071402861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 150987 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 90473 0 0 0 566 40 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 87209 0 0 0 563 43 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.32 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 292 0 0 0 16 16 0 0 16 0 13 0 201453103 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 1713288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.28 s] /proc/loadavg: 1.01 1.00 1.00 2/76 25745 /proc/meminfo: memFree=1110748/2055920 swapFree=4182216/4192956 [pid=25720] ppid=25718 vsize=1713288 CPUtime=1800.73 /proc/25720/stat : 25720 (java) R 25718 25720 25674 0 -1 0 287173 0 1 0 179921 152 0 0 25 0 13 0 201453097 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071402865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25720/statm: 428322 150987 1909 14 0 415069 0 [pid=25720/tid=25721] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25721/stat : 25721 (java) S 25718 25720 25674 0 -1 64 90473 0 0 0 566 40 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25722] ppid=25718 vsize=1713288 CPUtime=6.06 /proc/25720/task/25722/stat : 25722 (java) S 25718 25720 25674 0 -1 64 87209 0 0 0 563 43 0 0 16 0 13 0 201453100 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25723] ppid=25718 vsize=1713288 CPUtime=0.32 /proc/25720/task/25723/stat : 25723 (java) S 25718 25720 25674 0 -1 64 292 0 0 0 16 16 0 0 16 0 13 0 201453103 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25724] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25724/stat : 25724 (java) S 25718 25720 25674 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25725] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25725/stat : 25725 (java) S 25718 25720 25674 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201453104 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25726] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25726/stat : 25726 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25727] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25727/stat : 25727 (java) S 25718 25720 25674 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25728] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25728/stat : 25728 (java) S 25718 25720 25674 0 -1 64 2752 0 0 0 81 1 0 0 16 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25729] ppid=25718 vsize=1713288 CPUtime=0.82 /proc/25720/task/25729/stat : 25729 (java) S 25718 25720 25674 0 -1 64 1941 0 0 0 82 0 0 0 17 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25720/tid=25730] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25730/stat : 25730 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25731] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25731/stat : 25731 (java) S 25718 25720 25674 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201453107 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25720/tid=25743] ppid=25718 vsize=1713288 CPUtime=0 /proc/25720/task/25743/stat : 25743 (java) S 25718 25720 25674 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201549197 1754406912 150987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (Kb) 1713288 Sending SIGTERM to -25720 Sleeping 2 seconds Child status: 143 Real time (s): 1794.41 CPU time (s): 1800.86 CPU user time (s): 1799.24 CPU system time (s): 1.61775 CPU usage (%): 100.359 Max. virtual memory (cumulated for all children) (Kb): 1715132
Begin job on node69 on Sat Jun 3 18:03:51 UTC 2006 FILE ID= 44040-1149357831 PBS_JOBID= 311346 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node69/44040-1149357831/instance-44040-1149357831.opb 561571727 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-44040-1149357831 -o ROOT/results/node69/solver-44040-1149357831 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node69/44040-1149357831/instance-44040-1149357831.opb 561571727 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 1d7aea072d665a4285862aa32425d490 RANDOM SEED= 561571727 /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.232 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.232 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: 1709628 kB Buffers: 32336 kB Cached: 243996 kB SwapCached: 2468 kB Active: 109056 kB Inactive: 175980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1709628 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15444 kB Slab: 47300 kB Committed_AS: 366164 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sat Jun 3 18:33:46 UTC 2006