Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 54 | 1798 | 1798.45 |
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 | 832.383 |
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877034-1245162134.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.001 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.002 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 225 225 1065 4 450 74 0 0 0.00 0.00/0.04 c Initial Lower Bound: 49 0.00/0.04 c Initial Path Cost: 0 0.00/0.04 o 75 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 225 226 1290 5 602 1074 1 0 0.04 0.39/0.46 o 72 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 225 227 1515 6 757 2074 2 0 0.46 0.89/0.91 o 71 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 1 225 231 1940 8 919 2074 6 1 0.91 1.29/1.33 o 70 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 1 225 232 2165 9 1076 2074 7 0 1.33 1.79/1.82 o 69 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 15 225 275 5893 21 1318 2074 50 8 1.82 2.19/2.23 o 68 3.30/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.33 c 16 225 279 6380 22 1483 2074 54 7 2.23 3.30/3.33 c 119 225 588 34317 58 2101 2282 363 40 2.93 3.30/3.33 o 67 3.68/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.73 c 120 225 592 34813 58 2267 2074 367 36 3.33 3.68/3.73 o 66 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 120 225 593 35038 59 2428 2074 368 32 3.74 4.09/4.14 o 63 5.39/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.49 c 120 225 594 35263 59 2592 2074 369 28 4.15 5.39/5.49 c 220 225 894 64832 72 3192 2282 669 45 4.81 5.39/5.49 o 62 8.09/8.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.18 c 324 225 1207 100081 82 3981 2074 982 59 5.49 8.09/8.18 c 426 225 1513 132613 87 4593 2282 1288 69 6.15 8.09/8.18 c 677 225 2264 203381 89 6095 2511 2039 94 7.13 8.09/8.18 o 61 9.90/9.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.90/9.99 c 912 225 1582 134568 85 3491 1075 1357 111 8.18 9.90/9.99 c 1012 225 1064 86062 80 2292 1183 839 114 8.84 9.90/9.99 o 60 12.68/12.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.68/12.73 c 1223 225 1007 80514 79 2343 1074 782 122 9.99 12.68/12.73 c 1323 225 763 55424 72 1691 1182 538 123 10.73 12.68/12.73 c 1573 225 827 58861 71 1819 1301 602 127 12.29 12.68/12.73 o 59 17.98/18.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.98/18.04 c 1583 225 858 62237 72 2047 1074 633 124 12.73 17.98/18.04 c 1687 225 1169 91808 78 2669 1182 944 126 13.38 17.98/18.04 c 1937 225 1237 93753 75 2640 1301 1012 130 14.85 17.98/18.04 c 2412 225 1120 89089 79 2406 1432 895 144 16.70 17.98/18.04 o 58 120.26/120.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.26/120.34 c 2608 225 942 69016 73 2051 1074 717 144 18.04 120.26/120.34 c 2711 225 1251 94909 75 2669 1182 1026 144 18.81 120.26/120.34 c 2964 225 1341 93298 69 2849 1301 1116 146 20.29 120.26/120.34 c 3440 225 1314 86270 65 2795 1432 1089 151 22.64 120.26/120.34 c 4253 225 1290 93500 72 2747 1576 1065 164 25.79 120.26/120.34 c 5577 225 1744 126768 72 3655 1734 1519 178 31.31 120.26/120.34 c 7669 225 1238 89468 72 2643 1908 1013 200 38.29 120.26/120.34 c 10894 225 1394 108503 77 2955 2099 1169 218 49.90 120.26/120.34 c 15837 225 1276 101645 79 2719 2309 1051 237 66.82 120.26/120.34 c 23343 225 1385 97662 70 2937 2540 1160 244 95.46 120.26/120.34 o 57 132.66/132.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 132.66/132.70 c 30250 225 1555 113102 72 3445 1075 1330 251 120.31 132.66/132.70 c 30352 225 1070 71599 66 2308 1183 845 250 121.10 132.66/132.70 c 30604 225 1154 78933 68 2476 1302 929 249 122.49 132.66/132.70 c 31080 225 1127 72577 64 2422 1433 902 248 124.83 132.66/132.70 c 31897 225 1166 71835 61 2500 1577 941 246 129.25 132.66/132.70 o 56 146.56/146.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 146.56/146.62 c 32678 225 1739 129074 74 3815 1075 1514 246 132.67 146.56/146.62 c 32778 225 1064 66895 62 2297 1183 839 245 133.58 146.56/146.62 c 33038 225 1170 72883 62 2509 1302 945 243 135.45 146.56/146.62 c 33519 225 1134 63845 56 2437 1433 909 241 138.79 146.56/146.62 c 34338 225 1222 74557 61 2613 1577 997 239 143.61 146.56/146.62 o 55 158.45/158.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 158.45/158.51 c 34714 225 1496 88764 59 3331 1075 1271 236 146.59 158.45/158.51 c 34814 225 1064 55406 52 2298 1183 839 235 147.87 158.45/158.51 c 35064 225 1161 57121 49 2492 1302 936 232 150.59 158.45/158.51 c 35544 225 1168 53359 45 2506 1433 943 229 155.19 158.45/158.51 o 54 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 35850 225 1321 61246 46 2983 1074 1096 226 158.47 1797.95/1798.44 c 35952 225 1069 43239 40 2309 1182 844 224 159.97 1797.95/1798.44 c 36206 225 1209 44938 37 2589 1301 984 221 163.68 1797.95/1798.44 c 36681 225 1240 41749 33 2651 1432 1015 215 170.27 1797.95/1798.44 c 37499 225 1405 51900 36 2981 1576 1180 208 179.93 1797.95/1798.44 c 38823 225 1174 40366 34 2519 1734 949 197 196.99 1797.95/1798.44 c 40907 225 1093 34093 31 2357 1908 868 182 224.65 1797.95/1798.44 c 44130 225 1785 61508 34 3741 2099 1560 165 265.92 1797.95/1798.44 c 49067 225 1340 43512 32 2851 2309 1115 148 331.00 1797.95/1798.44 c 56574 225 2267 83356 36 4705 2540 2042 134 421.18 1797.95/1798.44 c 67938 225 2244 81226 36 4659 2795 2019 117 580.04 1797.95/1798.44 c 85083 225 1860 56955 30 3891 3075 1635 104 810.79 1797.95/1798.44 c 110903 225 2015 71871 35 4201 3383 1790 95 1164.38 1797.95/1798.44 c 149735 225 2387 79810 33 4945 3722 2162 87 1720.20 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 61 155137 1711 161954 3366 128751 3141 86 1798.00 1797.95/1798.44 c Objective: 54 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 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-1877034-1245162134/watcher-1877034-1245162134 -o /tmp/evaluation-result-1877034-1245162134/solver-1877034-1245162134 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877034-1245162134.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/64 4801 /proc/meminfo: memFree=1917168/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=10708 CPUtime=0 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 183814300 10964992 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136683524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2677 256 199 640 0 2033 0 [startup+0.100906 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4801 /proc/meminfo: memFree=1917168/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11644 CPUtime=0.09 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 183814300 11923456 442 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2911 442 289 640 0 2267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11644 [startup+0.201915 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4801 /proc/meminfo: memFree=1917168/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11488 CPUtime=0.19 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 1836 0 0 0 19 0 0 0 18 0 1 0 183814300 11763712 405 1992294400 134512640 137136520 4294956256 18446744073709551615 135380760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2872 406 289 640 0 2228 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11488 [startup+0.301923 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4801 /proc/meminfo: memFree=1917168/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11608 CPUtime=0.29 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 2713 0 0 0 29 0 0 0 19 0 1 0 183814300 11886592 432 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2902 432 289 640 0 2258 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11608 [startup+0.701962 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4801 /proc/meminfo: memFree=1917168/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11628 CPUtime=0.69 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 7027 0 0 0 67 2 0 0 22 0 1 0 183814300 11907072 451 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2907 451 290 640 0 2263 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11628 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1916584/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=11732 CPUtime=1.49 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 14606 0 0 0 145 4 0 0 25 0 1 0 183814300 12013568 427 1992294400 134512640 137136520 4294956256 18446744073709551615 134711040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 2933 428 292 640 0 2289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11732 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1916392/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=12196 CPUtime=3.09 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 32688 0 0 0 300 9 0 0 25 0 1 0 183814300 12488704 551 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3049 551 292 640 0 2405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12196 [startup+6.30148 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1914856/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=13652 CPUtime=6.29 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 74567 0 0 0 602 27 0 0 25 0 1 0 183814300 13979648 878 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3413 878 292 640 0 2769 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13652 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15168 CPUtime=12.68 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 147932 0 0 0 1215 53 0 0 25 0 1 0 183814300 15532032 1303 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3722 1299 292 640 0 3078 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15168 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14888 CPUtime=25.48 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 214930 0 0 0 2463 85 0 0 25 0 1 0 183814300 15245312 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 134767542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3722 1304 292 640 0 3078 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14888 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15040 CPUtime=51.08 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 309133 0 0 0 4977 131 0 0 25 0 1 0 183814300 15400960 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3760 1304 292 640 0 3116 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15040 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15036 CPUtime=102.26 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 551461 0 0 0 9973 253 0 0 25 0 1 0 183814300 15396864 1302 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3759 1302 292 640 0 3115 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15036 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15208 CPUtime=162.25 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 924768 0 0 0 15797 428 0 0 25 0 1 0 183814300 15572992 1322 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3802 1322 292 640 0 3158 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 15208 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912624/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14956 CPUtime=222.24 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 1156894 0 0 0 21700 524 0 0 25 0 1 0 183814300 15314944 1302 1992294400 134512640 137136520 4294956256 18446744073709551615 135379074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3739 1302 292 640 0 3095 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 14956 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912560/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15112 CPUtime=282.22 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 1378653 0 0 0 27602 620 0 0 25 0 1 0 183814300 15474688 1306 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3778 1306 292 640 0 3134 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 15112 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912560/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15108 CPUtime=342.21 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 1598651 0 0 0 33507 714 0 0 25 0 1 0 183814300 15470592 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3777 1304 292 640 0 3133 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 15108 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912496/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15120 CPUtime=402.19 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 1824097 0 0 0 39412 807 0 0 25 0 1 0 183814300 15482880 1306 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3780 1306 292 640 0 3136 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 15120 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912496/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15112 CPUtime=462.18 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 2042050 0 0 0 45312 906 0 0 25 0 1 0 183814300 15474688 1321 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3778 1321 292 640 0 3134 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 15112 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912496/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15116 CPUtime=522.16 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 2259066 0 0 0 51224 992 0 0 25 0 1 0 183814300 15478784 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3779 1308 292 640 0 3135 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 15116 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912496/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15112 CPUtime=582.15 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 2476225 0 0 0 57131 1084 0 0 25 0 1 0 183814300 15474688 1318 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3778 1318 292 640 0 3134 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 15112 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912496/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14956 CPUtime=642.14 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 2692714 0 0 0 63042 1172 0 0 25 0 1 0 183814300 15314944 1302 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3739 1302 292 640 0 3095 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 14956 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1912304/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1062.03 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 4210305 0 0 0 104387 1816 0 0 25 0 1 0 183814300 15486976 1306 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1306 292 640 0 3137 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 15124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912304/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15120 CPUtime=1122.02 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 4424482 0 0 0 110297 1905 0 0 25 0 1 0 183814300 15482880 1312 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3780 1312 292 640 0 3136 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 15120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912240/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1182.01 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 4642026 0 0 0 116194 2007 0 0 25 0 1 0 183814300 15486976 1317 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1317 292 640 0 3137 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 15124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912112/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15128 CPUtime=1241.99 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 4861926 0 0 0 122098 2101 0 0 25 0 1 0 183814300 15491072 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3782 1304 292 640 0 3138 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 15128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1301.97 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 5075525 0 0 0 128000 2197 0 0 25 0 1 0 183814300 15486976 1315 1992294400 134512640 137136520 4294956256 18446744073709551615 135078950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1315 292 640 0 3137 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 15124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1361.96 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 5288085 0 0 0 133910 2286 0 0 25 0 1 0 183814300 15486976 1310 1992294400 134512640 137136520 4294956256 18446744073709551615 135356642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1310 292 640 0 3137 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 15124 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14468 CPUtime=1421.94 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 5504881 0 0 0 139818 2376 0 0 25 0 1 0 183814300 14815232 1299 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3617 1299 292 640 0 2973 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 14468 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1481.93 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 5715861 0 0 0 145731 2462 0 0 25 0 1 0 183814300 15486976 1325 1992294400 134512640 137136520 4294956256 18446744073709551615 134767563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1325 292 640 0 3137 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 15124 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1541.92 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 5924652 0 0 0 151642 2550 0 0 25 0 1 0 183814300 15486976 1311 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1311 292 640 0 3137 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 15124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1912048/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1601.9 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6133881 0 0 0 157551 2639 0 0 25 0 1 0 183814300 15486976 1321 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1321 292 640 0 3137 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 15124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1911984/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14960 CPUtime=1661.89 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6342571 0 0 0 163457 2732 0 0 25 0 1 0 183814300 15319040 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3740 1304 292 640 0 3096 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 14960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4802 /proc/meminfo: memFree=1911984/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15120 CPUtime=1721.87 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6553806 0 0 0 169363 2824 0 0 25 0 1 0 183814300 15482880 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3780 1308 292 640 0 3136 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 15120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15120 CPUtime=1781.86 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6764900 0 0 0 175272 2914 0 0 25 0 1 0 183814300 15482880 1311 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3780 1311 292 640 0 3136 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 15120 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15112 CPUtime=1791.55 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6800280 0 0 0 176223 2932 0 0 25 0 1 0 183814300 15474688 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3778 1308 292 640 0 3134 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 15112 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15116 CPUtime=1794.75 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6811870 0 0 0 176538 2937 0 0 25 0 1 0 183814300 15478784 1305 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3779 1305 292 640 0 3135 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 15116 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=14468 CPUtime=1796.35 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6817704 0 0 0 176695 2940 0 0 25 0 1 0 183814300 14815232 1299 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3739 1302 292 640 0 3095 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (KiB) 14468 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1797.16 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6820483 0 0 0 176774 2942 0 0 25 0 1 0 183814300 15486976 1309 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1309 292 640 0 3137 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 15124 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15124 CPUtime=1797.55 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6821836 0 0 0 176813 2942 0 0 25 0 1 0 183814300 15486976 1318 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3781 1318 292 640 0 3137 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 15124 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4804 /proc/meminfo: memFree=1911792/2055920 swapFree=4191900/4192956 [pid=4801] ppid=4799 vsize=15128 CPUtime=1797.95 /proc/4801/stat : 4801 (bsolo) R 4799 4801 4686 0 -1 4194304 6823203 0 0 0 176852 2943 0 0 25 0 1 0 183814300 15491072 1330 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4801/statm: 3782 1330 292 640 0 3138 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 15128 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798 CPU user time (s): 1768.57 CPU system time (s): 29.4395 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 15484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.57 system time used= 29.4395 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6823356 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= 2 involuntary context switches= 1872 runsolver used 1.34579 second user time and 3.65544 second system time The end
Begin job on node14 at 2009-06-16 16:22:14 IDJOB=1877034 IDBENCH=2214 IDSOLVER=699 FILE ID=node14/1877034-1245162134 PBS_JOBID= 9363846 Free space on /tmp= 66376 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877034-1245162134/watcher-1877034-1245162134 -o /tmp/evaluation-result-1877034-1245162134/solver-1877034-1245162134 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877034-1245162134.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=706812844 node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1917648 kB Buffers: 26732 kB Cached: 56588 kB SwapCached: 388 kB Active: 46208 kB Inactive: 50528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1917648 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27472 kB Committed_AS: 177280 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877034-1245162134.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-16 16:52:12