Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 54 | 1798.03 | 1798.63 |
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: Generic Pseudo-Boolean 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-1879894-1245162188.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.20/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.23 c 15 225 275 5893 21 1318 2074 50 8 1.82 2.20/2.23 o 68 3.29/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.33 c 16 225 279 6380 22 1483 2074 54 7 2.23 3.29/3.33 c 119 225 588 34317 58 2101 2282 363 40 2.92 3.29/3.33 o 67 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 120 225 592 34813 58 2267 2074 367 36 3.33 3.69/3.73 o 66 4.08/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.14 c 120 225 593 35038 59 2428 2074 368 32 3.73 4.08/4.14 o 63 5.40/5.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.48 c 120 225 594 35263 59 2592 2074 369 28 4.14 5.40/5.48 c 220 225 894 64832 72 3192 2282 669 45 4.81 5.40/5.48 o 62 8.09/8.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.19 c 324 225 1207 100081 82 3981 2074 982 59 5.49 8.09/8.19 c 426 225 1513 132613 87 4593 2282 1288 69 6.15 8.09/8.19 c 677 225 2264 203381 89 6095 2511 2039 94 7.14 8.09/8.19 o 61 9.98/10.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.00 c 912 225 1582 134568 85 3491 1074 1357 111 8.19 9.98/10.00 c 1012 225 1063 85924 80 2290 1182 838 114 8.85 9.98/10.00 o 60 12.68/12.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.68/12.74 c 1223 225 1006 80424 79 2341 1074 781 122 10.00 12.68/12.74 c 1323 225 763 55419 72 1691 1182 538 123 10.75 12.68/12.74 c 1573 225 827 58851 71 1819 1301 602 127 12.31 12.68/12.74 o 59 18.08/18.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.08/18.10 c 1583 225 858 62227 72 2047 1074 633 124 12.74 18.08/18.10 c 1687 225 1169 91798 78 2669 1182 944 125 13.40 18.08/18.10 c 1937 225 1237 93753 75 2640 1301 1012 130 14.88 18.08/18.10 c 2412 225 1120 89089 79 2406 1432 895 143 16.76 18.08/18.10 o 58 121.35/121.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.35/121.43 c 2608 225 942 69016 73 2051 1074 717 144 18.10 121.35/121.43 c 2711 225 1251 94909 75 2669 1182 1026 143 18.87 121.35/121.43 c 2964 225 1341 93294 69 2849 1301 1116 145 20.35 121.35/121.43 c 3440 225 1314 86269 65 2795 1432 1089 151 22.70 121.35/121.43 c 4253 225 1290 93500 72 2747 1576 1065 164 25.90 121.35/121.43 c 5577 225 1744 126764 72 3655 1734 1519 177 31.45 121.35/121.43 c 7669 225 1238 89468 72 2643 1908 1013 198 38.55 121.35/121.43 c 10894 225 1394 108496 77 2955 2099 1169 215 50.52 121.35/121.43 c 15837 225 1276 101645 79 2719 2309 1051 232 67.99 121.35/121.43 c 23343 225 1385 97662 70 2937 2540 1160 241 96.57 121.35/121.43 o 57 133.64/133.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 133.64/133.77 c 30250 225 1555 113100 72 3445 1074 1330 249 121.40 133.64/133.77 c 30352 225 1069 71515 66 2306 1182 844 248 122.19 133.64/133.77 c 30604 225 1153 78845 68 2474 1301 928 247 123.57 133.64/133.77 c 31080 225 1127 72577 64 2422 1432 902 246 125.91 133.64/133.77 c 31897 225 1165 71750 61 2498 1576 940 244 130.32 133.64/133.77 o 56 147.54/147.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 147.54/147.64 c 32678 225 1738 129009 74 3813 1074 1513 244 133.73 147.54/147.64 c 32778 225 1063 66816 62 2295 1182 838 243 134.64 147.54/147.64 c 33038 225 1169 72807 62 2507 1301 944 242 136.50 147.54/147.64 c 33519 225 1134 63845 56 2437 1432 909 239 139.83 147.54/147.64 c 34338 225 1221 74494 61 2611 1576 996 237 144.62 147.54/147.64 o 55 159.34/159.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 159.34/159.48 c 34714 225 1495 88691 59 3329 1074 1270 235 147.60 159.34/159.48 c 34814 225 1063 55323 52 2296 1182 838 233 148.87 159.34/159.48 c 35064 225 1160 57061 49 2490 1301 935 231 151.58 159.34/159.48 c 35544 225 1168 53359 45 2506 1432 943 227 156.16 159.34/159.48 o 54 1797.99/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.62 c 35850 225 1320 61192 46 2981 1074 1095 224 159.43 1797.99/1798.62 c 35952 225 1069 43239 40 2309 1182 844 223 160.92 1797.99/1798.62 c 36206 225 1209 44938 37 2589 1301 984 219 164.62 1797.99/1798.62 c 36681 225 1240 41749 33 2651 1432 1015 214 171.19 1797.99/1798.62 c 37499 225 1405 51900 36 2981 1576 1180 207 180.84 1797.99/1798.62 c 38823 225 1174 40366 34 2519 1734 949 196 197.89 1797.99/1798.62 c 40907 225 1093 34093 31 2357 1908 868 181 225.56 1797.99/1798.62 c 44130 225 1785 61508 34 3741 2099 1560 165 266.85 1797.99/1798.62 c 49067 225 1340 43512 32 2851 2309 1115 147 331.92 1797.99/1798.62 c 56574 225 2267 83356 36 4705 2540 2042 134 422.06 1797.99/1798.62 c 67938 225 2244 81226 36 4659 2795 2019 116 580.95 1797.99/1798.62 c 85083 225 1860 56955 30 3891 3075 1635 104 811.63 1797.99/1798.62 c 110903 225 2015 71871 35 4201 3383 1790 95 1165.21 1797.99/1798.62 c 149735 225 2387 79810 33 4945 3722 2162 86 1721.15 1797.99/1798.62 c Resources Exceeded 1797.99/1798.62 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.99/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.62 c 61 155079 1711 161895 3192 122005 2967 86 1798.02 1797.99/1798.62 c Objective: 54 1797.99/1798.62 s SATISFIABLE 1797.99/1798.62 c Total time: 1798.02 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-1879894-1245162188/watcher-1879894-1245162188 -o /tmp/evaluation-result-1879894-1245162188/solver-1879894-1245162188 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879894-1245162188.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 4405 /proc/meminfo: memFree=1855992/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=10708 CPUtime=0 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 0 183815558 10964992 282 1992294400 134512640 137136520 4294956256 18446744073709551615 134751376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2677 287 224 640 0 2033 0 [startup+0.0987199 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4405 /proc/meminfo: memFree=1855992/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=11644 CPUtime=0.09 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 966 0 0 0 9 0 0 0 18 0 1 0 183815558 11923456 433 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2911 433 289 640 0 2267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11644 [startup+0.102721 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4405 /proc/meminfo: memFree=1855992/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=11644 CPUtime=0.09 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 981 0 0 0 9 0 0 0 18 0 1 0 183815558 11923456 448 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2911 449 289 640 0 2267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11644 [startup+0.301756 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4405 /proc/meminfo: memFree=1855992/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=11608 CPUtime=0.29 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 2712 0 0 0 28 1 0 0 19 0 1 0 183815558 11886592 431 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2902 431 289 640 0 2258 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11608 [startup+0.702829 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4405 /proc/meminfo: memFree=1855992/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=11488 CPUtime=0.69 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 7043 0 0 0 67 2 0 0 22 0 1 0 183815558 11763712 402 1992294400 134512640 137136520 4294956256 18446744073709551615 135408100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2872 403 290 640 0 2228 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11488 [startup+1.50198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1855344/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=11732 CPUtime=1.49 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 14609 0 0 0 145 4 0 0 25 0 1 0 183815558 12013568 433 1992294400 134512640 137136520 4294956256 18446744073709551615 135453589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 2933 433 292 640 0 2289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11732 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1855152/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=12196 CPUtime=3.09 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 32648 0 0 0 298 11 0 0 25 0 1 0 183815558 12488704 557 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3049 557 292 640 0 2405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12196 [startup+6.30185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1853944/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=13412 CPUtime=6.29 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 73908 0 0 0 601 28 0 0 25 0 1 0 183815558 13733888 870 1992294400 134512640 137136520 4294956256 18446744073709551615 135379074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3353 870 292 640 0 2709 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13412 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851384/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15328 CPUtime=12.68 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 143770 0 0 0 1213 55 0 0 25 0 1 0 183815558 15695872 1309 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3832 1309 292 640 0 3188 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15328 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851384/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=14476 CPUtime=25.48 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 228092 0 0 0 2453 95 0 0 25 0 1 0 183815558 14823424 1301 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3619 1301 292 640 0 2975 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14476 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851384/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15056 CPUtime=51.07 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 389335 0 0 0 4932 175 0 0 25 0 1 0 183815558 15417344 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3764 1305 292 640 0 3120 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15056 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851384/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15044 CPUtime=102.26 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 697223 0 0 0 9892 334 0 0 25 0 1 0 183815558 15405056 1306 1992294400 134512640 137136520 4294956256 18446744073709551615 135364455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3761 1306 292 640 0 3117 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15044 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851320/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=162.24 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 1012092 0 0 0 15743 481 0 0 25 0 1 0 183815558 15659008 1312 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1312 292 640 0 3179 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15292 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851256/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=222.22 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 1234835 0 0 0 21650 572 0 0 25 0 1 0 183815558 15667200 1313 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1313 292 640 0 3181 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 15300 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851256/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=282.19 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 1456618 0 0 0 27554 665 0 0 25 0 1 0 183815558 15667200 1320 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1320 292 640 0 3181 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 15300 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851192/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=342.18 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 1677311 0 0 0 33452 766 0 0 25 0 1 0 183815558 15663104 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1331 292 640 0 3180 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 15296 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851192/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=402.15 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 1903428 0 0 0 39353 862 0 0 25 0 1 0 183815558 15663104 1320 1992294400 134512640 137136520 4294956256 18446744073709551615 135439426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1320 292 640 0 3180 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 15296 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851128/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15132 CPUtime=462.14 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 2122457 0 0 0 45253 961 0 0 25 0 1 0 183815558 15495168 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3783 1308 292 640 0 3139 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 15132 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851128/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=522.12 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 2340322 0 0 0 51159 1053 0 0 25 0 1 0 183815558 15663104 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1331 292 640 0 3180 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 15296 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851064/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=582.1 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 2558610 0 0 0 57061 1149 0 0 25 0 1 0 183815558 15659008 1320 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1320 292 640 0 3179 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 15292 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1851000/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=642.08 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 2776086 0 0 0 62967 1241 0 0 25 0 1 0 183815558 15663104 1310 1992294400 134512640 137136520 4294956256 18446744073709551615 134767533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1310 292 640 0 3180 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 15296 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1850872/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1121.92 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 4518669 0 0 0 110194 1998 0 0 25 0 1 0 183815558 15659008 1322 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1322 292 640 0 3179 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 15292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850808/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15304 CPUtime=1181.9 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 4736695 0 0 0 116098 2092 0 0 25 0 1 0 183815558 15671296 1315 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3826 1315 292 640 0 3182 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 15304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850808/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1241.87 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 4954623 0 0 0 122003 2184 0 0 25 0 1 0 183815558 15659008 1314 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1314 292 640 0 3179 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 15292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850744/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1301.85 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 5169334 0 0 0 127907 2278 0 0 25 0 1 0 183815558 15659008 1326 1992294400 134512640 137136520 4294956256 18446744073709551615 135467145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1326 292 640 0 3179 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 15292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850744/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15132 CPUtime=1361.84 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 5382976 0 0 0 133810 2374 0 0 25 0 1 0 183815558 15495168 1307 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3783 1307 292 640 0 3139 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 15132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850744/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15136 CPUtime=1421.82 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 5599924 0 0 0 139715 2467 0 0 25 0 1 0 183815558 15499264 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135379074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3784 1309 292 640 0 3140 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 15136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850680/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=1481.79 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 5812125 0 0 0 145617 2562 0 0 25 0 1 0 183815558 15667200 1317 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1317 292 640 0 3181 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 15300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850680/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=1541.77 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6022495 0 0 0 151524 2653 0 0 25 0 1 0 183815558 15667200 1332 1992294400 134512640 137136520 4294956256 18446744073709551615 135467141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1334 292 640 0 3181 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 15300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850680/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=1601.76 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6233004 0 0 0 157435 2741 0 0 25 0 1 0 183815558 15663104 1330 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1330 292 640 0 3180 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 15296 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850616/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=1661.74 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6442869 0 0 0 163345 2829 0 0 25 0 1 0 183815558 15663104 1340 1992294400 134512640 137136520 4294956256 18446744073709551615 135443799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1340 292 640 0 3180 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 15296 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4406 /proc/meminfo: memFree=1850616/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15132 CPUtime=1721.71 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6655198 0 0 0 169250 2921 0 0 25 0 1 0 183815558 15495168 1308 1992294400 134512640 137136520 4294956256 18446744073709551615 135364455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1310 292 640 0 3180 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 15132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=1781.7 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6867153 0 0 0 175158 3012 0 0 25 0 1 0 183815558 15667200 1315 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1315 292 640 0 3181 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 15300 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1791.29 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6901195 0 0 0 176103 3026 0 0 25 0 1 0 183815558 15659008 1314 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1314 292 640 0 3179 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 15292 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1794.49 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6912843 0 0 0 176418 3031 0 0 25 0 1 0 183815558 15659008 1312 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1312 292 640 0 3179 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 15292 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15304 CPUtime=1796.09 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6918478 0 0 0 176576 3033 0 0 25 0 1 0 183815558 15671296 1319 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3826 1319 292 640 0 3182 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 15304 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15128 CPUtime=1796.89 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6921543 0 0 0 176654 3035 0 0 25 0 1 0 183815558 15491072 1307 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3782 1307 292 640 0 3138 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 15128 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15300 CPUtime=1797.69 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6924372 0 0 0 176733 3036 0 0 25 0 1 0 183815558 15667200 1330 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3825 1330 292 640 0 3181 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 15300 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15292 CPUtime=1797.89 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6925089 0 0 0 176753 3036 0 0 25 0 1 0 183815558 15659008 1319 1992294400 134512640 137136520 4294956256 18446744073709551615 135320847 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3823 1320 292 640 0 3179 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 15292 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4408 /proc/meminfo: memFree=1850552/2055920 swapFree=4191900/4192956 [pid=4405] ppid=4403 vsize=15296 CPUtime=1797.99 /proc/4405/stat : 4405 (bsolo) R 4403 4405 4219 0 -1 4194304 6925423 0 0 0 176762 3037 0 0 25 0 1 0 183815558 15663104 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4405/statm: 3824 1331 292 640 0 3180 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 15296 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.03 CPU user time (s): 1767.65 CPU system time (s): 30.3734 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 15500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.65 system time used= 30.3734 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6925512 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= 2410 runsolver used 1.3208 second user time and 3.63745 second system time The end
Begin job on node44 at 2009-06-16 16:23:08 IDJOB=1879894 IDBENCH=2214 IDSOLVER=701 FILE ID=node44/1879894-1245162188 PBS_JOBID= 9363847 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879894-1245162188/watcher-1879894-1245162188 -o /tmp/evaluation-result-1879894-1245162188/solver-1879894-1245162188 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879894-1245162188.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042 RANDOM SEED=1343038440 node44.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.263 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.263 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: 1856408 kB Buffers: 38892 kB Cached: 80868 kB SwapCached: 260 kB Active: 45676 kB Inactive: 87380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856408 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21804 kB Slab: 52380 kB Committed_AS: 165984 kB PageTables: 1384 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-1879894-1245162188.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-16 16:53:07