Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 2 | 112.657 | 112.709 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb |
MD5SUM | 546a5ced30808b0bb71d4cd4eb43d066 |
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 | 0.348946 |
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 | 17 |
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 | 17 |
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) | 288 |
Sum of products size (including duplicates) | 576 |
Number of different products | 288 |
Sum of products size | 576 |
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-1879491-1245244292.opb 0.00/0.00 c File size is 21533 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.002 s 0.00/0.00 c Var: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586 0.00/0.00 c Obj. Vars: 6 (1.38889 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 432 601 2538 4 2172 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 5.79/5.81 c 100 432 774 8942 11 3432 3788 173 5000 0.02 5.79/5.81 c 251 432 1028 21385 20 5030 4167 427 4048 0.06 5.79/5.81 c 476 432 1427 38848 27 7205 4584 826 3633 0.13 5.79/5.81 c 814 432 1988 64165 32 10466 5043 1387 3683 0.22 5.79/5.81 c 1322 432 2871 100703 35 16318 5548 2270 3651 0.36 5.79/5.81 c 2085 432 4280 159963 37 25948 6103 3679 3373 0.62 5.79/5.81 c 3232 432 6406 249800 38 39286 6714 5805 2285 1.41 5.79/5.81 c 4953 432 6035 236128 39 35526 7386 5434 1832 2.70 5.79/5.81 c 7538 432 6670 259974 38 35538 8125 6069 1310 5.75 5.79/5.81 o 10 7.69/7.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.75 c 7624 432 6838 268282 39 38168 3455 6237 1311 5.81 7.69/7.75 c 7725 432 2523 84517 33 15346 3801 1922 1307 5.91 7.69/7.75 c 7976 432 2962 103107 34 18274 4182 2361 1317 6.05 7.69/7.75 c 8453 432 3878 159274 41 29768 4601 3277 1321 6.39 7.69/7.75 c 9267 432 2903 108861 37 17099 5062 2302 1306 7.09 7.69/7.75 c 10588 416 5278 211336 40 31528 5569 4677 1389 7.62 7.69/7.75 o 7 28.38/28.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.43 c 10814 416 5700 229342 40 35737 3451 5099 1396 7.75 28.38/28.43 c 10914 416 2524 79858 31 14662 3797 1923 1395 7.82 28.38/28.43 c 11166 408 2975 102327 34 18767 4177 2374 1408 7.93 28.38/28.43 c 11641 408 3891 149292 38 22401 4595 3290 1429 8.14 28.38/28.43 c 12454 408 2902 103679 35 18896 5055 2301 1432 8.69 28.38/28.43 c 13775 408 5298 202161 38 33173 5561 4697 1481 9.30 28.38/28.43 c 15856 408 5912 236166 39 37528 6118 5311 1424 11.13 28.38/28.43 c 19081 408 5083 184193 36 27728 6730 4482 1337 14.27 28.38/28.43 c 24018 408 6479 268749 41 35714 7404 5878 1175 20.43 28.38/28.43 o 5 48.46/48.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.46/48.57 c 29362 408 4503 152478 33 25063 3449 3902 1033 28.42 48.46/48.57 c 29462 408 2449 73051 29 11039 3794 1848 1033 28.51 48.46/48.57 c 29713 408 2928 92794 31 15174 4174 2327 1039 28.58 48.46/48.57 c 30189 408 3771 131341 34 21372 4592 3170 1048 28.78 48.46/48.57 c 31003 408 2901 94866 32 14554 5052 2300 1065 29.10 48.46/48.57 c 32323 408 5290 210352 39 27726 5558 4689 1079 29.95 48.46/48.57 c 34404 408 6021 252258 41 30182 6114 5420 1090 31.54 48.46/48.57 c 37629 408 5102 192361 37 24659 6726 4501 1050 35.81 48.46/48.57 c 42565 408 6723 279370 41 37793 7399 6122 1047 40.63 48.46/48.57 c 50071 408 4378 165930 37 25577 8139 3777 1078 46.42 48.46/48.57 o 3 112.64/112.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.64/112.70 c 51963 408 7785 316225 40 46076 3449 7184 1070 48.55 112.64/112.70 c 52063 391 2525 92746 36 16040 3794 1924 1068 48.72 112.64/112.70 c 52314 391 2911 110160 37 16198 4174 2310 1072 48.79 112.64/112.70 c 52792 391 3805 146485 38 23058 4592 3204 1078 48.96 112.64/112.70 c 53605 391 2907 97297 33 16557 5052 2306 1081 49.56 112.64/112.70 c 54925 391 5355 211255 39 30591 5558 4754 1091 50.31 112.64/112.70 c 57007 391 6031 221335 36 36773 6114 5430 1104 51.62 112.64/112.70 c 60230 391 5225 219493 42 28518 6726 4624 1094 55.01 112.64/112.70 c 65166 391 6936 266291 38 39013 7399 6335 1093 59.59 112.64/112.70 c 72672 384 4797 178674 37 28658 8139 4196 1092 66.51 112.64/112.70 c 84033 384 7998 270856 33 56857 8953 7397 933 89.99 112.64/112.70 o 2 112.64/112.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.64/112.70 c 96344 384 6581 302737 46 43966 3443 5980 855 112.65 112.64/112.70 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 -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 -x55 x56 -x57 -x58 -x59 -x60 x97 -x98 -x99 -x100 -x101 -x102 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x61 -x62 x63 -x64 -x65 -x66 -x103 -x104 -x105 -x106 -x107 -x108 -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 -x67 -x68 x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -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 -x73 -x74 x75 -x76 -x77 -x78 -x115 x116 -x117 -x118 -x119 -x120 -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 -x79 -x80 x81 x82 -x83 -x84 -x121 -x122 -x123 -x124 -x125 -x126 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x85 -x86 x87 -x88 -x89 x90 -x127 -x128 -x129 -x130 -x131 -x132 -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 -x91 -x92 x93 x94 -x95 -x96 -x133 -x134 -x135 x136 x137 -x138 -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 -x139 x140 -x141 -x142 -x143 -x144 112.64/112.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 112.64/112.70 c 46 96344 5140 116988 6581 302737 5980 855 112.65 112.64/112.70 c Objective: 2 112.64/112.70 s OPTIMUM FOUND 112.64/112.70 c Total time: 112.653 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879491-1245244292/watcher-1879491-1245244292 -o /tmp/evaluation-result-1879491-1245244292/solver-1879491-1245244292 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879491-1245244292.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.94 3/64 8922 /proc/meminfo: memFree=1713648/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=10844 CPUtime=0 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 192022161 11104256 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 2711 271 189 640 0 2067 0 [startup+0.0156511 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8922 /proc/meminfo: memFree=1713648/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=10844 CPUtime=0.01 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 324 0 0 0 1 0 0 0 18 0 1 0 192022161 11104256 302 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 2711 302 197 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.101662 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8922 /proc/meminfo: memFree=1713648/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=11232 CPUtime=0.09 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 192022161 11501568 395 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 2808 395 198 640 0 2164 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11232 [startup+0.301691 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8922 /proc/meminfo: memFree=1713648/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=12272 CPUtime=0.29 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 674 0 0 0 29 0 0 0 19 0 1 0 192022161 12566528 652 1992294400 134512640 137136520 4294956256 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 3068 652 198 640 0 2424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.701747 s] /proc/loadavg: 1.00 1.00 0.94 3/64 8922 /proc/meminfo: memFree=1713648/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=14084 CPUtime=0.69 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1123 0 0 0 69 0 0 0 23 0 1 0 192022161 14422016 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 3521 1101 198 640 0 2877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14084 [startup+1.50286 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1709288/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=15520 CPUtime=1.49 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1478 0 0 0 149 0 0 0 25 0 1 0 192022161 15892480 1456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 3880 1456 198 640 0 3236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15520 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1707752/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=16172 CPUtime=3.09 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1655 0 0 0 308 1 0 0 25 0 1 0 192022161 16560128 1633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4043 1633 198 640 0 3399 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16172 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1706856/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=17060 CPUtime=6.29 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1864 0 0 0 628 1 0 0 25 0 1 0 192022161 17469440 1842 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4265 1842 198 640 0 3621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17060 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1706728/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=17036 CPUtime=12.69 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1864 0 0 0 1267 2 0 0 25 0 1 0 192022161 17444864 1842 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4259 1842 198 640 0 3615 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17036 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1706728/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=17036 CPUtime=25.48 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1880 0 0 0 2545 3 0 0 25 0 1 0 192022161 17444864 1858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4259 1858 198 640 0 3615 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17036 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1706600/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=17292 CPUtime=51.07 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 1942 0 0 0 5100 7 0 0 25 0 1 0 192022161 17707008 1920 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4323 1920 198 640 0 3679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17292 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1705128/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=18712 CPUtime=102.24 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2282 0 0 0 10213 11 0 0 25 0 1 0 192022161 19161088 2260 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4678 2260 198 640 0 4034 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 18712 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1705000/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=18840 CPUtime=108.64 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2325 0 0 0 10852 12 0 0 25 0 1 0 192022161 19292160 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4710 2303 198 640 0 4066 0 Current children cumulated CPU time (s) 108.64 Current children cumulated vsize (KiB) 18840 [startup+110.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1705000/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=18840 CPUtime=110.24 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2325 0 0 0 11012 12 0 0 25 0 1 0 192022161 19292160 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4710 2303 198 640 0 4066 0 Current children cumulated CPU time (s) 110.24 Current children cumulated vsize (KiB) 18840 [startup+111.902 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1704744/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=19236 CPUtime=111.84 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2408 0 0 0 11172 12 0 0 25 0 1 0 192022161 19697664 2386 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4809 2386 198 640 0 4165 0 Current children cumulated CPU time (s) 111.84 Current children cumulated vsize (KiB) 19236 [startup+112.303 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1704680/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=19236 CPUtime=112.24 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2408 0 0 0 11212 12 0 0 25 0 1 0 192022161 19697664 2386 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4809 2386 198 640 0 4165 0 Current children cumulated CPU time (s) 112.24 Current children cumulated vsize (KiB) 19236 [startup+112.703 s] /proc/loadavg: 1.00 1.00 0.94 2/65 8923 /proc/meminfo: memFree=1704680/2055920 swapFree=4181384/4192956 [pid=8922] ppid=8920 vsize=19236 CPUtime=112.64 /proc/8922/stat : 8922 (bsolo) R 8920 8922 8499 0 -1 4194304 2408 0 0 0 11252 12 0 0 25 0 1 0 192022161 19697664 2386 1992294400 134512640 137136520 4294956256 18446744073709551615 136501981 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8922/statm: 4809 2386 198 640 0 4165 0 Current children cumulated CPU time (s) 112.64 Current children cumulated vsize (KiB) 19236 Child status: 0 Real time (s): 112.709 CPU time (s): 112.657 CPU user time (s): 112.533 CPU system time (s): 0.123981 CPU usage (%): 99.9533 Max. virtual memory (cumulated for all children) (KiB): 19236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 112.533 system time used= 0.123981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2410 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= 470 runsolver used 0.086986 second user time and 0.329949 second system time The end
Begin job on node49 at 2009-06-17 15:11:32 IDJOB=1879491 IDBENCH=48041 IDSOLVER=701 FILE ID=node49/1879491-1245244292 PBS_JOBID= 9372291 Free space on /tmp= 66028 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=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879491-1245244292/watcher-1879491-1245244292 -o /tmp/evaluation-result-1879491-1245244292/solver-1879491-1245244292 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879491-1245244292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 546a5ced30808b0bb71d4cd4eb43d066 RANDOM SEED=1092790661 node49.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.232 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.232 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: 1714128 kB Buffers: 65292 kB Cached: 204984 kB SwapCached: 4580 kB Active: 89528 kB Inactive: 188848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714128 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13852 kB Slab: 49244 kB Committed_AS: 195836 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879491-1245244292.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 15:13:25