Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 123.952 | 124.002 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb |
MD5SUM | 015e1ad727429fbf28fe61f3a93025c8 |
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 | 2.93755 |
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 | 162 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1879350-1245243531.opb 0.00/0.00 c File size is 24339 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 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: 486 Constr: 676 324/0/352 Lit: 2856 Watch. Lit: 1784 0.00/0.00 c Obj. Vars: 6 (1.23457 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 486 676 2856 4 2444 3875 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 13.98/14.08 c 100 486 868 9456 10 3968 4263 192 4545 0.02 13.98/14.08 c 253 486 1152 23786 20 5901 4690 476 4216 0.06 13.98/14.08 c 478 486 1591 39989 25 9485 5160 915 3763 0.13 13.98/14.08 c 816 486 2191 62875 28 13122 5677 1515 3830 0.21 13.98/14.08 c 1324 486 3075 104329 33 18476 6245 2399 2351 0.56 13.98/14.08 c 2088 486 4408 160174 36 26364 6870 3732 2216 0.94 13.98/14.08 c 3235 486 6474 260988 40 39440 7558 5798 1465 2.21 13.98/14.08 c 4957 486 5498 222674 40 28454 8314 4822 1454 3.41 13.98/14.08 c 7542 486 5847 221404 37 34619 9146 5171 1170 6.45 13.98/14.08 c 11421 486 8122 325304 40 45384 10061 7446 971 11.75 13.98/14.08 o 7 26.18/26.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.18/26.21 c 14840 485 8803 348874 39 55592 3887 8127 1054 14.07 26.18/26.21 c 14942 461 2818 88240 31 15750 4276 2142 1051 14.21 26.18/26.21 c 15193 461 3310 115588 34 18919 4704 2634 1060 14.33 26.18/26.21 c 15669 461 4172 149193 35 24946 5175 3496 1079 14.51 26.18/26.21 c 16483 461 5704 211151 37 36573 5693 5028 1100 14.98 26.18/26.21 c 17803 461 5219 183142 35 36486 6263 4543 1077 16.52 26.18/26.21 c 19886 460 5408 196136 36 33446 6890 4732 1013 19.62 26.18/26.21 c 23109 460 7528 287490 38 50316 7580 6852 1006 22.97 26.18/26.21 o 5 31.57/31.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.57/31.69 c 27158 458 6710 255575 38 39003 3881 6034 1036 26.20 31.57/31.69 c 27259 458 2822 92980 32 16905 4270 2146 1036 26.30 31.57/31.69 c 27510 458 3293 112379 34 21611 4698 2617 1041 26.41 31.57/31.69 c 27985 458 4216 149789 35 31431 5168 3540 1042 26.85 31.57/31.69 c 28799 458 5756 210450 36 46347 5685 5080 1007 28.59 31.57/31.69 c 30120 458 4976 200589 40 34967 6254 4300 1007 29.91 31.57/31.69 o 3 123.84/123.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 123.84/123.99 c 31615 457 4563 167819 36 32606 3881 3887 997 31.68 123.84/123.99 c 31715 440 2626 80720 30 17546 4270 1950 997 31.79 123.84/123.99 c 31965 440 3107 114215 36 18928 4698 2431 1000 31.96 123.84/123.99 c 32442 440 3980 151866 38 30030 5168 3304 994 32.62 123.84/123.99 c 33255 440 5501 211390 38 46111 5685 4825 968 34.34 123.84/123.99 c 34575 440 4811 166685 34 32008 6254 4135 967 35.72 123.84/123.99 c 36656 440 5481 219438 40 40230 6880 4805 909 40.30 123.84/123.99 c 39881 440 4130 137521 33 26252 7569 3454 896 44.47 123.84/123.99 c 44817 439 5452 191969 35 37304 8326 4776 816 54.91 123.84/123.99 c 52323 435 6067 215196 35 39764 9159 5391 747 70.04 123.84/123.99 c 63684 428 6732 220480 32 39226 10075 6056 629 101.14 123.84/123.99 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 x57 x58 x59 -x60 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 x61 -x62 -x63 -x64 -x65 -x66 -x109 x110 -x111 -x112 -x113 -x114 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 x67 -x68 x69 -x70 -x71 -x72 -x115 -x116 -x117 -x118 -x119 -x120 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 x73 -x74 -x75 -x76 -x77 -x78 x121 -x122 -x123 -x124 -x125 -x126 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 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x79 x80 -x81 -x82 -x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 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 x85 -x86 -x87 -x88 -x89 -x90 -x133 x134 -x135 -x136 -x137 -x138 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 x91 -x92 x93 -x94 -x95 -x96 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 x98 x99 x100 -x101 -x102 -x145 -x146 -x147 -x148 -x149 -x150 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 x103 -x104 -x105 -x106 -x107 -x108 x151 x152 -x153 x154 -x155 -x156 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 -x157 -x158 -x159 -x160 -x161 -x162 123.84/123.99 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 123.84/123.99 c 35 71855 1997 81115 10571 357895 9895 579 123.95 123.84/123.99 c Objective: 3 123.84/123.99 s OPTIMUM FOUND 123.84/123.99 c Total time: 123.949 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-1879350-1245243531/watcher-1879350-1245243531 -o /tmp/evaluation-result-1879350-1245243531/solver-1879350-1245243531 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879350-1245243531.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: 0.92 0.98 0.96 3/64 3568 /proc/meminfo: memFree=1787060/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=10732 CPUtime=0 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 191950289 10989568 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 2683 236 175 640 0 2033 0 [startup+0.096711 s] /proc/loadavg: 0.92 0.98 0.96 3/64 3568 /proc/meminfo: memFree=1787060/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=11360 CPUtime=0.09 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 460 0 0 0 9 0 0 0 18 0 1 0 191950289 11632640 438 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 2840 438 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.102711 s] /proc/loadavg: 0.92 0.98 0.96 3/64 3568 /proc/meminfo: memFree=1787060/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=11488 CPUtime=0.09 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 468 0 0 0 9 0 0 0 18 0 1 0 191950289 11763712 446 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 2872 446 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301744 s] /proc/loadavg: 0.92 0.98 0.96 3/64 3568 /proc/meminfo: memFree=1787060/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=12264 CPUtime=0.29 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 686 0 0 0 29 0 0 0 19 0 1 0 191950289 12558336 664 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 3066 664 198 640 0 2422 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12264 [startup+0.701812 s] /proc/loadavg: 0.92 0.98 0.96 3/64 3568 /proc/meminfo: memFree=1787060/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=12916 CPUtime=0.69 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 838 0 0 0 69 0 0 0 22 0 1 0 191950289 13225984 816 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 3229 817 198 640 0 2585 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12916 [startup+1.50195 s] /proc/loadavg: 0.92 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1783660/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=14744 CPUtime=1.49 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 1297 0 0 0 149 0 0 0 25 0 1 0 191950289 15097856 1275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 3686 1275 198 640 0 3042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14744 [startup+3.10122 s] /proc/loadavg: 0.92 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1782124/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=17208 CPUtime=3.09 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 1923 0 0 0 308 1 0 0 25 0 1 0 191950289 17620992 1901 1992294400 134512640 137136520 4294956256 18446744073709551615 134616016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4302 1901 198 640 0 3658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17208 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1779628/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=17712 CPUtime=6.28 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2027 0 0 0 627 1 0 0 25 0 1 0 191950289 18137088 2005 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4428 2005 198 640 0 3784 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17712 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1778860/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19344 CPUtime=12.68 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 1266 2 0 0 25 0 1 0 191950289 19808256 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4836 2415 198 640 0 4192 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19344 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777836/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19336 CPUtime=25.48 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 2544 4 0 0 25 0 1 0 191950289 19800064 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134599954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4834 2415 198 640 0 4190 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19336 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19332 CPUtime=51.07 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 5101 6 0 0 25 0 1 0 191950289 19795968 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4833 2415 198 640 0 4189 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19332 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777964/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19332 CPUtime=102.25 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 10217 8 0 0 25 0 1 0 191950289 19795968 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4833 2415 198 640 0 4189 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19332 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 0.98 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777964/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=115.04 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 11495 9 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 115.04 Current children cumulated vsize (KiB) 19328 [startup+118.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=118.25 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 11815 10 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 118.25 Current children cumulated vsize (KiB) 19328 [startup+121.501 s] /proc/loadavg: 0.99 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=121.44 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 12134 10 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 121.44 Current children cumulated vsize (KiB) 19328 [startup+123.102 s] /proc/loadavg: 0.99 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=123.05 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 12295 10 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 123.05 Current children cumulated vsize (KiB) 19328 [startup+123.502 s] /proc/loadavg: 0.99 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=123.44 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 12334 10 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 123.44 Current children cumulated vsize (KiB) 19328 [startup+123.902 s] /proc/loadavg: 0.99 0.98 0.96 2/65 3569 /proc/meminfo: memFree=1777900/2055920 swapFree=4181368/4192956 [pid=3568] ppid=3566 vsize=19328 CPUtime=123.84 /proc/3568/stat : 3568 (bsolo) R 3566 3568 3324 0 -1 4194304 2437 0 0 0 12374 10 0 0 25 0 1 0 191950289 19791872 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3568/statm: 4832 2415 198 640 0 4188 0 Current children cumulated CPU time (s) 123.84 Current children cumulated vsize (KiB) 19328 Child status: 0 Real time (s): 124.002 CPU time (s): 123.952 CPU user time (s): 123.844 CPU system time (s): 0.107983 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 19344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 123.844 system time used= 0.107983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2439 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= 251 runsolver used 0.090986 second user time and 0.25796 second system time The end
Begin job on node43 at 2009-06-17 14:58:51 IDJOB=1879350 IDBENCH=47900 IDSOLVER=701 FILE ID=node43/1879350-1245243531 PBS_JOBID= 9372296 Free space on /tmp= 66188 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879350-1245243531/watcher-1879350-1245243531 -o /tmp/evaluation-result-1879350-1245243531/solver-1879350-1245243531 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879350-1245243531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 015e1ad727429fbf28fe61f3a93025c8 RANDOM SEED=1311409756 node43.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.281 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.281 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: 1787604 kB Buffers: 64048 kB Cached: 142760 kB SwapCached: 5352 kB Active: 91260 kB Inactive: 123288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787604 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13536 kB Slab: 39724 kB Committed_AS: 186688 kB PageTables: 1448 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-1879350-1245243531.opb Free space on /tmp at the end= 66184 MiB End job on node43 at 2009-06-17 15:00:55