Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 151.846 | 151.904 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=59-P1=103-P2=101-P3=43-P4=37-P5=37-P6=17-P7=23-B.opb |
MD5SUM | a9881f8d96a669a457a765316e0eed8c |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.58391 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 147 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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-2670635-1276703893.opb 0.00/0.00 c File size is 25526 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 41.87/41.99 c 100 490 899 10754 11 2974 4423 191 3846 0.03 41.87/41.99 c 250 490 1190 25628 21 3564 4866 482 4545 0.06 41.87/41.99 c 477 490 1616 47887 29 4587 5353 908 4542 0.10 41.87/41.99 c 815 490 2261 80134 35 6215 5889 1553 4312 0.19 41.87/41.99 c 1323 490 3247 127928 39 8709 6478 2539 3984 0.33 41.87/41.99 c 2087 490 4709 189530 40 12214 7126 4001 3680 0.57 41.87/41.99 c 3233 490 6858 288160 42 17050 7839 6150 3396 0.95 41.87/41.99 c 4954 490 6011 246164 40 14586 8623 5303 2682 1.85 41.87/41.99 c 7539 490 6415 259872 40 15534 9486 5707 2367 3.18 41.87/41.99 c 11419 490 8956 354012 39 21728 10435 8248 2118 5.39 41.87/41.99 c 17241 490 8824 397277 45 20989 11479 8116 1897 9.09 41.87/41.99 c 25979 490 6945 251249 36 16987 12627 6237 1676 15.50 41.87/41.99 c 39091 490 11760 533619 45 27876 13890 11052 1374 28.44 41.87/41.99 o 97 48.17/48.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.17/48.29 c 56605 489 8722 416950 47 21300 4034 8014 1348 41.97 48.17/48.29 c 56705 489 2913 125495 43 7396 4438 2205 1347 42.07 48.17/48.29 c 56955 489 3366 147520 43 8427 4882 2658 1351 42.15 48.17/48.29 c 57430 489 4187 183573 43 10390 5371 3479 1357 42.32 48.17/48.29 c 58244 489 5648 244055 43 14154 5909 4940 1364 42.68 48.17/48.29 c 59564 489 5017 189335 37 12920 6500 4309 1371 43.44 48.17/48.29 c 61646 489 5447 205845 37 14084 7151 4739 1372 44.91 48.17/48.29 c 64869 489 7444 311949 41 17975 7867 6736 1382 46.91 48.17/48.29 o 9 75.56/75.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.56/75.67 c 68573 489 6032 254809 42 14596 4034 5324 1420 48.27 75.56/75.67 c 68674 489 2900 108824 37 7327 4438 2192 1419 48.37 75.56/75.67 c 68924 489 3325 128280 38 8342 4882 2617 1423 48.43 75.56/75.67 c 69400 489 4183 164495 39 10487 5371 3475 1429 48.56 75.56/75.67 c 70213 489 5689 223837 39 14567 5909 4981 1437 48.85 75.56/75.67 c 71534 481 5145 190439 37 13916 6500 4437 1442 49.59 75.56/75.67 c 73616 481 5414 224641 41 13553 7151 4706 1460 50.39 75.56/75.67 c 76840 481 7085 296956 41 17176 7867 6377 1472 52.20 75.56/75.67 c 81776 481 7985 311552 39 20255 8654 7277 1459 56.03 75.56/75.67 c 89283 480 8075 354954 43 19754 9520 7367 1454 61.38 75.56/75.67 c 100644 480 9550 427806 44 22869 10473 8842 1445 69.64 75.56/75.67 o 3 151.83/151.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 151.83/151.90 c 111147 460 6553 253023 38 16487 4028 5845 1469 75.64 151.83/151.90 c 111248 444 2906 101267 34 7332 4431 2198 1469 75.69 151.83/151.90 c 111498 444 3339 121448 36 8258 4875 2631 1471 75.76 151.83/151.90 c 111973 444 4193 158704 37 10402 5363 3485 1475 75.90 151.83/151.90 c 112786 444 5692 220333 38 14331 5900 4984 1478 76.28 151.83/151.90 c 114106 444 5013 189091 37 12874 6491 4305 1480 77.07 151.83/151.90 c 116187 432 4925 190243 38 12310 7141 4217 1490 77.97 151.83/151.90 c 119410 432 7102 278238 39 17827 7856 6394 1505 79.30 151.83/151.90 c 124346 432 7798 307032 39 20101 8642 7090 1506 82.53 151.83/151.90 c 131852 432 8120 303638 37 20342 9507 7412 1497 88.03 151.83/151.90 c 143214 431 8940 354260 39 21892 10458 8232 1487 96.27 151.83/151.90 c 160359 431 8860 364047 41 21541 11504 8152 1448 110.68 151.83/151.90 c 186178 429 8257 321058 38 20095 12655 7549 1401 132.81 151.83/151.90 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 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 x57 -x58 -x59 x60 -x61 -x62 -x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -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 x64 -x65 -x66 -x67 x68 -x69 x70 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 -x273 x274 -x275 -x276 -x277 x278 -x279 x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x71 -x72 -x73 -x74 -x75 -x76 -x77 x113 x114 x115 x116 x117 -x118 -x119 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 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x78 x79 -x80 -x81 -x82 -x83 -x84 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x85 x86 -x87 -x88 -x89 -x90 x91 x127 -x128 -x129 -x130 -x131 -x132 -x133 x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -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 x92 x93 -x94 -x95 -x96 x97 -x98 x134 -x135 -x136 -x137 x138 -x139 -x140 x442 x443 -x444 -x445 -x446 x447 -x448 x449 x450 -x451 -x452 -x453 x454 -x455 x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -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 x141 -x142 -x143 -x144 -x145 -x146 -x147 151.83/151.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 151.83/151.90 c 45 200386 3225 215114 13395 474792 12687 1319 151.84 151.83/151.90 c Objective: 3 151.83/151.90 s OPTIMUM FOUND 151.83/151.90 c Total time: 151.842 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670635-1276703893/watcher-2670635-1276703893 -o /tmp/evaluation-result-2670635-1276703893/solver-2670635-1276703893 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670635-1276703893.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: 0.99 0.98 0.99 3/106 11673 /proc/meminfo: memFree=1698764/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=10924 CPUtime=0 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 44045676 11186176 274 1992294400 134512640 137138936 4287582800 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 2731 275 184 642 0 2087 0 [startup+0.098426 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11673 /proc/meminfo: memFree=1698764/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=11572 CPUtime=0.09 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 533 0 0 0 9 0 0 0 18 0 1 0 44045676 11849728 444 1992294400 134512640 137138936 4287582800 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 2893 444 192 642 0 2249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11572 [startup+0.101426 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11673 /proc/meminfo: memFree=1698764/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=11572 CPUtime=0.09 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 537 0 0 0 9 0 0 0 18 0 1 0 44045676 11849728 448 1992294400 134512640 137138936 4287582800 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 2893 448 192 642 0 2249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11572 [startup+0.301462 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11673 /proc/meminfo: memFree=1698764/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=12612 CPUtime=0.29 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 812 0 0 0 29 0 0 0 18 0 1 0 44045676 12914688 723 1992294400 134512640 137138936 4287582800 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 3153 723 192 642 0 2509 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12612 [startup+0.700538 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11673 /proc/meminfo: memFree=1698764/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=14420 CPUtime=0.69 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 1258 0 0 0 69 0 0 0 18 0 1 0 44045676 14766080 1169 1992294400 134512640 137138936 4287582800 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 3605 1169 192 642 0 2961 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14420 [startup+1.50069 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11674 /proc/meminfo: memFree=1694176/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=16732 CPUtime=1.49 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 1823 0 0 0 148 1 0 0 19 0 1 0 44045676 17133568 1734 1992294400 134512640 137138936 4287582800 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 4183 1734 192 642 0 3539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16732 [startup+3.10099 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11674 /proc/meminfo: memFree=1692812/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=17124 CPUtime=3.09 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 1929 0 0 0 308 1 0 0 23 0 1 0 44045676 17534976 1840 1992294400 134512640 137138936 4287582800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 4281 1840 192 642 0 3637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17124 [startup+6.30058 s] /proc/loadavg: 1.07 1.00 1.00 2/107 11674 /proc/meminfo: memFree=1691820/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=18284 CPUtime=6.29 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 2233 0 0 0 627 2 0 0 25 0 1 0 44045676 18722816 2144 1992294400 134512640 137138936 4287582800 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 4571 2144 192 642 0 3927 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18284 [startup+12.7008 s] /proc/loadavg: 1.06 1.00 1.00 2/107 11674 /proc/meminfo: memFree=1689712/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=19700 CPUtime=12.69 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 2568 0 0 0 1265 4 0 0 25 0 1 0 44045676 20172800 2479 1992294400 134512640 137138936 4287582800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 4925 2479 192 642 0 4281 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19700 [startup+25.5012 s] /proc/loadavg: 1.05 1.00 1.00 2/107 11674 /proc/meminfo: memFree=1687984/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=21348 CPUtime=25.48 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 2998 0 0 0 2541 7 0 0 25 0 1 0 44045676 21860352 2909 1992294400 134512640 137138936 4287582800 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5337 2909 192 642 0 4693 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21348 [startup+51.1019 s] /proc/loadavg: 1.03 1.00 1.00 2/107 11676 /proc/meminfo: memFree=1687116/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22260 CPUtime=51.07 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 5092 15 0 0 25 0 1 0 44045676 22794240 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5565 3129 192 642 0 4921 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22260 [startup+102.308 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11676 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=102.26 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 10197 29 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22216 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=127.84 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 12750 34 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 22216 [startup+140.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=140.65 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 14028 37 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 22216 [startup+147.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=147.03 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 14665 38 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 147.03 Current children cumulated vsize (KiB) 22216 [startup+150.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=150.23 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 14985 38 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 150.23 Current children cumulated vsize (KiB) 22216 [startup+151.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=151.03 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 15065 38 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 151.03 Current children cumulated vsize (KiB) 22216 [startup+151.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=151.44 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 15105 39 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 151.44 Current children cumulated vsize (KiB) 22216 [startup+151.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11678 /proc/meminfo: memFree=1686992/2059040 swapFree=4140352/4192956 [pid=11673] ppid=11671 vsize=22216 CPUtime=151.83 /proc/11673/stat : 11673 (bsolo_pb10) R 11671 11673 11095 0 -1 4202496 3218 0 0 0 15144 39 0 0 25 0 1 0 44045676 22749184 3129 1992294400 134512640 137138936 4287582800 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11673/statm: 5554 3129 192 642 0 4910 0 Current children cumulated CPU time (s) 151.83 Current children cumulated vsize (KiB) 22216 Child status: 0 Real time (s): 151.904 CPU time (s): 151.846 CPU user time (s): 151.45 CPU system time (s): 0.395939 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 22288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.45 system time used= 0.395939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3219 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= 2 involuntary context switches= 574 runsolver used 0.25896 second user time and 0.72089 second system time The end
Begin job on node019 at 2010-06-16 17:58:13 IDJOB=2670635 IDBENCH=48034 IDSOLVER=1162 FILE ID=node019/2670635-1276703893 PBS_JOBID= 11174116 Free space on /tmp= 62416 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=59-P1=103-P2=101-P3=43-P4=37-P5=37-P6=17-P7=23-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670635-1276703893/watcher-2670635-1276703893 -o /tmp/evaluation-result-2670635-1276703893/solver-2670635-1276703893 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670635-1276703893.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9881f8d96a669a457a765316e0eed8c RANDOM SEED=627714503 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1699664 kB Buffers: 124588 kB Cached: 142056 kB SwapCached: 6068 kB Active: 110904 kB Inactive: 169056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1699664 kB SwapTotal: 4192956 kB SwapFree: 4140352 kB Dirty: 4084 kB Writeback: 0 kB AnonPages: 11668 kB Mapped: 13108 kB Slab: 57552 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182720 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-2670635-1276703893.opb Free space on /tmp at the end= 62412 MiB End job on node019 at 2010-06-16 18:00:46