Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 2 | 1157.27 | 1157.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 24.4793 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670689-1276704394.opb 0.00/0.00 c File size is 28515 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.01/0.01 c Pre-processing Time: 0.011 s 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.01/0.01 c Switching off lower bounding mode. 47.68/47.78 c 100 528 970 11038 11 3267 4875 183 2857 0.04 47.68/47.78 c 250 528 1267 26966 21 4044 5363 480 3787 0.07 47.68/47.78 c 478 528 1708 52708 30 5067 5900 921 3734 0.13 47.68/47.78 c 816 528 2371 93545 39 6786 6491 1584 3813 0.21 47.68/47.78 c 1324 528 3341 154111 46 9160 7141 2554 3657 0.36 47.68/47.78 c 2089 528 4833 237725 49 13084 7856 4046 3248 0.64 47.68/47.78 c 3237 528 6910 387681 56 18041 8642 6123 2757 1.17 47.68/47.78 c 4959 528 5460 300108 54 14305 9507 4673 2346 2.11 47.68/47.78 c 7543 528 5541 273593 49 14503 10458 4754 2211 3.41 47.68/47.78 c 11422 528 7272 385930 53 18445 11504 6485 2229 5.12 47.68/47.78 c 17246 528 12086 615675 50 29734 12655 11299 1641 10.51 47.68/47.78 c 25983 528 7397 445986 60 17038 13921 6610 1496 17.36 47.68/47.78 c 39093 528 10622 583015 54 26937 15314 9835 1236 31.61 47.68/47.78 c 58764 528 8444 439836 52 20461 16846 7657 1242 47.30 47.68/47.78 o 15 70.47/70.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.47/70.57 c 59984 528 10800 576095 53 26383 4448 10013 1255 47.77 70.47/70.57 c 60085 528 3212 146287 45 8548 4893 2425 1255 47.88 70.47/70.57 c 60335 501 3677 178523 48 9730 5383 2890 1257 47.97 70.47/70.57 c 60810 501 4558 236593 51 12147 5922 3771 1262 48.17 70.47/70.57 c 61624 488 5987 326639 54 15937 6515 5200 1269 48.55 70.47/70.57 c 62944 488 5079 303465 59 13579 7167 4292 1279 49.18 70.47/70.57 c 65025 488 5378 254434 47 13706 7884 4591 1297 50.13 70.47/70.57 c 68250 488 7129 368775 51 18065 8673 6342 1308 52.15 70.47/70.57 c 73186 488 7600 387920 51 18580 9541 6813 1344 54.44 70.47/70.57 c 80696 488 6771 350856 51 16761 10496 5984 1339 60.22 70.47/70.57 c 92058 488 6129 310765 50 15279 11546 5342 1313 70.07 70.47/70.57 o 5 1155.82/1156.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1155.82/1156.12 c 93139 488 8165 425640 52 20369 4440 7378 1320 70.56 1155.82/1156.12 c 93239 478 3192 146367 45 8404 4885 2405 1319 70.64 1155.82/1156.12 c 93490 478 3673 185188 50 9589 5374 2886 1321 70.74 1155.82/1156.12 c 93965 478 4588 240953 52 11809 5912 3801 1325 70.92 1155.82/1156.12 c 94779 478 6118 329503 53 15595 6504 5331 1330 71.23 1155.82/1156.12 c 96100 478 4965 272828 54 13151 7155 4178 1338 71.81 1155.82/1156.12 c 98181 478 5209 276942 53 13448 7871 4422 1346 72.89 1155.82/1156.12 c 101404 478 6932 377646 54 17399 8659 6145 1362 74.42 1155.82/1156.12 c 106341 478 6863 327742 47 17393 9525 6076 1376 77.28 1155.82/1156.12 c 113847 478 5735 307524 53 13955 10478 4948 1389 81.95 1155.82/1156.12 c 125208 478 11165 538177 48 28292 11526 10378 1373 91.18 1155.82/1156.12 c 142352 478 6625 359430 54 16636 12679 5838 1275 111.58 1155.82/1156.12 c 168172 478 8054 378759 47 19617 13947 7267 1209 138.99 1155.82/1156.12 c 207004 478 8624 490557 56 22289 15342 7837 1075 192.44 1155.82/1156.12 c 265356 478 9176 515152 56 23176 16877 8389 961 276.06 1155.82/1156.12 c 352989 478 13179 781187 59 30251 18565 12392 915 385.43 1155.82/1156.12 c 484542 478 17260 847742 49 44228 20422 16473 770 628.71 1155.82/1156.12 c 681974 478 16874 934926 55 41874 22465 16087 678 1005.73 1155.82/1156.12 o 3 1157.21/1157.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1157.21/1157.54 c 750806 478 17883 1079423 60 43412 4437 17096 649 1155.84 1157.21/1157.54 c 750906 478 3197 134051 41 8419 4881 2410 649 1156.09 1157.21/1157.54 c 751156 478 3668 167676 45 9331 5370 2881 649 1156.17 1157.21/1157.54 c 751631 457 4565 226699 49 11646 5908 3778 650 1156.36 1157.21/1157.54 c 752444 457 6166 311894 50 16159 6499 5379 650 1156.70 1157.21/1157.54 c 753764 457 5088 256634 50 14156 7149 4301 651 1157.23 1157.21/1157.54 o 2 1157.21/1157.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1157.21/1157.54 c 753854 457 5230 263308 50 14508 4558 4443 651 1157.26 1157.21/1157.54 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 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 -x56 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1157.21/1157.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1157.21/1157.54 c 50 753854 13436 801236 5230 263308 4443 651 1157.26 1157.21/1157.54 c Objective: 2 1157.21/1157.54 s OPTIMUM FOUND 1157.21/1157.54 c Total time: 1157.26 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670689-1276704394/watcher-2670689-1276704394 -o /tmp/evaluation-result-2670689-1276704394/solver-2670689-1276704394 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670689-1276704394.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17478 /proc/meminfo: memFree=1878752/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=10924 CPUtime=0 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 11730901 11186176 281 1992294400 134512640 137138936 4294670800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 2731 281 184 642 0 2087 0 [startup+0.0123309 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17478 /proc/meminfo: memFree=1878752/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=10924 CPUtime=0.01 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 386 0 0 0 1 0 0 0 20 0 1 0 11730901 11186176 297 1992294400 134512640 137138936 4294670800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 2731 297 185 642 0 2087 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10924 [startup+0.101338 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17478 /proc/meminfo: memFree=1878752/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=11436 CPUtime=0.1 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 523 0 0 0 10 0 0 0 20 0 1 0 11730901 11710464 434 1992294400 134512640 137138936 4294670800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 2859 434 192 642 0 2215 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11436 [startup+0.301355 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17478 /proc/meminfo: memFree=1878752/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=12720 CPUtime=0.29 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 843 0 0 0 29 0 0 0 20 0 1 0 11730901 13025280 754 1992294400 134512640 137138936 4294670800 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 3180 754 192 642 0 2536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12720 [startup+0.70139 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17478 /proc/meminfo: memFree=1878752/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=14640 CPUtime=0.69 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 1302 0 0 0 69 0 0 0 20 0 1 0 11730901 14991360 1213 1992294400 134512640 137138936 4294670800 18446744073709551615 134575876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 3660 1213 192 642 0 3016 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14640 [startup+1.50046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17479 /proc/meminfo: memFree=1873660/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=17880 CPUtime=1.49 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 2114 0 0 0 148 1 0 0 22 0 1 0 11730901 18309120 2025 1992294400 134512640 137138936 4294670800 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 4470 2025 192 642 0 3826 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17880 [startup+3.10061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17479 /proc/meminfo: memFree=1870188/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=19288 CPUtime=3.09 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 2465 0 0 0 307 2 0 0 25 0 1 0 11730901 19750912 2376 1992294400 134512640 137138936 4294670800 18446744073709551615 134606655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 4822 2376 192 642 0 4178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19288 [startup+6.30089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17479 /proc/meminfo: memFree=1868948/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=20408 CPUtime=6.29 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 2746 0 0 0 626 3 0 0 25 0 1 0 11730901 20897792 2657 1992294400 134512640 137138936 4294670800 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 5102 2657 192 642 0 4458 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20408 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17479 /proc/meminfo: memFree=1867460/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=21824 CPUtime=12.69 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 3106 0 0 0 1263 6 0 0 25 0 1 0 11730901 22347776 3017 1992294400 134512640 137138936 4294670800 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 5456 3017 192 642 0 4812 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21824 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17479 /proc/meminfo: memFree=1864980/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=24268 CPUtime=25.49 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 3729 0 0 0 2540 9 0 0 25 0 1 0 11730901 24850432 3640 1992294400 134512640 137138936 4294670800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6067 3640 192 642 0 5423 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24268 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17481 /proc/meminfo: memFree=1863244/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=26060 CPUtime=51.08 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4164 0 0 0 5092 16 0 0 25 0 1 0 11730901 26685440 4075 1992294400 134512640 137138936 4294670800 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6515 4075 192 642 0 5871 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26060 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17481 /proc/meminfo: memFree=1862996/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=25968 CPUtime=102.27 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4164 0 0 0 10198 29 0 0 25 0 1 0 11730901 26591232 4068 1992294400 134512640 137138936 4294670800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6492 4068 192 642 0 5848 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25968 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17483 /proc/meminfo: memFree=1862996/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=25968 CPUtime=162.25 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4164 0 0 0 16185 40 0 0 25 0 1 0 11730901 26591232 4068 1992294400 134512640 137138936 4294670800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6492 4068 192 642 0 5848 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25968 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17485 /proc/meminfo: memFree=1862872/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=25968 CPUtime=222.24 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4164 0 0 0 22173 51 0 0 25 0 1 0 11730901 26591232 4068 1992294400 134512640 137138936 4294670800 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6492 4068 192 642 0 5848 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 25968 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17487 /proc/meminfo: memFree=1861880/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=27188 CPUtime=282.23 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4454 0 0 0 28160 63 0 0 25 0 1 0 11730901 27840512 4358 1992294400 134512640 137138936 4294670800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 6797 4358 192 642 0 6153 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 27188 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17489 /proc/meminfo: memFree=1860144/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28784 CPUtime=342.21 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4855 0 0 0 34146 75 0 0 25 0 1 0 11730901 29474816 4759 1992294400 134512640 137138936 4294670800 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7196 4759 192 642 0 6552 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28784 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17489 /proc/meminfo: memFree=1860144/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28784 CPUtime=402.2 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4857 0 0 0 40134 86 0 0 25 0 1 0 11730901 29474816 4761 1992294400 134512640 137138936 4294670800 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7196 4761 192 642 0 6552 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 28784 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17491 /proc/meminfo: memFree=1860020/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28784 CPUtime=462.18 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4857 0 0 0 46121 97 0 0 25 0 1 0 11730901 29474816 4761 1992294400 134512640 137138936 4294670800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7196 4761 192 642 0 6552 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28784 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17493 /proc/meminfo: memFree=1860020/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28780 CPUtime=522.16 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4857 0 0 0 52108 108 0 0 25 0 1 0 11730901 29470720 4761 1992294400 134512640 137138936 4294670800 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7195 4761 192 642 0 6551 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 28780 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17495 /proc/meminfo: memFree=1859896/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28780 CPUtime=582.15 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4857 0 0 0 58097 118 0 0 25 0 1 0 11730901 29470720 4761 1992294400 134512640 137138936 4294670800 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7195 4761 192 642 0 6551 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 28780 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17497 /proc/meminfo: memFree=1859772/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=28784 CPUtime=642.14 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4858 0 0 0 64087 127 0 0 25 0 1 0 11730901 29474816 4762 1992294400 134512640 137138936 4294670800 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7196 4762 192 642 0 6552 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 28784 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17497 /proc/meminfo: memFree=1859524/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=29076 CPUtime=702.13 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4929 0 0 0 70075 138 0 0 25 0 1 0 11730901 29773824 4833 1992294400 134512640 137138936 4294670800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7269 4833 192 642 0 6625 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 29076 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17499 /proc/meminfo: memFree=1859524/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=29076 CPUtime=762.11 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 4938 0 0 0 76062 149 0 0 25 0 1 0 11730901 29773824 4842 1992294400 134512640 137138936 4294670800 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7269 4842 192 642 0 6625 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 29076 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17501 /proc/meminfo: memFree=1859028/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=29700 CPUtime=822.1 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 5087 0 0 0 82051 159 0 0 25 0 1 0 11730901 30412800 4991 1992294400 134512640 137138936 4294670800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7425 4991 192 642 0 6781 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 29700 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17503 /proc/meminfo: memFree=1857540/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=31056 CPUtime=882.08 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 5426 0 0 0 88040 168 0 0 25 0 1 0 11730901 31801344 5330 1992294400 134512640 137138936 4294670800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7764 5330 192 642 0 7120 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 31056 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17505 /proc/meminfo: memFree=1857416/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=31056 CPUtime=942.06 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 5426 0 0 0 94029 177 0 0 25 0 1 0 11730901 31801344 5330 1992294400 134512640 137138936 4294670800 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7764 5330 192 642 0 7120 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 31056 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17505 /proc/meminfo: memFree=1857416/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=31056 CPUtime=1002.04 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 5426 0 0 0 100016 188 0 0 25 0 1 0 11730901 31801344 5330 1992294400 134512640 137138936 4294670800 18446744073709551615 134618061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 7764 5330 192 642 0 7120 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 31056 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17507 /proc/meminfo: memFree=1856176/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=32292 CPUtime=1062.03 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 5737 0 0 0 106004 199 0 0 25 0 1 0 11730901 33067008 5641 1992294400 134512640 137138936 4294670800 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8073 5641 192 642 0 7429 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 32292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33528 CPUtime=1122.02 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 111994 208 0 0 25 0 1 0 11730901 34332672 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8382 5948 192 642 0 7738 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 33528 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1126.02 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 112394 208 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1126.02 Current children cumulated vsize (KiB) 33524 [startup+1139.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1138.82 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 113672 210 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1138.82 Current children cumulated vsize (KiB) 33524 [startup+1145.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1145.22 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 114310 212 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1145.22 Current children cumulated vsize (KiB) 33524 [startup+1151.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1151.61 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 114949 212 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1151.61 Current children cumulated vsize (KiB) 33524 [startup+1155.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1154.82 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 115269 213 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1154.82 Current children cumulated vsize (KiB) 33524 [startup+1156.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1156.41 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 115428 213 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1156.41 Current children cumulated vsize (KiB) 33524 [startup+1157.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33524 CPUtime=1156.82 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 115468 214 0 0 25 0 1 0 11730901 34328576 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8381 5948 192 642 0 7737 0 Current children cumulated CPU time (s) 1156.82 Current children cumulated vsize (KiB) 33524 [startup+1157.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17509 /proc/meminfo: memFree=1854812/2059040 swapFree=4140240/4192956 [pid=17478] ppid=17476 vsize=33492 CPUtime=1157.21 /proc/17478/stat : 17478 (bsolo_pb10) R 17476 17478 16575 0 -1 4202496 6044 0 0 0 115507 214 0 0 25 0 1 0 11730901 34295808 5948 1992294400 134512640 137138936 4294670800 18446744073709551615 134576168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17478/statm: 8373 5948 192 642 0 7729 0 Current children cumulated CPU time (s) 1157.21 Current children cumulated vsize (KiB) 33492 Child status: 0 Real time (s): 1157.55 CPU time (s): 1157.27 CPU user time (s): 1155.12 CPU system time (s): 2.14567 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 33528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1155.12 system time used= 2.14567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6045 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= 1 involuntary context switches= 2901 runsolver used 1.9947 second user time and 5.38018 second system time The end
Begin job on node051 at 2010-06-16 18:06:34 IDJOB=2670689 IDBENCH=48061 IDSOLVER=1162 FILE ID=node051/2670689-1276704394 PBS_JOBID= 11174093 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670689-1276704394/watcher-2670689-1276704394 -o /tmp/evaluation-result-2670689-1276704394/solver-2670689-1276704394 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670689-1276704394.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED=1275616257 node051.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1879776 kB Buffers: 13784 kB Cached: 83928 kB SwapCached: 6004 kB Active: 85392 kB Inactive: 24996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1879776 kB SwapTotal: 4192956 kB SwapFree: 4140240 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 10828 kB Mapped: 13076 kB Slab: 47184 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182812 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670689-1276704394.opb Free space on /tmp at the end= 62560 MiB End job on node051 at 2010-06-16 18:25:52