Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 307 | 1800.25 | 1783.49 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 4.87126 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
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.21 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.21 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.22 c no version file found!!! 0.22 c sun.arch.data.model 32 0.22 c java.version 1.5.0_06 0.22 c os.name Linux 0.22 c os.version 2.6.9-22.EL.rootsmp 0.22 c os.arch i386 0.22 c Free memory 1548419056 0.22 c Max memory 1551040512 0.22 c Total memory 1551040512 0.22 c Number of processors 2 0.28 c Cutting planes based inference 0.28 c --- Begin Solver configuration --- 0.28 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.28 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.28 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.28 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.28 c VSIDS like heuristics from MiniSAT using a heap 0.28 c No reason simplification 0.28 c --- End Solver configuration --- 0.28 c solving ROOT/tmp/node50/44112-1149367748/instance-44112-1149367748.opb 0.28 c reading problem ... 0.41 c ... done. Time 0.126 ms. 0.41 c #vars 319 0.41 c #constraints 6 0.45 c SATISFIABLE 0.45 c OPTIMIZING... 0.45 c Got one! Ellapsed CPU time (in seconds):0.164 0.46 o 426 1.02 c Got one! Ellapsed CPU time (in seconds):0.735 1.02 o 360 27.85 c Got one! Ellapsed CPU time (in seconds):27.569 27.85 o 358 92.71 c Got one! Ellapsed CPU time (in seconds):92.432 92.72 o 327 804.07 c Got one! Ellapsed CPU time (in seconds):803.791 804.07 o 309 1415.75 c Got one! Ellapsed CPU time (in seconds):1415.467 1415.75 o 307 1783.37 c starts : 31 1783.37 c conflicts : 10256 1783.37 c decisions : 58757 1783.37 c propagations : 214226 1783.37 c inspects : 29750695 1783.37 c learnt literals : 0 1783.37 c learnt binary clauses : 0 1783.37 c learnt ternary clauses : 0 1783.37 c learnt clauses : 10255 1783.37 c root simplifications : 0 1783.37 c removed literals (reason simplification) : 0 1783.37 c reason swapping (by a shorter reason) : 0 1783.37 c Calls to reduceDB : 0 1783.37 c speed (decisions/second) : 159.83254265320335 1783.37 c non guided choices 2024 1783.37 s SATISFIABLE 1783.37 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 1783.37 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 1783.37 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 1783.37 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 1783.37 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1783.37 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1783.37 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1783.37 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1783.37 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1783.37 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1783.37 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1783.37 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1783.37 v -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1783.37 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1783.37 v -x315 -x316 -x317 -x318 -x319 1783.37 c objective function=307 1783.37 c Total wall clock time (ms): 1783.086
OK 307
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/node50/watcher-44112-1149367748 -o ROOT/results/node50/solver-44112-1149367748 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node50/44112-1149367748/instance-44112-1149367748.opb 892438711 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 15290 /proc/meminfo: memFree=1650720/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1784 CPUtime=0 /proc/15290/stat : 15290 (java) D 15288 15290 15244 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 202441950 1826816 148 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/15290/statm: 446 148 113 14 0 91 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.98 2/76 15304 /proc/meminfo: memFree=1465096/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=11.03 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 52316 0 1 0 1079 24 0 0 25 0 13 0 202441950 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071389431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 48139 1905 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.06 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 1840 0 0 0 6 0 0 0 16 0 13 0 202441953 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.05 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 1660 0 0 0 5 0 0 0 16 0 13 0 202441953 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 202441956 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.7 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2352 0 0 0 69 1 0 0 16 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.84 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1788 0 0 0 83 1 0 0 16 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15304] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15304/stat : 15304 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202442053 1754107904 48139 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.03 Current children cumulated vsize (Kb) 1712996 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.98 2/76 15304 /proc/meminfo: memFree=1477768/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=21.07 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 53029 0 1 0 2082 25 0 0 22 0 13 0 202441950 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071410549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 44995 1905 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.08 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 2288 0 0 0 8 0 0 0 15 0 13 0 202441953 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.08 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 1904 0 0 0 7 1 0 0 16 0 13 0 202441953 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 202441956 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.73 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2353 0 0 0 72 1 0 0 17 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.84 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1788 0 0 0 83 1 0 0 16 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15304] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15304/stat : 15304 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202442053 1754107904 44995 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.07 Current children cumulated vsize (Kb) 1712996 [startup+30.0158 s] /proc/loadavg: 0.95 0.96 0.98 2/76 15305 /proc/meminfo: memFree=1480448/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=31.17 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 53874 0 1 0 3091 26 0 0 25 0 13 0 202441950 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071416049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 44327 1907 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.11 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 2665 0 0 0 11 0 0 0 16 0 13 0 202441953 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.11 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 2345 0 0 0 10 1 0 0 16 0 13 0 202441953 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.01 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 0 1 0 0 17 0 13 0 202441956 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.79 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2361 0 0 0 78 1 0 0 16 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.86 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1789 0 0 0 85 1 0 0 15 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15305] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15305/stat : 15305 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202444736 1754107904 44327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.17 Current children cumulated vsize (Kb) 1712996 [startup+40.0227 s] /proc/loadavg: 0.95 0.96 0.98 2/76 15305 /proc/meminfo: memFree=1484608/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=41.2 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 54296 0 1 0 4092 28 0 0 25 0 13 0 202441950 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071388506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 43280 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.13 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 2878 0 0 0 13 0 0 0 16 0 13 0 202441953 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.12 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 2526 0 0 0 11 1 0 0 17 0 13 0 202441953 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.01 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 0 1 0 0 16 0 13 0 202441956 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.81 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2364 0 0 0 80 1 0 0 16 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.86 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1789 0 0 0 85 1 0 0 17 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15305] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15305/stat : 15305 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202444736 1754107904 43280 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.2 Current children cumulated vsize (Kb) 1712996 [startup+50.0296 s] /proc/loadavg: 0.96 0.96 0.98 2/76 15305 /proc/meminfo: memFree=1485568/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=51.23 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 54745 0 1 0 5094 29 0 0 20 0 13 0 202441950 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071410135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 43056 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.16 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 3125 0 0 0 15 1 0 0 17 0 13 0 202441953 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.15 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 2703 0 0 0 13 2 0 0 15 0 13 0 202441953 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.03 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 1 2 0 0 16 0 13 0 202441956 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.81 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2364 0 0 0 80 1 0 0 16 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.86 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1789 0 0 0 85 1 0 0 16 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15305] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15305/stat : 15305 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202444736 1754107904 43056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.23 Current children cumulated vsize (Kb) 1712996 [startup+60.0355 s] /proc/loadavg: 0.97 0.96 0.98 2/76 15305 /proc/meminfo: memFree=1486976/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=61.25 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 55182 0 1 0 6096 29 0 0 25 0 13 0 202441950 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071463735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 42702 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=0.2 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 3410 0 0 0 19 1 0 0 16 0 13 0 202441953 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=0.17 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 2828 0 0 0 15 2 0 0 15 0 13 0 202441953 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.03 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 28 0 0 0 1 2 0 0 16 0 13 0 202441956 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 42702 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161658 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (Kb) 1712996 [startup+1780.34 s] /proc/loadavg: 1.06 1.02 1.00 2/76 15503 /proc/meminfo: memFree=1010408/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=1797.08 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 260461 0 1 0 179530 178 0 0 18 0 13 0 202441950 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071564655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 161375 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=16.79 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 67882 0 0 0 1639 40 0 0 16 0 13 0 202441953 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=16.63 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 76219 0 0 0 1621 42 0 0 16 0 13 0 202441953 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.61 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 220 0 0 0 33 28 0 0 15 0 13 0 202441956 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161375 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (Kb) 1712996 [startup+1781.35 s] /proc/loadavg: 1.06 1.02 1.00 2/76 15503 /proc/meminfo: memFree=1010408/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=1798.1 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 260468 0 1 0 179632 178 0 0 17 0 13 0 202441950 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071389120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 161381 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=16.8 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 67887 0 0 0 1640 40 0 0 16 0 13 0 202441953 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=16.64 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 76220 0 0 0 1622 42 0 0 16 0 13 0 202441953 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.61 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 220 0 0 0 33 28 0 0 15 0 13 0 202441956 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (Kb) 1712996 [startup+1782.35 s] /proc/loadavg: 1.06 1.02 1.00 2/76 15503 /proc/meminfo: memFree=1010408/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=1799.1 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 260468 0 1 0 179732 178 0 0 25 0 13 0 202441950 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 161381 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=16.8 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 67887 0 0 0 1640 40 0 0 16 0 13 0 202441953 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=16.64 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 76220 0 0 0 1622 42 0 0 16 0 13 0 202441953 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.61 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 220 0 0 0 33 28 0 0 16 0 13 0 202441956 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (Kb) 1712996 [startup+1783.36 s] /proc/loadavg: 1.06 1.02 1.00 2/76 15503 /proc/meminfo: memFree=1011368/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=1800.12 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 260475 0 1 0 179834 178 0 0 23 0 13 0 202441950 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071564572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 161131 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=16.81 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 67892 0 0 0 1641 40 0 0 16 0 13 0 202441953 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=16.65 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 76221 0 0 0 1623 42 0 0 16 0 13 0 202441953 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.61 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 220 0 0 0 33 28 0 0 15 0 13 0 202441956 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1712996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.36 s] /proc/loadavg: 1.06 1.02 1.00 2/76 15503 /proc/meminfo: memFree=1011368/2055920 swapFree=4181340/4192956 [pid=15290] ppid=15288 vsize=1712996 CPUtime=1800.12 /proc/15290/stat : 15290 (java) R 15288 15290 15244 0 -1 0 260475 0 1 0 179834 178 0 0 23 0 13 0 202441950 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071564464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15290/statm: 428249 161131 1908 14 0 414996 0 [pid=15290/tid=15291] ppid=15288 vsize=1712996 CPUtime=16.81 /proc/15290/task/15291/stat : 15291 (java) S 15288 15290 15244 0 -1 64 67892 0 0 0 1641 40 0 0 16 0 13 0 202441953 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15292] ppid=15288 vsize=1712996 CPUtime=16.65 /proc/15290/task/15292/stat : 15292 (java) S 15288 15290 15244 0 -1 64 76221 0 0 0 1623 42 0 0 16 0 13 0 202441953 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15293] ppid=15288 vsize=1712996 CPUtime=0.61 /proc/15290/task/15293/stat : 15293 (java) S 15288 15290 15244 0 -1 64 220 0 0 0 33 28 0 0 15 0 13 0 202441956 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15294] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15294/stat : 15294 (java) S 15288 15290 15244 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15295] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15295/stat : 15295 (java) S 15288 15290 15244 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202441957 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15296] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15296/stat : 15296 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15297] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15297/stat : 15297 (java) S 15288 15290 15244 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15298] ppid=15288 vsize=1712996 CPUtime=0.85 /proc/15290/task/15298/stat : 15298 (java) S 15288 15290 15244 0 -1 64 2365 0 0 0 84 1 0 0 16 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15299] ppid=15288 vsize=1712996 CPUtime=0.9 /proc/15290/task/15299/stat : 15299 (java) S 15288 15290 15244 0 -1 64 1793 0 0 0 89 1 0 0 16 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15300] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15300/stat : 15300 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15290/tid=15301] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15301/stat : 15301 (java) S 15288 15290 15244 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202441967 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15290/tid=15503] ppid=15288 vsize=1712996 CPUtime=0 /proc/15290/task/15503/stat : 15503 (java) S 15288 15290 15244 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202583526 1754107904 161131 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (Kb) 1712996 Sending SIGTERM to -15290 Sleeping 2 seconds Child status: 143 Real time (s): 1783.49 CPU time (s): 1800.25 CPU user time (s): 1798.36 CPU system time (s): 1.89371 CPU usage (%): 100.94 Max. virtual memory (cumulated for all children) (Kb): 1712996
Begin job on node50 on Sat Jun 3 20:49:08 UTC 2006 FILE ID= 44112-1149367748 PBS_JOBID= 311940 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node50/44112-1149367748/instance-44112-1149367748.opb 892438711 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-44112-1149367748 -o ROOT/results/node50/solver-44112-1149367748 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node50/44112-1149367748/instance-44112-1149367748.opb 892438711 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED= 892438711 /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.238 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.238 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: 1650928 kB Buffers: 26396 kB Cached: 312896 kB SwapCached: 3224 kB Active: 57080 kB Inactive: 290960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1650928 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14940 kB Slab: 42892 kB Committed_AS: 364548 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Sat Jun 3 21:18:52 UTC 2006