Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 90.9692 | 91.0116 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=71-P1=107-P2=197-P3=67-B.opb |
MD5SUM | ece282cf8dbd0acc24f1883b841333ea |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.2928 |
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 | 72 |
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 | 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) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
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-2670759-1276705936.opb 0.00/0.00 c File size is 14173 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: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.48/0.51 c 101 264 591 11699 19 1868 2428 197 4040 0.03 0.48/0.51 c 252 264 874 28795 32 2544 2671 480 3876 0.07 0.48/0.51 c 478 264 1312 51829 39 3675 2939 918 4085 0.12 0.48/0.51 c 818 264 1953 88280 45 5332 3233 1559 3701 0.22 0.48/0.51 c 1327 264 2927 145844 49 7872 3557 2533 3252 0.41 0.48/0.51 o 67 1.18/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.25 c 1584 264 3422 172138 50 9066 2224 3028 3093 0.51 1.18/1.25 c 1685 254 1702 81936 48 4328 2447 1308 3097 0.54 1.18/1.25 c 1935 254 2194 111557 50 5514 2692 1800 3161 0.61 1.18/1.25 c 2410 254 1742 91059 52 4202 2962 1348 3097 0.78 1.18/1.25 c 3223 254 3314 171614 51 8155 3259 2920 3023 1.07 1.18/1.25 o 13 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 3732 254 2521 117038 46 6429 2222 2127 2987 1.25 1.59/1.69 c 3832 254 1507 65289 43 3822 2445 1113 2940 1.30 1.59/1.69 c 4083 234 1992 93492 46 5093 2690 1598 3000 1.36 1.59/1.69 c 4558 224 2906 145776 50 7392 2960 2512 3010 1.51 1.59/1.69 o 7 5.79/5.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.87 c 5086 224 2272 104117 45 5710 2216 1878 3004 1.69 5.79/5.87 c 5186 214 2447 112145 45 6157 2438 2053 3009 1.72 5.79/5.87 c 5436 214 1619 70413 43 4144 2682 1225 2996 1.81 5.79/5.87 c 5913 214 2528 115802 45 6475 2951 2134 3010 1.96 5.79/5.87 c 6727 214 2504 110495 44 6388 3247 2110 2959 2.27 5.79/5.87 c 8047 214 3320 151907 45 8316 3572 2926 2818 2.85 5.79/5.87 c 10129 214 3557 170423 47 8872 3930 3163 2687 3.77 5.79/5.87 c 13352 214 3510 161557 46 8704 4324 3116 2502 5.34 5.79/5.87 o 5 11.69/11.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.72 c 14437 214 3265 143979 44 8171 2214 2871 2459 5.87 11.69/11.72 c 14537 214 1677 68260 40 4161 2436 1283 2460 5.91 11.69/11.72 c 14789 214 2160 95598 44 5464 2680 1766 2476 5.97 11.69/11.72 c 15264 214 3082 151588 49 7930 2949 2688 2498 6.11 11.69/11.72 c 16077 214 3011 146131 48 7720 3244 2617 2517 6.38 11.69/11.72 c 17397 214 2097 94929 45 5188 3569 1703 2503 6.95 11.69/11.72 c 19479 214 2262 104679 46 5505 3926 1868 2488 7.83 11.69/11.72 c 22702 214 4174 202307 48 9762 4319 3780 2399 9.46 11.69/11.72 o 3 90.95/91.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.95/91.01 c 27579 214 4346 209291 48 10402 2214 3952 2354 11.71 90.95/91.01 c 27680 193 1692 69643 41 4231 2436 1298 2354 11.75 90.95/91.01 c 27931 193 2156 94843 43 5330 2680 1762 2361 11.83 90.95/91.01 c 28407 193 3075 142433 46 7624 2949 2681 2364 12.02 90.95/91.01 c 29220 193 3021 144150 47 7435 3244 2627 2358 12.39 90.95/91.01 c 30541 193 2042 93890 45 4999 3569 1648 2344 13.03 90.95/91.01 c 32625 193 2219 102886 46 5411 3926 1825 2338 13.95 90.95/91.01 c 35848 193 4215 204371 48 10377 4319 3821 2317 15.47 90.95/91.01 c 40785 193 4382 212600 48 10564 4751 3988 2261 18.04 90.95/91.01 c 48292 193 5181 257824 49 12942 5227 4787 2171 22.24 90.95/91.01 c 59656 193 4362 224503 51 10253 5750 3968 2162 27.59 90.95/91.01 c 76801 193 3309 160404 48 8323 6326 2915 2115 36.30 90.95/91.01 c 102622 190 6103 323424 52 14909 6959 5709 1940 52.89 90.95/91.01 c 141455 180 4986 228423 45 12111 7655 4592 1688 83.78 90.95/91.01 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 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 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 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 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 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 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 90.95/91.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 90.95/91.01 c 44 149748 1387 156270 6032 253595 5638 1646 90.97 90.95/91.01 c Objective: 3 90.95/91.01 s OPTIMUM FOUND 90.95/91.01 c Total time: 90.967 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-2670759-1276705936/watcher-2670759-1276705936 -o /tmp/evaluation-result-2670759-1276705936/solver-2670759-1276705936 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670759-1276705936.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: 0.93 0.99 0.99 2/106 14962 /proc/meminfo: memFree=1734016/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=10792 CPUtime=0 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 46195162 11051008 258 1992294400 134512640 137138936 4289018896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 2698 258 185 642 0 2054 0 [startup+0.016348 s] /proc/loadavg: 0.93 0.99 0.99 2/106 14962 /proc/meminfo: memFree=1734016/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=10792 CPUtime=0.01 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 356 0 0 0 1 0 0 0 19 0 1 0 46195162 11051008 270 1992294400 134512640 137138936 4289018896 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 2698 270 192 642 0 2054 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10792 [startup+0.10135 s] /proc/loadavg: 0.93 0.99 0.99 2/106 14962 /proc/meminfo: memFree=1734016/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=11440 CPUtime=0.09 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 498 0 0 0 9 0 0 0 19 0 1 0 46195162 11714560 412 1992294400 134512640 137138936 4289018896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 2860 412 192 642 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.301388 s] /proc/loadavg: 0.93 0.99 0.99 2/106 14962 /proc/meminfo: memFree=1734016/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=12484 CPUtime=0.29 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 769 0 0 0 29 0 0 0 20 0 1 0 46195162 12783616 683 1992294400 134512640 137138936 4289018896 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3121 684 192 642 0 2477 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12484 [startup+0.70147 s] /proc/loadavg: 0.93 0.99 0.99 2/106 14962 /proc/meminfo: memFree=1734016/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=13388 CPUtime=0.68 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 992 0 0 0 68 0 0 0 20 0 1 0 46195162 13709312 906 1992294400 134512640 137138936 4289018896 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3347 906 192 642 0 2703 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13388 [startup+1.50162 s] /proc/loadavg: 0.93 0.99 0.99 2/107 14963 /proc/meminfo: memFree=1731404/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=13648 CPUtime=1.49 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1062 0 0 0 148 1 0 0 22 0 1 0 46195162 13975552 976 1992294400 134512640 137138936 4289018896 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3412 976 192 642 0 2768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13648 [startup+3.10094 s] /proc/loadavg: 0.93 0.99 0.99 2/107 14963 /proc/meminfo: memFree=1731032/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=13652 CPUtime=3.08 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1072 0 0 0 307 1 0 0 25 0 1 0 46195162 13979648 986 1992294400 134512640 137138936 4289018896 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3413 986 192 642 0 2769 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13652 [startup+6.30156 s] /proc/loadavg: 0.93 0.99 0.99 2/107 14963 /proc/meminfo: memFree=1730660/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=14292 CPUtime=6.29 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1208 0 0 0 626 3 0 0 25 0 1 0 46195162 14635008 1122 1992294400 134512640 137138936 4289018896 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3573 1122 192 642 0 2929 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14292 [startup+12.7008 s] /proc/loadavg: 0.94 0.99 0.99 2/107 14963 /proc/meminfo: memFree=1730288/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=14416 CPUtime=12.68 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1249 0 0 0 1263 5 0 0 25 0 1 0 46195162 14761984 1163 1992294400 134512640 137138936 4289018896 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3604 1163 192 642 0 2960 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14416 [startup+25.5013 s] /proc/loadavg: 0.95 0.99 0.99 2/107 14963 /proc/meminfo: memFree=1729172/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=15584 CPUtime=25.47 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1540 0 0 0 2539 8 0 0 25 0 1 0 46195162 15958016 1454 1992294400 134512640 137138936 4289018896 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3896 1454 192 642 0 3252 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 15584 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1728800/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=15972 CPUtime=51.07 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1649 0 0 0 5092 15 0 0 25 0 1 0 46195162 16355328 1563 1992294400 134512640 137138936 4289018896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 3993 1563 192 642 0 3349 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15972 Solver just ended. Dumping a history of the last processes samples [startup+76.7013 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16880 CPUtime=76.66 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1857 0 0 0 7644 22 0 0 25 0 1 0 46195162 17285120 1771 1992294400 134512640 137138936 4289018896 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4220 1771 192 642 0 3576 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 16880 [startup+83.1016 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16880 CPUtime=83.06 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1857 0 0 0 8283 23 0 0 25 0 1 0 46195162 17285120 1771 1992294400 134512640 137138936 4289018896 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4220 1771 192 642 0 3576 0 Current children cumulated CPU time (s) 83.06 Current children cumulated vsize (KiB) 16880 [startup+86.3012 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=86.25 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 8602 23 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 86.25 Current children cumulated vsize (KiB) 16884 [startup+89.5008 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=89.45 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 8922 23 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 89.45 Current children cumulated vsize (KiB) 16884 [startup+90.301 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=90.24 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 9001 23 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 90.24 Current children cumulated vsize (KiB) 16884 [startup+90.7011 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=90.65 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 9041 24 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 90.65 Current children cumulated vsize (KiB) 16884 [startup+90.9011 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=90.85 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 9061 24 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 90.85 Current children cumulated vsize (KiB) 16884 [startup+91.0011 s] /proc/loadavg: 0.98 0.99 0.99 2/107 14965 /proc/meminfo: memFree=1727932/2059040 swapFree=4136232/4192956 [pid=14962] ppid=14960 vsize=16884 CPUtime=90.95 /proc/14962/stat : 14962 (bsolo_pb10) R 14960 14962 14051 0 -1 4202496 1858 0 0 0 9071 24 0 0 25 0 1 0 46195162 17289216 1772 1992294400 134512640 137138936 4289018896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14962/statm: 4221 1772 192 642 0 3577 0 Current children cumulated CPU time (s) 90.95 Current children cumulated vsize (KiB) 16884 Child status: 0 Real time (s): 91.0116 CPU time (s): 90.9692 CPU user time (s): 90.7272 CPU system time (s): 0.241963 CPU usage (%): 99.9534 Max. virtual memory (cumulated for all children) (KiB): 16884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 90.7272 system time used= 0.241963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1859 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= 180 runsolver used 0.148977 second user time and 0.437933 second system time The end
Begin job on node011 at 2010-06-16 18:32:16 IDJOB=2670759 IDBENCH=48096 IDSOLVER=1162 FILE ID=node011/2670759-1276705936 PBS_JOBID= 11174123 Free space on /tmp= 62360 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=71-P1=107-P2=197-P3=67-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670759-1276705936/watcher-2670759-1276705936 -o /tmp/evaluation-result-2670759-1276705936/solver-2670759-1276705936 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670759-1276705936.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ece282cf8dbd0acc24f1883b841333ea RANDOM SEED=652452619 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734916 kB Buffers: 81492 kB Cached: 159572 kB SwapCached: 9968 kB Active: 85040 kB Inactive: 169096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734916 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 4304 kB Writeback: 8 kB AnonPages: 11636 kB Mapped: 9396 kB Slab: 48220 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180836 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-2670759-1276705936.opb Free space on /tmp at the end= 62356 MiB End job on node011 at 2010-06-16 18:33:47