Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | SAT | 1320.05 | 1320.39 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb |
MD5SUM | 1a4510076d9024b805728ffe22c0d108 |
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.849869 |
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 | 490 |
Total number of constraints | 737 |
Number of constraints which are clauses | 397 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 338 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
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 | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 193 |
Number of bits of the biggest sum of numbers | 8 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb ...... 1320.36 c done parsing opb. 1320.36 s SATISFIABLE 1320.36 c Total Run Time 1320.01 1320.36 v -x1 x10 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1320.36 v -x119 -x12 -x120 -x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 1320.36 v -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 -x158 1320.36 v -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 1320.36 v -x178 x179 -x18 -x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1320.36 v -x198 -x199 x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 x210 -x211 x212 -x213 x214 -x215 x216 1320.36 v -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 1320.36 v x236 -x237 x238 -x239 -x24 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 1320.36 v -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 1320.36 v x275 -x276 x277 -x278 -x279 x28 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 1320.36 v -x295 -x296 -x297 -x298 -x299 -x3 x30 -x300 x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x31 -x310 x311 -x312 -x313 1320.36 v -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 x331 -x332 1320.36 v x333 -x334 -x335 -x336 -x337 -x338 x339 x34 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 x348 -x349 -x35 x350 -x351 x352 x353 1320.36 v -x354 x355 -x356 x357 -x358 -x359 x36 x360 -x361 x362 -x363 x364 x365 -x366 x367 -x368 x369 -x37 -x370 x371 -x372 x373 -x374 1320.36 v x375 -x376 x377 -x378 -x379 x38 x380 -x381 x382 -x383 x384 -x385 x386 -x387 x388 -x389 -x39 x390 x391 -x392 x393 -x394 -x395 1320.36 v x396 -x397 x398 -x399 -x4 -x40 x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 1320.36 v -x416 x417 -x418 x419 -x42 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428 x429 -x43 -x430 x431 -x432 x433 -x434 x435 -x436 1320.36 v x437 -x438 x439 -x44 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 -x45 x450 -x451 x452 -x453 x454 -x455 x456 -x457 1320.36 v x458 -x459 -x46 x460 -x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 1320.36 v x478 -x479 -x48 x480 -x481 x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x49 x490 -x5 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 1320.36 v -x59 x6 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x8 -x80 -x81 -x82 -x83 1320.36 v -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99
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/node26/watcher-40845-1149206618 -o ROOT/results/node26/solver-40845-1149206618 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1774472/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=1400 CPUtime=0 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 3832713 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 350 143 99 232 0 115 0 [startup+10.0021 s] /proc/loadavg: 0.87 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1753560/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=22440 CPUtime=9.99 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 5500 0 0 0 995 4 0 0 25 0 1 0 3832713 22978560 5327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552463 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 5610 5327 105 232 0 5375 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22440 [startup+20.0081 s] /proc/loadavg: 0.89 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1746072/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=41848 CPUtime=20 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 7580 0 0 0 1993 7 0 0 25 0 1 0 3832713 42852352 7214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 10462 7214 105 232 0 10227 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 41848 [startup+30.014 s] /proc/loadavg: 0.90 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1744856/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=42588 CPUtime=30 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 7886 0 0 0 2990 10 0 0 25 0 1 0 3832713 43610112 7520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 10647 7520 105 232 0 10412 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 42588 [startup+40.02 s] /proc/loadavg: 0.92 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1743704/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=44892 CPUtime=40 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 8557 0 0 0 3986 14 0 0 25 0 1 0 3832713 45969408 7806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 11223 7806 105 232 0 10988 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44892 [startup+50.027 s] /proc/loadavg: 0.93 0.94 0.83 2/64 7711 /proc/meminfo: memFree=1742552/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=45668 CPUtime=50 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 8845 0 0 0 4984 16 0 0 25 0 1 0 3832713 46764032 8094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 11417 8094 105 232 0 11182 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45668 [startup+60.032 s] /proc/loadavg: 0.94 0.95 0.83 2/64 7711 /proc/meminfo: memFree=1741464/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=46432 CPUtime=60.01 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 9125 0 0 0 5982 19 0 0 25 0 1 0 3832713 47546368 8374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559040 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 11608 8374 105 232 0 11373 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 46432 [startup+70.038 s] /proc/loadavg: 0.95 0.95 0.83 2/64 7711 /proc/meminfo: memFree=1739736/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=51148 CPUtime=70.01 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 10292 0 0 0 6979 22 0 0 25 0 1 0 3832713 52375552 8772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 12787 8772 105 232 0 12552 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 51148 [startup+80.046 s] /proc/loadavg: 0.96 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1737880/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=52032 CPUtime=80.02 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 10786 0 0 0 7977 25 0 0 25 0 1 0 3832713 53280768 9266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 13008 9266 105 232 0 12773 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 52032 [startup+90.052 s] /proc/loadavg: 0.96 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1736664/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=52968 CPUtime=90.02 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11093 0 0 0 8975 27 0 0 25 0 1 0 3832713 54239232 9573 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 13242 9573 105 232 0 13007 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 52968 [startup+100.058 s] /proc/loadavg: 0.97 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1735576/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=53536 CPUtime=100.03 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11355 0 0 0 9974 29 0 0 25 0 1 0 3832713 54820864 9835 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 13384 9835 105 232 0 13149 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 53536 [startup+110.065 s] /proc/loadavg: 0.97 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1733144/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=54720 CPUtime=110.03 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 11965 0 0 0 10971 32 0 0 25 0 1 0 3832713 56033280 10445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549478 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 13680 10445 105 232 0 13445 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 54720 [startup+120.071 s] /proc/loadavg: 0.98 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1729304/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=55660 CPUtime=120.03 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 12920 0 0 0 11968 35 0 0 25 0 1 0 3832713 56995840 11400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 13915 11400 105 232 0 13680 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 55660 [startup+130.077 s] /proc/loadavg: 0.98 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1728408/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=56136 CPUtime=130.03 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 13150 0 0 0 12966 37 0 0 25 0 1 0 3832713 57483264 11630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 14034 11630 105 232 0 13799 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 56136 [startup+140.083 s] /proc/loadavg: 0.98 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1727448/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=56792 CPUtime=140.04 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 13391 0 0 0 13965 39 0 0 25 0 1 0 3832713 58155008 11871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 14198 11871 105 232 0 13963 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 56792 [startup+150.089 s] /proc/loadavg: 0.98 0.95 0.84 2/64 7711 /proc/meminfo: memFree=1724504/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=63996 CPUtime=150.04 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 15658 0 0 0 14962 42 0 0 25 0 1 0 3832713 65531904 12601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 15999 12601 105 232 0 15764 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 63996 [startup+160.095 s] /proc/loadavg: 0.99 0.96 0.84 2/64 7711 /proc/meminfo: memFree=1723736/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=64156 CPUtime=160.04 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 15850 0 0 0 15960 44 0 0 25 0 1 0 3832713 65695744 12793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 16039 12793 105 232 0 15804 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 64156 [startup+170.101 s] /proc/loadavg: 0.99 0.96 0.84 2/64 7711 /proc/meminfo: memFree=1722840/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=64988 CPUtime=170.05 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16073 0 0 0 16959 46 0 0 25 0 1 0 3832713 66547712 13016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 16247 13016 105 232 0 16012 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 64988 [startup+180.107 s] /proc/loadavg: 0.99 0.96 0.85 2/64 7711 /proc/meminfo: memFree=1722008/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=65148 CPUtime=180.05 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16285 0 0 0 17956 49 0 0 25 0 1 0 3832713 66711552 13228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 16287 13228 105 232 0 16052 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 65148 [startup+190.113 s] /proc/loadavg: 0.99 0.96 0.85 2/64 7711 /proc/meminfo: memFree=1720984/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=65764 CPUtime=190.06 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16535 0 0 0 18955 51 0 0 25 0 1 0 3832713 67342336 13478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 16441 13478 105 232 0 16206 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 65764 [startup+200.119 s] /proc/loadavg: 0.99 0.96 0.85 2/64 7711 /proc/meminfo: memFree=1720216/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=66248 CPUtime=200.06 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 16723 0 0 0 19953 53 0 0 25 0 1 0 3832713 67837952 13666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 16562 13666 105 232 0 16327 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 66248 [startup+210.125 s] /proc/loadavg: 0.99 0.96 0.85 2/64 7711 /proc/meminfo: memFree=1719384/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/7711/statm: 44708 35095 105 232 0 44473 0 Current children cumulated CPU time (s) 1100.37 Current children cumulated vsize (Kb) 178832 [startup+1110.66 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1633824/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=178832 CPUtime=1110.38 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47488 0 0 0 110795 243 0 0 25 0 1 0 3832713 183123968 35213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 44708 35213 105 232 0 44473 0 Current children cumulated CPU time (s) 1110.38 Current children cumulated vsize (Kb) 178832 [startup+1120.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1633312/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=178832 CPUtime=1120.38 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47605 0 0 0 111793 245 0 0 25 0 1 0 3832713 183123968 35330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 44708 35330 105 232 0 44473 0 Current children cumulated CPU time (s) 1120.38 Current children cumulated vsize (Kb) 178832 [startup+1130.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1632544/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=179216 CPUtime=1130.38 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47809 0 0 0 112791 247 0 0 25 0 1 0 3832713 183517184 35534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 44804 35534 105 232 0 44569 0 Current children cumulated CPU time (s) 1130.38 Current children cumulated vsize (Kb) 179216 [startup+1140.68 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1631904/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=179216 CPUtime=1140.38 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 47960 0 0 0 113789 249 0 0 25 0 1 0 3832713 183517184 35685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 44804 35685 105 232 0 44569 0 Current children cumulated CPU time (s) 1140.38 Current children cumulated vsize (Kb) 179216 [startup+1150.68 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1631328/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=179216 CPUtime=1150.38 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48108 0 0 0 114787 251 0 0 25 0 1 0 3832713 183517184 35833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 44804 35833 105 232 0 44569 0 Current children cumulated CPU time (s) 1150.38 Current children cumulated vsize (Kb) 179216 [startup+1160.69 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1630688/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=181888 CPUtime=1160.39 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48260 0 0 0 115786 253 0 0 25 0 1 0 3832713 186253312 35985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45472 35985 105 232 0 45237 0 Current children cumulated CPU time (s) 1160.39 Current children cumulated vsize (Kb) 181888 [startup+1170.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1630048/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=181888 CPUtime=1170.39 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48427 0 0 0 116784 255 0 0 25 0 1 0 3832713 186253312 36152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552873 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45472 36152 105 232 0 45237 0 Current children cumulated CPU time (s) 1170.39 Current children cumulated vsize (Kb) 181888 [startup+1180.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1629408/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182080 CPUtime=1180.4 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48581 0 0 0 117784 256 0 0 25 0 1 0 3832713 186449920 36306 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45520 36306 105 232 0 45285 0 Current children cumulated CPU time (s) 1180.4 Current children cumulated vsize (Kb) 182080 [startup+1190.71 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1628832/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182080 CPUtime=1190.4 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 48734 0 0 0 118783 257 0 0 25 0 1 0 3832713 186449920 36459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45520 36459 105 232 0 45285 0 Current children cumulated CPU time (s) 1190.4 Current children cumulated vsize (Kb) 182080 [startup+1200.71 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1626784/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182272 CPUtime=1200.4 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 49240 0 0 0 119781 259 0 0 25 0 1 0 3832713 186646528 36965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45568 36965 105 232 0 45333 0 Current children cumulated CPU time (s) 1200.4 Current children cumulated vsize (Kb) 182272 [startup+1210.72 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1626208/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182464 CPUtime=1210.4 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 49391 0 0 0 120780 260 0 0 25 0 1 0 3832713 186843136 37116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549193 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45616 37116 105 232 0 45381 0 Current children cumulated CPU time (s) 1210.4 Current children cumulated vsize (Kb) 182464 [startup+1220.73 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1623584/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182464 CPUtime=1220.41 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 50033 0 0 0 121779 262 0 0 25 0 1 0 3832713 186843136 37758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45616 37758 105 232 0 45381 0 Current children cumulated CPU time (s) 1220.41 Current children cumulated vsize (Kb) 182464 [startup+1230.73 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1619488/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182656 CPUtime=1230.41 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51054 0 0 0 122777 264 0 0 25 0 1 0 3832713 187039744 38779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134535585 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45664 38779 105 232 0 45429 0 Current children cumulated CPU time (s) 1230.41 Current children cumulated vsize (Kb) 182656 [startup+1240.74 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1617376/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=182656 CPUtime=1240.41 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51594 0 0 0 123776 265 0 0 25 0 1 0 3832713 187039744 39319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 45664 39319 105 232 0 45429 0 Current children cumulated CPU time (s) 1240.41 Current children cumulated vsize (Kb) 182656 [startup+1250.74 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1616864/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185292 CPUtime=1250.42 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51711 0 0 0 124774 268 0 0 25 0 1 0 3832713 189739008 39436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46323 39436 105 232 0 46088 0 Current children cumulated CPU time (s) 1250.42 Current children cumulated vsize (Kb) 185292 [startup+1260.75 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1616352/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185484 CPUtime=1260.42 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51840 0 0 0 125773 269 0 0 25 0 1 0 3832713 189935616 39565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46371 39565 105 232 0 46136 0 Current children cumulated CPU time (s) 1260.42 Current children cumulated vsize (Kb) 185484 [startup+1270.76 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1615776/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185484 CPUtime=1270.42 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 51989 0 0 0 126771 271 0 0 25 0 1 0 3832713 189935616 39714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46371 39714 105 232 0 46136 0 Current children cumulated CPU time (s) 1270.42 Current children cumulated vsize (Kb) 185484 [startup+1280.76 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1615328/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185484 CPUtime=1280.43 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52095 0 0 0 127770 273 0 0 25 0 1 0 3832713 189935616 39820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46371 39820 105 232 0 46136 0 Current children cumulated CPU time (s) 1280.43 Current children cumulated vsize (Kb) 185484 [startup+1290.77 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1614752/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185484 CPUtime=1290.43 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52242 0 0 0 128769 274 0 0 25 0 1 0 3832713 189935616 39967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46371 39967 105 232 0 46136 0 Current children cumulated CPU time (s) 1290.43 Current children cumulated vsize (Kb) 185484 [startup+1300.77 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1614176/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185484 CPUtime=1300.44 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52388 0 0 0 129768 276 0 0 25 0 1 0 3832713 189935616 40113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550816 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46371 40113 105 232 0 46136 0 Current children cumulated CPU time (s) 1300.44 Current children cumulated vsize (Kb) 185484 [startup+1310.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 7711 /proc/meminfo: memFree=1613152/2055920 swapFree=4192956/4192956 [pid=7711] ppid=7709 vsize=185676 CPUtime=1310.44 /proc/7711/stat : 7711 (PBS4L) R 7709 7711 7666 0 -1 4194304 52634 0 0 0 130766 278 0 0 25 0 1 0 3832713 190132224 40359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7711/statm: 46419 40359 105 232 0 46184 0 Current children cumulated CPU time (s) 1310.44 Current children cumulated vsize (Kb) 185676 Child status: 0 Real time (s): 1320.39 CPU time (s): 1320.05 CPU user time (s): 1317.21 CPU system time (s): 2.84157 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (Kb): 185676
Begin job on node26 on Fri Jun 2 00:03:38 UTC 2006 FILE ID= 40845-1149206618 PBS_JOBID= 293145 BENCH NAME= ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-40845-1149206618 -o ROOT/results/node26/solver-40845-1149206618 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/40845-1149206618/instance-40845-1149206618.opb 189503098 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108 RANDOM SEED= 189503098 /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.247 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.247 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: 1774680 kB Buffers: 17228 kB Cached: 219888 kB SwapCached: 0 kB Active: 193044 kB Inactive: 58416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774680 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 168 kB Writeback: 0 kB Mapped: 24768 kB Slab: 15856 kB Committed_AS: 99940 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Fri Jun 2 00:25:39 UTC 2006