Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.02 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
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 | 6.79197 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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-1879538-1245245224.opb 0.00/0.00 c File size is 23753 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.002 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % 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 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 66.37/66.47 c 102 440 855 14777 17 5971 4060 199 3187 0.03 66.37/66.47 c 253 440 1149 32855 28 9981 4467 493 2908 0.09 66.37/66.47 c 483 440 1572 59361 37 16204 4914 916 2278 0.21 66.37/66.47 c 822 440 2151 102074 47 19196 5406 1495 2245 0.37 66.37/66.47 c 1330 440 2999 159964 53 26129 5947 2343 1745 0.76 66.37/66.47 c 2093 440 4442 255811 57 51116 6542 3786 1258 1.66 66.37/66.47 c 3239 440 6644 404602 60 69147 7197 5988 736 4.40 66.37/66.47 c 4960 440 6173 359363 58 51576 7917 5517 375 13.22 66.37/66.47 c 7544 440 6901 393687 57 62060 8709 6245 269 28.02 66.37/66.47 c 11423 440 5329 290854 54 71502 9580 4673 193 58.95 66.37/66.47 o 3 1797.99/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.51 c 14919 440 6575 418870 63 63200 3706 5919 224 66.45 1797.99/1798.51 c 15021 440 2707 151067 55 21821 4077 2051 225 66.76 1797.99/1798.51 c 15271 369 3186 189065 59 29054 4485 2530 227 67.03 1797.99/1798.51 c 15746 369 4081 258369 63 49861 4934 3425 232 67.75 1797.99/1798.51 c 16561 369 5653 367932 65 67259 5428 4997 240 68.98 1797.99/1798.51 c 17881 369 5316 320428 60 67190 5971 4660 249 71.56 1797.99/1798.51 c 19963 369 6151 349217 56 72118 6569 5495 249 80.11 1797.99/1798.51 c 23187 369 5184 316924 61 66659 7226 4528 255 90.68 1797.99/1798.51 c 28124 369 6565 401588 61 64825 7949 5909 246 113.91 1797.99/1798.51 c 35630 369 6679 432759 64 42163 8744 6023 254 140.03 1797.99/1798.51 c 46992 369 5418 337844 62 73213 9619 4762 204 229.70 1797.99/1798.51 c 64137 369 5470 332234 60 62056 10581 4814 187 342.70 1797.99/1798.51 c 89956 369 8945 566445 63 114903 11640 8289 154 580.43 1797.99/1798.51 c 128790 369 12259 819318 66 116875 12805 11603 138 929.95 1797.99/1798.51 c 187144 369 10527 651273 61 97104 14086 9871 141 1325.03 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 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 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 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x244 -x245 -x246 -x247 -x248 x57 -x58 x59 -x60 x61 x62 -x63 x64 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 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 x65 x66 x67 x68 x69 -x70 -x71 -x72 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -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 x73 -x74 x75 x76 x77 -x78 x79 -x80 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 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 -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 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 25 224559 3156 234594 13136 885378 12480 124 1798.01 1797.99/1798.51 c Objective: 3 1797.99/1798.51 s SATISFIABLE 1797.99/1798.51 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-1879538-1245245224/watcher-1879538-1245245224 -o /tmp/evaluation-result-1879538-1245245224/solver-1879538-1245245224 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879538-1245245224.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.97 3/65 21704 /proc/meminfo: memFree=1263816/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=10844 CPUtime=0 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 291 0 0 0 0 0 0 0 20 0 1 0 192121417 11104256 269 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 2711 269 188 640 0 2067 0 [startup+0.0149389 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21704 /proc/meminfo: memFree=1263816/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=10844 CPUtime=0.01 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 327 0 0 0 1 0 0 0 20 0 1 0 192121417 11104256 305 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 2711 305 197 640 0 2067 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10844 [startup+0.101948 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21704 /proc/meminfo: memFree=1263816/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=11488 CPUtime=0.09 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 487 0 0 0 9 0 0 0 20 0 1 0 192121417 11763712 465 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 2872 465 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301967 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21704 /proc/meminfo: memFree=1263816/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=12388 CPUtime=0.29 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 710 0 0 0 29 0 0 0 22 0 1 0 192121417 12685312 688 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 3097 688 198 640 0 2453 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12388 [startup+0.702009 s] /proc/loadavg: 1.00 1.00 0.97 3/65 21704 /proc/meminfo: memFree=1263816/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=13436 CPUtime=0.69 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 977 0 0 0 69 0 0 0 25 0 1 0 192121417 13758464 955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 3359 955 198 640 0 2715 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13436 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1260096/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=15384 CPUtime=1.49 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 1450 0 0 0 148 1 0 0 25 0 1 0 192121417 15753216 1428 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 3846 1428 198 640 0 3202 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15384 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1257728/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=17200 CPUtime=3.09 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 1915 0 0 0 308 1 0 0 25 0 1 0 192121417 17612800 1893 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 4300 1893 198 640 0 3656 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17200 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1255168/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=19300 CPUtime=6.28 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 2416 0 0 0 627 1 0 0 25 0 1 0 192121417 19763200 2394 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 4825 2394 198 640 0 4181 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19300 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1254144/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=19816 CPUtime=12.69 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 2565 0 0 0 1267 2 0 0 25 0 1 0 192121417 20291584 2543 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 4954 2543 198 640 0 4310 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19816 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1254016/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=19948 CPUtime=25.48 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 2594 0 0 0 2545 3 0 0 25 0 1 0 192121417 20426752 2572 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 4987 2572 198 640 0 4343 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19948 [startup+51.1023 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1253056/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=20988 CPUtime=51.08 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 2846 0 0 0 5104 4 0 0 25 0 1 0 192121417 21491712 2824 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 5247 2824 198 640 0 4603 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20988 [startup+102.307 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1250624/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=23312 CPUtime=102.27 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 3436 0 0 0 10220 7 0 0 25 0 1 0 192121417 23871488 3414 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 5828 3414 198 640 0 5184 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23312 [startup+162.303 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1250624/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=23312 CPUtime=162.24 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 3436 0 0 0 16215 9 0 0 25 0 1 0 192121417 23871488 3414 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 5828 3414 198 640 0 5184 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23312 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1250560/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=23312 CPUtime=222.22 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 3436 0 0 0 22212 10 0 0 25 0 1 0 192121417 23871488 3414 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 5828 3414 198 640 0 5184 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 23312 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1249600/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=24224 CPUtime=282.21 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 3667 0 0 0 28209 12 0 0 25 0 1 0 192121417 24805376 3645 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6056 3645 198 640 0 5412 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 24224 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1249664/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=24224 CPUtime=342.19 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 3667 0 0 0 34205 14 0 0 25 0 1 0 192121417 24805376 3645 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6056 3645 198 640 0 5412 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 24224 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1248192/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=25660 CPUtime=402.17 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4020 0 0 0 40201 16 0 0 25 0 1 0 192121417 26275840 3998 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6415 3998 198 640 0 5771 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 25660 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1248256/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=25660 CPUtime=462.16 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4020 0 0 0 46198 18 0 0 25 0 1 0 192121417 26275840 3998 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6415 3998 198 640 0 5771 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 25660 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1248256/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=25660 CPUtime=522.14 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4020 0 0 0 52194 20 0 0 25 0 1 0 192121417 26275840 3998 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6415 3998 198 640 0 5771 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 25660 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1247872/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=26052 CPUtime=582.12 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4121 0 0 0 58190 22 0 0 25 0 1 0 192121417 26677248 4099 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6513 4099 198 640 0 5869 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 26052 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1246080/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=27756 CPUtime=642.11 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4549 0 0 0 64186 25 0 0 25 0 1 0 192121417 28422144 4527 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 6939 4527 198 640 0 6295 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 27756 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1245440/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=28276 CPUtime=1061.99 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4691 0 0 0 106162 37 0 0 25 0 1 0 192121417 28954624 4669 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7069 4669 198 640 0 6425 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 28276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=28276 CPUtime=1121.97 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4691 0 0 0 112157 40 0 0 25 0 1 0 192121417 28954624 4669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7069 4669 198 640 0 6425 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 28276 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1245376/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=28276 CPUtime=1181.96 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4691 0 0 0 118154 42 0 0 25 0 1 0 192121417 28954624 4669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7069 4669 198 640 0 6425 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 28276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1244928/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=28748 CPUtime=1241.94 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4797 0 0 0 124151 43 0 0 25 0 1 0 192121417 29437952 4775 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7187 4775 198 640 0 6543 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 28748 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1244864/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=28744 CPUtime=1301.92 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 4797 0 0 0 130148 44 0 0 25 0 1 0 192121417 29433856 4775 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7186 4775 198 640 0 6542 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 28744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1243008/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=30852 CPUtime=1361.91 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5324 0 0 0 136144 47 0 0 25 0 1 0 192121417 31592448 5293 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7713 5293 198 640 0 7069 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 30852 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1242368/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31328 CPUtime=1421.89 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5446 0 0 0 142141 48 0 0 25 0 1 0 192121417 32079872 5415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7832 5415 198 640 0 7188 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 31328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21705 /proc/meminfo: memFree=1242304/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31328 CPUtime=1481.87 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5446 0 0 0 148138 49 0 0 25 0 1 0 192121417 32079872 5415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7832 5415 198 640 0 7188 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 31328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1242304/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31328 CPUtime=1541.86 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5446 0 0 0 154135 51 0 0 25 0 1 0 192121417 32079872 5415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7832 5415 198 640 0 7188 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 31328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1242304/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31324 CPUtime=1601.84 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5446 0 0 0 160132 52 0 0 25 0 1 0 192121417 32075776 5415 1992294400 134512640 137136520 4294956256 18446744073709551615 134574441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7831 5415 198 640 0 7187 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 31324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1242304/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31324 CPUtime=1661.83 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5446 0 0 0 166130 53 0 0 25 0 1 0 192121417 32075776 5415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7831 5415 198 640 0 7187 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 31324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1242048/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=31452 CPUtime=1721.8 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5484 0 0 0 172126 54 0 0 25 0 1 0 192121417 32206848 5453 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 7863 5453 198 640 0 7219 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 31452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1781.79 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 178123 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 32200 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 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1791.39 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179083 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 32200 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1794.59 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179403 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 32200 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1796.19 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179563 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 32200 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1796.98 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179642 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 32200 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1797.78 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179722 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 32200 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.97 2/66 21707 /proc/meminfo: memFree=1241344/2055920 swapFree=4182160/4192956 [pid=21704] ppid=21702 vsize=32200 CPUtime=1797.99 /proc/21704/stat : 21704 (bsolo) R 21702 21704 21445 0 -1 4194304 5663 0 0 0 179743 56 0 0 25 0 1 0 192121417 32972800 5632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21704/statm: 8050 5632 198 640 0 7406 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 32200 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.02 CPU user time (s): 1797.45 CPU system time (s): 0.567913 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 32200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.45 system time used= 0.567913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5665 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= 1477 runsolver used 2.00869 second user time and 4.31434 second system time The end
Begin job on node79 at 2009-06-17 15:27:04 IDJOB=1879538 IDBENCH=48088 IDSOLVER=701 FILE ID=node79/1879538-1245245224 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=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879538-1245245224/watcher-1879538-1245245224 -o /tmp/evaluation-result-1879538-1245245224/solver-1879538-1245245224 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879538-1245245224.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED=363797513 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: 1264296 kB Buffers: 38624 kB Cached: 681508 kB SwapCached: 4884 kB Active: 135560 kB Inactive: 592140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1264296 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13404 kB Slab: 49848 kB Committed_AS: 101032 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-1879538-1245245224.opb Free space on /tmp at the end= 66012 MiB End job on node79 at 2009-06-17 15:57:02