Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 237.792 | 237.869 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb |
MD5SUM | 8999d4ddd4825a5d620fe0a3c798bc24 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.234963 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 316 |
Total number of constraints | 476 |
Number of constraints which are clauses | 274 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 14 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 114 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.03 c Initial problem consists of 316 variables and 476 constraints. 0.03 c Using non-optimization problem switches. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.019 0.03 c After prepocess the problem consists of 316 variables and 476 constraints. 0.06 c Restart #1 #Var: 316 LB: 0 @ 0.049 0.13 c Restart #2 #Var: 316 LB: 0 @ 0.118 0.22 c Restart #3 #Var: 316 LB: 0 @ 0.209 0.36 c Restart #4 #Var: 316 LB: 0 @ 0.349 0.51 c Restart #5 #Var: 316 LB: 0 @ 0.506 0.77 c Restart #6 #Var: 316 LB: 0 @ 0.758 1.03 c Restart #7 #Var: 316 LB: 0 @ 1.024 1.38 c Restart #8 #Var: 316 LB: 0 @ 1.374 1.83 c Restart #9 #Var: 316 LB: 0 @ 1.823 2.28 c Restart #10 #Var: 316 LB: 0 @ 2.272 2.75 c Restart #11 #Var: 316 LB: 0 @ 2.746 3.31 c Restart #12 #Var: 316 LB: 0 @ 3.304 4.15 c Restart #13 #Var: 316 LB: 0 @ 4.139 5.26 c Restart #14 #Var: 316 LB: 0 @ 5.249 6.72 c Restart #15 #Var: 316 LB: 0 @ 6.706 8.36 c Restart #16 #Var: 316 LB: 0 @ 8.347 9.50 c Restart #17 #Var: 316 LB: 0 @ 9.493 10.98 c Restart #18 #Var: 316 LB: 0 @ 10.97 13.44 c Restart #19 #Var: 316 LB: 0 @ 13.428 15.77 c Restart #20 #Var: 316 LB: 0 @ 15.753 20.18 c Restart #21 #Var: 316 LB: 0 @ 20.167 23.34 c Restart #22 #Var: 316 LB: 0 @ 23.322 27.98 c Restart #23 #Var: 316 LB: 0 @ 27.962 30.71 c Restart #24 #Var: 316 LB: 0 @ 30.687 36.35 c Restart #25 #Var: 316 LB: 0 @ 36.327 41.39 c Restart #26 #Var: 316 LB: 0 @ 41.373 50.38 c Restart #27 #Var: 316 LB: 0 @ 50.359 56.98 c Restart #28 #Var: 316 LB: 0 @ 56.95 64.91 c Restart #29 #Var: 316 LB: 0 @ 64.883 73.40 c Restart #30 #Var: 316 LB: 0 @ 73.371 87.61 c Restart #31 #Var: 316 LB: 0 @ 87.573 94.16 c Restart #32 #Var: 316 LB: 0 @ 94.123 105.67 c Restart #33 #Var: 316 LB: 0 @ 105.63 112.28 c Restart #34 #Var: 316 LB: 0 @ 112.24 132.80 c Restart #35 #Var: 316 LB: 0 @ 132.75 144.97 c Restart #36 #Var: 316 LB: 0 @ 144.92 154.29 c Restart #37 #Var: 316 LB: 0 @ 154.24 171.62 c Restart #38 #Var: 316 LB: 0 @ 171.56 193.83 c Restart #39 #Var: 316 LB: 0 @ 193.77 213.32 c Restart #40 #Var: 316 LB: 0 @ 213.25 237.84 c Sol. found (all assignments made)... 237.84 o 0 237.84 c NEW SOLUTION FOUND: 0 @ 237.77 237.84 s SATISFIABLE 237.84 c Cost: 0 237.84 v -x1 -x3 -x5 -x7 -x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 -x53 237.84 v -x55 -x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x77 -x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 237.84 v -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 x123 -x125 -x127 -x129 -x131 -x133 x135 -x137 -x139 -x141 -x143 x145 237.84 v -x147 -x149 -x151 -x153 x155 x157 -x159 -x161 x163 x165 -x167 -x169 -x171 -x173 x175 x177 x179 -x181 x183 x185 -x187 -x189 237.84 v -x191 -x193 -x195 x197 x199 -x2 -x4 -x6 x8 x10 x12 x14 -x16 -x18 -x20 -x22 -x24 -x26 x28 x30 x32 -x34 -x36 -x38 -x40 x42 -x44 -x46 237.84 v -x48 x50 -x52 x54 -x56 -x58 -x60 x62 -x64 -x66 -x68 -x70 x72 -x74 -x76 -x78 -x80 x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 237.84 v -x102 -x104 -x106 x108 -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x130 -x132 -x134 -x136 -x138 -x140 -x142 237.84 v -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 237.84 v -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 x201 -x204 x203 -x206 x205 -x208 x207 -x210 x209 -x212 x211 x214 -x213 237.84 v x216 -x215 x218 -x217 x220 -x219 -x222 x221 x224 -x223 x226 -x225 -x228 x227 -x230 x229 -x232 x231 -x234 x233 x236 -x235 x238 237.84 v -x237 x240 -x239 x242 -x241 x244 -x243 -x246 x245 -x248 x247 -x250 x249 x252 -x251 x254 -x253 x256 -x255 x258 -x257 -x260 -x259 237.84 v -x262 -x261 -x264 -x263 -x266 x265 -x268 x267 -x270 x269 -x272 x271 -x274 x273 x276 -x275 -x278 x277 x280 -x279 x282 -x281 237.84 v x284 -x283 -x286 -x285 x288 -x287 x290 -x289 x292 -x291 x294 -x293 x296 -x295 x298 -x297 -x300 -x299 -x302 -x301 -x304 -x303 237.84 v -x306 x305 -x308 x307 -x310 x309 -x312 x311 -x314 x313 x316 -x315 237.84 c Exit Code: 10 237.84 c Total time: 237.77 s
OK 0
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/node18/watcher-39411-1149205072 -o ROOT/results/node18/solver-39411-1149205072 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39411-1149205072/instance-39411-1149205072.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.82 0.54 0.36 2/64 23384 /proc/meminfo: memFree=1358296/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=4616 CPUtime=0 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 206 0 0 0 0 0 0 0 18 0 1 0 186170134 4726784 177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157841472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 1187 188 143 55 0 79 0 [startup+10.0018 s] /proc/loadavg: 0.85 0.55 0.36 2/64 23384 /proc/meminfo: memFree=1333408/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=29296 CPUtime=9.98 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 6598 0 0 0 994 4 0 0 25 0 1 0 186170134 29999104 6513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 7324 6513 297 55 0 6216 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 29296 [startup+20.0087 s] /proc/loadavg: 0.87 0.57 0.37 2/64 23384 /proc/meminfo: memFree=1324512/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=38224 CPUtime=19.99 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 8824 0 0 0 1992 7 0 0 25 0 1 0 186170134 39141376 8739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 9556 8739 297 55 0 8448 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38224 [startup+30.0167 s] /proc/loadavg: 0.89 0.58 0.37 2/64 23384 /proc/meminfo: memFree=1315680/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=47140 CPUtime=29.99 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 11029 0 0 0 2989 10 0 0 25 0 1 0 186170134 48271360 10944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 11785 10944 297 55 0 10677 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 47140 [startup+40.0227 s] /proc/loadavg: 0.91 0.59 0.38 2/64 23384 /proc/meminfo: memFree=1309728/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=53064 CPUtime=40 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 12511 0 0 0 3987 13 0 0 25 0 1 0 186170134 54337536 12426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 13266 12426 297 55 0 12158 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 53064 [startup+50.0286 s] /proc/loadavg: 0.92 0.61 0.39 2/64 23384 /proc/meminfo: memFree=1304544/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=58204 CPUtime=50 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 13801 0 0 0 4986 14 0 0 25 0 1 0 186170134 59600896 13716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 14551 13716 297 55 0 13443 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 58204 [startup+60.0346 s] /proc/loadavg: 0.93 0.62 0.39 2/64 23384 /proc/meminfo: memFree=1299872/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=62832 CPUtime=60 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 14964 0 0 0 5984 16 0 0 25 0 1 0 186170134 64339968 14879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 15708 14879 297 55 0 14600 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 62832 [startup+70.0406 s] /proc/loadavg: 0.94 0.63 0.40 2/64 23384 /proc/meminfo: memFree=1294560/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=68228 CPUtime=70 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 16286 0 0 0 6983 17 0 0 25 0 1 0 186170134 69865472 16201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 17057 16201 297 55 0 15949 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 68228 [startup+80.0466 s] /proc/loadavg: 0.95 0.64 0.40 2/64 23384 /proc/meminfo: memFree=1291680/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=71116 CPUtime=80.01 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 17003 0 0 0 7982 19 0 0 25 0 1 0 186170134 72822784 16918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 17779 16918 297 55 0 16671 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 71116 [startup+90.0525 s] /proc/loadavg: 0.96 0.65 0.41 2/64 23384 /proc/meminfo: memFree=1288544/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=74244 CPUtime=90.01 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 17789 0 0 0 8981 20 0 0 25 0 1 0 186170134 76025856 17704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 18561 17704 297 55 0 17453 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 74244 [startup+100.059 s] /proc/loadavg: 0.96 0.66 0.42 2/64 23384 /proc/meminfo: memFree=1282784/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=80032 CPUtime=100.02 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 19226 0 0 0 9979 23 0 0 25 0 1 0 186170134 81952768 19141 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 20008 19141 297 55 0 18900 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 80032 [startup+110.064 s] /proc/loadavg: 0.97 0.68 0.42 2/64 23384 /proc/meminfo: memFree=1278112/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=84620 CPUtime=110.01 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 20380 0 0 0 10976 25 0 0 25 0 1 0 186170134 86650880 20294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 21155 20294 297 55 0 20047 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 84620 [startup+120.07 s] /proc/loadavg: 0.97 0.69 0.43 2/64 23384 /proc/meminfo: memFree=1273952/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=88812 CPUtime=120.02 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 21418 0 0 0 11975 27 0 0 25 0 1 0 186170134 90943488 21331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 22203 21331 297 55 0 21095 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 88812 [startup+130.076 s] /proc/loadavg: 0.98 0.70 0.43 2/64 23384 /proc/meminfo: memFree=1272032/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=90652 CPUtime=130.02 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 21892 0 0 0 12975 27 0 0 25 0 1 0 186170134 92827648 21805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 22663 21805 297 55 0 21555 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 90652 [startup+140.082 s] /proc/loadavg: 0.98 0.71 0.44 2/64 23384 /proc/meminfo: memFree=1268832/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=93932 CPUtime=140.03 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 22702 0 0 0 13974 29 0 0 25 0 1 0 186170134 96186368 22615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 23483 22615 297 55 0 22375 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 93932 [startup+150.088 s] /proc/loadavg: 0.98 0.71 0.45 2/64 23384 /proc/meminfo: memFree=1265056/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=97724 CPUtime=150.03 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 23628 0 0 0 14972 31 0 0 25 0 1 0 186170134 100069376 23541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 24431 23541 297 55 0 23323 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 97724 [startup+160.094 s] /proc/loadavg: 0.98 0.72 0.45 2/64 23384 /proc/meminfo: memFree=1261984/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=100884 CPUtime=160.04 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 24420 0 0 0 15972 32 0 0 25 0 1 0 186170134 103305216 24332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 25221 24332 297 55 0 24113 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 100884 [startup+170.1 s] /proc/loadavg: 0.99 0.73 0.46 2/64 23384 /proc/meminfo: memFree=1259296/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=103516 CPUtime=170.04 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 25079 0 0 0 16971 33 0 0 25 0 1 0 186170134 106000384 24991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 25879 24991 297 55 0 24771 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 103516 [startup+180.106 s] /proc/loadavg: 0.99 0.74 0.46 2/64 23384 /proc/meminfo: memFree=1256224/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=106688 CPUtime=180.04 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 25856 0 0 0 17970 34 0 0 25 0 1 0 186170134 109248512 25767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 26672 25767 297 55 0 25564 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 106688 [startup+190.112 s] /proc/loadavg: 0.99 0.75 0.47 2/64 23384 /proc/meminfo: memFree=1254112/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=108804 CPUtime=190.04 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 26373 0 0 0 18969 35 0 0 25 0 1 0 186170134 111415296 26283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 27201 26283 297 55 0 26093 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 108804 [startup+200.118 s] /proc/loadavg: 0.99 0.76 0.47 2/64 23384 /proc/meminfo: memFree=1250976/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=111964 CPUtime=200.05 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 27152 0 0 0 19969 36 0 0 25 0 1 0 186170134 114651136 27060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 27991 27060 297 55 0 26883 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 111964 [startup+210.124 s] /proc/loadavg: 0.99 0.76 0.48 2/64 23384 /proc/meminfo: memFree=1248224/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=114732 CPUtime=210.05 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 27843 0 0 0 20968 37 0 0 25 0 1 0 186170134 117485568 27751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 28683 27751 297 55 0 27575 0 Current children cumulated CPU time (s) 210.05 Current children cumulated vsize (Kb) 114732 [startup+220.13 s] /proc/loadavg: 0.99 0.77 0.48 2/64 23384 /proc/meminfo: memFree=1246560/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=116348 CPUtime=220.05 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 28254 0 0 0 21968 37 0 0 25 0 1 0 186170134 119140352 28161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 29087 28161 297 55 0 27979 0 Current children cumulated CPU time (s) 220.05 Current children cumulated vsize (Kb) 116348 [startup+230.136 s] /proc/loadavg: 0.99 0.78 0.49 2/64 23384 /proc/meminfo: memFree=1245024/2055920 swapFree=4180888/4192956 [pid=23384] ppid=23382 vsize=117920 CPUtime=230.05 /proc/23384/stat : 23384 (bsolo) R 23382 23384 23339 0 -1 0 28637 0 0 0 22967 38 0 0 25 0 1 0 186170134 120750080 28544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23384/statm: 29480 28544 297 55 0 28372 0 Current children cumulated CPU time (s) 230.05 Current children cumulated vsize (Kb) 117920 Child status: 10 Real time (s): 237.869 CPU time (s): 237.792 CPU user time (s): 237.367 CPU system time (s): 0.424935 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 117920
Begin job on node18 on Thu Jun 1 23:37:52 UTC 2006 FILE ID= 39411-1149205072 PBS_JOBID= 293096 BENCH NAME= ROOT/tmp/node18/39411-1149205072/instance-39411-1149205072.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39411-1149205072/instance-39411-1149205072.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-39411-1149205072 -o ROOT/results/node18/solver-39411-1149205072 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/39411-1149205072/instance-39411-1149205072.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8999d4ddd4825a5d620fe0a3c798bc24 RANDOM SEED= 301925201 /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.216 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 : 5931.00 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.216 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: 1358504 kB Buffers: 38800 kB Cached: 582700 kB SwapCached: 3828 kB Active: 245956 kB Inactive: 384280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1358504 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14668 kB Slab: 53244 kB Committed_AS: 199652 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Thu Jun 1 23:41:50 UTC 2006