Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 24 | 1798 | 1798.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1791.86 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
Number of bits of the biggest sum of numbers | 13 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657553-1276615317.opb 0.00/0.00 c File size is 10372 bytes. 0.00/0.00 c Highest Coefficient sum: 5104 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: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 301 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1060 75 310 2120 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1159 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 172 15 1172 78 731 2344 1 0 0.00 0.00/0.03 c 100 172 115 8207 71 936 2579 101 5555 0.02 0.00/0.03 o 986 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 227 172 243 17309 71 1279 2344 229 6135 0.04 0.00/0.04 o 930 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 246 172 263 18478 70 1398 2344 249 6150 0.04 0.00/0.04 o 922 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 247 172 265 18681 70 1500 2344 251 6175 0.04 0.00/0.04 o 910 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 250 172 269 19028 70 1582 2344 255 6097 0.04 0.00/0.05 o 908 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 326 172 346 24822 71 1849 2344 332 6037 0.05 0.00/0.05 o 861 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 335 172 356 25548 71 1929 2344 342 5982 0.06 0.00/0.05 o 859 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 337 172 359 25825 71 2030 2344 345 5912 0.06 0.00/0.06 o 856 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 362 172 385 27462 71 2145 2344 371 5838 0.06 0.00/0.06 o 684 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 371 172 395 28136 71 2212 2344 381 5796 0.06 0.00/0.06 o 682 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 381 172 406 28738 70 2256 2344 392 5772 0.07 0.00/0.09 c 481 172 506 36102 71 2445 2579 492 5795 0.08 0.00/0.09 o 680 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 524 172 550 39360 71 2539 2344 536 5758 0.09 0.00/0.09 o 570 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 549 172 576 41078 71 2636 2344 562 5718 0.10 0.10/0.11 c 649 172 676 46244 68 2890 2579 662 5794 0.11 0.10/0.11 o 566 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 653 172 681 46655 68 2842 2344 667 5778 0.11 0.10/0.12 o 565 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 676 172 705 48110 68 2954 2344 691 5728 0.12 0.10/0.14 c 777 172 806 53025 65 3267 2579 792 5713 0.14 0.10/0.14 o 477 0.10/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.19 c 805 172 835 54905 65 3218 2344 821 5709 0.14 0.10/0.19 c 905 172 935 63002 67 3398 2579 921 5656 0.16 0.10/0.19 o 475 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1056 172 1087 75111 69 3790 2344 1073 5587 0.19 0.19/0.21 c 1157 172 1188 81633 68 3986 2579 1174 5562 0.21 0.19/0.21 o 411 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 1185 172 1217 82788 68 4040 2344 1203 5563 0.21 0.19/0.23 o 407 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1265 172 1298 86153 66 4297 2344 1284 5548 0.23 0.29/0.31 c 1365 172 1398 90522 64 4643 2579 1384 5571 0.24 0.29/0.31 c 1617 172 1650 104925 63 5027 2837 1636 5556 0.29 0.29/0.31 o 400 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1771 172 1805 110861 61 5390 2344 1791 5604 0.32 0.29/0.34 c 1871 172 1905 115547 60 5675 2579 1891 5568 0.34 0.29/0.34 o 377 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 1927 172 1962 117684 59 5890 2344 1948 5569 0.35 0.29/0.35 o 376 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 1935 172 1971 118381 60 5884 2344 1957 5544 0.35 0.29/0.38 c 2035 172 2071 123546 59 6124 2579 2057 5500 0.37 0.29/0.38 o 375 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 2086 172 2123 126178 59 6267 2344 2109 5475 0.38 0.39/0.41 c 2186 172 2223 130828 58 6560 2579 2209 5410 0.40 0.39/0.41 o 371 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 2223 172 2261 132643 58 6705 2344 2247 5395 0.41 0.39/0.45 c 2326 172 1187 58884 49 3085 2579 1173 5298 0.44 0.39/0.45 o 368 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 2391 172 1253 62079 49 3321 2344 1239 5325 0.45 0.39/0.47 c 2492 172 1354 66183 48 3530 2579 1340 5370 0.46 0.39/0.47 o 364 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 2512 172 1375 67773 49 3661 2344 1361 5367 0.47 0.39/0.49 c 2613 172 1476 72279 48 3876 2579 1462 5387 0.48 0.39/0.49 o 362 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 2653 172 1517 74554 49 4060 2344 1503 5392 0.49 0.49/0.54 c 2753 172 1617 78687 48 4259 2579 1603 5419 0.51 0.49/0.54 o 358 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 2913 172 1778 87595 49 4686 2344 1764 5414 0.54 0.49/0.57 c 3013 172 1878 91725 48 4903 2579 1864 5399 0.56 0.49/0.57 o 356 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 3072 172 1938 95988 49 5100 2344 1924 5389 0.57 0.49/0.58 o 353 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 3109 172 1976 98030 49 5295 2344 1962 5369 0.58 0.49/0.58 o 352 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 3140 172 2008 99455 49 5458 2344 1994 5358 0.59 0.49/0.59 o 282 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 3166 172 2035 100438 49 5547 2344 2021 5347 0.59 0.49/0.59 o 280 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3188 172 2058 101893 49 5702 2344 2044 5340 0.60 0.59/0.63 c 3288 172 2158 105630 48 6006 2579 2144 5346 0.61 0.59/0.63 o 278 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 3353 172 2224 109202 49 6143 2344 2210 5339 0.63 0.59/0.66 c 3454 172 2325 113490 48 6444 2579 2311 5322 0.65 0.59/0.66 o 276 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 3514 172 2386 116544 48 6608 2344 2372 5316 0.66 0.59/0.69 c 3614 172 1287 62770 48 3285 2579 1273 5299 0.68 0.59/0.69 o 274 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 3694 172 1368 67476 49 3542 2344 1354 5322 0.69 0.69/0.72 c 3794 172 1468 71404 48 3752 2579 1454 5336 0.71 0.69/0.72 o 247 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 3841 172 1516 73845 48 3960 2344 1502 5334 0.72 0.69/0.73 o 239 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 3891 172 1567 76823 49 4174 2344 1553 5330 0.73 0.69/0.76 c 3991 172 1667 81482 48 4343 2579 1653 5335 0.75 0.69/0.76 o 225 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 4073 172 1750 84913 48 4636 2344 1736 5345 0.76 0.69/0.77 o 221 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 4146 172 1824 88580 48 4865 2344 1810 5349 0.78 0.79/0.80 c 4247 172 1925 93261 48 5088 2579 1911 5355 0.79 0.79/0.80 o 219 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 4313 172 1992 97416 48 5321 2344 1978 5344 0.81 1.10/1.13 c 4413 172 2092 100838 48 5538 2579 2078 5349 0.82 1.10/1.13 c 4663 172 2342 110046 46 6056 2837 2328 5365 0.87 1.10/1.13 c 5138 172 2817 131112 46 6996 3121 2803 5313 0.97 1.10/1.13 o 180 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 5950 172 2015 96457 47 4965 2344 2001 5251 1.13 1.10/1.18 c 6050 172 2115 99811 47 5154 2579 2101 5260 1.15 1.10/1.18 o 178 1.20/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.20/1.29 c 6255 172 2321 108358 46 5684 2344 2307 5274 1.19 1.20/1.29 c 6355 172 1200 56805 47 3105 2579 1186 5239 1.21 1.20/1.29 c 6606 172 1451 68739 47 3625 2837 1437 5238 1.26 1.20/1.29 o 176 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 6786 172 1632 78674 48 4094 2344 1618 5240 1.29 1.79/1.89 c 6886 172 1732 82065 47 4286 2579 1718 5264 1.31 1.79/1.89 c 7137 172 1983 97689 49 4796 2837 1969 5286 1.35 1.79/1.89 c 7612 172 2458 118102 48 5726 3121 2444 5323 1.43 1.79/1.89 c 8425 172 1650 81571 49 4126 3434 1636 5239 1.61 1.79/1.89 c 9746 172 2971 145924 49 6780 3778 2957 5175 1.88 1.79/1.89 o 175 11.38/11.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.48 c 9783 172 3009 148017 49 6954 2344 2995 5162 1.90 11.38/11.48 c 9883 172 1287 61572 47 3295 2579 1273 5147 1.92 11.38/11.48 c 10133 172 1537 72439 47 3796 2837 1523 5161 1.96 11.38/11.48 c 10608 172 2012 92727 46 4731 3121 1998 5174 2.05 11.38/11.48 c 11421 172 2825 128844 45 6359 3434 2811 5167 2.21 11.38/11.48 c 12742 172 2393 109024 45 5506 3778 2379 5125 2.49 11.38/11.48 c 14823 172 2531 114263 45 5784 4156 2517 5014 2.96 11.38/11.48 c 18046 172 3622 150792 41 7953 4572 3608 4985 3.62 11.38/11.48 c 22982 172 3886 160233 41 8485 5030 3872 4943 4.65 11.38/11.48 c 30488 172 3692 165859 44 8108 5534 3678 4704 6.48 11.38/11.48 c 41849 172 3674 197874 53 8055 6088 3660 4310 9.71 11.38/11.48 o 167 23.09/23.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.09/23.15 c 48350 172 3952 199357 50 8746 2344 3938 4210 11.48 23.09/23.15 c 48450 172 1287 66748 51 3297 2579 1273 4201 11.53 23.09/23.15 c 48700 172 1537 77907 50 3790 2837 1523 4206 11.58 23.09/23.15 c 49175 172 2012 99491 49 4746 3121 1998 4214 11.67 23.09/23.15 c 49988 172 2825 135454 47 6363 3434 2811 4220 11.84 23.09/23.15 c 51308 172 2361 107544 45 5454 3778 2347 4222 12.15 23.09/23.15 c 53389 172 2490 117096 47 5688 4156 2476 4222 12.64 23.09/23.15 c 56612 172 3564 174081 48 7834 4572 3550 4212 13.44 23.09/23.15 c 61548 172 3770 177916 47 8274 5030 3756 4210 14.62 23.09/23.15 c 69056 172 3548 174159 49 7814 5534 3534 4170 16.56 23.09/23.15 c 80417 172 3653 169178 46 8030 6088 3639 4167 19.30 23.09/23.15 o 166 23.19/23.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.19/23.26 c 95708 172 3412 159820 46 7660 2344 3398 4134 23.15 23.19/23.26 c 95808 172 1287 59901 46 3294 2579 1273 4130 23.20 23.19/23.26 c 96058 172 1537 74069 48 3793 2837 1523 4134 23.24 23.19/23.26 o 165 28.89/28.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.89/28.96 c 96172 172 1652 79201 47 4128 2344 1638 4135 23.26 28.89/28.96 c 96272 172 1752 82669 47 4321 2579 1738 4136 23.27 28.89/28.96 c 96522 172 2002 92276 46 4821 2837 1988 4139 23.32 28.89/28.96 c 96997 172 2477 112056 45 5769 3121 2463 4143 23.41 28.89/28.96 c 97810 172 1669 68703 41 4048 3434 1655 4147 23.58 28.89/28.96 c 99130 172 2989 126329 42 6708 3778 2975 4155 23.86 28.89/28.96 c 101212 172 3146 131982 41 7002 4156 3132 4164 24.30 28.89/28.96 c 104435 172 2098 90057 42 4918 4572 2084 4162 25.09 28.89/28.96 c 109372 172 2352 99082 42 5408 5030 2338 4187 26.12 28.89/28.96 c 116878 172 4717 198896 42 10153 5534 4703 4184 27.93 28.89/28.96 o 160 28.99/29.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.99/29.00 c 121000 172 3214 136336 42 7254 2344 3200 4179 28.95 28.99/29.00 c 121101 172 1288 54991 42 3300 2579 1274 4177 28.99 28.99/29.00 o 158 28.99/29.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.99/29.01 c 121137 172 1325 56553 42 3480 2344 1311 4177 29.00 28.99/29.01 o 156 30.79/30.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.79/30.84 c 121172 172 1361 58266 42 3662 2344 1347 4178 29.00 30.79/30.84 c 121272 172 1461 62343 42 3860 2579 1447 4178 29.02 30.79/30.84 c 121522 172 1711 72747 42 4363 2837 1697 4180 29.07 30.79/30.84 c 121997 172 2186 93400 42 5316 3121 2172 4183 29.16 30.79/30.84 c 122810 172 2999 126318 42 6931 3434 2985 4187 29.33 30.79/30.84 c 124130 172 2543 105084 41 5918 3778 2529 4193 29.60 30.79/30.84 c 126211 172 2666 118459 44 6163 4156 2652 4197 30.07 30.79/30.84 c 129435 172 3753 165734 44 8339 4572 3739 4200 30.82 30.79/30.84 o 151 30.79/30.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.79/30.88 c 129497 172 3816 168856 44 8571 2344 3802 4200 30.83 30.79/30.88 o 147 30.79/30.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.79/30.89 c 129575 172 1266 54539 43 3364 2344 1252 4196 30.88 30.79/30.89 o 143 30.89/30.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.89/30.91 c 129627 172 1319 56711 42 3572 2344 1305 4197 30.88 30.89/30.91 c 129727 172 1419 60901 42 3761 2579 1405 4198 30.90 30.89/30.91 o 141 31.18/31.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.18/31.27 c 129765 172 1458 63168 43 3949 2344 1444 4198 30.91 31.18/31.27 c 129865 172 1558 66831 42 4143 2579 1544 4199 30.93 31.18/31.27 c 130115 172 1808 77311 42 4658 2837 1794 4201 30.97 31.18/31.27 c 130590 172 2283 98030 42 5615 3121 2269 4201 31.08 31.18/31.27 o 123 31.28/31.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.28/31.30 c 131337 172 3031 133416 44 7228 2344 3017 4200 31.27 31.28/31.30 o 121 31.28/31.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.28/31.32 c 131406 168 1257 57924 46 3341 2336 1243 4199 31.29 31.28/31.32 c 131506 167 1357 63444 46 3533 2570 1343 4200 31.31 31.28/31.32 o 117 31.28/31.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.28/31.33 c 131561 166 1413 67165 47 3747 2332 1399 4200 31.32 31.28/31.33 o 115 31.28/31.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.28/31.38 c 131609 166 1462 70804 48 3948 2332 1448 4201 31.33 31.28/31.38 c 131709 165 1562 76372 48 4150 2566 1548 4201 31.35 31.28/31.38 o 113 32.38/32.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.38/32.43 c 131811 165 1665 81087 48 4459 2330 1651 4201 31.37 32.38/32.43 c 131911 165 1765 84869 48 4660 2564 1751 4202 31.39 32.38/32.43 c 132161 165 2015 93669 46 5160 2821 2001 4203 31.44 32.38/32.43 c 132636 164 2490 111275 44 6105 3104 2476 4206 31.53 32.38/32.43 c 133449 163 1692 67138 39 4192 3415 1678 4210 31.69 32.38/32.43 c 134770 162 3013 119020 39 6836 3757 2999 4220 31.93 32.38/32.43 c 136851 160 3178 123132 38 7054 4133 3164 4233 32.32 32.38/32.43 o 80 32.38/32.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.38/32.46 c 137385 160 3713 143449 38 8222 2320 3699 4237 32.42 32.38/32.46 o 78 32.38/32.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.38/32.46 c 137388 160 1191 43877 36 3173 2320 1177 4233 32.46 32.38/32.46 o 74 32.48/32.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.48/32.50 c 137390 160 1194 44055 36 3277 2320 1180 4232 32.46 32.48/32.50 c 137490 160 1294 50180 38 3476 2553 1280 4233 32.47 32.48/32.50 o 72 32.48/32.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.48/32.53 c 137608 160 1413 58646 41 3815 2320 1399 4234 32.50 32.48/32.53 c 137709 160 1514 61977 40 4018 2553 1500 4235 32.51 32.48/32.53 o 70 33.28/33.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.28/33.36 c 137754 160 1560 63953 40 4219 2320 1546 4235 32.52 33.28/33.36 c 137854 160 1660 68735 41 4397 2553 1646 4236 32.54 33.28/33.36 c 138104 160 1910 78050 40 4907 2809 1896 4238 32.58 33.28/33.36 c 138579 160 2385 95981 40 5864 3090 2371 4242 32.66 33.28/33.36 c 139392 160 1604 60930 37 3902 3400 1590 4246 32.83 33.28/33.36 c 140712 160 2924 109986 37 6542 3741 2910 4255 33.07 33.28/33.36 o 64 33.68/33.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.68/33.76 c 142162 159 2465 91672 37 5719 2318 2451 4262 33.35 33.68/33.76 c 142262 155 1287 48590 37 3265 2550 1273 4262 33.38 33.68/33.76 c 142513 150 1538 59033 38 3762 2806 1524 4263 33.42 33.68/33.76 c 142988 149 2013 80330 39 4712 3087 1999 4266 33.52 33.68/33.76 c 143801 144 2826 116040 41 6338 3396 2812 4268 33.69 33.68/33.76 o 63 35.78/35.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.78/35.86 c 144115 144 3141 129425 41 7045 2288 3127 4269 33.76 35.78/35.86 c 144216 144 1288 57890 44 3244 2517 1274 4268 33.79 35.78/35.86 c 144467 144 1539 71056 46 3753 2769 1525 4269 33.83 35.78/35.86 c 144942 144 2014 92664 46 4695 3046 2000 4272 33.92 35.78/35.86 c 145756 144 2828 129500 45 6325 3351 2814 4275 34.09 35.78/35.86 c 147077 144 2431 109250 44 5533 3687 2417 4277 34.38 35.78/35.86 c 149158 144 2634 118491 44 5941 4056 2620 4279 34.86 35.78/35.86 c 152381 144 3784 173192 45 8238 4462 3770 4281 35.59 35.78/35.86 o 61 36.58/36.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.58/36.64 c 153430 144 2557 116268 45 5853 2288 2543 4279 35.85 36.58/36.64 c 153530 144 1287 58485 45 3238 2517 1273 4279 35.88 36.58/36.64 c 153780 144 1537 72009 46 3740 2769 1523 4281 35.92 36.58/36.64 c 154255 144 2012 94198 46 4690 3046 1998 4285 35.99 36.58/36.64 c 155068 144 2825 129657 45 6318 3351 2811 4290 36.14 36.58/36.64 c 156388 144 2432 109790 45 5529 3687 2418 4295 36.40 36.58/36.64 o 58 37.88/37.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.88/37.97 c 157432 144 3477 154725 44 7702 2288 3463 4297 36.63 37.88/37.97 c 157532 144 1287 55714 43 3241 2517 1273 4294 36.68 37.88/37.97 c 157782 144 1537 66250 43 3741 2769 1523 4296 36.72 37.88/37.97 c 158258 144 2013 86214 42 4696 3046 1999 4298 36.81 37.88/37.97 c 159071 144 2826 122824 43 6322 3351 2812 4301 36.98 37.88/37.97 c 160391 144 2407 107581 44 5482 3687 2393 4303 37.27 37.88/37.97 c 162474 144 2591 115892 44 5850 4056 2577 4304 37.74 37.88/37.97 o 56 37.88/37.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.88/37.99 c 163419 144 3537 157345 44 7824 2288 3523 4304 37.96 37.88/37.99 o 54 37.88/37.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.88/37.99 c 163440 144 1209 53126 43 3170 2288 1195 4303 37.98 37.88/37.99 o 52 37.98/38.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.00 c 163463 144 1233 54838 44 3296 2288 1219 4303 37.99 37.98/38.00 o 50 37.98/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.01 c 163523 144 1294 58216 44 3498 2288 1280 4303 38.00 37.98/38.01 o 48 37.98/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.01 c 163554 144 1326 60612 45 3642 2288 1312 4303 38.00 37.98/38.01 o 46 37.98/38.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.03 c 163579 144 1352 61587 45 3770 2288 1338 4303 38.01 37.98/38.03 o 44 49.67/49.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.67/49.79 c 163654 144 1428 66758 46 4010 2288 1414 4304 38.02 49.67/49.79 c 163754 144 1528 71176 46 4217 2517 1514 4305 38.04 49.67/49.79 c 164004 144 1778 80654 45 4716 2769 1764 4306 38.08 49.67/49.79 c 164479 144 2253 100102 44 5673 3046 2239 4309 38.16 49.67/49.79 c 165293 144 3067 135332 44 7303 3351 3053 4314 38.31 49.67/49.79 c 166613 144 2666 111759 41 6002 3687 2652 4320 38.56 49.67/49.79 c 168695 144 2856 126525 44 6380 4056 2842 4328 38.97 49.67/49.79 c 171918 144 4007 176940 44 8683 4462 3993 4340 39.61 49.67/49.79 c 176854 144 4394 182616 41 9466 4909 4380 4349 40.66 49.67/49.79 c 184360 144 4412 190231 43 9496 5400 4398 4348 42.40 49.67/49.79 c 195721 144 4795 218023 45 10258 5941 4781 4332 45.18 49.67/49.79 o 43 62.47/62.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.47/62.54 c 212180 144 3163 135205 42 7085 2288 3149 4262 49.78 62.47/62.54 c 212280 144 1287 53086 41 3247 2517 1273 4260 49.82 62.47/62.54 c 212530 144 1537 63802 41 3741 2769 1523 4261 49.87 62.47/62.54 c 213005 144 2012 84663 42 4697 3046 1998 4264 49.95 62.47/62.54 c 213818 144 2825 118617 41 6326 3351 2811 4268 50.09 62.47/62.54 c 215138 144 2422 101389 41 5508 3687 2408 4273 50.34 62.47/62.54 c 217219 144 2607 106986 41 5889 4056 2593 4278 50.77 62.47/62.54 c 220442 144 3761 153585 40 8191 4462 3747 4288 51.40 62.47/62.54 c 225378 144 4151 171949 41 8970 4909 4137 4297 52.44 62.47/62.54 c 232884 144 4159 178802 42 8990 5400 4145 4303 54.11 62.47/62.54 c 244246 144 4530 192603 42 9731 5941 4516 4305 56.73 62.47/62.54 c 261390 144 3617 156233 43 7902 6536 3603 4283 61.02 62.47/62.54 o 40 62.57/62.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.65 c 267456 144 6370 259620 40 13490 2288 6356 4277 62.53 62.57/62.65 o 38 62.57/62.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.65 c 267477 144 1209 48557 40 3166 2288 1195 4270 62.64 62.57/62.65 o 36 62.57/62.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.66 c 267482 144 1215 48979 40 3259 2288 1201 4270 62.64 62.57/62.66 o 34 62.57/62.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.66 c 267495 144 1229 49909 40 3372 2288 1215 4270 62.64 62.57/62.66 o 32 62.57/62.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.67 c 267508 144 1243 50874 40 3484 2288 1229 4270 62.64 62.57/62.67 o 30 228.03/228.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.03/228.16 c 267554 137 1290 53011 41 3651 2274 1276 4270 62.65 228.03/228.16 c 267655 135 1391 57532 41 3836 2502 1377 4270 62.67 228.03/228.16 c 267905 135 1641 69128 42 4338 2753 1627 4272 62.71 228.03/228.16 c 268380 135 2116 90721 42 5290 3029 2102 4274 62.78 228.03/228.16 c 269193 135 2929 128627 43 6910 3332 2915 4278 62.91 228.03/228.16 c 270513 133 2542 120153 47 5729 3666 2528 4282 63.16 228.03/228.16 c 272594 133 2757 131190 47 6150 4033 2743 4291 63.52 228.03/228.16 c 275817 132 3915 192508 49 8477 4437 3901 4294 64.22 228.03/228.16 c 280754 130 4320 214052 49 9290 4881 4306 4297 65.33 228.03/228.16 c 288262 130 4379 223063 50 9408 5370 4365 4291 67.17 228.03/228.16 c 299623 130 4818 248820 51 10287 5908 4804 4258 70.36 228.03/228.16 c 316768 130 3968 191540 48 8576 6499 3954 4217 75.11 228.03/228.16 c 342587 130 3431 173862 50 7511 7149 3417 4128 82.99 228.03/228.16 c 381419 130 6100 309907 50 12848 7864 6086 3982 95.78 228.03/228.16 c 439771 130 4754 244013 51 10152 8651 4740 3730 117.87 228.03/228.16 c 527403 130 5004 249478 49 10658 9517 4990 3479 151.57 228.03/228.16 c 658955 130 6932 354028 51 14520 10469 6918 3140 209.80 228.03/228.16 o 28 278.42/278.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 278.42/278.53 c 699984 130 5722 290660 50 12165 2260 5708 3068 228.10 278.42/278.53 c 700085 130 1288 64452 50 3221 2487 1274 3068 228.18 278.42/278.53 c 700335 130 1538 76842 49 3720 2736 1524 3068 228.23 278.42/278.53 c 700810 130 2013 100541 49 4660 3010 1999 3069 228.31 278.42/278.53 c 701623 130 2826 141573 50 6297 3312 2812 3070 228.47 278.42/278.53 c 702943 130 2447 121415 49 5535 3644 2433 3072 228.75 278.42/278.53 c 705024 130 2660 134965 50 5967 4009 2646 3076 229.19 278.42/278.53 c 708247 130 3832 192462 50 8299 4410 3818 3080 229.88 278.42/278.53 c 713184 130 4267 214098 50 9176 4852 4253 3087 230.99 278.42/278.53 c 720690 130 4377 218633 49 9395 5338 4363 3097 232.70 278.42/278.53 c 732051 130 4864 242222 49 10355 5872 4850 3107 235.54 278.42/278.53 c 749195 130 4133 209788 50 8905 6460 4119 3116 240.38 278.42/278.53 c 775014 130 3753 184924 49 8144 7107 3739 3132 247.42 278.42/278.53 c 813846 130 6611 338221 51 13858 7818 6597 3134 259.61 278.42/278.53 o 25 815.67/815.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 815.67/815.94 c 870676 130 4143 210892 50 8989 2260 4129 3126 278.46 815.67/815.94 c 870777 130 1288 64897 50 3214 2487 1274 3126 278.53 815.67/815.94 c 871028 130 1539 77446 50 3711 2736 1525 3126 278.56 815.67/815.94 c 871504 130 2015 99967 49 4657 3010 2001 3127 278.63 815.67/815.94 c 872317 130 2828 138881 49 6277 3312 2814 3129 278.77 815.67/815.94 c 873639 130 2445 118165 48 5532 3644 2431 3131 279.02 815.67/815.94 c 875720 130 2653 131297 49 5939 4009 2639 3134 279.39 815.67/815.94 c 878943 130 3821 192080 50 8265 4410 3807 3138 280.09 815.67/815.94 c 883880 130 4247 207567 48 9134 4852 4233 3142 281.26 815.67/815.94 c 891387 130 4341 217553 50 9325 5338 4327 3148 283.11 815.67/815.94 c 902748 130 4853 247971 51 10347 5872 4839 3156 285.99 815.67/815.94 c 919892 130 4125 205379 49 8887 6460 4111 3162 290.91 815.67/815.94 c 945712 130 3756 185814 49 8154 7107 3742 3170 298.26 815.67/815.94 c 984545 130 6663 328491 49 13960 7818 6649 3175 310.08 815.67/815.94 c 1042897 130 5731 291342 50 12102 8600 5717 3156 330.42 815.67/815.94 c 1130530 130 6510 324499 49 13662 9461 6496 3113 363.16 815.67/815.94 c 1262082 130 9186 468106 50 19013 10408 9172 3011 419.04 815.67/815.94 c 1459514 130 7190 366456 50 15022 11449 7176 2868 508.79 815.67/815.94 c 1755766 130 9301 477360 51 19242 12594 9287 2676 655.89 815.67/815.94 o 24 1797.98/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.51 c 2017779 130 11347 582367 51 23406 2260 11333 2473 815.72 1797.98/1798.51 c 2017879 130 1287 63403 49 3219 2487 1273 2472 816.12 1797.98/1798.51 c 2018129 130 1537 75376 49 3712 2736 1523 2472 816.17 1797.98/1798.51 c 2018604 130 2012 98257 48 4667 3010 1998 2473 816.26 1797.98/1798.51 c 2019418 130 2826 138187 48 6293 3312 2812 2473 816.42 1797.98/1798.51 c 2020738 130 2442 115417 47 5520 3644 2428 2474 816.69 1797.98/1798.51 c 2022820 130 2653 127636 48 5949 4009 2639 2475 817.10 1797.98/1798.51 c 2026044 130 3824 185637 48 8280 4410 3810 2477 817.81 1797.98/1798.51 c 2030980 130 4258 211381 49 9154 4852 4244 2479 819.00 1797.98/1798.51 c 2038488 130 4358 213070 48 9349 5338 4344 2483 820.95 1797.98/1798.51 c 2049849 130 4854 241876 49 10348 5872 4840 2487 824.03 1797.98/1798.51 c 2066993 130 4102 202705 49 8838 6460 4088 2493 828.83 1797.98/1798.51 c 2092812 130 3740 179739 48 8114 7107 3726 2504 835.70 1797.98/1798.51 c 2131645 130 6606 320987 48 13847 7818 6592 2516 847.15 1797.98/1798.51 c 2189998 130 5701 282567 49 12031 8600 5687 2524 867.55 1797.98/1798.51 c 2277630 130 6472 327071 50 13579 9461 6458 2528 900.70 1797.98/1798.51 c 2409182 130 9148 447911 48 18940 10408 9134 2528 952.65 1797.98/1798.51 c 2606614 130 7301 348568 47 15247 11449 7287 2521 1033.77 1797.98/1798.51 c 2902866 130 9458 462040 48 19540 12594 9444 2463 1178.58 1797.98/1798.51 c 3347348 130 10250 485896 47 21145 13854 10236 2378 1407.15 1797.98/1798.51 c 4014175 130 8123 420932 51 16884 15240 8109 2260 1775.61 1797.98/1798.51 c Resources Exceeded 1797.98/1798.51 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 1797.98/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.51 c 287 4054593 40360 4115157 10209 511809 10195 2255 1798.00 1797.98/1798.51 c Objective: 24 1797.98/1798.51 s SATISFIABLE 1797.98/1798.51 c Total time: 1798 s
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657553-1276615317/watcher-2657553-1276615317 -o /tmp/evaluation-result-2657553-1276615317/solver-2657553-1276615317 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657553-1276615317.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.98 1.03 1.00 3/107 3188 /proc/meminfo: memFree=1769788/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18604 CPUtime=0 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 331 0 0 0 0 0 0 0 19 0 1 0 35187407 19050496 247 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4651 247 191 642 0 4007 0 [startup+0.107163 s] /proc/loadavg: 0.98 1.03 1.00 3/107 3188 /proc/meminfo: memFree=1769788/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=11304 CPUtime=0.1 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 484 0 0 0 10 0 0 0 20 0 1 0 35187407 11575296 400 1992294400 134512640 137138936 4287694496 18446744073709551615 134618093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 2826 400 191 642 0 2182 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11304 [startup+0.201172 s] /proc/loadavg: 0.98 1.03 1.00 3/107 3188 /proc/meminfo: memFree=1769788/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=11820 CPUtime=0.19 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 610 0 0 0 19 0 0 0 20 0 1 0 35187407 12103680 526 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 2955 526 191 642 0 2311 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11820 [startup+0.301181 s] /proc/loadavg: 0.98 1.03 1.00 3/107 3188 /proc/meminfo: memFree=1769788/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=12332 CPUtime=0.29 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 717 0 0 0 29 0 0 0 20 0 1 0 35187407 12627968 633 1992294400 134512640 137138936 4287694496 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3083 633 191 642 0 2439 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12332 [startup+0.701216 s] /proc/loadavg: 0.98 1.03 1.00 3/107 3188 /proc/meminfo: memFree=1769788/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=12848 CPUtime=0.69 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 841 0 0 0 68 1 0 0 21 0 1 0 35187407 13156352 757 1992294400 134512640 137138936 4287694496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3212 757 191 642 0 2568 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12848 [startup+1.50129 s] /proc/loadavg: 0.98 1.03 1.00 2/108 3189 /proc/meminfo: memFree=1767176/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=12980 CPUtime=1.49 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 891 0 0 0 148 1 0 0 23 0 1 0 35187407 13291520 807 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3245 807 191 642 0 2601 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12980 [startup+3.10143 s] /proc/loadavg: 0.98 1.03 1.00 2/108 3189 /proc/meminfo: memFree=1766928/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=13364 CPUtime=3.09 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 987 0 0 0 307 2 0 0 25 0 1 0 35187407 13684736 903 1992294400 134512640 137138936 4287694496 18446744073709551615 136504440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3341 903 191 642 0 2697 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13364 [startup+6.30072 s] /proc/loadavg: 0.98 1.03 1.00 2/108 3189 /proc/meminfo: memFree=1765936/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=14264 CPUtime=6.29 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 1213 0 0 0 625 4 0 0 25 0 1 0 35187407 14606336 1129 1992294400 134512640 137138936 4287694496 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3566 1129 191 642 0 2922 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14264 [startup+12.7013 s] /proc/loadavg: 0.98 1.02 1.00 2/108 3189 /proc/meminfo: memFree=1764324/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=15532 CPUtime=12.69 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 1531 0 0 0 1261 8 0 0 25 0 1 0 35187407 15904768 1447 1992294400 134512640 137138936 4287694496 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3883 1447 191 642 0 3239 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15532 [startup+25.5014 s] /proc/loadavg: 0.99 1.02 1.00 2/108 3189 /proc/meminfo: memFree=1764324/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=15484 CPUtime=25.48 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 1531 0 0 0 2534 14 0 0 25 0 1 0 35187407 15855616 1445 1992294400 134512640 137138936 4287694496 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3871 1445 191 642 0 3227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15484 [startup+51.1007 s] /proc/loadavg: 0.99 1.02 1.00 2/108 3189 /proc/meminfo: memFree=1764200/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=15484 CPUtime=51.07 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 1531 0 0 0 5079 28 0 0 25 0 1 0 35187407 15855616 1445 1992294400 134512640 137138936 4287694496 18446744073709551615 134557595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 3871 1445 191 642 0 3227 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15484 [startup+102.301 s] /proc/loadavg: 0.99 1.02 1.00 2/108 3191 /proc/meminfo: memFree=1762588/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=17088 CPUtime=102.27 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 1908 0 0 0 10174 53 0 0 25 0 1 0 35187407 17498112 1822 1992294400 134512640 137138936 4287694496 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4272 1822 191 642 0 3628 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 17088 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/108 3193 /proc/meminfo: memFree=1761348/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18108 CPUtime=162.24 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2187 0 0 0 16148 76 0 0 25 0 1 0 35187407 18542592 2101 1992294400 134512640 137138936 4287694496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4527 2101 191 642 0 3883 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18108 [startup+222.308 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3195 /proc/meminfo: memFree=1760728/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18876 CPUtime=222.24 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2371 0 0 0 22130 94 0 0 25 0 1 0 35187407 19329024 2285 1992294400 134512640 137138936 4287694496 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4719 2285 191 642 0 4075 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 18876 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3197 /proc/meminfo: memFree=1760728/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18792 CPUtime=282.21 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2371 0 0 0 28101 120 0 0 25 0 1 0 35187407 19243008 2272 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4698 2272 191 642 0 4054 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18792 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3197 /proc/meminfo: memFree=1760728/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18772 CPUtime=342.2 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2371 0 0 0 34076 144 0 0 25 0 1 0 35187407 19222528 2267 1992294400 134512640 137138936 4287694496 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4693 2267 191 642 0 4049 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18772 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3199 /proc/meminfo: memFree=1760604/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18768 CPUtime=402.18 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2371 0 0 0 40054 164 0 0 25 0 1 0 35187407 19218432 2266 1992294400 134512640 137138936 4287694496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4692 2266 191 642 0 4048 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18768 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3201 /proc/meminfo: memFree=1760480/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=18948 CPUtime=462.17 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2395 0 0 0 46033 184 0 0 25 0 1 0 35187407 19402752 2290 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4737 2290 191 642 0 4093 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 18948 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3203 /proc/meminfo: memFree=1759860/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=19664 CPUtime=522.15 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2575 0 0 0 52013 202 0 0 25 0 1 0 35187407 20135936 2470 1992294400 134512640 137138936 4287694496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4916 2470 191 642 0 4272 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 19664 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3205 /proc/meminfo: memFree=1759736/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=19664 CPUtime=582.13 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2591 0 0 0 57994 219 0 0 25 0 1 0 35187407 20135936 2486 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4916 2486 191 642 0 4272 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 19664 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3205 /proc/meminfo: memFree=1759736/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=19664 CPUtime=642.11 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2591 0 0 0 63976 235 0 0 25 0 1 0 35187407 20135936 2486 1992294400 134512640 137138936 4287694496 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 4916 2486 191 642 0 4272 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 19664 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1757752/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=20456 CPUtime=1121.98 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2832 0 0 0 111812 386 0 0 25 0 1 0 35187407 20946944 2688 1992294400 134512640 137138936 4287694496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5114 2688 191 642 0 4470 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 20456 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3224 /proc/meminfo: memFree=1757752/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=20456 CPUtime=1181.96 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2832 0 0 0 117791 405 0 0 25 0 1 0 35187407 20946944 2688 1992294400 134512640 137138936 4287694496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5114 2688 191 642 0 4470 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 20456 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3224 /proc/meminfo: memFree=1757752/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=20456 CPUtime=1241.94 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2832 0 0 0 123772 422 0 0 25 0 1 0 35187407 20946944 2688 1992294400 134512640 137138936 4287694496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5114 2688 191 642 0 4470 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 20456 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3226 /proc/meminfo: memFree=1757628/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=20456 CPUtime=1301.92 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2832 0 0 0 129754 438 0 0 25 0 1 0 35187407 20946944 2688 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5114 2688 191 642 0 4470 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 20456 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3228 /proc/meminfo: memFree=1757628/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=20456 CPUtime=1361.9 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 2832 0 0 0 135730 460 0 0 25 0 1 0 35187407 20946944 2688 1992294400 134512640 137138936 4287694496 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5114 2688 191 642 0 4470 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 20456 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3230 /proc/meminfo: memFree=1757504/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21316 CPUtime=1421.89 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3039 0 0 0 141711 478 0 0 25 0 1 0 35187407 21827584 2895 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5329 2895 191 642 0 4685 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 21316 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3232 /proc/meminfo: memFree=1757008/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21624 CPUtime=1481.87 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3110 0 0 0 147693 494 0 0 25 0 1 0 35187407 22142976 2966 1992294400 134512640 137138936 4287694496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5406 2966 191 642 0 4762 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 21624 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3232 /proc/meminfo: memFree=1757008/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21624 CPUtime=1541.85 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3110 0 0 0 153677 508 0 0 25 0 1 0 35187407 22142976 2966 1992294400 134512640 137138936 4287694496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5406 2966 191 642 0 4762 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 21624 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 3234 /proc/meminfo: memFree=1757008/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21620 CPUtime=1601.83 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3110 0 0 0 159657 526 0 0 25 0 1 0 35187407 22138880 2966 1992294400 134512640 137138936 4287694496 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5405 2966 191 642 0 4761 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 21620 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 3236 /proc/meminfo: memFree=1756884/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21616 CPUtime=1661.81 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3117 0 0 0 165639 542 0 0 25 0 1 0 35187407 22134784 2973 1992294400 134512640 137138936 4287694496 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5404 2973 191 642 0 4760 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 21616 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 3238 /proc/meminfo: memFree=1756884/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=21616 CPUtime=1721.8 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3117 0 0 0 171619 561 0 0 25 0 1 0 35187407 22134784 2973 1992294400 134512640 137138936 4287694496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5404 2973 191 642 0 4760 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 21616 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22616 CPUtime=1781.78 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 177599 579 0 0 25 0 1 0 35187407 23158784 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5654 3210 191 642 0 5010 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 22616 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22612 CPUtime=1791.49 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 178567 582 0 0 25 0 1 0 35187407 23154688 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5653 3210 191 642 0 5009 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 22612 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22612 CPUtime=1794.68 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 178885 583 0 0 25 0 1 0 35187407 23154688 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5653 3210 191 642 0 5009 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 22612 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22612 CPUtime=1796.28 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 179044 584 0 0 25 0 1 0 35187407 23154688 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5653 3210 191 642 0 5009 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 22612 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22608 CPUtime=1797.08 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 179124 584 0 0 25 0 1 0 35187407 23150592 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5652 3210 191 642 0 5008 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 22608 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22608 CPUtime=1797.48 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 179164 584 0 0 25 0 1 0 35187407 23150592 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5652 3210 191 642 0 5008 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 22608 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22608 CPUtime=1797.87 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 179203 584 0 0 25 0 1 0 35187407 23150592 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5652 3210 191 642 0 5008 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 22608 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3240 /proc/meminfo: memFree=1755768/2059040 swapFree=4140108/4192956 [pid=3188] ppid=3185 vsize=22608 CPUtime=1797.98 /proc/3188/stat : 3188 (bsolo_pb10) R 3185 3188 3162 0 -1 4202496 3354 0 0 0 179214 584 0 0 25 0 1 0 35187407 23150592 3210 1992294400 134512640 137138936 4287694496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3188/statm: 5652 3210 191 642 0 5008 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 22608 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798 CPU user time (s): 1792.15 CPU system time (s): 5.84811 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 22616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.15 system time used= 5.84811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3355 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= 4452 runsolver used 2.80057 second user time and 8.66468 second system time The end
Begin job on node025 at 2010-06-15 17:21:57 IDJOB=2657553 IDBENCH=2921 IDSOLVER=1163 FILE ID=node025/2657553-1276615317 PBS_JOBID= 11172301 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657553-1276615317/watcher-2657553-1276615317 -o /tmp/evaluation-result-2657553-1276615317/solver-2657553-1276615317 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657553-1276615317.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1512370700 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770316 kB Buffers: 76484 kB Cached: 122248 kB SwapCached: 7076 kB Active: 108252 kB Inactive: 104612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770316 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4164 kB Writeback: 0 kB AnonPages: 11716 kB Mapped: 13000 kB Slab: 54008 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183384 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= 62576 MiB End job on node025 at 2010-06-15 17:51:55