Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 54 | 1798.01 | 1798.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
MD5SUM | 28425c3b4907da9ba10ee31a4de63042 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 122.753 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 53 |
Optimality of the best value was proved | NO |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 225 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-2656475-1276475427.opb 0.00/0.00 c File size is 11487 bytes. 0.00/0.00 c Highest Coefficient sum: 225 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: 225 Constr: 225 225/0/0 Lit: 1065 Watch. Lit: 450 0.00/0.00 c Obj. Vars: 225 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 0 225 225 1065 4 450 74 0 0 0.00 0.01/0.04 c Initial Lower Bound: 49 0.01/0.04 c Initial Path Cost: 0 0.01/0.04 o 75 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 225 226 1290 5 602 1074 1 0 0.04 0.39/0.45 o 72 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 225 227 1515 6 757 2074 2 0 0.46 0.89/0.90 o 71 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 1 225 231 1940 8 919 2074 6 1 0.90 1.29/1.32 o 70 1.70/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.70/1.80 c 1 225 232 2165 9 1076 2074 7 0 1.32 1.70/1.80 o 69 2.20/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.21 c 15 225 275 5893 21 1318 2074 50 8 1.80 2.20/2.21 o 68 3.20/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.29 c 16 225 279 6380 22 1483 2074 54 7 2.21 3.20/3.29 c 119 225 588 34317 58 2101 2282 363 41 2.89 3.20/3.29 o 67 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 120 225 592 34813 58 2267 2074 367 36 3.29 3.59/3.69 o 66 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 120 225 593 35038 59 2428 2074 368 32 3.69 3.99/4.09 o 63 5.40/5.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.42 c 120 225 594 35263 59 2592 2074 369 29 4.10 5.40/5.42 c 220 225 894 64832 72 3192 2282 669 46 4.76 5.40/5.42 o 62 8.09/8.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.10 c 324 225 1207 100081 82 3981 2074 982 59 5.42 8.09/8.10 c 426 225 1513 132613 87 4593 2282 1288 70 6.07 8.09/8.10 c 677 225 2264 203381 89 6095 2511 2039 95 7.06 8.09/8.10 o 61 9.90/9.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.90/9.92 c 912 225 1582 134568 85 3491 1075 1357 112 8.10 9.90/9.92 c 1012 225 1064 86062 80 2292 1183 839 115 8.77 9.90/9.92 o 60 12.59/12.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.59/12.66 c 1223 225 1007 80514 79 2343 1074 782 123 9.92 12.59/12.66 c 1323 225 763 55424 72 1691 1182 538 124 10.66 12.59/12.66 c 1573 225 827 58861 71 1819 1301 602 128 12.23 12.59/12.66 o 59 17.99/18.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.99/18.04 c 1583 225 858 62237 72 2047 1074 633 125 12.66 17.99/18.04 c 1687 225 1169 91808 78 2669 1182 944 126 13.32 17.99/18.04 c 1937 225 1237 93753 75 2640 1301 1012 130 14.81 17.99/18.04 c 2412 225 1120 89089 79 2406 1432 895 144 16.70 17.99/18.04 o 58 121.56/121.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.56/121.70 c 2608 225 942 69016 73 2051 1074 717 144 18.04 121.56/121.70 c 2711 225 1251 94909 75 2669 1182 1026 144 18.81 121.56/121.70 c 2964 225 1341 93298 69 2849 1301 1116 146 20.29 121.56/121.70 c 3440 225 1314 86270 65 2795 1432 1089 151 22.64 121.56/121.70 c 4253 225 1290 93500 72 2747 1576 1065 164 25.86 121.56/121.70 c 5577 225 1744 126768 72 3655 1734 1519 177 31.45 121.56/121.70 c 7669 225 1238 89468 72 2643 1908 1013 198 38.59 121.56/121.70 c 10894 225 1394 108503 77 2955 2099 1169 215 50.55 121.56/121.70 c 15837 225 1276 101645 79 2719 2309 1051 232 68.05 121.56/121.70 c 23343 225 1385 97662 70 2937 2540 1160 241 96.80 121.56/121.70 o 57 133.85/133.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 133.85/133.99 c 30250 225 1555 113102 72 3445 1075 1330 248 121.66 133.85/133.99 c 30352 225 1070 71599 66 2308 1183 845 247 122.44 133.85/133.99 c 30604 225 1154 78933 68 2476 1302 929 247 123.82 133.85/133.99 c 31080 225 1127 72577 64 2422 1433 902 246 126.13 133.85/133.99 c 31897 225 1166 71835 61 2500 1577 941 244 130.54 133.85/133.99 o 56 147.65/147.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 147.65/147.79 c 32678 225 1739 129074 74 3815 1075 1514 243 133.95 147.65/147.79 c 32778 225 1064 66895 62 2297 1183 839 243 134.86 147.65/147.79 c 33038 225 1170 72883 62 2509 1302 945 241 136.72 147.65/147.79 c 33519 225 1134 63845 56 2437 1433 909 239 140.04 147.65/147.79 c 34338 225 1222 74557 61 2613 1577 997 237 144.80 147.65/147.79 o 55 159.55/159.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 159.55/159.65 c 34714 225 1496 88764 59 3331 1075 1271 234 147.75 159.55/159.65 c 34814 225 1064 55406 52 2298 1183 839 233 149.03 159.55/159.65 c 35064 225 1161 57121 49 2492 1302 936 231 151.75 159.55/159.65 c 35544 225 1168 53359 45 2506 1433 943 227 156.34 159.55/159.65 o 54 1797.97/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.54 c 35850 225 1321 61246 46 2983 1074 1096 224 159.60 1797.97/1798.54 c 35952 225 1069 43239 40 2309 1182 844 223 161.08 1797.97/1798.54 c 36206 225 1209 44938 37 2589 1301 984 219 164.77 1797.97/1798.54 c 36681 225 1240 41749 33 2651 1432 1015 214 171.35 1797.97/1798.54 c 37499 225 1405 51900 36 2981 1576 1180 207 181.01 1797.97/1798.54 c 38823 225 1174 40366 34 2519 1734 949 196 198.03 1797.97/1798.54 c 40907 225 1093 34093 31 2357 1908 868 181 225.63 1797.97/1798.54 c 44130 225 1785 61508 34 3741 2099 1560 165 266.82 1797.97/1798.54 c 49067 225 1340 43512 32 2851 2309 1115 147 331.82 1797.97/1798.54 c 56574 225 2267 83356 36 4705 2540 2042 134 421.80 1797.97/1798.54 c 67938 225 2244 81226 36 4659 2795 2019 117 580.49 1797.97/1798.54 c 85083 225 1860 56955 30 3891 3075 1635 104 811.02 1797.97/1798.54 c 110903 225 2015 71871 35 4201 3383 1790 95 1164.22 1797.97/1798.54 c 149735 225 2387 79810 33 4945 3722 2162 87 1719.56 1797.97/1798.54 c Resources Exceeded 1797.97/1798.54 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 -x49 -x50 -x51 -x52 x53 -x54 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 -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 -x217 x218 -x219 -x220 -x221 x222 -x223 x224 -x225 1797.97/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.54 c 61 155194 1711 162007 3537 135708 3312 86 1798.00 1797.97/1798.54 c Objective: 54 1797.97/1798.54 s SATISFIABLE 1797.97/1798.54 c Total time: 1798 s
OK 54
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656475-1276475427/watcher-2656475-1276475427 -o /tmp/evaluation-result-2656475-1276475427/solver-2656475-1276475427 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656475-1276475427.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 3/106 26494 /proc/meminfo: memFree=1821296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=10792 CPUtime=0 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 23129116 11051008 289 1992294400 134512640 137138936 4287856176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2698 289 218 642 0 2054 0 [startup+0.0192161 s] /proc/loadavg: 0.93 0.99 0.99 3/106 26494 /proc/meminfo: memFree=1821296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=11532 CPUtime=0.01 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 512 0 0 0 1 0 0 0 20 0 1 0 23129116 11808768 424 1992294400 134512640 137138936 4287856176 18446744073709551615 135322972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2883 424 278 642 0 2239 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11532 [startup+0.101224 s] /proc/loadavg: 0.93 0.99 0.99 3/106 26494 /proc/meminfo: memFree=1821296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=11728 CPUtime=0.09 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 1037 0 0 0 9 0 0 0 20 0 1 0 23129116 12009472 438 1992294400 134512640 137138936 4287856176 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2932 439 282 642 0 2288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11728 [startup+0.301243 s] /proc/loadavg: 0.93 0.99 0.99 3/106 26494 /proc/meminfo: memFree=1821296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=11692 CPUtime=0.29 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 2810 0 0 0 29 0 0 0 20 0 1 0 23129116 11972608 404 1992294400 134512640 137138936 4287856176 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2923 404 282 642 0 2279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11692 [startup+0.701284 s] /proc/loadavg: 0.93 0.99 0.99 3/106 26494 /proc/meminfo: memFree=1821296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=11712 CPUtime=0.69 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 7163 0 0 0 68 1 0 0 21 0 1 0 23129116 11993088 412 1992294400 134512640 137138936 4287856176 18446744073709551615 135445817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2928 412 283 642 0 2284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11712 [startup+1.50136 s] /proc/loadavg: 0.93 0.99 0.99 2/107 26495 /proc/meminfo: memFree=1820296/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=11812 CPUtime=1.49 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 14813 0 0 0 145 4 0 0 23 0 1 0 23129116 12095488 427 1992294400 134512640 137138936 4287856176 18446744073709551615 135080677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 2953 427 287 642 0 2309 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11812 [startup+3.10152 s] /proc/loadavg: 0.93 0.99 0.99 2/107 26495 /proc/meminfo: memFree=1819924/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=12264 CPUtime=3.09 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 33224 0 0 0 300 9 0 0 25 0 1 0 23129116 12558336 547 1992294400 134512640 137138936 4287856176 18446744073709551615 135456370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3066 548 287 642 0 2422 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12264 [startup+6.30084 s] /proc/loadavg: 0.93 0.99 0.99 2/107 26495 /proc/meminfo: memFree=1819056/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=13712 CPUtime=6.29 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 74887 0 0 0 608 21 0 0 25 0 1 0 23129116 14041088 888 1992294400 134512640 137138936 4287856176 18446744073709551615 135358740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3428 888 287 642 0 2784 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13712 [startup+12.7005 s] /proc/loadavg: 0.94 0.99 0.99 2/107 26495 /proc/meminfo: memFree=1816328/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15500 CPUtime=12.69 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 147562 0 0 0 1221 48 0 0 25 0 1 0 23129116 15872000 1320 1992294400 134512640 137138936 4287856176 18446744073709551615 135081094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3875 1320 287 642 0 3231 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15500 [startup+25.5008 s] /proc/loadavg: 0.95 0.99 0.99 2/107 26495 /proc/meminfo: memFree=1816328/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=14552 CPUtime=25.48 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 244673 0 0 0 2458 90 0 0 25 0 1 0 23129116 14901248 1296 1992294400 134512640 137138936 4287856176 18446744073709551615 134745019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3638 1296 287 642 0 2994 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14552 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/107 26497 /proc/meminfo: memFree=1816328/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15268 CPUtime=51.08 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 420713 0 0 0 4936 172 0 0 25 0 1 0 23129116 15634432 1301 1992294400 134512640 137138936 4287856176 18446744073709551615 135445825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3817 1296 287 642 0 3173 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15268 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.99 2/107 26497 /proc/meminfo: memFree=1816204/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15256 CPUtime=102.27 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 749746 0 0 0 9893 334 0 0 25 0 1 0 23129116 15622144 1302 1992294400 134512640 137138936 4287856176 18446744073709551615 134848304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3636 1296 287 642 0 2992 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15256 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 26499 /proc/meminfo: memFree=1816080/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15528 CPUtime=162.24 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 1072114 0 0 0 15739 485 0 0 25 0 1 0 23129116 15900672 1315 1992294400 134512640 137138936 4287856176 18446744073709551615 135444632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3882 1315 287 642 0 3238 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15528 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 26501 /proc/meminfo: memFree=1816080/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15528 CPUtime=222.23 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 1331405 0 0 0 21636 587 0 0 25 0 1 0 23129116 15900672 1331 1992294400 134512640 137138936 4287856176 18446744073709551615 135450435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3882 1331 287 642 0 3238 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 15528 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 26503 /proc/meminfo: memFree=1816080/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15356 CPUtime=282.21 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 1589994 0 0 0 27530 691 0 0 25 0 1 0 23129116 15724544 1305 1992294400 134512640 137138936 4287856176 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3839 1305 287 642 0 3195 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 15356 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 26505 /proc/meminfo: memFree=1816080/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15520 CPUtime=342.2 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 1848897 0 0 0 33419 801 0 0 25 0 1 0 23129116 15892480 1315 1992294400 134512640 137138936 4287856176 18446744073709551615 135469205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3880 1315 287 642 0 3236 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 15520 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 26505 /proc/meminfo: memFree=1815956/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=14544 CPUtime=402.17 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 2104554 0 0 0 39311 906 0 0 25 0 1 0 23129116 14893056 1296 1992294400 134512640 137138936 4287856176 18446744073709551615 134713185 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3842 1301 287 642 0 3198 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 14544 [startup+462.301 s] /proc/loadavg: 1.05 1.00 1.00 2/107 26507 /proc/meminfo: memFree=1815956/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15528 CPUtime=462.15 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 2361920 0 0 0 45208 1007 0 0 25 0 1 0 23129116 15900672 1324 1992294400 134512640 137138936 4287856176 18446744073709551615 135465255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3882 1325 287 642 0 3238 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 15528 [startup+522.302 s] /proc/loadavg: 1.07 1.01 1.00 2/107 26509 /proc/meminfo: memFree=1815956/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15520 CPUtime=522.14 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 2620626 0 0 0 51107 1107 0 0 25 0 1 0 23129116 15892480 1316 1992294400 134512640 137138936 4287856176 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3880 1316 287 642 0 3236 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 15520 [startup+582.302 s] /proc/loadavg: 1.07 1.03 1.00 2/107 26511 /proc/meminfo: memFree=1815956/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15528 CPUtime=582.12 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 2883984 0 0 0 57002 1210 0 0 25 0 1 0 23129116 15900672 1313 1992294400 134512640 137138936 4287856176 18446744073709551615 135358770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3882 1313 287 642 0 3238 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 15528 [startup+642.302 s] /proc/loadavg: 1.07 1.03 1.00 2/107 26513 /proc/meminfo: memFree=1815832/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15368 CPUtime=642.11 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 3146176 0 0 0 62899 1312 0 0 25 0 1 0 23129116 15736832 1301 1992294400 134512640 137138936 4287856176 18446744073709551615 134733961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3842 1301 287 642 0 3198 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 15368 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1815460/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15532 CPUtime=1061.98 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 4983216 0 0 0 104147 2051 0 0 25 0 1 0 23129116 15904768 1321 1992294400 134512640 137138936 4287856176 18446744073709551615 135441505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3883 1321 287 642 0 3239 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 15532 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26525 /proc/meminfo: memFree=1815460/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15524 CPUtime=1121.96 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 5237756 0 0 0 110042 2154 0 0 25 0 1 0 23129116 15896576 1305 1992294400 134512640 137138936 4287856176 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3881 1305 287 642 0 3237 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 15524 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26527 /proc/meminfo: memFree=1815460/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15532 CPUtime=1181.94 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 5492292 0 0 0 115935 2259 0 0 25 0 1 0 23129116 15904768 1332 1992294400 134512640 137138936 4287856176 18446744073709551615 135344673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3883 1332 287 642 0 3239 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 15532 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26529 /proc/meminfo: memFree=1815336/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15360 CPUtime=1241.92 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 5752265 0 0 0 121827 2365 0 0 25 0 1 0 23129116 15728640 1321 1992294400 134512640 137138936 4287856176 18446744073709551615 135465234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3840 1321 287 642 0 3196 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 15360 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26529 /proc/meminfo: memFree=1815212/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15540 CPUtime=1301.91 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 6008391 0 0 0 127727 2464 0 0 25 0 1 0 23129116 15912960 1329 1992294400 134512640 137138936 4287856176 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3885 1329 287 642 0 3241 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 15540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26531 /proc/meminfo: memFree=1815212/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15356 CPUtime=1361.89 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 6265079 0 0 0 133624 2565 0 0 25 0 1 0 23129116 15724544 1306 1992294400 134512640 137138936 4287856176 18446744073709551615 135455653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3839 1306 287 642 0 3195 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 15356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26533 /proc/meminfo: memFree=1815212/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15540 CPUtime=1421.88 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 6520129 0 0 0 139518 2670 0 0 25 0 1 0 23129116 15912960 1331 1992294400 134512640 137138936 4287856176 18446744073709551615 135465261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3885 1332 287 642 0 3241 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 15540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26535 /proc/meminfo: memFree=1815212/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15536 CPUtime=1481.86 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 6777964 0 0 0 145412 2774 0 0 25 0 1 0 23129116 15908864 1311 1992294400 134512640 137138936 4287856176 18446744073709551615 135456370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3884 1311 287 642 0 3240 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 15536 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26537 /proc/meminfo: memFree=1815088/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15540 CPUtime=1541.84 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 7034296 0 0 0 151305 2879 0 0 25 0 1 0 23129116 15912960 1306 1992294400 134512640 137138936 4287856176 18446744073709551615 135093191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3885 1306 287 642 0 3241 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 15540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26537 /proc/meminfo: memFree=1815088/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15536 CPUtime=1601.82 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 7287748 0 0 0 157203 2979 0 0 25 0 1 0 23129116 15908864 1308 1992294400 134512640 137138936 4287856176 18446744073709551615 135441497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3884 1308 287 642 0 3240 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 15536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26539 /proc/meminfo: memFree=1815088/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15356 CPUtime=1661.81 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 7539968 0 0 0 163103 3078 0 0 25 0 1 0 23129116 15724544 1310 1992294400 134512640 137138936 4287856176 18446744073709551615 135470056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3839 1310 287 642 0 3195 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 15356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26541 /proc/meminfo: memFree=1815088/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15532 CPUtime=1721.78 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 7796134 0 0 0 168997 3181 0 0 25 0 1 0 23129116 15904768 1308 1992294400 134512640 137138936 4287856176 18446744073709551615 135339250 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3883 1309 287 642 0 3239 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 15532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15536 CPUtime=1781.77 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8047885 0 0 0 174897 3280 0 0 25 0 1 0 23129116 15908864 1311 1992294400 134512640 137138936 4287856176 18446744073709551615 136169895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3884 1311 287 642 0 3240 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 15536 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 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15528 CPUtime=1791.36 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8089174 0 0 0 175840 3296 0 0 25 0 1 0 23129116 15900672 1313 1992294400 134512640 137138936 4287856176 18446744073709551615 135447390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3882 1313 287 642 0 3238 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 15528 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=14548 CPUtime=1794.56 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8102749 0 0 0 176155 3301 0 0 25 0 1 0 23129116 14897152 1297 1992294400 134512640 137138936 4287856176 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3637 1297 287 642 0 2993 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 14548 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15200 CPUtime=1796.16 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8109679 0 0 0 176311 3305 0 0 25 0 1 0 23129116 15564800 1301 1992294400 134512640 137138936 4287856176 18446744073709551615 135432068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3840 1301 287 642 0 3196 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 15200 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15540 CPUtime=1796.96 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8112983 0 0 0 176389 3307 0 0 25 0 1 0 23129116 15912960 1317 1992294400 134512640 137138936 4287856176 18446744073709551615 135082333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3885 1317 287 642 0 3241 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 15540 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15532 CPUtime=1797.75 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8116410 0 0 0 176467 3308 0 0 25 0 1 0 23129116 15904768 1305 1992294400 134512640 137138936 4287856176 18446744073709551615 135455719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3883 1305 287 642 0 3239 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 15532 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26543 /proc/meminfo: memFree=1814840/2059040 swapFree=4134576/4192956 [pid=26494] ppid=26492 vsize=15532 CPUtime=1797.97 /proc/26494/stat : 26494 (bsolo_pb10) R 26492 26494 26001 0 -1 4202496 8117293 0 0 0 176488 3309 0 0 25 0 1 0 23129116 15904768 1313 1992294400 134512640 137138936 4287856176 18446744073709551615 135445914 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26494/statm: 3883 1313 287 642 0 3239 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 15532 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1764.91 CPU system time (s): 33.092 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 15592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.91 system time used= 33.092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8117415 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= 6339 runsolver used 2.68859 second user time and 8.76967 second system time The end
Begin job on node017 at 2010-06-14 02:30:27 IDJOB=2656475 IDBENCH=2214 IDSOLVER=1162 FILE ID=node017/2656475-1276475427 PBS_JOBID= 11173368 Free space on /tmp= 62368 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656475-1276475427/watcher-2656475-1276475427 -o /tmp/evaluation-result-2656475-1276475427/solver-2656475-1276475427 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656475-1276475427.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=1538462623 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821824 kB Buffers: 62540 kB Cached: 97468 kB SwapCached: 11376 kB Active: 101516 kB Inactive: 72216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821824 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 12328 kB Mapped: 9224 kB Slab: 41800 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182748 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62364 MiB End job on node017 at 2010-06-14 03:00:26