Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 115.38 | 115.417 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb |
MD5SUM | 1b6d9352b1c2eb216ab83323b529fa56 |
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.345946 |
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 | 54 |
Total number of constraints | 5 |
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 | 5 |
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) | 162 |
Sum of products size (including duplicates) | 324 |
Number of different products | 162 |
Sum of products size | 324 |
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-2670371-1276700999.opb 0.00/0.00 c File size is 11883 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 216 Constr: 331 162/0/169 Lit: 1377 Watch. Lit: 848 0.00/0.00 c Obj. Vars: 9 (4.16667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 216 331 1377 4 1185 1835 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.09/0.12 c 102 216 517 11267 21 1641 2019 186 3187 0.03 0.09/0.12 c 253 216 797 26415 33 2408 2221 466 3563 0.07 0.09/0.12 o 57 10.29/10.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.32 c 424 216 1116 43521 38 3250 1854 785 3419 0.12 10.29/10.32 c 525 216 1309 55549 42 3768 2040 978 3343 0.16 10.29/10.32 c 776 216 1775 80491 45 5014 2245 1444 3141 0.25 10.29/10.32 c 1252 195 1457 67069 46 3770 2470 1126 3038 0.41 10.29/10.32 c 2066 195 1688 83864 49 4334 2718 1357 2841 0.73 10.29/10.32 c 3387 195 2727 146735 53 7166 2990 2396 2690 1.26 10.29/10.32 c 5469 195 1868 105926 56 4871 3290 1537 2531 2.16 10.29/10.32 c 8693 195 2948 173846 58 7556 3620 2617 2410 3.61 10.29/10.32 c 13629 195 2978 170092 57 7646 3983 2647 2301 5.92 10.29/10.32 c 21135 183 2861 168659 58 7364 4382 2530 2131 9.91 10.29/10.32 o 21 11.68/11.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.68/11.75 c 22088 183 4274 237599 55 10971 1847 3943 2140 10.32 11.68/11.75 c 22189 183 1460 63201 43 3708 2032 1129 2141 10.36 11.68/11.75 c 22441 183 1954 95023 48 4997 2236 1623 2147 10.45 11.68/11.75 c 22917 183 1646 92981 56 4228 2460 1315 2153 10.64 11.68/11.75 c 23730 172 1815 108810 59 4614 2707 1484 2164 10.96 11.68/11.75 c 25050 172 2858 172681 60 7153 2978 2527 2152 11.64 11.68/11.75 o 19 11.68/11.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.68/11.79 c 25344 172 3309 195726 59 8255 1846 2978 2157 11.75 11.68/11.79 o 3 115.36/115.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.36/115.41 c 25441 172 1425 70095 49 3568 1845 1094 2157 11.79 115.36/115.41 c 25542 127 1599 79051 49 3992 2030 1268 2159 11.83 115.36/115.41 c 25792 127 2046 103638 50 5123 2234 1715 2163 11.92 115.36/115.41 c 26267 127 1633 80935 49 4079 2458 1302 2163 12.14 115.36/115.41 c 27080 127 1759 87083 49 4445 2704 1428 2163 12.52 115.36/115.41 c 28401 127 2692 135101 50 6927 2975 2361 2167 13.10 115.36/115.41 c 30483 127 3331 176462 52 8671 3273 3000 2173 14.02 115.36/115.41 c 33706 127 2258 118013 52 5844 3601 1927 2178 15.47 115.36/115.41 c 38642 127 3858 202927 52 10227 3962 3527 2156 17.92 115.36/115.41 c 46149 127 3120 180719 57 7598 4359 2789 2097 22.00 115.36/115.41 c 57510 127 3875 236090 60 9886 4795 3544 2018 28.50 115.36/115.41 c 74655 127 3418 188131 55 8598 5275 3087 1943 38.42 115.36/115.41 c 100474 127 5425 315934 58 14105 5803 5094 1886 53.27 115.36/115.41 c 139306 127 6149 351619 57 15759 6384 5818 1809 77.00 115.36/115.41 c 197658 119 4503 228746 50 11863 7023 4172 1728 114.33 115.36/115.41 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 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 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 -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 x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 115.36/115.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 115.36/115.41 c 34 199105 1419 203204 6904 346334 6573 1725 115.38 115.36/115.41 c Objective: 3 115.36/115.41 s OPTIMUM FOUND 115.36/115.41 c Total time: 115.378 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-2670371-1276700999/watcher-2670371-1276700999 -o /tmp/evaluation-result-2670371-1276700999/solver-2670371-1276700999 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670371-1276700999.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.96 0.98 0.91 3/106 10945 /proc/meminfo: memFree=1844972/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=10792 CPUtime=0 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 45701255 11051008 259 1992294400 134512640 137138936 4289705872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 2698 259 192 642 0 2054 0 [startup+0.0804841 s] /proc/loadavg: 0.96 0.98 0.91 3/106 10945 /proc/meminfo: memFree=1844972/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=11176 CPUtime=0.07 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 445 0 0 0 7 0 0 0 20 0 1 0 45701255 11444224 360 1992294400 134512640 137138936 4289705872 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 2794 360 192 642 0 2150 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11176 [startup+0.101488 s] /proc/loadavg: 0.96 0.98 0.91 3/106 10945 /proc/meminfo: memFree=1844972/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=11304 CPUtime=0.09 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 471 0 0 0 9 0 0 0 20 0 1 0 45701255 11575296 386 1992294400 134512640 137138936 4289705872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 2826 386 192 642 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11304 [startup+0.301522 s] /proc/loadavg: 0.96 0.98 0.91 3/106 10945 /proc/meminfo: memFree=1844972/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=12212 CPUtime=0.29 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 707 0 0 0 29 0 0 0 20 0 1 0 45701255 12505088 622 1992294400 134512640 137138936 4289705872 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3053 622 192 642 0 2409 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12212 [startup+0.70159 s] /proc/loadavg: 0.96 0.98 0.91 3/106 10945 /proc/meminfo: memFree=1844972/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=12984 CPUtime=0.69 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 894 0 0 0 69 0 0 0 20 0 1 0 45701255 13295616 809 1992294400 134512640 137138936 4289705872 18446744073709551615 134540757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3246 809 192 642 0 2602 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12984 [startup+1.50173 s] /proc/loadavg: 0.96 0.98 0.91 2/107 10946 /proc/meminfo: memFree=1842608/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=13628 CPUtime=1.49 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1044 0 0 0 148 1 0 0 23 0 1 0 45701255 13955072 959 1992294400 134512640 137138936 4289705872 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3407 959 192 642 0 2763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13628 [startup+3.101 s] /proc/loadavg: 0.96 0.98 0.91 2/107 10946 /proc/meminfo: memFree=1841740/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=14008 CPUtime=3.09 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1133 0 0 0 308 1 0 0 25 0 1 0 45701255 14344192 1048 1992294400 134512640 137138936 4289705872 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3502 1048 192 642 0 2858 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14008 [startup+6.30155 s] /proc/loadavg: 0.96 0.98 0.91 2/107 10946 /proc/meminfo: memFree=1841120/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=14524 CPUtime=6.29 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1284 0 0 0 627 2 0 0 25 0 1 0 45701255 14872576 1199 1992294400 134512640 137138936 4289705872 18446744073709551615 134555857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3631 1199 192 642 0 2987 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14524 [startup+12.7016 s] /proc/loadavg: 0.97 0.98 0.91 2/107 10946 /proc/meminfo: memFree=1840624/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=14788 CPUtime=12.69 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1337 0 0 0 1265 4 0 0 25 0 1 0 45701255 15142912 1252 1992294400 134512640 137138936 4289705872 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3697 1252 192 642 0 3053 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14788 [startup+25.5008 s] /proc/loadavg: 0.97 0.98 0.91 2/107 10948 /proc/meminfo: memFree=1840500/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=15044 CPUtime=25.48 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1412 0 0 0 2541 7 0 0 25 0 1 0 45701255 15405056 1327 1992294400 134512640 137138936 4289705872 18446744073709551615 134544837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3761 1327 192 642 0 3117 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15044 [startup+51.1012 s] /proc/loadavg: 0.98 0.98 0.91 2/107 10948 /proc/meminfo: memFree=1839632/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=15792 CPUtime=51.08 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1582 0 0 0 5095 13 0 0 25 0 1 0 45701255 16171008 1497 1992294400 134512640 137138936 4289705872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 3948 1497 192 642 0 3304 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15792 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=102.26 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 10202 24 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134573916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16808 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=108.66 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 10840 26 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 108.66 Current children cumulated vsize (KiB) 16808 [startup+111.901 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=111.86 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11159 27 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134576225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 111.86 Current children cumulated vsize (KiB) 16808 [startup+113.501 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=113.45 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11318 27 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 113.45 Current children cumulated vsize (KiB) 16808 [startup+114.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=114.26 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11399 27 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 114.26 Current children cumulated vsize (KiB) 16808 [startup+115.1 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=115.06 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11478 28 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134618245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 115.06 Current children cumulated vsize (KiB) 16808 [startup+115.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=115.26 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11498 28 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 115.26 Current children cumulated vsize (KiB) 16808 [startup+115.4 s] /proc/loadavg: 0.99 0.98 0.91 2/107 10950 /proc/meminfo: memFree=1838640/2059040 swapFree=4136116/4192956 [pid=10945] ppid=10943 vsize=16808 CPUtime=115.36 /proc/10945/stat : 10945 (bsolo_pb10) R 10943 10945 10567 0 -1 4202496 1844 0 0 0 11508 28 0 0 25 0 1 0 45701255 17211392 1759 1992294400 134512640 137138936 4289705872 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10945/statm: 4202 1759 192 642 0 3558 0 Current children cumulated CPU time (s) 115.36 Current children cumulated vsize (KiB) 16808 Child status: 0 Real time (s): 115.417 CPU time (s): 115.38 CPU user time (s): 115.097 CPU system time (s): 0.282956 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 16808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 115.098 system time used= 0.282956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1845 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= 294 runsolver used 0.198969 second user time and 0.548916 second system time The end
Begin job on node014 at 2010-06-16 17:09:59 IDJOB=2670371 IDBENCH=47902 IDSOLVER=1162 FILE ID=node014/2670371-1276700999 PBS_JOBID= 11174120 Free space on /tmp= 62572 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=457-P1=137-P2=191-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670371-1276700999/watcher-2670371-1276700999 -o /tmp/evaluation-result-2670371-1276700999/solver-2670371-1276700999 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670371-1276700999.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b6d9352b1c2eb216ab83323b529fa56 RANDOM SEED=894248863 node014.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.258 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.51 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.258 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: 1845748 kB Buffers: 13828 kB Cached: 112848 kB SwapCached: 10544 kB Active: 87632 kB Inactive: 53128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845748 kB SwapTotal: 4192956 kB SwapFree: 4136116 kB Dirty: 4204 kB Writeback: 0 kB AnonPages: 12572 kB Mapped: 9396 kB Slab: 50760 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182248 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-2670371-1276700999.opb Free space on /tmp at the end= 62568 MiB End job on node014 at 2010-06-16 17:11:54