Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 7 | 1798.01 | 1798.66 |
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 | 5.15022 |
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.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879340-1245243465.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.003 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.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 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 104.95/105.03 c 100 528 983 15397 15 6184 4875 196 3225 0.03 104.95/105.03 c 251 528 1275 33765 26 10597 5363 488 2510 0.10 104.95/105.03 c 476 528 1695 63591 37 17000 5900 908 2674 0.18 104.95/105.03 c 815 528 2243 99459 44 21016 6491 1456 1860 0.44 104.95/105.03 c 1323 528 3228 168550 52 36340 7141 2441 1269 1.04 104.95/105.03 c 2087 528 4713 257421 54 63765 7856 3926 945 2.21 104.95/105.03 c 3234 528 6909 414350 59 100525 8642 6122 820 3.94 104.95/105.03 c 4955 528 5139 308507 60 39685 9507 4352 793 6.25 104.95/105.03 c 7539 528 10104 639555 63 111081 10458 9317 585 12.87 104.95/105.03 c 11419 528 6217 381699 61 59607 11504 5430 432 26.40 104.95/105.03 c 17243 528 11099 655586 59 93982 12655 10312 307 56.06 104.95/105.03 o 77 237.01/237.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 237.01/237.17 c 23766 528 10190 640568 62 116303 4447 9403 226 105.00 237.01/237.17 c 23866 528 3203 172317 53 33812 4892 2416 225 105.68 237.01/237.17 c 24117 528 3654 205821 56 40107 5382 2867 227 106.18 237.01/237.17 c 24594 518 4547 270865 59 48557 5921 3760 229 106.99 237.01/237.17 c 25408 518 6042 382702 63 64429 6514 5255 235 108.03 237.01/237.17 c 26730 518 4835 290381 60 54172 7166 4048 241 110.86 237.01/237.17 c 28811 518 4784 294326 61 58809 7883 3997 253 113.62 237.01/237.17 c 32035 518 6655 440741 66 84419 8672 5868 251 127.15 237.01/237.17 c 36971 518 6989 451524 64 85412 9540 6202 235 157.00 237.01/237.17 c 44477 518 6604 368060 55 76452 10495 5817 211 209.86 237.01/237.17 o 9 981.74/982.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 981.74/982.18 c 50398 518 11219 738905 65 89169 4445 10432 212 237.08 981.74/982.18 c 50499 488 3191 163300 51 27975 4890 2404 212 237.87 981.74/982.18 c 50750 488 3651 196271 53 32365 5380 2864 213 237.98 981.74/982.18 c 51225 488 4522 257347 56 41102 5919 3735 215 238.21 981.74/982.18 c 52039 488 6113 356805 58 64750 6511 5326 217 239.05 981.74/982.18 c 53360 488 5299 290370 54 78635 7163 4512 219 243.64 981.74/982.18 c 55442 488 5533 298048 53 68004 7880 4746 215 257.61 981.74/982.18 c 58666 488 7448 459365 61 85652 8669 6661 221 264.94 981.74/982.18 c 63604 488 7108 408741 57 84447 9536 6321 221 287.16 981.74/982.18 c 71111 488 6461 403609 62 73031 10490 5674 209 339.11 981.74/982.18 c 82472 488 6839 384752 56 94652 11540 6052 182 451.35 981.74/982.18 c 99616 488 8276 540728 65 83182 12695 7489 169 588.82 981.74/982.18 c 125435 487 9232 594081 64 107808 13965 8445 153 816.85 981.74/982.18 o 7 1797.94/1798.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.65 c 147590 487 11792 784504 66 137397 4439 11005 150 981.84 1797.94/1798.65 c 147690 487 3210 172560 53 29489 4883 2423 149 985.31 1797.94/1798.65 c 147940 487 3675 205148 55 37482 5372 2888 150 985.47 1797.94/1798.65 c 148416 487 4567 266950 58 51144 5910 3780 150 986.28 1797.94/1798.65 c 149229 487 6143 377231 61 77527 6502 5356 150 989.28 1797.94/1798.65 c 150549 487 4763 280385 58 44989 7153 3976 151 992.94 1797.94/1798.65 c 152630 487 4717 276513 58 46732 7869 3930 152 1000.64 1797.94/1798.65 c 155854 487 6984 432844 61 103691 8656 6197 149 1044.43 1797.94/1798.65 c 160791 487 7730 482141 62 115479 9522 6943 143 1123.77 1797.94/1798.65 c 168297 487 7610 470138 61 107342 10475 6823 134 1246.72 1797.94/1798.65 c 179658 487 11030 746131 67 117998 11523 10243 137 1311.22 1797.94/1798.65 c 196803 477 7989 523253 65 94682 12676 7202 133 1478.62 1797.94/1798.65 c Resources Exceeded 1797.94/1798.65 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 1797.94/1798.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.65 c 46 221508 3411 235993 13587 984120 12800 123 1798.00 1797.94/1798.65 c Objective: 7 1797.94/1798.65 s SATISFIABLE 1797.94/1798.65 c Total time: 1798 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879340-1245243465/watcher-1879340-1245243465 -o /tmp/evaluation-result-1879340-1245243465/solver-1879340-1245243465 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879340-1245243465.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.03 1.01 1.00 3/65 9402 /proc/meminfo: memFree=1839680/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=10736 CPUtime=0 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 257 0 0 0 0 0 0 0 20 0 1 0 191944888 10993664 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136525824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 2677 236 171 640 0 2033 0 [startup+0.0168559 s] /proc/loadavg: 1.03 1.01 1.00 3/65 9402 /proc/meminfo: memFree=1839680/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=10976 CPUtime=0.01 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 336 0 0 0 1 0 0 0 20 0 1 0 191944888 11239424 313 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 2744 313 197 640 0 2100 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10976 [startup+0.101872 s] /proc/loadavg: 1.03 1.01 1.00 3/65 9402 /proc/meminfo: memFree=1839680/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=11500 CPUtime=0.09 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 480 0 0 0 9 0 0 0 20 0 1 0 191944888 11776000 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 2875 457 198 640 0 2231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301908 s] /proc/loadavg: 1.03 1.01 1.00 3/65 9402 /proc/meminfo: memFree=1839680/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=12404 CPUtime=0.29 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 702 0 0 0 29 0 0 0 22 0 1 0 191944888 12701696 679 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 3101 679 198 640 0 2457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12404 [startup+0.701982 s] /proc/loadavg: 1.03 1.01 1.00 3/65 9402 /proc/meminfo: memFree=1839680/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=13316 CPUtime=0.69 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 941 0 0 0 69 0 0 0 25 0 1 0 191944888 13635584 918 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 3329 918 198 640 0 2685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13316 [startup+1.50213 s] /proc/loadavg: 1.03 1.01 1.00 2/66 9403 /proc/meminfo: memFree=1836088/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=15136 CPUtime=1.49 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 1389 0 0 0 149 0 0 0 25 0 1 0 191944888 15499264 1366 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 3784 1366 198 640 0 3140 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15136 [startup+3.10142 s] /proc/loadavg: 1.03 1.01 1.00 2/66 9403 /proc/meminfo: memFree=1834040/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=17500 CPUtime=3.08 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 1972 0 0 0 308 0 0 0 25 0 1 0 191944888 17920000 1949 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 4375 1949 198 640 0 3731 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17500 [startup+6.30201 s] /proc/loadavg: 1.03 1.01 1.00 2/66 9403 /proc/meminfo: memFree=1828152/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=22288 CPUtime=6.28 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 3190 0 0 0 627 1 0 0 25 0 1 0 191944888 22822912 3167 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 5572 3167 198 640 0 4928 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22288 [startup+12.7012 s] /proc/loadavg: 1.17 1.04 1.01 2/66 9403 /proc/meminfo: memFree=1827456/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=22544 CPUtime=12.68 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 3235 0 0 0 1266 2 0 0 25 0 1 0 191944888 23085056 3212 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 5636 3212 198 640 0 4992 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22544 [startup+25.5016 s] /proc/loadavg: 1.14 1.04 1.01 2/66 9403 /proc/meminfo: memFree=1825216/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=24580 CPUtime=25.48 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 3768 0 0 0 2544 4 0 0 25 0 1 0 191944888 25169920 3745 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6145 3745 198 640 0 5501 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24580 [startup+51.1013 s] /proc/loadavg: 1.09 1.04 1.01 2/66 9403 /proc/meminfo: memFree=1823872/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=25984 CPUtime=51.07 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4099 0 0 0 5101 6 0 0 25 0 1 0 191944888 26607616 4076 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6496 4076 198 640 0 5852 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25984 [startup+102.306 s] /proc/loadavg: 1.04 1.03 1.00 2/66 9403 /proc/meminfo: memFree=1822784/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=102.26 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 10218 8 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27024 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/66 9403 /proc/meminfo: memFree=1822720/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=162.23 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 16212 11 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 27024 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 9409 /proc/meminfo: memFree=1822528/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=222.21 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 22208 13 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27024 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 9409 /proc/meminfo: memFree=1822528/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=282.19 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 28203 16 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 27024 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1822528/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=342.16 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 34198 18 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 27024 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1822464/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=402.15 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 40194 21 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 27024 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1822464/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27024 CPUtime=462.12 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4374 0 0 0 46190 22 0 0 25 0 1 0 191944888 27672576 4351 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6756 4351 198 640 0 6112 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 27024 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1821888/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27536 CPUtime=522.1 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4505 0 0 0 52185 25 0 0 25 0 1 0 191944888 28196864 4482 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6884 4482 198 640 0 6240 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 27536 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1821760/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=27664 CPUtime=582.08 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4538 0 0 0 58181 27 0 0 25 0 1 0 191944888 28327936 4515 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 6916 4515 198 640 0 6272 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 27664 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1821056/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=28444 CPUtime=642.06 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 4717 0 0 0 64176 30 0 0 25 0 1 0 191944888 29126656 4694 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7111 4694 198 640 0 6467 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 28444 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1819072/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30256 CPUtime=1121.88 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 112141 47 0 0 25 0 1 0 191944888 30982144 5155 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7564 5155 198 640 0 6920 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 30256 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1819008/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30256 CPUtime=1181.86 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 118137 49 0 0 25 0 1 0 191944888 30982144 5155 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7564 5155 198 640 0 6920 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 30256 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1819008/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1241.84 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 124134 50 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 30204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1819008/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1301.82 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 130130 52 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 30204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1819008/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1361.8 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 136126 54 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 30204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818944/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1421.78 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 142123 55 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 30204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818944/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1481.75 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 148119 56 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 30204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818944/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1541.73 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 154115 58 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 30204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818944/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1601.71 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 160112 59 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 30204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818880/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1661.68 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 166108 60 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 30204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818880/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30204 CPUtime=1721.67 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5178 0 0 0 172105 62 0 0 25 0 1 0 191944888 30928896 5151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7551 5151 198 640 0 6907 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 30204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30468 CPUtime=1781.65 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5243 0 0 0 178102 63 0 0 25 0 1 0 191944888 31199232 5216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7617 5216 198 640 0 6973 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 30468 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30468 CPUtime=1791.25 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5243 0 0 0 179062 63 0 0 25 0 1 0 191944888 31199232 5216 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7617 5216 198 640 0 6973 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 30468 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30468 CPUtime=1794.45 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5243 0 0 0 179382 63 0 0 25 0 1 0 191944888 31199232 5216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7617 5216 198 640 0 6973 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 30468 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30468 CPUtime=1796.04 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5243 0 0 0 179541 63 0 0 25 0 1 0 191944888 31199232 5216 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7617 5216 198 640 0 6973 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (KiB) 30468 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30468 CPUtime=1796.84 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5243 0 0 0 179621 63 0 0 25 0 1 0 191944888 31199232 5216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7617 5216 198 640 0 6973 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 30468 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30600 CPUtime=1797.64 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5250 0 0 0 179701 63 0 0 25 0 1 0 191944888 31334400 5223 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7650 5223 198 640 0 7006 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 30600 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30600 CPUtime=1797.84 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5254 0 0 0 179721 63 0 0 25 0 1 0 191944888 31334400 5227 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7650 5227 198 640 0 7006 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 30600 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9409 /proc/meminfo: memFree=1818560/2055924 swapFree=4179384/4192956 [pid=9402] ppid=9400 vsize=30600 CPUtime=1797.94 /proc/9402/stat : 9402 (bsolo) R 9400 9402 9162 0 -1 4194304 5254 0 0 0 179731 63 0 0 25 0 1 0 191944888 31334400 5227 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9402/statm: 7650 5227 198 640 0 7006 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 30600 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.01 CPU user time (s): 1797.37 CPU system time (s): 0.637903 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 30600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.37 system time used= 0.637903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5256 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= 2042 runsolver used 2.05569 second user time and 4.10238 second system time The end
Begin job on node83 at 2009-06-17 14:57:45 IDJOB=1879340 IDBENCH=47890 IDSOLVER=701 FILE ID=node83/1879340-1245243465 PBS_JOBID= 9372268 Free space on /tmp= 66508 MiB SOLVER NAME= bsolo 3.1 pb 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 -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879340-1245243465/watcher-1879340-1245243465 -o /tmp/evaluation-result-1879340-1245243465/solver-1879340-1245243465 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879340-1245243465.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED=363797513 node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1840352 kB Buffers: 14584 kB Cached: 126668 kB SwapCached: 7464 kB Active: 35200 kB Inactive: 114952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1840352 kB SwapTotal: 4192956 kB SwapFree: 4179384 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14616 kB Slab: 51336 kB Committed_AS: 91164 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879340-1245243465.opb Free space on /tmp at the end= 66504 MiB End job on node83 at 2009-06-17 15:27:44