Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -61 | 1800.04 | 1800.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_1.opb |
MD5SUM | 7980660368cd371c40e33d6668082e41 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -64 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -64 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15716 |
Sum of products size (including duplicates) | 31432 |
Number of different products | 7858 |
Sum of products size | 15716 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454350-1178024948/instance-454350-1178024948.opb 0.00/0.00 c File size is 203180 bytes. 0.03/0.09 c Highest Coefficient sum: 500 0.03/0.09 c Parsing was ok!! 0.03/0.09 c Total parsing time: 0.093 s 0.09/0.12 c Var: 16216 Constr: 32432 16216/500/15716 Lit: 125728 Watch. Lit: 94296 0.09/0.12 c Obj. Vars: 500 (3.08337 % of total variables) 0.49/0.57 c Pre-processing Time: 0.57 s 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7858 23574 3 15716 2619 0 0 0.57 0.49/0.57 c Switching off LPR mode. 0.49/0.57 o -58 0.573 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 500 7859 24074 3 15776 3619 1 0 0.57 0.49/0.59 o -59 0.593 5.09/5.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.15 c 70 500 7930 55302 6 15977 3619 72 117 0.59 5.09/5.15 c 171 500 8031 99540 12 16179 3981 173 274 0.62 5.09/5.15 c 422 500 8282 209333 25 16681 4380 424 605 0.70 5.09/5.15 c 898 500 8758 417981 47 17633 4819 900 1057 0.85 5.09/5.15 c 1713 500 9573 774867 80 19263 5301 1715 1406 1.22 5.09/5.15 c 3033 500 10893 1352665 124 21903 5832 3035 1696 1.79 5.09/5.15 c 5114 500 12974 2263636 174 26065 6416 5116 1740 2.94 5.09/5.15 c 8337 500 16197 3674090 226 32511 7058 8339 1633 5.10 5.09/5.15 o -60 5.15 8.09/8.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.17 c 8386 500 16247 3696065 227 32671 3619 8389 1628 5.15 8.09/8.17 c 8487 500 16348 3740192 228 32873 3981 8490 1635 5.19 8.09/8.17 c 8737 500 16598 3849362 231 33373 4380 8740 1655 5.28 8.09/8.17 c 9212 500 17073 4056906 237 34323 4819 9215 1629 5.65 8.09/8.17 c 10025 500 17886 4412035 246 35949 5301 10028 1579 6.35 8.09/8.17 c 11345 500 19206 4988208 259 38589 5832 11348 1647 6.89 8.09/8.17 c 13427 500 21288 5896881 277 42753 6416 13430 1661 8.08 8.09/8.17 o -61 8.166 1799.95/1800.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.44 c 13612 500 21474 5978232 278 43186 3619 13616 1666 8.17 1799.95/1800.44 c 13713 500 21575 6022236 279 43388 3981 13717 1659 8.26 1799.95/1800.44 c 13963 500 21825 6131181 280 43888 4380 13967 1654 8.44 1799.95/1800.44 c 14438 500 22300 6338271 284 44838 4819 14442 1655 8.72 1799.95/1800.44 c 15251 500 23113 6692699 289 46464 5301 15255 1683 9.06 1799.95/1800.44 c 16571 500 24433 7267674 297 49104 5832 16575 1694 9.78 1799.95/1800.44 c 18653 500 26515 8174114 308 53268 6416 18657 1263 14.76 1799.95/1800.44 c 21877 500 29739 9578754 322 59716 7058 21881 1273 17.18 1799.95/1800.44 c 26814 500 14964 3118342 208 29989 7764 7106 1151 23.28 1799.95/1800.44 c 34320 500 22470 6391957 284 45001 8541 14612 1017 33.73 1799.95/1800.44 c 45682 500 13374 2426722 181 26809 9396 5516 869 52.51 1799.95/1800.44 c 62826 500 30518 9896908 324 61097 10336 22660 720 87.19 1799.95/1800.44 c 88646 500 13631 2536726 186 27323 11370 5773 515 171.97 1799.95/1800.44 c 127478 500 30603 9931155 324 61267 12508 22745 439 289.92 1799.95/1800.44 c 185831 500 21644 6032275 278 43349 13759 13786 358 517.96 1799.95/1800.44 c 273464 500 17059 4029947 236 34179 15135 9201 333 820.88 1799.95/1800.44 c 405016 500 29913 9629984 321 59887 16649 22055 333 1214.82 1799.95/1800.44 c Resources Exceeded 1799.95/1800.44 v -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 1799.95/1800.44 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.95/1800.44 v 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 -x81 1799.95/1800.44 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1799.95/1800.44 v x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1799.95/1800.44 v -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.95/1800.44 v x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1799.95/1800.44 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 1799.95/1800.44 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 x209 -x210 1799.95/1800.44 v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1799.95/1800.44 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 1799.95/1800.44 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.95/1800.44 v -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1799.95/1800.44 v -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.95/1800.44 v -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 1799.95/1800.44 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 1799.95/1800.44 v -x359 -x360 -x361 x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 1799.95/1800.44 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.95/1800.44 v x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 x417 -x418 -x419 -x420 -x421 1799.95/1800.44 v x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.95/1800.44 v -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 1799.95/1800.44 v x464 x465 -x466 -x467 x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 x476 x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 1799.95/1800.44 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 1799.95/1800.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.44 c 33 528665 68328 622964 31032 10114647 23174 293 1800.00 1799.95/1800.44 c Objective: -61 1799.95/1800.44 s SATISFIABLE 1799.95/1800.44 c Total time: 1800 s
OK -61
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-454350-1178024948 -o ROOT/results/node51/solver-454350-1178024948 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454350-1178024948/instance-454350-1178024948.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.88 0.97 0.99 3/64 23029 /proc/meminfo: memFree=1803288/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=11936 CPUtime=0 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 157339946 12222464 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 2984 335 281 324 0 2003 0 [startup+0.036053 s] /proc/loadavg: 0.88 0.97 0.99 3/64 23029 /proc/meminfo: memFree=1803288/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=5904 CPUtime=0.03 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 830 0 0 0 3 0 0 0 18 0 1 0 157339946 6045696 800 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 1476 800 309 324 0 495 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5904 [startup+0.101058 s] /proc/loadavg: 0.88 0.97 0.99 3/64 23029 /proc/meminfo: memFree=1803288/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=8976 CPUtime=0.09 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 1692 0 0 0 9 0 0 0 18 0 1 0 157339946 9191424 1611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3047493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 2244 1611 302 324 0 1313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.301077 s] /proc/loadavg: 0.88 0.97 0.99 3/64 23029 /proc/meminfo: memFree=1803288/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=12840 CPUtime=0.29 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 2593 0 0 0 28 1 0 0 19 0 1 0 157339946 13148160 2512 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 3210 2512 306 324 0 2279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12840 [startup+0.701112 s] /proc/loadavg: 0.88 0.97 0.99 3/64 23029 /proc/meminfo: memFree=1803288/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=14864 CPUtime=0.69 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 3316 0 0 0 67 2 0 0 22 0 1 0 157339946 15220736 3043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 3716 3043 313 324 0 2785 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14864 [startup+1.50118 s] /proc/loadavg: 0.88 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1787984/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=25104 CPUtime=1.49 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 5864 0 0 0 145 4 0 0 25 0 1 0 157339946 25706496 5591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 6276 5591 313 324 0 5345 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25104 [startup+3.10133 s] /proc/loadavg: 0.88 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1774800/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=41836 CPUtime=3.09 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 10069 0 0 0 302 7 0 0 25 0 1 0 157339946 42840064 9796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 10459 9796 313 324 0 9528 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41836 [startup+6.30162 s] /proc/loadavg: 0.89 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1746448/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=66820 CPUtime=6.29 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 16291 0 0 0 619 10 0 0 25 0 1 0 157339946 68423680 16018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 16705 16018 313 324 0 15774 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66820 [startup+12.7012 s] /proc/loadavg: 0.90 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1700304/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=108840 CPUtime=12.68 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 26806 0 0 0 1254 14 0 0 25 0 1 0 157339946 111452160 26533 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 27210 26533 313 324 0 26279 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 108840 [startup+25.5013 s] /proc/loadavg: 0.92 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1666384/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=140456 CPUtime=25.48 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 34715 0 0 0 2528 20 0 0 25 0 1 0 157339946 143826944 34442 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 35114 34442 313 324 0 34183 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140456 [startup+51.1016 s] /proc/loadavg: 0.95 0.97 0.99 2/65 23030 /proc/meminfo: memFree=1656720/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=150028 CPUtime=51.07 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 37112 0 0 0 5083 24 0 0 25 0 1 0 157339946 153628672 36839 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 37507 36839 313 324 0 36576 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 150028 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1646416/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=160368 CPUtime=102.27 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 39697 0 0 0 10197 30 0 0 25 0 1 0 157339946 164216832 39424 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 40092 39424 313 324 0 39161 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 160368 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1646416/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=160368 CPUtime=162.25 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 39697 0 0 0 16193 32 0 0 25 0 1 0 157339946 164216832 39424 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 40092 39424 313 324 0 39161 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 160368 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1646224/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=160944 CPUtime=222.24 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 41271 0 0 0 22185 39 0 0 25 0 1 0 157339946 164806656 39552 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 40236 39552 313 324 0 39305 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 160944 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1640720/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=166036 CPUtime=282.22 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 42560 0 0 0 28179 43 0 0 25 0 1 0 157339946 170020864 40841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 41509 40841 313 324 0 40578 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 166036 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1634256/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=172496 CPUtime=342.21 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 44176 0 0 0 34175 46 0 0 25 0 1 0 157339946 176635904 42457 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 43124 42457 313 324 0 42193 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 172496 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1634192/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=172496 CPUtime=402.19 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 44176 0 0 0 40170 49 0 0 25 0 1 0 157339946 176635904 42457 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 43124 42457 313 324 0 42193 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 172496 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1634064/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=172624 CPUtime=462.17 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 44212 0 0 0 46164 53 0 0 25 0 1 0 157339946 176766976 42493 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 43156 42493 313 324 0 42225 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 172624 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1634064/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=172396 CPUtime=522.16 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 44212 0 0 0 52159 57 0 0 25 0 1 0 157339946 176533504 42436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 43099 42436 313 324 0 42168 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 172396 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1627152/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=179516 CPUtime=582.15 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 45989 0 0 0 58154 61 0 0 25 0 1 0 157339946 183824384 44213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 44879 44213 313 324 0 43948 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 179516 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 23032 /proc/meminfo: memFree=1626960/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=179712 CPUtime=642.14 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 46038 0 0 0 64150 64 0 0 25 0 1 0 157339946 184025088 44262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 44928 44262 313 324 0 43997 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 179712 ################ # More data... # ################ /proc/meminfo: memFree=1619408/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=187248 CPUtime=1122.01 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 48046 0 0 0 112109 92 0 0 25 0 1 0 157339946 191741952 46148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 46812 46148 313 324 0 45881 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 187248 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1619280/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=187428 CPUtime=1182 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 48091 0 0 0 118105 95 0 0 25 0 1 0 157339946 191926272 46193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 46857 46193 313 324 0 45926 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 187428 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610768/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195848 CPUtime=1241.99 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50211 0 0 0 124097 102 0 0 25 0 1 0 157339946 200548352 48280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48962 48280 313 324 0 48031 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 195848 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610768/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195848 CPUtime=1301.98 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50211 0 0 0 130093 105 0 0 25 0 1 0 157339946 200548352 48280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48962 48280 313 324 0 48031 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 195848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610768/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195848 CPUtime=1361.96 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50211 0 0 0 136089 107 0 0 25 0 1 0 157339946 200548352 48280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48962 48280 313 324 0 48031 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 195848 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195972 CPUtime=1421.94 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 142084 110 0 0 25 0 1 0 157339946 200675328 48319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48993 48319 313 324 0 48062 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 195972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195972 CPUtime=1481.93 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 148080 113 0 0 25 0 1 0 157339946 200675328 48319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48993 48319 313 324 0 48062 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 195972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195892 CPUtime=1541.92 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 154075 117 0 0 25 0 1 0 157339946 200593408 48310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48973 48310 313 324 0 48042 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 195892 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195892 CPUtime=1601.9 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 160071 119 0 0 25 0 1 0 157339946 200593408 48310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48973 48310 313 324 0 48042 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 195892 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195884 CPUtime=1661.88 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 166066 122 0 0 25 0 1 0 157339946 200585216 48308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48971 48308 313 324 0 48040 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 195884 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610640/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195832 CPUtime=1721.87 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50283 0 0 0 172063 124 0 0 25 0 1 0 157339946 200531968 48295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3059442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48958 48295 313 324 0 48027 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 195832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1781.86 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 178059 127 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 195964 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1791.46 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179018 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 195964 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1794.66 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179338 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 195964 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1797.85 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179657 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 195964 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1798.65 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179737 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (KiB) 195964 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1799.45 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179817 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (KiB) 195964 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1799.85 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179857 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 195964 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23032 /proc/meminfo: memFree=1610576/2055920 swapFree=4183264/4192956 [pid=23029] ppid=23027 vsize=195964 CPUtime=1799.95 /proc/23029/stat : 23029 (bsolo3.0.16) R 23027 23029 22038 0 -1 4194304 50337 0 0 0 179867 128 0 0 25 0 1 0 157339946 200667136 48316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23029/statm: 48991 48316 313 324 0 48060 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 195964 Child status: 0 Real time (s): 1800.48 CPU time (s): 1800.04 CPU user time (s): 1798.72 CPU system time (s): 1.3208 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 195972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.72 system time used= 1.3208 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50338 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 1365 runsolver used 1.40579 second user time and 3.51546 second system time The end
Begin job on node51 on Tue May 1 13:09:08 UTC 2007 IDJOB= 454350 IDBENCH= 48191 IDSOLVER= 163 FILE ID= node51/454350-1178024948 PBS_JOBID= 4728367 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454350-1178024948/instance-454350-1178024948.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-454350-1178024948 -o ROOT/results/node51/solver-454350-1178024948 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454350-1178024948/instance-454350-1178024948.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7980660368cd371c40e33d6668082e41 RANDOM SEED= 362251715 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.223 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.223 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: 1803696 kB Buffers: 34016 kB Cached: 144536 kB SwapCached: 3552 kB Active: 64516 kB Inactive: 124236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803696 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 6924 kB Writeback: 0 kB Mapped: 15908 kB Slab: 49432 kB Committed_AS: 5439264 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node51 on Tue May 1 13:39:09 UTC 2007