Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.02 | 1798.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb |
MD5SUM | c4226b2f0998740abfed6a5c474083dd |
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 | 1.69974 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
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-1879335-1245243425.opb 0.00/0.00 c File size is 17961 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 147.02/147.11 c 100 324 695 17688 25 5640 3039 199 2380 0.04 147.02/147.11 c 251 324 993 41056 41 12728 3343 497 2485 0.10 147.02/147.11 c 476 324 1409 74680 53 20544 3678 913 1737 0.27 147.02/147.11 c 815 324 2068 133616 64 35440 4046 1572 1069 0.76 147.02/147.11 c 1325 324 2961 210216 70 51431 4451 2465 945 1.40 147.02/147.11 c 2088 324 4431 373022 84 73312 4897 3935 604 3.46 147.02/147.11 c 3235 324 4028 331052 82 56695 5387 3532 394 8.20 147.02/147.11 c 4957 324 4416 381171 86 67207 5926 3920 293 16.88 147.02/147.11 c 7543 324 6325 493868 78 108386 6519 5829 248 30.34 147.02/147.11 c 11423 324 7007 523941 74 110101 7171 6511 201 56.66 147.02/147.11 c 17245 324 7204 540829 75 121749 7889 6708 151 114.14 147.02/147.11 o 65 172.31/172.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 172.31/172.40 c 22495 324 8009 656362 81 94795 2780 7513 152 147.05 172.31/172.40 c 22595 302 2085 135506 64 21723 3059 1589 152 148.36 172.31/172.40 c 22845 302 2569 178597 69 26559 3365 2073 153 148.50 172.31/172.40 c 23320 302 3462 251470 72 37539 3702 2966 156 148.99 172.31/172.40 c 24134 302 3020 207962 68 33747 4073 2524 160 150.31 172.31/172.40 c 25455 302 3392 235202 69 49273 4481 2896 164 154.55 172.31/172.40 c 27536 302 4990 360771 72 68501 4930 4494 167 164.07 172.31/172.40 o 9 178.81/178.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.81/178.97 c 30750 302 2964 187331 63 40592 2776 2468 178 172.44 178.81/178.97 c 30851 269 3165 203448 64 43203 3054 2669 178 172.59 178.81/178.97 c 31101 269 2026 113042 55 20337 3360 1530 179 172.93 178.81/178.97 c 31576 269 2947 187437 63 39272 3697 2451 181 173.89 178.81/178.97 c 32389 269 2429 164024 67 29706 4067 1933 184 175.57 178.81/178.97 c 33710 269 2728 178147 65 29174 4474 2232 189 177.51 178.81/178.97 o 5 180.61/180.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.61/180.72 c 34178 269 3624 249176 68 55711 2770 3128 191 178.90 180.61/180.72 c 34279 269 2085 125392 60 30050 3048 1589 191 179.23 180.61/180.72 c 34532 258 2576 165123 64 35565 3353 2080 192 179.71 180.61/180.72 o 3 1797.99/1798.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.71 c 34988 258 3465 235296 67 64270 2768 2969 193 180.65 1797.99/1798.71 c 35089 235 2083 125223 60 16496 3045 1587 194 180.85 1797.99/1798.71 c 35340 235 2533 160927 63 28676 3350 2037 194 181.44 1797.99/1798.71 c 35815 235 3410 231319 67 42617 3686 2914 195 182.84 1797.99/1798.71 c 36630 235 2850 193296 67 42079 4055 2354 198 184.23 1797.99/1798.71 c 37950 235 3124 212431 67 33522 4461 2628 202 187.38 1797.99/1798.71 c 40031 235 4676 349985 74 59640 4908 4180 207 193.25 1797.99/1798.71 c 43254 235 3008 236674 78 28197 5399 2512 216 199.50 1797.99/1798.71 c 48190 235 3665 281658 76 62953 5939 3169 218 220.81 1797.99/1798.71 c 55697 235 4778 385107 80 50540 6533 4282 206 269.98 1797.99/1798.71 c 67060 235 5804 427766 73 73015 7187 5308 194 345.38 1797.99/1798.71 c 84204 235 6609 539737 81 76277 7906 6113 176 478.18 1797.99/1798.71 c 110024 235 5501 437594 79 85245 8697 5005 153 716.38 1797.99/1798.71 c 148857 235 6059 491457 81 87900 9567 5563 130 1140.81 1797.99/1798.71 c Resources Exceeded 1797.99/1798.71 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 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 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 -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 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1797.99/1798.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.71 c 41 201511 1791 209415 8878 748459 8382 112 1798.01 1797.99/1798.71 c Objective: 3 1797.99/1798.71 s SATISFIABLE 1797.99/1798.71 c Total time: 1798.01 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-1879335-1245243425/watcher-1879335-1245243425 -o /tmp/evaluation-result-1879335-1245243425/solver-1879335-1245243425 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879335-1245243425.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.92 3/65 21660 /proc/meminfo: memFree=1264328/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=10712 CPUtime=0 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 191941508 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 2678 261 189 640 0 2034 0 [startup+0.0280969 s] /proc/loadavg: 1.00 1.00 0.92 3/65 21660 /proc/meminfo: memFree=1264328/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=10968 CPUtime=0.02 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 339 0 0 0 2 0 0 0 18 0 1 0 191941508 11231232 318 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 2742 318 197 640 0 2098 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10968 [startup+0.102104 s] /proc/loadavg: 1.00 1.00 0.92 3/65 21660 /proc/meminfo: memFree=1264328/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=11608 CPUtime=0.09 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 499 0 0 0 9 0 0 0 18 0 1 0 191941508 11886592 478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 2902 478 197 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.302126 s] /proc/loadavg: 1.00 1.00 0.92 3/65 21660 /proc/meminfo: memFree=1264328/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=12516 CPUtime=0.29 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 745 0 0 0 29 0 0 0 19 0 1 0 191941508 12816384 724 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 3129 724 198 640 0 2485 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12516 [startup+0.702169 s] /proc/loadavg: 1.00 1.00 0.92 3/65 21660 /proc/meminfo: memFree=1264328/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=13552 CPUtime=0.69 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 983 0 0 0 69 0 0 0 23 0 1 0 191941508 13877248 962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 3388 962 198 640 0 2744 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13552 [startup+1.50125 s] /proc/loadavg: 1.08 1.02 0.93 2/66 21661 /proc/meminfo: memFree=1260416/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=15120 CPUtime=1.49 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 1399 0 0 0 149 0 0 0 25 0 1 0 191941508 15482880 1378 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 3780 1378 198 640 0 3136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15120 [startup+3.10142 s] /proc/loadavg: 1.08 1.02 0.93 2/66 21661 /proc/meminfo: memFree=1258112/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=17588 CPUtime=3.09 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 2006 0 0 0 308 1 0 0 25 0 1 0 191941508 18010112 1985 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 4397 1985 198 640 0 3753 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17588 [startup+6.30175 s] /proc/loadavg: 1.08 1.02 0.93 2/66 21661 /proc/meminfo: memFree=1255488/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=19540 CPUtime=6.29 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 2480 0 0 0 628 1 0 0 25 0 1 0 191941508 20008960 2459 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 4885 2459 198 640 0 4241 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19540 [startup+12.7014 s] /proc/loadavg: 1.07 1.02 0.93 2/66 21661 /proc/meminfo: memFree=1254336/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=20328 CPUtime=12.69 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 2702 0 0 0 1267 2 0 0 25 0 1 0 191941508 20815872 2681 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 5082 2681 198 640 0 4438 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20328 [startup+25.5018 s] /proc/loadavg: 1.06 1.01 0.93 2/66 21661 /proc/meminfo: memFree=1253312/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=21332 CPUtime=25.47 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 2937 0 0 0 2545 2 0 0 25 0 1 0 191941508 21843968 2916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 5333 2916 198 640 0 4689 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 21332 [startup+51.1014 s] /proc/loadavg: 1.03 1.01 0.93 2/66 21661 /proc/meminfo: memFree=1252992/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=21600 CPUtime=51.07 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3010 0 0 0 5103 4 0 0 25 0 1 0 191941508 22118400 2989 1992294400 134512640 137136520 4294956256 18446744073709551615 134544616 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 5400 2989 198 640 0 4756 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21600 [startup+102.306 s] /proc/loadavg: 1.01 1.01 0.93 2/66 21661 /proc/meminfo: memFree=1251712/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=22784 CPUtime=102.25 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3317 0 0 0 10220 5 0 0 25 0 1 0 191941508 23330816 3296 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 5696 3296 198 640 0 5052 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 22784 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/66 21661 /proc/meminfo: memFree=1249152/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25332 CPUtime=162.22 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 16215 7 0 0 25 0 1 0 191941508 25939968 3924 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6333 3924 198 640 0 5689 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 25332 [startup+222.301 s] /proc/loadavg: 1.04 1.01 0.93 2/66 21661 /proc/meminfo: memFree=1249152/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=222.19 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 22209 10 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 25268 [startup+282.302 s] /proc/loadavg: 1.12 1.04 0.94 2/66 21667 /proc/meminfo: memFree=1248832/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=282.16 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 28204 12 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 136509064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 25268 [startup+342.302 s] /proc/loadavg: 1.12 1.04 0.95 2/66 21667 /proc/meminfo: memFree=1248832/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=342.13 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 34199 14 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 25268 [startup+402.301 s] /proc/loadavg: 1.11 1.05 0.95 2/66 21667 /proc/meminfo: memFree=1248896/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=402.1 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 40194 16 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 25268 [startup+462.301 s] /proc/loadavg: 1.10 1.05 0.96 2/66 21667 /proc/meminfo: memFree=1248896/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=462.09 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 46191 18 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 25268 [startup+522.303 s] /proc/loadavg: 1.09 1.06 0.96 2/66 21667 /proc/meminfo: memFree=1248896/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25268 CPUtime=522.07 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 3945 0 0 0 52186 21 0 0 25 0 1 0 191941508 25874432 3917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6317 3917 198 640 0 5673 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 25268 [startup+582.303 s] /proc/loadavg: 1.08 1.06 0.97 2/66 21667 /proc/meminfo: memFree=1248704/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25656 CPUtime=582.04 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4032 0 0 0 58182 22 0 0 25 0 1 0 191941508 26271744 4004 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6414 4004 198 640 0 5770 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 25656 [startup+642.302 s] /proc/loadavg: 1.03 1.05 0.97 2/66 21667 /proc/meminfo: memFree=1248704/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=25656 CPUtime=642.02 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4032 0 0 0 64178 24 0 0 25 0 1 0 191941508 26271744 4004 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6414 4004 198 640 0 5770 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 25656 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1248128/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=26280 CPUtime=1061.85 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4180 0 0 0 106150 35 0 0 25 0 1 0 191941508 26910720 4152 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6570 4152 198 640 0 5926 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 26280 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1247744/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=26668 CPUtime=1121.84 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4294 0 0 0 112147 37 0 0 25 0 1 0 191941508 27308032 4266 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6667 4266 198 640 0 6023 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 26668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1247296/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=27064 CPUtime=1181.81 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4393 0 0 0 118143 38 0 0 25 0 1 0 191941508 27713536 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6766 4365 198 640 0 6122 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 27064 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1247168/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=27064 CPUtime=1241.79 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4393 0 0 0 124139 40 0 0 25 0 1 0 191941508 27713536 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 6766 4365 198 640 0 6122 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 27064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1246016/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28188 CPUtime=1301.78 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4665 0 0 0 130136 42 0 0 25 0 1 0 191941508 28864512 4637 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7047 4637 198 640 0 6403 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 28188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245760/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28444 CPUtime=1361.75 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4727 0 0 0 136132 43 0 0 25 0 1 0 191941508 29126656 4699 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7111 4699 198 640 0 6467 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 28444 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245440/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1421.73 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 142128 45 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 28836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1481.71 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 148125 46 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 28836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1541.68 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 154121 47 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 28836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1601.65 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 160117 48 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 28836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1661.63 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 166114 49 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 28836 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245312/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1721.62 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 172111 51 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 28836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1781.59 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 178107 52 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 28836 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1791.19 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179067 52 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 28836 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1794.39 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179387 52 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 28836 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1795.98 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179546 52 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 28836 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1796.78 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179626 52 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 28836 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1797.59 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179706 53 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 28836 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21667 /proc/meminfo: memFree=1245184/2055920 swapFree=4182160/4192956 [pid=21660] ppid=21658 vsize=28836 CPUtime=1797.99 /proc/21660/stat : 21660 (bsolo) R 21658 21660 21445 0 -1 4194304 4826 0 0 0 179746 53 0 0 25 0 1 0 191941508 29528064 4798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21660/statm: 7209 4798 198 640 0 6565 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 28836 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798.02 CPU user time (s): 1797.48 CPU system time (s): 0.533918 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 28836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.48 system time used= 0.533918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4828 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= 7461 runsolver used 1.91571 second user time and 3.45047 second system time The end
Begin job on node79 at 2009-06-17 14:57:05 IDJOB=1879335 IDBENCH=47885 IDSOLVER=701 FILE ID=node79/1879335-1245243425 PBS_JOBID= 9372272 Free space on /tmp= 66016 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879335-1245243425/watcher-1879335-1245243425 -o /tmp/evaluation-result-1879335-1245243425/solver-1879335-1245243425 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879335-1245243425.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd RANDOM SEED=1295326245 node79.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.234 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.234 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: 2055920 kB MemFree: 1264872 kB Buffers: 38108 kB Cached: 681548 kB SwapCached: 4884 kB Active: 134984 kB Inactive: 592176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1264872 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13404 kB Slab: 49852 kB Committed_AS: 101004 kB PageTables: 1388 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-1879335-1245243425.opb Free space on /tmp at the end= 66012 MiB End job on node79 at 2009-06-17 15:27:04