Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798.17 | 1798.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb |
MD5SUM | 0b0d874eaa404001e586f84b413e6897 |
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 | 0.575912 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670765-1276705970.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.004 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.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 10.89/10.96 c 100 440 838 9995 11 2771 4060 182 3225 0.03 10.89/10.96 c 250 440 1124 25998 23 3512 4467 468 3623 0.07 10.89/10.96 c 475 440 1542 52103 33 4422 4914 886 3769 0.13 10.89/10.96 c 814 440 2155 91829 42 5724 5406 1499 3666 0.22 10.89/10.96 c 1323 440 3084 148601 48 7874 5947 2428 3357 0.39 10.89/10.96 c 2088 440 4556 227446 49 11709 6542 3900 3192 0.65 10.89/10.96 c 3235 440 6715 351667 52 16896 7197 6059 3006 1.08 10.89/10.96 c 4956 440 6155 323755 52 15416 7917 5499 2326 2.13 10.89/10.96 c 7541 440 7086 345442 48 17586 8709 6430 1864 4.04 10.89/10.96 c 11421 440 5682 256436 45 14297 9580 5026 1545 7.39 10.89/10.96 o 129 33.88/33.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.88/33.92 c 16377 440 10140 513947 50 24939 3706 9484 1494 10.96 33.88/33.92 c 16477 440 2700 132449 49 7010 4077 2044 1488 11.07 33.88/33.92 c 16729 440 3184 158262 49 8193 4485 2528 1501 11.14 33.88/33.92 c 17205 440 4104 207838 50 10496 4934 3448 1523 11.29 33.88/33.92 c 18018 440 3125 143663 45 8120 5428 2469 1551 11.62 33.88/33.92 c 19338 440 5702 292361 51 14819 5971 5046 1596 12.11 33.88/33.92 c 21419 440 6611 320179 48 17000 6569 5955 1608 13.32 33.88/33.92 c 24642 440 6126 285544 46 15421 7226 5470 1610 15.30 33.88/33.92 c 29579 440 4270 216827 50 10371 7949 3614 1570 18.84 33.88/33.92 c 37085 440 5832 316780 54 14819 8744 5176 1549 23.94 33.88/33.92 c 48447 440 9029 477403 52 23441 9619 8373 1520 31.87 33.88/33.92 o 57 45.28/45.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 45.28/45.39 c 52615 440 6577 346328 52 16121 3706 5921 1551 33.92 45.28/45.39 c 52717 430 2698 123962 45 6988 4077 2042 1551 33.98 45.28/45.39 c 52967 430 3144 148147 47 8127 4485 2488 1555 34.06 45.28/45.39 c 53452 430 4071 192327 47 10505 4934 3415 1562 34.21 45.28/45.39 c 54265 430 3125 144018 46 8140 5428 2469 1566 34.63 45.28/45.39 c 55585 430 5627 273305 48 14023 5971 4971 1566 35.48 45.28/45.39 c 57667 430 6315 320128 50 15143 6569 5659 1577 36.55 45.28/45.39 c 60890 430 5462 289805 53 13969 7226 4806 1589 38.30 45.28/45.39 c 65827 420 6875 399374 58 17981 7949 6219 1619 40.66 45.28/45.39 o 17 100.57/100.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.57/100.67 c 73050 420 8014 417134 52 20570 3702 7358 1609 45.38 100.57/100.67 c 73150 420 2678 119411 44 6998 4073 2022 1609 45.46 100.57/100.67 c 73401 420 3155 143813 45 8159 4481 2499 1612 45.53 100.57/100.67 c 73876 420 4055 193986 47 10388 4930 3399 1617 45.68 100.57/100.67 c 74689 420 5535 297788 53 13648 5424 4879 1623 46.02 100.57/100.67 c 76009 420 5112 286617 56 12721 5967 4456 1631 46.60 100.57/100.67 c 78090 420 5751 278172 48 14562 6564 5095 1639 47.63 100.57/100.67 c 81314 420 5171 231632 44 13454 7221 4515 1647 49.36 100.57/100.67 c 86251 420 6967 365673 52 17837 7944 6311 1647 52.37 100.57/100.67 c 93758 410 8027 397758 49 19965 8739 7371 1629 57.53 100.57/100.67 c 105119 410 7433 362638 48 18351 9613 6777 1582 66.42 100.57/100.67 c 122263 410 9089 449918 49 22884 10575 8433 1510 80.95 100.57/100.67 o 3 1798.09/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.09/1798.56 c 142632 410 9069 563100 62 22847 3700 8413 1417 100.64 1798.09/1798.56 c 142733 369 2693 130096 48 7031 4071 2037 1417 100.72 1798.09/1798.56 c 142984 369 3178 156523 49 8247 4479 2522 1418 100.79 1798.09/1798.56 c 143460 369 4096 205861 50 10542 4927 3440 1421 100.95 1798.09/1798.56 c 144274 369 3127 137854 44 8159 5420 2471 1422 101.41 1798.09/1798.56 c 145595 369 5679 272261 47 14266 5963 5023 1425 102.17 1798.09/1798.56 c 147677 369 6541 317555 48 16246 6560 5885 1424 103.67 1798.09/1798.56 c 150900 369 5878 283647 48 14456 7217 5222 1425 105.84 1798.09/1798.56 c 155836 369 7828 377494 48 19443 7939 7172 1426 109.25 1798.09/1798.56 c 163343 369 4671 246392 52 11517 8733 4015 1421 114.94 1798.09/1798.56 c 174704 369 7431 406061 54 18803 9607 6775 1411 123.81 1798.09/1798.56 c 191851 369 9168 469660 51 22902 10568 8512 1392 137.76 1798.09/1798.56 c 217671 369 7878 362432 46 20054 11625 7222 1345 161.81 1798.09/1798.56 c 256504 369 8545 454116 53 22212 12788 7889 1279 200.49 1798.09/1798.56 c 314856 369 11576 632893 54 29393 14067 10920 1173 268.36 1798.09/1798.56 c 402491 369 10095 572587 56 25405 15474 9439 1056 380.86 1798.09/1798.56 c 534043 368 8929 463055 51 21849 17022 8273 961 555.21 1798.09/1798.56 c 731476 367 16285 892270 54 38709 18725 15629 824 886.79 1798.09/1798.56 c 1027729 357 17534 822627 46 43396 20598 16878 717 1432.61 1798.09/1798.56 c Resources Exceeded 1798.09/1798.56 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 1798.09/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.09/1798.56 c 61 1211178 10597 1246752 10975 618293 10319 673 1798.15 1798.09/1798.56 c Objective: 3 1798.09/1798.56 s SATISFIABLE 1798.09/1798.56 c Total time: 1798.15 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-2670765-1276705970/watcher-2670765-1276705970 -o /tmp/evaluation-result-2670765-1276705970/solver-2670765-1276705970 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670765-1276705970.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.01 1.00 3/106 16613 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=10924 CPUtime=0 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 11892121 11186176 278 1992294400 134512640 137138936 4286686992 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 2731 280 185 642 0 2087 0 [startup+0.0383391 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16613 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=11048 CPUtime=0.03 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 408 0 0 0 3 0 0 0 20 0 1 0 11892121 11313152 320 1992294400 134512640 137138936 4286686992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 2762 320 192 642 0 2118 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11048 [startup+0.101325 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16613 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=11444 CPUtime=0.09 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 516 0 0 0 9 0 0 0 20 0 1 0 11892121 11718656 428 1992294400 134512640 137138936 4286686992 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 2861 428 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.301338 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16613 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=12600 CPUtime=0.29 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 808 0 0 0 29 0 0 0 20 0 1 0 11892121 12902400 720 1992294400 134512640 137138936 4286686992 18446744073709551615 134545200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 3150 721 192 642 0 2506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12600 [startup+0.701366 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16613 /proc/meminfo: memFree=1692720/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=14408 CPUtime=0.69 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 1246 0 0 0 68 1 0 0 20 0 1 0 11892121 14753792 1158 1992294400 134512640 137138936 4286686992 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 3602 1158 192 642 0 2958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14408 [startup+1.50142 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16614 /proc/meminfo: memFree=1687504/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=17124 CPUtime=1.5 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 1939 0 0 0 148 2 0 0 23 0 1 0 11892121 17534976 1851 1992294400 134512640 137138936 4286686992 18446744073709551615 134575876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4281 1851 192 642 0 3637 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 17124 [startup+3.10153 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16614 /proc/meminfo: memFree=1685644/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=17644 CPUtime=3.09 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2045 0 0 0 307 2 0 0 25 0 1 0 11892121 18067456 1957 1992294400 134512640 137138936 4286686992 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4411 1957 192 642 0 3767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17644 [startup+6.30076 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16614 /proc/meminfo: memFree=1685024/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=17908 CPUtime=6.29 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2135 0 0 0 626 3 0 0 25 0 1 0 11892121 18337792 2047 1992294400 134512640 137138936 4286686992 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4477 2047 192 642 0 3833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17908 [startup+12.7002 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16614 /proc/meminfo: memFree=1684156/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=18676 CPUtime=12.69 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2312 0 0 0 1265 4 0 0 25 0 1 0 11892121 19124224 2224 1992294400 134512640 137138936 4286686992 18446744073709551615 134618455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4669 2224 192 642 0 4025 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18676 [startup+25.5011 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16614 /proc/meminfo: memFree=1684032/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=18928 CPUtime=25.49 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2373 0 0 0 2542 7 0 0 25 0 1 0 11892121 19382272 2285 1992294400 134512640 137138936 4286686992 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4732 2285 192 642 0 4088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18928 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16616 /proc/meminfo: memFree=1683288/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=19576 CPUtime=51.08 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2539 0 0 0 5094 14 0 0 25 0 1 0 11892121 20045824 2451 1992294400 134512640 137138936 4286686992 18446744073709551615 136504407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 4894 2451 192 642 0 4250 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19576 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16616 /proc/meminfo: memFree=1681924/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=20916 CPUtime=102.27 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2876 0 0 0 10202 25 0 0 25 0 1 0 11892121 21417984 2788 1992294400 134512640 137138936 4286686992 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 5229 2788 192 642 0 4585 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20916 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16618 /proc/meminfo: memFree=1681800/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=20908 CPUtime=162.25 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 2876 0 0 0 16187 38 0 0 25 0 1 0 11892121 21409792 2788 1992294400 134512640 137138936 4286686992 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 5227 2788 192 642 0 4583 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20908 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16620 /proc/meminfo: memFree=1680684/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=22060 CPUtime=222.23 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 3169 0 0 0 22173 50 0 0 25 0 1 0 11892121 22589440 3081 1992294400 134512640 137138936 4286686992 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 5515 3081 192 642 0 4871 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22060 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16622 /proc/meminfo: memFree=1679816/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=22940 CPUtime=282.23 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 3391 0 0 0 28161 62 0 0 25 0 1 0 11892121 23490560 3303 1992294400 134512640 137138936 4286686992 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 5735 3303 192 642 0 5091 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 22940 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16622 /proc/meminfo: memFree=1677460/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=25088 CPUtime=342.21 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 3934 0 0 0 34148 73 0 0 25 0 1 0 11892121 25690112 3846 1992294400 134512640 137138936 4286686992 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6272 3846 192 642 0 5628 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 25088 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16624 /proc/meminfo: memFree=1676716/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=25932 CPUtime=402.2 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4131 0 0 0 40136 84 0 0 25 0 1 0 11892121 26554368 4043 1992294400 134512640 137138936 4286686992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6483 4043 192 642 0 5839 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 25932 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16626 /proc/meminfo: memFree=1676592/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=25924 CPUtime=462.19 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4131 0 0 0 46123 96 0 0 25 0 1 0 11892121 26546176 4043 1992294400 134512640 137138936 4286686992 18446744073709551615 134603333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6481 4043 192 642 0 5837 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 25924 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16628 /proc/meminfo: memFree=1676592/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=25920 CPUtime=522.18 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4131 0 0 0 52109 109 0 0 25 0 1 0 11892121 26542080 4043 1992294400 134512640 137138936 4286686992 18446744073709551615 134609391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6480 4043 192 642 0 5836 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 25920 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16630 /proc/meminfo: memFree=1676468/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26020 CPUtime=582.16 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4154 0 0 0 58096 120 0 0 25 0 1 0 11892121 26644480 4066 1992294400 134512640 137138936 4286686992 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6505 4066 192 642 0 5861 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 26020 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16630 /proc/meminfo: memFree=1675724/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26808 CPUtime=642.15 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4353 0 0 0 64083 132 0 0 25 0 1 0 11892121 27451392 4265 1992294400 134512640 137138936 4286686992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6702 4265 192 642 0 6058 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 26808 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1675228/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26860 CPUtime=1062.05 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4369 0 0 0 106001 204 0 0 25 0 1 0 11892121 27504640 4281 1992294400 134512640 137138936 4286686992 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6715 4281 192 642 0 6071 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 26860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16644 /proc/meminfo: memFree=1675104/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26960 CPUtime=1122.04 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 111991 213 0 0 25 0 1 0 11892121 27607040 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6740 4303 192 642 0 6096 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 26960 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16646 /proc/meminfo: memFree=1675104/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26960 CPUtime=1182.03 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 117981 222 0 0 25 0 1 0 11892121 27607040 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6740 4303 192 642 0 6096 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 26960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16646 /proc/meminfo: memFree=1674856/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26952 CPUtime=1242.01 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 123971 230 0 0 25 0 1 0 11892121 27598848 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6738 4303 192 642 0 6094 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 26952 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16648 /proc/meminfo: memFree=1674856/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26952 CPUtime=1302.01 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 129961 240 0 0 25 0 1 0 11892121 27598848 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 134544871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6738 4303 192 642 0 6094 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 26952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16650 /proc/meminfo: memFree=1674856/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26952 CPUtime=1361.98 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 135948 250 0 0 25 0 1 0 11892121 27598848 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6738 4303 192 642 0 6094 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 26952 [startup+1422.31 s] /proc/loadavg: 1.06 1.01 1.00 2/107 16652 /proc/meminfo: memFree=1674856/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=26948 CPUtime=1421.98 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4391 0 0 0 141937 261 0 0 25 0 1 0 11892121 27594752 4303 1992294400 134512640 137138936 4286686992 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6737 4303 192 642 0 6093 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 26948 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 16654 /proc/meminfo: memFree=1674112/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=27720 CPUtime=1481.96 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4588 0 0 0 147924 272 0 0 25 0 1 0 11892121 28385280 4500 1992294400 134512640 137138936 4286686992 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6930 4500 192 642 0 6286 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 27720 [startup+1542.3 s] /proc/loadavg: 1.10 1.05 1.01 2/107 16654 /proc/meminfo: memFree=1674112/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=27720 CPUtime=1541.95 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4588 0 0 0 153911 284 0 0 25 0 1 0 11892121 28385280 4500 1992294400 134512640 137138936 4286686992 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6930 4500 192 642 0 6286 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 27720 [startup+1602.3 s] /proc/loadavg: 1.07 1.05 1.01 2/107 16656 /proc/meminfo: memFree=1674112/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=27720 CPUtime=1601.93 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4588 0 0 0 159900 293 0 0 25 0 1 0 11892121 28385280 4500 1992294400 134512640 137138936 4286686992 18446744073709551615 134618449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 6930 4500 192 642 0 6286 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 27720 [startup+1662.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 16658 /proc/meminfo: memFree=1673616/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28248 CPUtime=1661.92 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 165887 305 0 0 25 0 1 0 11892121 28925952 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7062 4627 192 642 0 6418 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 28248 [startup+1722.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 16669 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28248 CPUtime=1721.9 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 171876 314 0 0 25 0 1 0 11892121 28925952 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7062 4627 192 642 0 6418 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 28248 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28244 CPUtime=1781.89 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 177866 323 0 0 25 0 1 0 11892121 28921856 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7061 4627 192 642 0 6417 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 28244 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28240 CPUtime=1791.49 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 178825 324 0 0 25 0 1 0 11892121 28917760 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7060 4627 192 642 0 6416 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 28240 [startup+1795.1 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28240 CPUtime=1794.69 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 179144 325 0 0 25 0 1 0 11892121 28917760 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 136505658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7060 4627 192 642 0 6416 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 28240 [startup+1796.7 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28240 CPUtime=1796.28 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 179303 325 0 0 25 0 1 0 11892121 28917760 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7060 4627 192 642 0 6416 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 28240 [startup+1797.5 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28240 CPUtime=1797.08 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4715 0 0 0 179383 325 0 0 25 0 1 0 11892121 28917760 4627 1992294400 134512640 137138936 4286686992 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7060 4627 192 642 0 6416 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 28240 [startup+1798.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28316 CPUtime=1797.88 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4731 0 0 0 179462 326 0 0 25 0 1 0 11892121 28995584 4643 1992294400 134512640 137138936 4286686992 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7079 4643 192 642 0 6435 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 28316 [startup+1798.51 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16671 /proc/meminfo: memFree=1672996/2059040 swapFree=4192956/4192956 [pid=16613] ppid=16611 vsize=28316 CPUtime=1798.09 /proc/16613/stat : 16613 (bsolo_pb10) R 16611 16613 16083 0 -1 4202496 4731 0 0 0 179483 326 0 0 25 0 1 0 11892121 28995584 4643 1992294400 134512640 137138936 4286686992 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16613/statm: 7079 4643 192 642 0 6435 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 28316 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.17 CPU user time (s): 1794.9 CPU system time (s): 3.2625 CPU usage (%): 99.9771 Max. virtual memory (cumulated for all children) (KiB): 28316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 3.2625 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4732 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= 1 involuntary context switches= 3338 runsolver used 2.75258 second user time and 8.70468 second system time The end
Begin job on node034 at 2010-06-16 18:32:50 IDJOB=2670765 IDBENCH=48099 IDSOLVER=1162 FILE ID=node034/2670765-1276705970 PBS_JOBID= 11174108 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670765-1276705970/watcher-2670765-1276705970 -o /tmp/evaluation-result-2670765-1276705970/solver-2670765-1276705970 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670765-1276705970.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897 RANDOM SEED=264418803 node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1693496 kB Buffers: 95752 kB Cached: 142988 kB SwapCached: 0 kB Active: 129328 kB Inactive: 169120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1693496 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3912 kB Writeback: 0 kB AnonPages: 59612 kB Mapped: 15316 kB Slab: 45316 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180580 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670765-1276705970.opb Free space on /tmp at the end= 62512 MiB End job on node034 at 2010-06-16 19:02:49