Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 276.706 | 276.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=37-P1=67-P2=5-P3=47-P4=73-P5=127-P6=29-P7=127-B.opb |
MD5SUM | 82374897eb5aaf8db9bb0fa8784aa552 |
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.645901 |
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-2670393-1276702017.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.003 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. 13.69/13.72 c 100 490 900 10211 11 3023 4423 192 4347 0.02 13.69/13.72 c 251 490 1188 23063 19 3611 4866 480 4482 0.06 13.69/13.72 c 477 490 1626 40730 25 4651 5353 918 4631 0.10 13.69/13.72 c 816 490 2285 65719 28 6256 5889 1577 4363 0.19 13.69/13.72 c 1324 490 3212 108325 33 8454 6478 2504 4384 0.30 13.69/13.72 c 2088 490 4660 169563 36 11933 7126 3952 3838 0.54 13.69/13.72 c 3235 490 6779 277742 40 16942 7839 6071 3590 0.90 13.69/13.72 c 4956 490 5955 260502 43 14342 8623 5247 2699 1.84 13.69/13.72 c 7541 490 6079 250868 41 14534 9486 5371 2711 2.78 13.69/13.72 c 11421 490 8413 349589 41 20254 10435 7705 2561 4.46 13.69/13.72 c 17244 490 8603 373723 43 20726 11479 7895 2156 8.00 13.69/13.72 c 25981 489 7506 322552 42 17584 12627 6798 1976 13.14 13.69/13.72 o 3 276.61/276.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 276.61/276.78 c 27823 489 10994 482503 43 25899 4034 10286 2028 13.72 276.61/276.78 c 27924 455 2874 106211 36 7231 4438 2166 2016 13.85 276.61/276.78 c 28175 455 3351 129050 38 8318 4882 2643 2026 13.90 276.61/276.78 c 28651 455 4205 167202 39 10368 5371 3497 2040 14.04 276.61/276.78 c 29465 455 5650 228932 40 13861 5909 4942 2051 14.36 276.61/276.78 c 30785 455 5029 192122 38 12824 6500 4321 2049 15.02 276.61/276.78 c 32867 455 5481 209909 38 14262 7151 4773 2000 16.43 276.61/276.78 c 36090 455 7521 295111 39 19024 7867 6813 1909 18.90 276.61/276.78 c 41028 455 8568 364273 42 20788 8654 7860 1893 21.67 276.61/276.78 c 48535 455 8499 355548 41 20173 9520 7791 1818 26.70 276.61/276.78 c 59897 455 9457 449400 47 22233 10473 8749 1791 33.43 276.61/276.78 c 77041 434 7971 413561 51 18088 11521 7263 1690 45.59 276.61/276.78 c 102860 433 11909 510343 42 27702 12674 11201 1539 66.80 276.61/276.78 c 141693 424 10115 429424 42 25113 13942 9407 1352 104.76 276.61/276.78 c 200046 424 13510 493842 36 34317 15337 12802 1133 176.53 276.61/276.78 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 276.61/276.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 276.61/276.78 c 27 272884 2767 285363 8685 299040 7977 986 276.70 276.61/276.78 c Objective: 3 276.61/276.78 s OPTIMUM FOUND 276.61/276.78 c Total time: 276.704 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-2670393-1276702017/watcher-2670393-1276702017 -o /tmp/evaluation-result-2670393-1276702017/solver-2670393-1276702017 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670393-1276702017.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 2/105 19422 /proc/meminfo: memFree=1707036/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=10924 CPUtime=0 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11495508 11186176 284 1992294400 134512640 137138936 4292283872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 2731 286 185 642 0 2087 0 [startup+0.0995431 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19422 /proc/meminfo: memFree=1707036/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=11444 CPUtime=0.09 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 516 0 0 0 9 0 0 0 25 0 1 0 11495508 11718656 427 1992294400 134512640 137138936 4292283872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 2861 427 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.101544 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19422 /proc/meminfo: memFree=1707036/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=11444 CPUtime=0.09 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 519 0 0 0 9 0 0 0 25 0 1 0 11495508 11718656 430 1992294400 134512640 137138936 4292283872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 2861 430 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.300565 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19422 /proc/meminfo: memFree=1707036/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=12592 CPUtime=0.29 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 786 0 0 0 29 0 0 0 25 0 1 0 11495508 12894208 697 1992294400 134512640 137138936 4292283872 18446744073709551615 134618934 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 3148 697 192 642 0 2504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12592 [startup+0.700611 s] /proc/loadavg: 1.00 1.00 1.00 2/105 19422 /proc/meminfo: memFree=1707036/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=14268 CPUtime=0.69 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 1231 0 0 0 69 0 0 0 25 0 1 0 11495508 14610432 1142 1992294400 134512640 137138936 4292283872 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 3567 1142 192 642 0 2923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14268 [startup+1.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19423 /proc/meminfo: memFree=1702440/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=16588 CPUtime=1.49 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 1790 0 0 0 149 0 0 0 25 0 1 0 11495508 16986112 1701 1992294400 134512640 137138936 4292283872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 4147 1701 192 642 0 3503 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16588 [startup+3.10188 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19423 /proc/meminfo: memFree=1701200/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=17488 CPUtime=3.09 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2026 0 0 0 308 1 0 0 25 0 1 0 11495508 17907712 1937 1992294400 134512640 137138936 4292283872 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 4372 1937 192 642 0 3728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17488 [startup+6.30124 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19423 /proc/meminfo: memFree=1699464/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=18140 CPUtime=6.29 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2183 0 0 0 627 2 0 0 25 0 1 0 11495508 18575360 2094 1992294400 134512640 137138936 4292283872 18446744073709551615 134618120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 4535 2094 192 642 0 3891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18140 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19423 /proc/meminfo: memFree=1698100/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=19428 CPUtime=12.69 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2518 0 0 0 1265 4 0 0 25 0 1 0 11495508 19894272 2429 1992294400 134512640 137138936 4292283872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 4857 2429 192 642 0 4213 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19428 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19423 /proc/meminfo: memFree=1698100/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=19428 CPUtime=25.49 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2518 0 0 0 2541 8 0 0 25 0 1 0 11495508 19894272 2429 1992294400 134512640 137138936 4292283872 18446744073709551615 134618437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 4857 2429 192 642 0 4213 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19428 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19425 /proc/meminfo: memFree=1697604/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=20048 CPUtime=51.08 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2660 0 0 0 5094 14 0 0 25 0 1 0 11495508 20529152 2571 1992294400 134512640 137138936 4292283872 18446744073709551615 134618099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5012 2571 192 642 0 4368 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20048 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19425 /proc/meminfo: memFree=1696860/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=20652 CPUtime=102.27 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2809 0 0 0 10202 25 0 0 25 0 1 0 11495508 21147648 2720 1992294400 134512640 137138936 4292283872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5163 2720 192 642 0 4519 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20652 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19427 /proc/meminfo: memFree=1696736/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=20656 CPUtime=162.24 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2827 0 0 0 16186 38 0 0 25 0 1 0 11495508 21151744 2738 1992294400 134512640 137138936 4292283872 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5164 2738 192 642 0 4520 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20656 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19429 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=222.23 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 22173 50 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21264 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19429 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=230.22 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 22971 51 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 230.22 Current children cumulated vsize (KiB) 21264 [startup+255.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19429 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=255.81 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 25524 57 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134575263 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 255.81 Current children cumulated vsize (KiB) 21264 [startup+268.702 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=268.61 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 26802 59 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 268.61 Current children cumulated vsize (KiB) 21264 [startup+271.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=271.81 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 27121 60 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 271.81 Current children cumulated vsize (KiB) 21264 [startup+275.102 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=275.01 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 27440 61 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134539304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 275.01 Current children cumulated vsize (KiB) 21264 [startup+275.902 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=275.8 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 27519 61 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134603248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 275.8 Current children cumulated vsize (KiB) 21264 [startup+276.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=276.21 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 27559 62 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 276.21 Current children cumulated vsize (KiB) 21264 [startup+276.702 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19431 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19422] ppid=19420 vsize=21264 CPUtime=276.61 /proc/19422/stat : 19422 (bsolo_pb10) R 19420 19422 19129 0 -1 4202496 2965 0 0 0 27599 62 0 0 25 0 1 0 11495508 21774336 2876 1992294400 134512640 137138936 4292283872 18446744073709551615 134575058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19422/statm: 5316 2876 192 642 0 4672 0 Current children cumulated CPU time (s) 276.61 Current children cumulated vsize (KiB) 21264 Child status: 0 Real time (s): 276.79 CPU time (s): 276.706 CPU user time (s): 276.082 CPU system time (s): 0.623905 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 21268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 276.082 system time used= 0.623905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2966 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= 1042 runsolver used 0.468928 second user time and 1.3008 second system time The end
Begin job on node085 at 2010-06-16 17:26:57 IDJOB=2670393 IDBENCH=47913 IDSOLVER=1162 FILE ID=node085/2670393-1276702017 PBS_JOBID= 11174081 Free space on /tmp= 121872 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=37-P1=67-P2=5-P3=47-P4=73-P5=127-P6=29-P7=127-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670393-1276702017/watcher-2670393-1276702017 -o /tmp/evaluation-result-2670393-1276702017/solver-2670393-1276702017 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670393-1276702017.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82374897eb5aaf8db9bb0fa8784aa552 RANDOM SEED=1962959622 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1708060 kB Buffers: 82796 kB Cached: 129632 kB SwapCached: 0 kB Active: 130772 kB Inactive: 141088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1708060 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 59488 kB Mapped: 15464 kB Slab: 57436 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 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-2670393-1276702017.opb Free space on /tmp at the end= 121868 MiB End job on node085 at 2010-06-16 17:31:34