Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798 | 1798.43 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb |
MD5SUM | 1214df7607414e67bdb9a74c838a7ae9 |
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 | 3.77243 |
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.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-2670723-1276705459.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.003 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.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.29/0.37 c 103 324 692 12579 18 2270 3039 196 3121 0.03 0.29/0.37 c 253 324 980 30935 31 3066 3343 484 3373 0.07 0.29/0.37 c 478 324 1411 58695 41 4202 3678 915 3186 0.15 0.29/0.37 c 816 324 2056 99928 48 5945 4046 1560 2978 0.27 0.29/0.37 o 21 8.49/8.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.52 c 1125 324 2645 135744 51 7528 2781 2149 2976 0.38 8.49/8.52 c 1225 293 2825 145506 51 8037 3060 2329 2923 0.42 8.49/8.52 c 1475 293 3297 174458 52 9245 3367 2801 2852 0.52 8.49/8.52 c 1950 280 2227 118292 53 5691 3704 1731 2700 0.72 8.49/8.52 c 2763 280 3806 231646 60 10002 4075 3310 2614 1.06 8.49/8.52 c 4083 280 4090 245833 60 10617 4483 3594 2426 1.68 8.49/8.52 c 6166 280 3146 200291 63 8106 4932 2650 2184 2.82 8.49/8.52 c 9389 280 4125 242403 58 10879 5426 3629 2120 4.43 8.49/8.52 c 14325 280 5177 297335 57 13626 5969 4681 1924 7.45 8.49/8.52 o 9 13.28/13.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.28/13.32 c 16161 280 5528 322587 58 14524 2772 5032 1897 8.52 13.28/13.32 c 16262 269 2080 108543 52 5488 3050 1584 1896 8.57 13.28/13.32 c 16512 269 2554 142231 55 6541 3356 2058 1904 8.67 13.28/13.32 c 16987 269 3464 200683 57 8813 3692 2968 1908 8.90 13.28/13.32 c 17801 269 3056 171154 56 7632 4062 2560 1906 9.34 13.28/13.32 c 19121 269 3405 190783 56 8490 4469 2909 1892 10.10 13.28/13.32 c 21202 269 2737 151807 55 7168 4916 2241 1866 11.36 13.28/13.32 c 24427 269 3823 211948 55 9881 5408 3327 1842 13.26 13.28/13.32 o 5 82.67/82.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 82.67/82.73 c 24601 269 4158 231710 55 10839 2770 3662 1847 13.31 82.67/82.73 c 24702 269 2077 107090 51 5496 3048 1581 1846 13.38 82.67/82.73 c 24953 258 2551 133191 52 6750 3353 2055 1851 13.48 82.67/82.73 c 25429 258 3455 181026 52 9172 3689 2959 1857 13.69 82.67/82.73 c 26242 258 2917 167580 57 7621 4058 2421 1864 14.07 82.67/82.73 c 27562 258 3312 185563 56 8694 4464 2816 1865 14.77 82.67/82.73 c 29644 258 5005 286967 57 13001 4911 4509 1854 15.98 82.67/82.73 c 32868 258 3355 173327 51 8621 5403 2859 1817 18.08 82.67/82.73 c 37804 258 4250 233980 55 10986 5944 3754 1774 21.30 82.67/82.73 c 45310 258 6348 351967 55 16983 6539 5852 1736 26.09 82.67/82.73 c 56671 258 4411 239711 54 11605 7193 3915 1660 34.14 82.67/82.73 c 73815 258 6149 416306 67 15141 7913 5653 1514 48.74 82.67/82.73 c 99634 258 6194 360864 58 16287 8705 5698 1445 68.91 82.67/82.73 o 3 1797.97/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.43 c 116069 258 4856 311090 64 12400 2768 4360 1402 82.76 1797.97/1798.43 c 116169 235 2075 122697 59 5438 3045 1579 1402 82.81 1797.97/1798.43 c 116419 235 2552 148905 58 6745 3350 2056 1404 82.90 1797.97/1798.43 c 116895 235 3457 199743 57 9221 3686 2961 1406 83.11 1797.97/1798.43 c 117709 235 2998 158983 53 8124 4055 2502 1410 83.45 1797.97/1798.43 c 119030 235 3373 192837 57 8771 4461 2877 1414 84.14 1797.97/1798.43 c 121111 235 4872 300505 61 12186 4908 4376 1416 85.52 1797.97/1798.43 c 124334 235 3039 192836 63 7858 5399 2543 1423 87.35 1797.97/1798.43 c 129271 235 3895 230861 59 10171 5939 3399 1432 90.21 1797.97/1798.43 c 136777 235 5516 365528 66 14031 6533 5020 1434 95.33 1797.97/1798.43 c 148138 235 6309 410788 65 15962 7187 5813 1452 102.01 1797.97/1798.43 c 165282 235 5562 326745 58 14487 7906 5066 1434 115.20 1797.97/1798.43 c 191101 235 4458 286996 64 11646 8697 3962 1379 138.51 1797.97/1798.43 c 229934 235 6330 369420 58 16873 9567 5834 1348 170.55 1797.97/1798.43 c 288287 235 6965 437071 62 18226 10524 6469 1278 225.47 1797.97/1798.43 c 375919 235 8954 546938 61 22476 11577 8458 1211 310.32 1797.97/1798.43 c 507472 235 11749 799509 68 30470 12735 11253 1106 458.83 1797.97/1798.43 c 704904 235 12650 881061 69 31904 14009 12154 998 706.28 1797.97/1798.43 c 1001157 235 10134 670033 66 26289 15410 9638 874 1144.63 1797.97/1798.43 c 1445641 235 15916 949190 59 41198 16952 15420 837 1725.82 1797.97/1798.43 c Resources Exceeded 1797.97/1798.43 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.97/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.43 c 54 1491909 12546 1524017 16034 1102636 15538 829 1798.00 1797.97/1798.43 c Objective: 3 1797.97/1798.43 s SATISFIABLE 1797.97/1798.43 c Total time: 1798 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-2670723-1276705459/watcher-2670723-1276705459 -o /tmp/evaluation-result-2670723-1276705459/solver-2670723-1276705459 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670723-1276705459.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 1.00 3/106 16569 /proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=10924 CPUtime=0 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 11836709 11186176 269 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 2731 269 186 642 0 2087 0 [startup+0.087415 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16569 /proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=11312 CPUtime=0.08 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 482 0 0 0 8 0 0 0 20 0 1 0 11836709 11583488 395 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 2828 395 192 642 0 2184 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11312 [startup+0.101354 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16569 /proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=11444 CPUtime=0.09 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 503 0 0 0 9 0 0 0 20 0 1 0 11836709 11718656 416 1992294400 134512640 137138936 4291695600 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 2861 416 192 642 0 2217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11444 [startup+0.301371 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16569 /proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=12472 CPUtime=0.29 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 750 0 0 0 29 0 0 0 20 0 1 0 11836709 12771328 663 1992294400 134512640 137138936 4291695600 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 3118 663 192 642 0 2474 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12472 [startup+0.701407 s] /proc/loadavg: 1.00 1.00 1.00 3/106 16569 /proc/meminfo: memFree=1623472/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=14148 CPUtime=0.69 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1186 0 0 0 69 0 0 0 20 0 1 0 11836709 14487552 1099 1992294400 134512640 137138936 4291695600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 3537 1099 192 642 0 2893 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14148 [startup+1.50148 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16570 /proc/meminfo: memFree=1619868/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=15176 CPUtime=1.5 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1456 0 0 0 149 1 0 0 22 0 1 0 11836709 15540224 1369 1992294400 134512640 137138936 4291695600 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 3794 1369 192 642 0 3150 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 15176 [startup+3.10162 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16570 /proc/meminfo: memFree=1618380/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=15704 CPUtime=3.09 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1561 0 0 0 308 1 0 0 25 0 1 0 11836709 16080896 1474 1992294400 134512640 137138936 4291695600 18446744073709551615 134603088 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 3926 1474 192 642 0 3282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15704 [startup+6.3009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16570 /proc/meminfo: memFree=1617512/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=16092 CPUtime=6.29 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1680 0 0 0 627 2 0 0 25 0 1 0 11836709 16478208 1593 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 4023 1593 192 642 0 3379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16092 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16572 /proc/meminfo: memFree=1617016/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=16480 CPUtime=12.69 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1772 0 0 0 1265 4 0 0 25 0 1 0 11836709 16875520 1685 1992294400 134512640 137138936 4291695600 18446744073709551615 134602731 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 4120 1685 192 642 0 3476 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16480 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16572 /proc/meminfo: memFree=1617016/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=16480 CPUtime=25.48 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 1775 0 0 0 2542 6 0 0 25 0 1 0 11836709 16875520 1688 1992294400 134512640 137138936 4291695600 18446744073709551615 136500140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 4120 1688 192 642 0 3476 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16480 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16572 /proc/meminfo: memFree=1614536/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=19188 CPUtime=51.08 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2438 0 0 0 5096 12 0 0 25 0 1 0 11836709 19648512 2351 1992294400 134512640 137138936 4291695600 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 4797 2351 192 642 0 4153 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19188 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16574 /proc/meminfo: memFree=1612924/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=20416 CPUtime=102.28 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2800 0 0 0 10205 23 0 0 25 0 1 0 11836709 20905984 2679 1992294400 134512640 137138936 4291695600 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5104 2679 192 642 0 4460 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 20416 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16576 /proc/meminfo: memFree=1612924/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=20416 CPUtime=162.25 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2800 0 0 0 16189 36 0 0 25 0 1 0 11836709 20905984 2679 1992294400 134512640 137138936 4291695600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5104 2679 192 642 0 4460 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20416 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16576 /proc/meminfo: memFree=1612676/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=20932 CPUtime=222.24 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 2912 0 0 0 22176 48 0 0 25 0 1 0 11836709 21434368 2791 1992294400 134512640 137138936 4291695600 18446744073709551615 134606841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5233 2791 192 642 0 4589 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20932 [startup+282.301 s] /proc/loadavg: 1.12 1.03 1.01 2/107 16578 /proc/meminfo: memFree=1611684/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=21788 CPUtime=282.23 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3129 0 0 0 28164 59 0 0 25 0 1 0 11836709 22310912 3008 1992294400 134512640 137138936 4291695600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5447 3008 192 642 0 4803 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 21788 [startup+342.301 s] /proc/loadavg: 1.11 1.04 1.01 2/107 16580 /proc/meminfo: memFree=1610320/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=23152 CPUtime=342.21 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3473 0 0 0 34152 69 0 0 25 0 1 0 11836709 23707648 3352 1992294400 134512640 137138936 4291695600 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5788 3352 192 642 0 5144 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 23152 [startup+402.302 s] /proc/loadavg: 1.11 1.04 1.01 2/107 16582 /proc/meminfo: memFree=1610320/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=23152 CPUtime=402.2 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3473 0 0 0 40140 80 0 0 25 0 1 0 11836709 23707648 3352 1992294400 134512640 137138936 4291695600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 5788 3352 192 642 0 5144 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 23152 [startup+462.301 s] /proc/loadavg: 1.10 1.05 1.00 2/107 16584 /proc/meminfo: memFree=1609328/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=24176 CPUtime=462.18 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3721 0 0 0 46127 91 0 0 25 0 1 0 11836709 24756224 3600 1992294400 134512640 137138936 4291695600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6044 3600 192 642 0 5400 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 24176 [startup+522.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 16587 /proc/meminfo: memFree=1608212/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=24632 CPUtime=522.17 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3837 0 0 0 52115 102 0 0 25 0 1 0 11836709 25223168 3716 1992294400 134512640 137138936 4291695600 18446744073709551615 134599744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6158 3716 192 642 0 5514 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 24632 [startup+582.301 s] /proc/loadavg: 1.03 1.04 1.00 2/107 16589 /proc/meminfo: memFree=1608212/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=24620 CPUtime=582.15 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3837 0 0 0 58102 113 0 0 25 0 1 0 11836709 25210880 3716 1992294400 134512640 137138936 4291695600 18446744073709551615 136502098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6155 3716 192 642 0 5511 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 24620 [startup+642.301 s] /proc/loadavg: 1.07 1.05 1.00 2/107 16591 /proc/meminfo: memFree=1607964/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=25012 CPUtime=642.15 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 3937 0 0 0 64090 125 0 0 25 0 1 0 11836709 25612288 3816 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6253 3816 192 642 0 5609 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 25012 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1606724/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=26284 CPUtime=1122.03 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4256 0 0 0 111993 210 0 0 25 0 1 0 11836709 26914816 4135 1992294400 134512640 137138936 4291695600 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6571 4135 192 642 0 5927 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 26284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16605 /proc/meminfo: memFree=1605856/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27400 CPUtime=1182.01 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4529 0 0 0 117980 221 0 0 25 0 1 0 11836709 28057600 4408 1992294400 134512640 137138936 4291695600 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6850 4408 192 642 0 6206 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 27400 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16607 /proc/meminfo: memFree=1605608/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27400 CPUtime=1242 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4532 0 0 0 123967 233 0 0 25 0 1 0 11836709 28057600 4411 1992294400 134512640 137138936 4291695600 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6850 4411 192 642 0 6206 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 27400 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16609 /proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27760 CPUtime=1301.98 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 129954 244 0 0 25 0 1 0 11836709 28426240 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6940 4499 192 642 0 6296 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 27760 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16611 /proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27740 CPUtime=1361.97 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 135942 255 0 0 25 0 1 0 11836709 28405760 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6935 4499 192 642 0 6291 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 27740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16611 /proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27720 CPUtime=1421.96 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 141929 267 0 0 25 0 1 0 11836709 28385280 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6930 4499 192 642 0 6286 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 27720 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16613 /proc/meminfo: memFree=1605112/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=27720 CPUtime=1481.94 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4620 0 0 0 147915 279 0 0 25 0 1 0 11836709 28385280 4499 1992294400 134512640 137138936 4291695600 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 6930 4499 192 642 0 6286 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 27720 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16615 /proc/meminfo: memFree=1604368/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=28596 CPUtime=1541.92 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4829 0 0 0 153902 290 0 0 25 0 1 0 11836709 29282304 4708 1992294400 134512640 137138936 4291695600 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7149 4708 192 642 0 6505 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 28596 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16617 /proc/meminfo: memFree=1604368/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=28716 CPUtime=1601.91 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 159889 302 0 0 25 0 1 0 11836709 29405184 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7179 4740 192 642 0 6535 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 28716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16619 /proc/meminfo: memFree=1604244/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=28716 CPUtime=1661.9 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 165874 316 0 0 25 0 1 0 11836709 29405184 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7179 4740 192 642 0 6535 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 28716 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16619 /proc/meminfo: memFree=1604244/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=28708 CPUtime=1721.88 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4861 0 0 0 171860 328 0 0 25 0 1 0 11836709 29396992 4740 1992294400 134512640 137138936 4291695600 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7177 4740 192 642 0 6533 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 28708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1781.87 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 177847 340 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 29228 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1791.47 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 178805 342 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 29228 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1794.67 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179124 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 29228 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1796.26 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179283 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 29228 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1797.06 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179363 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 29228 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1797.46 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179403 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 29228 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1797.86 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179443 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 29228 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16621 /proc/meminfo: memFree=1603500/2059040 swapFree=4192956/4192956 [pid=16569] ppid=16567 vsize=29228 CPUtime=1797.97 /proc/16569/stat : 16569 (bsolo_pb10) R 16567 16569 16100 0 -1 4202496 4993 0 0 0 179454 343 0 0 25 0 1 0 11836709 29929472 4872 1992294400 134512640 137138936 4291695600 18446744073709551615 136504124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16569/statm: 7307 4872 192 642 0 6663 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 29228 Child status: 0 Real time (s): 1798.43 CPU time (s): 1798 CPU user time (s): 1794.56 CPU system time (s): 3.44348 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 29228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.56 system time used= 3.44348 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4994 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= 3012 runsolver used 3.02454 second user time and 8.43172 second system time The end
Begin job on node057 at 2010-06-16 18:24:19 IDJOB=2670723 IDBENCH=48078 IDSOLVER=1162 FILE ID=node057/2670723-1276705459 PBS_JOBID= 11174088 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670723-1276705459/watcher-2670723-1276705459 -o /tmp/evaluation-result-2670723-1276705459/solver-2670723-1276705459 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670723-1276705459.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED=137856446 node057.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.247 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.49 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.247 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1624248 kB Buffers: 125572 kB Cached: 169996 kB SwapCached: 0 kB Active: 132844 kB Inactive: 222048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1624248 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4068 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 15488 kB Slab: 58248 kB PageTables: 3896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182048 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-2670723-1276705459.opb Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-06-16 18:54:17