Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 940.852 | 941.095 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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.51692 |
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 | 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-2670347-1276700738.opb 0.00/0.00 c File size is 28516 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.004 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.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 421.09/421.22 c 104 528 990 12766 12 3349 4875 203 3250 0.03 421.09/421.22 c 254 528 1218 26429 21 3821 5363 431 1660 0.15 421.09/421.22 c 479 528 1649 50376 30 4941 5900 862 2291 0.21 421.09/421.22 c 818 528 2235 90813 40 6229 6491 1448 1911 0.43 421.09/421.22 c 1326 528 3217 153989 47 8684 7141 2430 2239 0.59 421.09/421.22 c 2089 528 4682 240068 51 12437 7856 3895 2308 0.91 421.09/421.22 c 3235 528 6861 372274 54 17487 8642 6074 2354 1.37 421.09/421.22 c 4956 528 5563 283193 50 14226 9507 4776 2047 2.42 421.09/421.22 c 7543 528 5541 279586 50 14019 10458 4754 2146 3.51 421.09/421.22 c 11423 528 7317 373192 51 18698 11504 6530 1860 6.14 421.09/421.22 c 17246 528 6877 312547 45 17521 12655 6090 1416 12.18 421.09/421.22 c 25984 528 10753 521972 48 26253 13921 9966 1183 21.95 421.09/421.22 c 39094 528 13563 778207 57 34186 15314 12776 1199 32.58 421.09/421.22 c 58765 528 11294 549549 48 27678 16846 10507 975 60.21 421.09/421.22 c 88277 528 14412 799917 55 35182 18531 13625 803 109.84 421.09/421.22 c 132547 528 12116 717989 59 30299 20385 11329 757 175.06 421.09/421.22 c 198958 527 11594 636498 54 27764 22424 10807 718 276.77 421.09/421.22 o 67 429.08/429.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 429.08/429.20 c 277791 524 15100 935823 61 34812 4448 14313 659 421.11 429.08/429.20 c 277892 524 3211 158526 49 8252 4893 2424 659 421.36 429.08/429.20 c 278143 514 3687 185813 50 9396 5383 2900 659 421.43 429.08/429.20 c 278619 514 4598 232103 50 11948 5922 3811 660 421.62 429.08/429.20 c 279432 514 6089 315480 51 15598 6515 5302 662 422.00 429.08/429.20 c 280752 514 4961 241116 48 13177 7167 4174 663 422.85 429.08/429.20 c 282834 514 5062 236248 46 13634 7884 4275 666 424.63 429.08/429.20 c 286058 514 6860 339355 49 17593 8673 6073 668 427.77 429.08/429.20 o 3 940.75/941.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 940.75/941.09 c 288701 514 6752 318525 47 17271 4445 5965 672 429.09 940.75/941.09 c 288802 514 3205 128589 40 8609 4890 2418 672 429.15 940.75/941.09 c 289053 514 3662 156244 42 9694 5380 2875 673 429.21 940.75/941.09 c 289528 514 4561 210831 46 11970 5919 3774 674 429.38 940.75/941.09 c 290342 514 6044 293581 48 15708 6511 5257 675 429.80 940.75/941.09 c 291662 514 5181 248287 47 13782 7163 4394 676 430.84 940.75/941.09 c 293743 514 5358 255386 47 14407 7880 4571 678 432.84 940.75/941.09 c 296967 453 7186 360855 50 19273 8669 6399 682 434.84 940.75/941.09 c 301905 453 7220 378220 52 18514 9536 6433 688 438.61 940.75/941.09 c 309411 453 5845 282478 48 15432 10490 5058 694 445.28 940.75/941.09 c 320774 453 9833 516178 52 24305 11540 9046 702 456.78 940.75/941.09 c 337918 453 11442 546967 47 30704 12695 10655 708 476.71 940.75/941.09 c 363738 453 13472 813171 60 33613 13965 12685 712 510.21 940.75/941.09 c 402570 452 10433 577883 55 25127 15362 9646 725 555.15 940.75/941.09 c 460923 452 13934 706465 50 36172 16899 13147 717 642.10 940.75/941.09 c 548555 452 11571 593904 51 28951 18589 10784 695 788.43 940.75/941.09 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 940.75/941.09 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 940.75/941.09 c 41 629080 6015 651340 14905 722957 14118 668 940.85 940.75/941.09 c Objective: 3 940.75/941.09 s OPTIMUM FOUND 940.75/941.09 c Total time: 940.848 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-2670347-1276700738/watcher-2670347-1276700738 -o /tmp/evaluation-result-2670347-1276700738/solver-2670347-1276700738 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670347-1276700738.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.15 1.06 0.89 3/106 18584 /proc/meminfo: memFree=1757528/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=10924 CPUtime=0 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 11368790 11186176 281 1992294400 134512640 137138936 4288193376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 2731 281 184 642 0 2087 0 [startup+0.0234299 s] /proc/loadavg: 1.15 1.06 0.89 3/106 18584 /proc/meminfo: memFree=1757528/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=11052 CPUtime=0.01 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 399 0 0 0 1 0 0 0 18 0 1 0 11368790 11317248 310 1992294400 134512640 137138936 4288193376 18446744073709551615 134575225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 2763 310 192 642 0 2119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11052 [startup+0.101439 s] /proc/loadavg: 1.15 1.06 0.89 3/106 18584 /proc/meminfo: memFree=1757528/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=11180 CPUtime=0.09 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 435 0 0 0 9 0 0 0 20 0 1 0 11368790 11448320 346 1992294400 134512640 137138936 4288193376 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 2795 346 192 642 0 2151 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11180 [startup+0.30146 s] /proc/loadavg: 1.15 1.06 0.89 3/106 18584 /proc/meminfo: memFree=1757528/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=11952 CPUtime=0.29 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 649 0 0 0 29 0 0 0 20 0 1 0 11368790 12238848 560 1992294400 134512640 137138936 4288193376 18446744073709551615 134575876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 2988 560 192 642 0 2344 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11952 [startup+0.701502 s] /proc/loadavg: 1.15 1.06 0.89 3/106 18584 /proc/meminfo: memFree=1757528/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=13620 CPUtime=0.69 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 1070 0 0 0 68 1 0 0 20 0 1 0 11368790 13946880 981 1992294400 134512640 137138936 4288193376 18446744073709551615 134610683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 3405 981 192 642 0 2761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13620 [startup+1.50159 s] /proc/loadavg: 1.15 1.06 0.89 2/107 18585 /proc/meminfo: memFree=1753428/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=16840 CPUtime=1.49 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 1855 0 0 0 147 2 0 0 23 0 1 0 11368790 17244160 1766 1992294400 134512640 137138936 4288193376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 4210 1766 192 642 0 3566 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16840 [startup+3.10176 s] /proc/loadavg: 1.13 1.05 0.90 2/107 18585 /proc/meminfo: memFree=1749708/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=18900 CPUtime=3.09 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 2380 0 0 0 306 3 0 0 25 0 1 0 11368790 19353600 2291 1992294400 134512640 137138936 4288193376 18446744073709551615 134539265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 4725 2291 192 642 0 4081 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18900 [startup+6.3011 s] /proc/loadavg: 1.13 1.05 0.90 2/107 18585 /proc/meminfo: memFree=1748344/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=20320 CPUtime=6.29 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 2728 0 0 0 625 4 0 0 25 0 1 0 11368790 20807680 2639 1992294400 134512640 137138936 4288193376 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 5080 2639 192 642 0 4436 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20320 [startup+12.7018 s] /proc/loadavg: 1.11 1.05 0.90 2/107 18585 /proc/meminfo: memFree=1747608/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=20452 CPUtime=12.69 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 2765 0 0 0 1263 6 0 0 25 0 1 0 11368790 20942848 2676 1992294400 134512640 137138936 4288193376 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 5113 2676 192 642 0 4469 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20452 [startup+25.5012 s] /proc/loadavg: 1.10 1.05 0.90 2/107 18585 /proc/meminfo: memFree=1745624/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=22512 CPUtime=25.49 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 3277 0 0 0 2540 9 0 0 25 0 1 0 11368790 23052288 3188 1992294400 134512640 137138936 4288193376 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 5628 3188 192 642 0 4984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22512 [startup+51.1009 s] /proc/loadavg: 1.06 1.05 0.90 2/107 18587 /proc/meminfo: memFree=1743268/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=24824 CPUtime=51.08 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 3868 0 0 0 5093 15 0 0 25 0 1 0 11368790 25419776 3779 1992294400 134512640 137138936 4288193376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 6206 3779 192 642 0 5562 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24824 [startup+102.308 s] /proc/loadavg: 1.02 1.03 0.91 2/107 18587 /proc/meminfo: memFree=1740168/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=27876 CPUtime=102.27 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 4619 0 0 0 10202 25 0 0 25 0 1 0 11368790 28545024 4530 1992294400 134512640 137138936 4288193376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 6969 4530 192 642 0 6325 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27876 [startup+162.301 s] /proc/loadavg: 1.01 1.03 0.91 2/107 18589 /proc/meminfo: memFree=1738556/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=29320 CPUtime=162.25 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 4990 0 0 0 16188 37 0 0 25 0 1 0 11368790 30023680 4901 1992294400 134512640 137138936 4288193376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7330 4901 192 642 0 6686 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29320 [startup+222.301 s] /proc/loadavg: 1.00 1.02 0.91 2/107 18591 /proc/meminfo: memFree=1738556/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=29388 CPUtime=222.24 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5001 0 0 0 22175 49 0 0 25 0 1 0 11368790 30093312 4912 1992294400 134512640 137138936 4288193376 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7347 4912 192 642 0 6703 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29388 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.91 2/107 18593 /proc/meminfo: memFree=1736448/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31832 CPUtime=282.22 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5615 0 0 0 28162 60 0 0 25 0 1 0 11368790 32595968 5526 1992294400 134512640 137138936 4288193376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7958 5526 192 642 0 7314 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 31832 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.91 2/107 18595 /proc/meminfo: memFree=1736076/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31832 CPUtime=342.2 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5615 0 0 0 34149 71 0 0 25 0 1 0 11368790 32595968 5526 1992294400 134512640 137138936 4288193376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7958 5526 192 642 0 7314 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31832 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18595 /proc/meminfo: memFree=1735952/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31832 CPUtime=402.18 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5615 0 0 0 40136 82 0 0 25 0 1 0 11368790 32595968 5526 1992294400 134512640 137138936 4288193376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7958 5526 192 642 0 7314 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31832 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18597 /proc/meminfo: memFree=1735828/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=462.17 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 46122 95 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31824 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18599 /proc/meminfo: memFree=1735704/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=522.16 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 52107 109 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31824 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18601 /proc/meminfo: memFree=1735580/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=582.14 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 58092 122 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 31824 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18603 /proc/meminfo: memFree=1735580/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=642.13 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 64081 132 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 31824 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18603 /proc/meminfo: memFree=1735456/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=702.11 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 70067 144 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 31824 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18605 /proc/meminfo: memFree=1735332/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=762.1 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 76056 154 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 31824 [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18607 /proc/meminfo: memFree=1735332/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=822.07 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 82041 166 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 31824 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=882.06 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 88027 179 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 31824 Solver just ended. Dumping a history of the last processes samples [startup+895.9 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=895.66 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 89383 183 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 895.66 Current children cumulated vsize (KiB) 31824 [startup+921.501 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=921.26 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 91939 187 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 921.26 Current children cumulated vsize (KiB) 31824 [startup+934.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=934.05 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93216 189 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 934.05 Current children cumulated vsize (KiB) 31824 [startup+937.502 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=937.24 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93535 189 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 937.24 Current children cumulated vsize (KiB) 31824 [startup+939.101 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=938.85 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93695 190 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 938.85 Current children cumulated vsize (KiB) 31824 [startup+939.901 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18609 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=939.65 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93775 190 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 939.65 Current children cumulated vsize (KiB) 31824 [startup+940.701 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18611 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=940.44 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93854 190 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 940.44 Current children cumulated vsize (KiB) 31824 [startup+940.901 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18611 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=940.65 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93874 191 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 940.65 Current children cumulated vsize (KiB) 31824 [startup+941.001 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18611 /proc/meminfo: memFree=1735208/2059040 swapFree=4152912/4192956 [pid=18584] ppid=18582 vsize=31824 CPUtime=940.75 /proc/18584/stat : 18584 (bsolo_pb10) R 18582 18584 17981 0 -1 4202496 5639 0 0 0 93884 191 0 0 25 0 1 0 11368790 32587776 5532 1992294400 134512640 137138936 4288193376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18584/statm: 7956 5532 192 642 0 7312 0 Current children cumulated CPU time (s) 940.75 Current children cumulated vsize (KiB) 31824 Child status: 0 Real time (s): 941.095 CPU time (s): 940.852 CPU user time (s): 938.937 CPU system time (s): 1.91471 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 31936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 938.937 system time used= 1.91471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5640 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= 1496 runsolver used 1.53177 second user time and 4.46732 second system time The end
Begin job on node035 at 2010-06-16 17:05:38 IDJOB=2670347 IDBENCH=47890 IDSOLVER=1162 FILE ID=node035/2670347-1276700738 PBS_JOBID= 11174107 Free space on /tmp= 62460 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=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670347-1276700738/watcher-2670347-1276700738 -o /tmp/evaluation-result-2670347-1276700738/solver-2670347-1276700738 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670347-1276700738.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED=1377781634 node035.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.219 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.43 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.219 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: 1758676 kB Buffers: 77084 kB Cached: 123144 kB SwapCached: 2400 kB Active: 95776 kB Inactive: 126552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1758676 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 4096 kB Writeback: 8 kB AnonPages: 20020 kB Mapped: 13796 kB Slab: 56432 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182984 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-2670347-1276700738.opb Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-16 17:21:19