Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 1400.69 | 1401.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb |
MD5SUM | 65bc139f592885e582edbd6d46332a4d |
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 | 6.13307 |
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 | 135 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670728-1276705727.opb 0.00/0.00 c File size is 30043 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 11.69/11.78 c 102 540 928 10280 11 3109 5078 102 4636 0.02 11.69/11.78 c 252 540 1078 22527 20 3362 5586 252 6300 0.04 11.69/11.78 c 477 540 1303 40667 31 3749 6145 477 6814 0.07 11.69/11.78 c 816 540 1642 73765 44 4442 6760 816 6528 0.12 11.69/11.78 c 1325 540 2151 116793 54 5411 7437 1325 6865 0.19 11.69/11.78 c 2088 540 2914 179614 61 7028 8181 2088 6692 0.31 11.69/11.78 c 3234 540 4060 277362 68 9442 9000 3234 5345 0.60 11.69/11.78 c 4955 540 5781 422716 73 12801 9901 4955 4824 1.03 11.69/11.78 c 7539 540 8365 605221 72 17989 10892 7539 3965 1.90 11.69/11.78 c 11418 540 6707 428158 63 14680 11982 5881 2461 4.64 11.69/11.78 c 17240 540 12529 910221 72 26332 13181 11703 2793 6.17 11.69/11.78 c 25977 540 7417 542993 73 16024 14500 6591 2444 10.63 11.69/11.78 o 57 13.58/13.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.68 c 30037 540 11478 887261 77 24165 4634 10652 2549 11.78 13.58/13.68 c 30138 540 3245 206590 63 7776 5098 2419 2541 11.86 13.58/13.68 c 30388 540 3495 229351 65 8311 5608 2669 2547 11.93 13.58/13.68 c 30863 540 3970 268141 67 9239 6169 3144 2570 12.01 13.58/13.68 c 31678 518 4785 345428 72 10845 6786 3959 2607 12.15 13.58/13.68 c 33000 518 6107 465180 76 13469 7465 5281 2637 12.51 13.58/13.68 c 35082 507 8189 644555 78 17694 8212 7363 2708 12.95 13.58/13.68 o 41 17.89/17.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.89/17.93 c 37878 507 6536 492041 75 14326 4628 5710 2768 13.68 17.89/17.93 c 37979 507 3245 210801 64 7704 5091 2419 2768 13.72 17.89/17.93 c 38230 507 3496 229948 65 8209 5601 2670 2779 13.76 17.89/17.93 c 38705 507 3971 266493 67 9191 6162 3145 2797 13.84 17.89/17.93 c 39518 507 4784 330591 69 10812 6779 3958 2822 14.00 17.89/17.93 c 40839 507 6105 429905 70 13461 7457 5279 2829 14.43 17.89/17.93 c 42921 507 8187 623691 76 17621 8203 7361 2841 15.11 17.89/17.93 c 46144 507 6972 517824 74 15225 9024 6146 2848 16.20 17.89/17.93 o 3 1400.63/1401.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1400.63/1401.04 c 50063 507 6264 414073 66 13750 4628 5438 2792 17.93 1400.63/1401.04 c 50163 497 3244 182777 56 7765 5091 2418 2790 17.98 1400.63/1401.04 c 50413 497 3494 202010 57 8261 5601 2668 2795 18.03 1400.63/1401.04 c 50889 486 3970 250234 63 9191 6162 3144 2807 18.13 1400.63/1401.04 c 51703 486 4784 317925 66 10793 6779 3958 2827 18.28 1400.63/1401.04 c 53024 486 6105 427670 70 13429 7457 5279 2857 18.56 1400.63/1401.04 c 55105 486 8186 611647 74 17621 8203 7360 2890 19.06 1400.63/1401.04 c 58329 474 6873 522210 75 15042 9024 6047 2905 20.08 1400.63/1401.04 c 63265 474 7165 486345 67 15586 9927 6339 2944 21.48 1400.63/1401.04 c 70772 474 9528 670212 70 20222 10920 8702 2746 25.77 1400.63/1401.04 c 82134 474 9409 746458 79 20026 12013 8583 2582 31.80 1400.63/1401.04 c 99278 451 7381 493935 66 15961 13215 6555 2378 41.74 1400.63/1401.04 c 125098 451 12239 957007 78 25691 14537 11413 2048 61.07 1400.63/1401.04 c 163931 451 12493 974963 78 26234 15991 11667 1813 90.39 1400.63/1401.04 c 222283 451 11550 957266 82 24351 17591 10724 1619 137.27 1400.63/1401.04 c 309915 450 18054 1355407 75 37366 19351 17228 1410 219.74 1400.63/1401.04 c 441467 450 20065 1595954 79 41360 21287 19239 1132 389.91 1400.63/1401.04 c 638899 449 19712 1595249 80 40688 23416 18886 952 670.90 1400.63/1401.04 c 935152 448 19457 1471480 75 40190 25758 18631 834 1120.70 1400.63/1401.04 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 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 -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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -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 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 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 -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 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1400.63/1401.04 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1400.63/1401.04 c 46 1086962 6917 1113001 20910 1534519 20084 776 1400.68 1400.63/1401.04 c Objective: 3 1400.63/1401.04 s OPTIMUM FOUND 1400.63/1401.04 c Total time: 1400.68 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-2670728-1276705727/watcher-2670728-1276705727 -o /tmp/evaluation-result-2670728-1276705727/solver-2670728-1276705727 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670728-1276705727.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 18880 /proc/meminfo: memFree=1753816/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=10924 CPUtime=0 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 372 0 0 0 0 0 0 0 19 0 1 0 11867693 11186176 282 1992294400 134512640 137138936 4288553936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 2731 282 184 642 0 2087 0 [startup+0.047402 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18880 /proc/meminfo: memFree=1753816/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=11304 CPUtime=0.04 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 460 0 0 0 4 0 0 0 19 0 1 0 11867693 11575296 370 1992294400 134512640 137138936 4288553936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 2826 370 190 642 0 2182 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11304 [startup+0.101407 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18880 /proc/meminfo: memFree=1753816/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=11680 CPUtime=0.09 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 579 0 0 0 9 0 0 0 20 0 1 0 11867693 11960320 489 1992294400 134512640 137138936 4288553936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 2920 489 190 642 0 2276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11680 [startup+0.301429 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18880 /proc/meminfo: memFree=1753816/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=13312 CPUtime=0.29 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 981 0 0 0 29 0 0 0 20 0 1 0 11867693 13631488 891 1992294400 134512640 137138936 4288553936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 3328 891 190 642 0 2684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13312 [startup+0.701472 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18880 /proc/meminfo: memFree=1753816/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=15076 CPUtime=0.69 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 1410 0 0 0 69 0 0 0 21 0 1 0 11867693 15437824 1320 1992294400 134512640 137138936 4288553936 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 3769 1320 190 642 0 3125 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15076 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18881 /proc/meminfo: memFree=1747980/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=18356 CPUtime=1.49 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 2244 0 0 0 148 1 0 0 23 0 1 0 11867693 18796544 2154 1992294400 134512640 137138936 4288553936 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 4589 2154 190 642 0 3945 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18356 [startup+3.10173 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18883 /proc/meminfo: memFree=1744632/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=21612 CPUtime=3.09 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 3049 0 0 0 307 2 0 0 25 0 1 0 11867693 22130688 2959 1992294400 134512640 137138936 4288553936 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 5403 2959 190 642 0 4759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21612 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18883 /proc/meminfo: memFree=1741160/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=24248 CPUtime=6.29 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 3713 0 0 0 626 3 0 0 25 0 1 0 11867693 24829952 3623 1992294400 134512640 137138936 4288553936 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 6062 3623 190 642 0 5418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24248 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18883 /proc/meminfo: memFree=1737068/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=27224 CPUtime=12.69 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 4452 0 0 0 1262 7 0 0 25 0 1 0 11867693 27877376 4362 1992294400 134512640 137138936 4288553936 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 6806 4362 191 642 0 6162 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27224 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18883 /proc/meminfo: memFree=1737068/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=27220 CPUtime=25.48 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 4452 0 0 0 2535 13 0 0 25 0 1 0 11867693 27873280 4362 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 6805 4362 191 642 0 6161 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27220 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18883 /proc/meminfo: memFree=1737068/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=27220 CPUtime=51.07 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 4452 0 0 0 5087 20 0 0 25 0 1 0 11867693 27873280 4362 1992294400 134512640 137138936 4288553936 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 6805 4362 191 642 0 6161 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27220 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18885 /proc/meminfo: memFree=1733472/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=30668 CPUtime=102.27 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 5315 0 0 0 10191 36 0 0 25 0 1 0 11867693 31404032 5225 1992294400 134512640 137138936 4288553936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 7667 5225 191 642 0 7023 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30668 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18887 /proc/meminfo: memFree=1731984/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=32152 CPUtime=162.25 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 5688 0 0 0 16173 52 0 0 25 0 1 0 11867693 32923648 5598 1992294400 134512640 137138936 4288553936 18446744073709551615 134575459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 8038 5598 191 642 0 7394 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18890 /proc/meminfo: memFree=1730992/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=32656 CPUtime=222.23 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 5815 0 0 0 22155 68 0 0 25 0 1 0 11867693 33439744 5725 1992294400 134512640 137138936 4288553936 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 8164 5725 191 642 0 7520 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32656 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18892 /proc/meminfo: memFree=1729504/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=33972 CPUtime=282.22 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6147 0 0 0 28141 81 0 0 25 0 1 0 11867693 34787328 6057 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 8493 6057 191 642 0 7849 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33972 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18894 /proc/meminfo: memFree=1729256/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=34348 CPUtime=342.21 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6242 0 0 0 34126 95 0 0 25 0 1 0 11867693 35172352 6152 1992294400 134512640 137138936 4288553936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 8587 6152 191 642 0 7943 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 34348 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18896 /proc/meminfo: memFree=1727272/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=36356 CPUtime=402.18 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6742 0 0 0 40109 109 0 0 25 0 1 0 11867693 37228544 6652 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9089 6652 191 642 0 8445 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 36356 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18898 /proc/meminfo: memFree=1727148/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=36480 CPUtime=462.18 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6782 0 0 0 46098 120 0 0 25 0 1 0 11867693 37355520 6692 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9120 6692 191 642 0 8476 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 36480 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18898 /proc/meminfo: memFree=1727024/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=36608 CPUtime=522.16 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6808 0 0 0 52082 134 0 0 25 0 1 0 11867693 37486592 6718 1992294400 134512640 137138936 4288553936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9152 6718 191 642 0 8508 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 36608 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18900 /proc/meminfo: memFree=1726652/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=37056 CPUtime=582.14 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6918 0 0 0 58067 147 0 0 25 0 1 0 11867693 37945344 6828 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9264 6828 191 642 0 8620 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 37056 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18902 /proc/meminfo: memFree=1726652/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=37008 CPUtime=642.13 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 6918 0 0 0 64052 161 0 0 25 0 1 0 11867693 37896192 6826 1992294400 134512640 137138936 4288553936 18446744073709551615 136511215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9252 6826 191 642 0 8608 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 37008 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1724296/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39252 CPUtime=762.1 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7476 0 0 0 76025 185 0 0 25 0 1 0 11867693 40194048 7384 1992294400 134512640 137138936 4288553936 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9813 7384 191 642 0 9169 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 39252 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18906 /proc/meminfo: memFree=1724172/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39224 CPUtime=822.08 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7476 0 0 0 82011 197 0 0 25 0 1 0 11867693 40165376 7379 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9806 7379 191 642 0 9162 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 39224 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18908 /proc/meminfo: memFree=1724172/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39220 CPUtime=882.06 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7476 0 0 0 87999 207 0 0 25 0 1 0 11867693 40161280 7378 1992294400 134512640 137138936 4288553936 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9805 7378 191 642 0 9161 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 39220 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18910 /proc/meminfo: memFree=1724048/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39220 CPUtime=942.05 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7477 0 0 0 93984 221 0 0 25 0 1 0 11867693 40161280 7379 1992294400 134512640 137138936 4288553936 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9805 7379 191 642 0 9161 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 39220 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1724048/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39212 CPUtime=1002.04 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7477 0 0 0 99967 237 0 0 25 0 1 0 11867693 40153088 7377 1992294400 134512640 137138936 4288553936 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9803 7377 191 642 0 9159 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 39212 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18914 /proc/meminfo: memFree=1723924/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39212 CPUtime=1062.02 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7477 0 0 0 105953 249 0 0 25 0 1 0 11867693 40153088 7377 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9803 7377 191 642 0 9159 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 39212 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18914 /proc/meminfo: memFree=1723924/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=39212 CPUtime=1122 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7477 0 0 0 111934 266 0 0 25 0 1 0 11867693 40153088 7377 1992294400 134512640 137138936 4288553936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 9803 7377 191 642 0 9159 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 39212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18916 /proc/meminfo: memFree=1723056/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=40304 CPUtime=1181.98 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7744 0 0 0 117919 279 0 0 25 0 1 0 11867693 41271296 7644 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10076 7644 191 642 0 9432 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 40304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18918 /proc/meminfo: memFree=1722064/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41256 CPUtime=1241.97 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 123907 290 0 0 25 0 1 0 11867693 42246144 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10314 7881 191 642 0 9670 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 41256 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18920 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1301.96 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 129896 300 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 41252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1361.94 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 135882 312 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 41252 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1381.93 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 137878 315 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1381.93 Current children cumulated vsize (KiB) 41252 [startup+1388.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1388.33 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 138517 316 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1388.33 Current children cumulated vsize (KiB) 41252 [startup+1395.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1394.73 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139155 318 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1394.73 Current children cumulated vsize (KiB) 41252 [startup+1398.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1397.93 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139474 319 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1397.93 Current children cumulated vsize (KiB) 41252 [startup+1399.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1399.53 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139634 319 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1399.53 Current children cumulated vsize (KiB) 41252 [startup+1400.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1400.32 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139713 319 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1400.32 Current children cumulated vsize (KiB) 41252 [startup+1400.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1400.53 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139733 320 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1400.53 Current children cumulated vsize (KiB) 41252 [startup+1401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18922 /proc/meminfo: memFree=1721940/2059040 swapFree=4152912/4192956 [pid=18880] ppid=18878 vsize=41252 CPUtime=1400.63 /proc/18880/stat : 18880 (bsolo_pb10) R 18878 18880 17981 0 -1 4202496 7981 0 0 0 139743 320 0 0 25 0 1 0 11867693 42242048 7881 1992294400 134512640 137138936 4288553936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18880/statm: 10313 7881 191 642 0 9669 0 Current children cumulated CPU time (s) 1400.63 Current children cumulated vsize (KiB) 41252 Child status: 0 Real time (s): 1401.05 CPU time (s): 1400.69 CPU user time (s): 1397.48 CPU system time (s): 3.20651 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 41256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1397.48 system time used= 3.20651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7982 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= 2216 runsolver used 2.14567 second user time and 6.77897 second system time The end
Begin job on node035 at 2010-06-16 18:28:47 IDJOB=2670728 IDBENCH=48080 IDSOLVER=1163 FILE ID=node035/2670728-1276705727 PBS_JOBID= 11174107 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670728-1276705727/watcher-2670728-1276705727 -o /tmp/evaluation-result-2670728-1276705727/solver-2670728-1276705727 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670728-1276705727.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d RANDOM SEED=1440680768 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: 1754840 kB Buffers: 80828 kB Cached: 123272 kB SwapCached: 2400 kB Active: 95892 kB Inactive: 130276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754840 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 20048 kB Mapped: 13840 kB Slab: 56244 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183072 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-2670728-1276705727.opb Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-16 18:52:08