Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.03 | 1798.84 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 5.36918 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
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-1879511-1245244550.opb 0.00/0.00 c File size is 28515 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. 53.56/53.65 c 100 528 981 14798 15 6181 4875 194 2439 0.04 53.56/53.65 c 250 528 1276 34965 27 12428 5363 489 2840 0.09 53.56/53.65 c 477 528 1699 65555 38 16325 5900 912 2293 0.21 53.56/53.65 c 822 528 2350 113536 48 31510 6491 1563 1637 0.50 53.56/53.65 c 1330 528 3329 193205 58 44570 7141 2542 1339 0.99 53.56/53.65 c 2094 528 4799 298233 62 66938 7856 4012 792 2.64 53.56/53.65 c 3240 528 6901 461744 66 85920 8642 6114 798 4.06 53.56/53.65 c 4962 528 5300 360757 68 38896 9507 4513 449 11.04 53.56/53.65 c 7548 528 10209 765706 75 106651 10458 9422 470 16.03 53.56/53.65 c 11427 528 6698 460603 68 84391 11504 5911 263 43.42 53.56/53.65 o 3 1797.98/1798.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.83 c 16099 528 9279 599598 64 102997 4447 8492 300 53.63 1797.98/1798.83 c 16200 457 3207 172366 53 21871 4892 2420 298 54.31 1797.98/1798.83 c 16450 457 3695 209281 56 27687 5382 2908 302 54.41 1797.98/1798.83 c 16926 457 4604 277066 60 36153 5921 3817 309 54.68 1797.98/1798.83 c 17740 457 6172 390456 63 66294 6514 5385 319 55.46 1797.98/1798.83 c 19063 457 5106 305628 59 54208 7166 4319 332 57.36 1797.98/1798.83 c 21144 457 5018 302878 60 53203 7883 4231 328 64.42 1797.98/1798.83 c 24367 457 6708 412577 61 58242 8672 5921 323 75.36 1797.98/1798.83 c 29303 457 5799 332264 57 59126 9540 5012 322 90.78 1797.98/1798.83 c 36809 457 9543 624407 65 122204 10495 8756 302 121.88 1797.98/1798.83 c 48171 457 8318 519524 62 62532 11545 7531 246 195.10 1797.98/1798.83 c 65315 457 8474 533496 62 111440 12700 7687 174 373.41 1797.98/1798.83 c 91135 457 8986 627511 69 104732 13971 8199 143 636.37 1797.98/1798.83 c 129968 457 13560 959937 70 142779 15369 12773 113 1145.26 1797.98/1798.83 c Resources Exceeded 1797.98/1798.83 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.98/1798.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.83 c 24 184590 3909 198987 14259 985881 13472 102 1798.03 1797.98/1798.83 c Objective: 3 1797.98/1798.83 s SATISFIABLE 1797.98/1798.83 c Total time: 1798.03 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-1879511-1245244550/watcher-1879511-1245244550 -o /tmp/evaluation-result-1879511-1245244550/solver-1879511-1245244550 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879511-1245244550.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 0.93 3/64 5140 /proc/meminfo: memFree=1855264/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=10708 CPUtime=0 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 192055410 10964992 259 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 2677 263 186 640 0 2033 0 [startup+0.0705661 s] /proc/loadavg: 1.00 1.00 0.93 3/64 5140 /proc/meminfo: memFree=1855264/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=11364 CPUtime=0.06 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 457 0 0 0 6 0 0 0 18 0 1 0 192055410 11636736 434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 2841 434 198 640 0 2197 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11364 [startup+0.10157 s] /proc/loadavg: 1.00 1.00 0.93 3/64 5140 /proc/meminfo: memFree=1855264/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=11620 CPUtime=0.09 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 499 0 0 0 9 0 0 0 18 0 1 0 192055410 11898880 476 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 2905 476 198 640 0 2261 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11620 [startup+0.301603 s] /proc/loadavg: 1.00 1.00 0.93 3/64 5140 /proc/meminfo: memFree=1855264/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=12784 CPUtime=0.29 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 793 0 0 0 29 0 0 0 19 0 1 0 192055410 13090816 770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 3196 770 198 640 0 2552 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12784 [startup+0.701671 s] /proc/loadavg: 1.00 1.00 0.93 3/64 5140 /proc/meminfo: memFree=1855264/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=14092 CPUtime=0.69 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 1124 0 0 0 69 0 0 0 23 0 1 0 192055410 14430208 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 3523 1101 198 640 0 2879 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14092 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1850904/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=15388 CPUtime=1.49 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 1461 0 0 0 149 0 0 0 25 0 1 0 192055410 15757312 1438 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 3847 1438 198 640 0 3203 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15388 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1849304/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=17600 CPUtime=3.09 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 2022 0 0 0 308 1 0 0 25 0 1 0 192055410 18022400 1999 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 4400 1999 198 640 0 3756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17600 [startup+6.30162 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1844952/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=21204 CPUtime=6.29 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 2896 0 0 0 628 1 0 0 25 0 1 0 192055410 21712896 2873 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 5301 2873 198 640 0 4657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21204 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1841760/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=23564 CPUtime=12.69 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 3498 0 0 0 1267 2 0 0 25 0 1 0 192055410 24129536 3475 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 5891 3475 198 640 0 5247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23564 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1838496/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=26960 CPUtime=25.48 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4351 0 0 0 2545 3 0 0 25 0 1 0 192055410 27607040 4328 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6740 4328 198 640 0 6096 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26960 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837856/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27624 CPUtime=51.06 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 5102 4 0 0 25 0 1 0 192055410 28286976 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6906 4492 198 640 0 6262 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 27624 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837664/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27616 CPUtime=102.25 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 10218 7 0 0 25 0 1 0 192055410 28278784 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6904 4492 198 640 0 6260 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 27616 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837600/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27616 CPUtime=162.22 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 16213 9 0 0 25 0 1 0 192055410 28278784 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6904 4492 198 640 0 6260 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27616 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837600/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27612 CPUtime=222.19 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 22207 12 0 0 25 0 1 0 192055410 28274688 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6903 4492 198 640 0 6259 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 27612 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837600/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27612 CPUtime=282.17 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 28203 14 0 0 25 0 1 0 192055410 28274688 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6903 4492 198 640 0 6259 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 27612 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1837600/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=27612 CPUtime=342.14 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4515 0 0 0 34199 15 0 0 25 0 1 0 192055410 28274688 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 136518894 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 6903 4492 198 640 0 6259 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 27612 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1836640/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=28748 CPUtime=402.12 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4791 0 0 0 40194 18 0 0 25 0 1 0 192055410 29437952 4768 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 7187 4768 198 640 0 6543 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 28748 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1836448/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=28872 CPUtime=462.09 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4823 0 0 0 46190 19 0 0 25 0 1 0 192055410 29564928 4800 1992294400 134512640 137136520 4294956256 18446744073709551615 136502198 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 7218 4800 198 640 0 6574 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 28872 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1836320/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=29000 CPUtime=522.07 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4857 0 0 0 52185 22 0 0 25 0 1 0 192055410 29696000 4834 1992294400 134512640 137136520 4294956256 18446744073709551615 134572172 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 7250 4834 198 640 0 6606 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 29000 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1836256/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=29000 CPUtime=582.04 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 4857 0 0 0 58180 24 0 0 25 0 1 0 192055410 29696000 4834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 7250 4834 198 640 0 6606 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 29000 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1834976/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=30292 CPUtime=642.02 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5180 0 0 0 64177 25 0 0 25 0 1 0 192055410 31019008 5157 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 7573 5157 198 640 0 6929 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 30292 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1832928/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32108 CPUtime=1121.81 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5640 0 0 0 112146 35 0 0 25 0 1 0 192055410 32878592 5617 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8027 5617 198 640 0 7383 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 32108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1832480/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32500 CPUtime=1181.79 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5734 0 0 0 118143 36 0 0 25 0 1 0 192055410 33280000 5711 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5140/statm: 8125 5711 198 640 0 7481 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 32500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1832352/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32500 CPUtime=1241.76 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5735 0 0 0 124138 38 0 0 25 0 1 0 192055410 33280000 5712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8125 5712 198 640 0 7481 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 32500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1832288/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32500 CPUtime=1301.73 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5735 0 0 0 130133 40 0 0 25 0 1 0 192055410 33280000 5712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8125 5712 198 640 0 7481 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 32500 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1832288/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32500 CPUtime=1361.67 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5735 0 0 0 136125 42 0 0 25 0 1 0 192055410 33280000 5712 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8125 5712 198 640 0 7481 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 32500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1832288/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=32500 CPUtime=1421.65 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 5735 0 0 0 142120 45 0 0 25 0 1 0 192055410 33280000 5712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8125 5712 198 640 0 7481 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 32500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1830624/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=34208 CPUtime=1481.62 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6172 0 0 0 148116 46 0 0 25 0 1 0 192055410 35028992 6149 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8552 6149 198 640 0 7908 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 34208 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1830624/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=34208 CPUtime=1541.6 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6172 0 0 0 154113 47 0 0 25 0 1 0 192055410 35028992 6149 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8552 6149 198 640 0 7908 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 34208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828960/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35832 CPUtime=1601.58 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 160108 50 0 0 25 0 1 0 192055410 36691968 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8958 6542 198 640 0 8314 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 35832 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828896/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35832 CPUtime=1661.55 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 166104 51 0 0 25 0 1 0 192055410 36691968 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 136518982 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8958 6542 198 640 0 8314 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 35832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828896/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35832 CPUtime=1721.52 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 172100 52 0 0 25 0 1 0 192055410 36691968 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8958 6542 198 640 0 8314 0 Current children cumulated CPU time (s) 1721.52 Current children cumulated vsize (KiB) 35832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1781.49 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 178095 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 35828 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1791.09 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179055 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (KiB) 35828 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1794.29 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179375 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1794.29 Current children cumulated vsize (KiB) 35828 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1795.89 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179535 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1795.89 Current children cumulated vsize (KiB) 35828 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1796.68 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179614 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (KiB) 35828 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1797.48 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179694 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 35828 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1797.88 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179734 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 35828 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 5141 /proc/meminfo: memFree=1828704/2055920 swapFree=4192812/4192956 [pid=5140] ppid=5138 vsize=35828 CPUtime=1797.98 /proc/5140/stat : 5140 (bsolo) R 5138 5140 4811 0 -1 4194304 6565 0 0 0 179744 54 0 0 25 0 1 0 192055410 36687872 6542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5140/statm: 8957 6542 198 640 0 8313 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 35828 Child status: 0 Real time (s): 1798.84 CPU time (s): 1798.03 CPU user time (s): 1797.48 CPU system time (s): 0.550916 CPU usage (%): 99.9552 Max. virtual memory (cumulated for all children) (KiB): 35832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.48 system time used= 0.550916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6567 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= 6772 runsolver used 1.47778 second user time and 5.07023 second system time The end
Begin job on node15 at 2009-06-17 15:15:50 IDJOB=1879511 IDBENCH=48061 IDSOLVER=701 FILE ID=node15/1879511-1245244550 PBS_JOBID= 9372322 Free space on /tmp= 66304 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=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879511-1245244550/watcher-1879511-1245244550 -o /tmp/evaluation-result-1879511-1245244550/solver-1879511-1245244550 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879511-1245244550.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED=1822807535 node15.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.261 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 : 5931.00 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.261 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855872 kB Buffers: 28540 kB Cached: 99572 kB SwapCached: 0 kB Active: 34028 kB Inactive: 107552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855872 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 23252 kB Slab: 44380 kB Committed_AS: 203940 kB PageTables: 1464 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-1879511-1245244550.opb Free space on /tmp at the end= 66300 MiB End job on node15 at 2009-06-17 15:45:49