Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 24 | 1798 | 1797.77 |
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 | 13 |
Best CPU time to get the best result obtained on this benchmark | 1802.15 |
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.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: Clause 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-1878617-1245177237.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.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 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 5882 0.02 0.00/0.03 o 986 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 227 172 243 17309 71 1279 2344 229 6305 0.04 0.03/0.04 o 930 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 246 172 263 18478 70 1398 2344 249 6307 0.04 0.03/0.04 o 922 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 247 172 265 18681 70 1500 2344 251 6333 0.04 0.03/0.04 o 910 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 250 172 269 19028 70 1582 2344 255 6097 0.04 0.03/0.05 o 908 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 326 172 346 24822 71 1849 2344 332 6150 0.05 0.03/0.05 o 861 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 335 172 356 25548 71 1929 2344 342 6090 0.06 0.03/0.05 o 859 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 337 172 359 25825 71 2030 2344 345 6017 0.06 0.03/0.06 o 856 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 362 172 385 27462 71 2145 2344 371 5838 0.06 0.03/0.06 o 684 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 371 172 395 28136 71 2212 2344 381 5796 0.06 0.03/0.06 o 682 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 381 172 406 28738 70 2256 2344 392 5772 0.07 0.03/0.09 c 481 172 506 36102 71 2445 2579 492 5795 0.08 0.03/0.09 o 680 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 524 172 550 39360 71 2539 2344 536 5822 0.09 0.03/0.09 o 570 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 549 172 576 41078 71 2636 2344 562 5718 0.10 0.09/0.11 c 649 172 676 46244 68 2890 2579 662 5846 0.11 0.09/0.11 o 566 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 653 172 681 46655 68 2842 2344 667 5778 0.11 0.09/0.11 o 565 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 676 172 705 48110 68 2954 2344 691 5728 0.12 0.09/0.14 c 777 172 806 53025 65 3267 2579 792 5755 0.14 0.09/0.14 o 477 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 805 172 835 54905 65 3218 2344 821 5750 0.14 0.09/0.19 c 905 172 935 63002 67 3398 2579 921 5691 0.16 0.09/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 5589 0.21 0.19/0.21 o 411 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1185 172 1217 82788 68 4040 2344 1203 5563 0.21 0.19/0.22 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 5572 0.23 0.29/0.31 c 1365 172 1398 90522 64 4643 2579 1384 5594 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 5622 0.32 0.29/0.34 c 1871 172 1905 115547 60 5675 2579 1891 5585 0.34 0.29/0.34 o 377 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1927 172 1962 117684 59 5890 2344 1948 5585 0.34 0.29/0.34 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 5560 0.35 0.29/0.38 c 2035 172 2071 123546 59 6124 2579 2057 5514 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 5489 0.38 0.39/0.41 c 2186 172 2223 130828 58 6560 2579 2209 5424 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 5310 0.44 0.39/0.45 o 368 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 2391 172 1253 62079 49 3321 2344 1239 5325 0.45 0.39/0.46 c 2492 172 1354 66183 48 3530 2579 1340 5370 0.46 0.39/0.46 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 5398 0.48 0.39/0.49 o 362 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 2653 172 1517 74554 49 4060 2344 1503 5392 0.49 0.49/0.53 c 2753 172 1617 78687 48 4259 2579 1603 5419 0.51 0.49/0.53 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 5424 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 5328 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 5246 1.13 1.10/1.18 c 6050 172 2115 99811 47 5154 2579 2101 5256 1.15 1.10/1.18 o 178 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 6255 172 2321 108358 46 5684 2344 2307 5274 1.19 1.19/1.29 c 6355 172 1200 56805 47 3105 2579 1186 5234 1.21 1.19/1.29 c 6606 172 1451 68739 47 3625 2837 1437 5234 1.26 1.19/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 5236 1.30 1.79/1.89 c 6886 172 1732 82065 47 4286 2579 1718 5260 1.31 1.79/1.89 c 7137 172 1983 97689 49 4796 2837 1969 5282 1.35 1.79/1.89 c 7612 172 2458 118102 48 5726 3121 2444 5315 1.43 1.79/1.89 c 8425 172 1650 81571 49 4126 3434 1636 5232 1.61 1.79/1.89 c 9746 172 2971 145924 49 6780 3778 2957 5164 1.89 1.79/1.89 o 175 11.49/11.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.49/11.52 c 9783 172 3009 148017 49 6954 2344 2995 5154 1.90 11.49/11.52 c 9883 172 1287 61572 47 3295 2579 1273 5139 1.92 11.49/11.52 c 10133 172 1537 72439 47 3796 2837 1523 5151 1.97 11.49/11.52 c 10608 172 2012 92727 46 4731 3121 1998 5164 2.05 11.49/11.52 c 11421 172 2825 128844 45 6359 3434 2811 5158 2.21 11.49/11.52 c 12742 172 2393 109024 45 5506 3778 2379 5115 2.49 11.49/11.52 c 14823 172 2531 114263 45 5784 4156 2517 5001 2.96 11.49/11.52 c 18046 172 3622 150792 41 7953 4572 3608 4967 3.63 11.49/11.52 c 22982 172 3886 160233 41 8485 5030 3872 4924 4.67 11.49/11.52 c 30488 172 3692 165859 44 8108 5534 3678 4681 6.51 11.49/11.52 c 41849 172 3674 197874 53 8055 6088 3660 4292 9.75 11.49/11.52 o 167 23.19/23.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.19/23.21 c 48350 172 3952 199357 50 8746 2344 3938 4196 11.52 23.19/23.21 c 48450 172 1287 66748 51 3297 2579 1273 4187 11.57 23.19/23.21 c 48700 172 1537 77907 50 3790 2837 1523 4193 11.61 23.19/23.21 c 49175 172 2012 99491 49 4746 3121 1998 4201 11.71 23.19/23.21 c 49988 172 2825 135454 47 6363 3434 2811 4208 11.88 23.19/23.21 c 51308 172 2361 107544 45 5454 3778 2347 4210 12.19 23.19/23.21 c 53389 172 2490 117096 47 5688 4156 2476 4211 12.68 23.19/23.21 c 56612 172 3564 174081 48 7834 4572 3550 4202 13.47 23.19/23.21 c 61548 172 3770 177916 47 8274 5030 3756 4200 14.65 23.19/23.21 c 69056 172 3548 174159 49 7814 5534 3534 4162 16.59 23.19/23.21 c 80417 172 3653 169178 46 8030 6088 3639 4158 19.34 23.19/23.21 o 166 23.29/23.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.29/23.32 c 95708 172 3412 159820 46 7660 2344 3398 4122 23.22 23.29/23.32 c 95808 172 1287 59901 46 3294 2579 1273 4118 23.27 23.29/23.32 c 96058 172 1537 74069 48 3793 2837 1523 4121 23.31 23.29/23.32 o 165 28.99/29.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.99/29.02 c 96172 172 1652 79201 47 4128 2344 1638 4122 23.33 28.99/29.02 c 96272 172 1752 82669 47 4321 2579 1738 4123 23.34 28.99/29.02 c 96522 172 2002 92276 46 4821 2837 1988 4127 23.39 28.99/29.02 c 96997 172 2477 112056 45 5769 3121 2463 4131 23.48 28.99/29.02 c 97810 172 1669 68703 41 4048 3434 1655 4134 23.66 28.99/29.02 c 99130 172 2989 126329 42 6708 3778 2975 4142 23.93 28.99/29.02 c 101212 172 3146 131982 41 7002 4156 3132 4151 24.38 28.99/29.02 c 104435 172 2098 90057 42 4918 4572 2084 4149 25.17 28.99/29.02 c 109372 172 2352 99082 42 5408 5030 2338 4174 26.20 28.99/29.02 c 116878 172 4717 198896 42 10153 5534 4703 4172 28.01 28.99/29.02 o 160 28.99/29.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.99/29.06 c 121000 172 3214 136336 42 7254 2344 3200 4168 29.03 28.99/29.06 c 121101 172 1288 54991 42 3300 2579 1274 4166 29.06 28.99/29.06 o 158 28.99/29.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.99/29.07 c 121137 172 1325 56553 42 3480 2344 1311 4166 29.07 28.99/29.07 o 156 30.79/30.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.79/30.90 c 121172 172 1361 58266 42 3662 2344 1347 4167 29.08 30.79/30.90 c 121272 172 1461 62343 42 3860 2579 1447 4167 29.10 30.79/30.90 c 121522 172 1711 72747 42 4363 2837 1697 4169 29.14 30.79/30.90 c 121997 172 2186 93400 42 5316 3121 2172 4172 29.23 30.79/30.90 c 122810 172 2999 126318 42 6931 3434 2985 4176 29.40 30.79/30.90 c 124130 172 2543 105084 41 5918 3778 2529 4182 29.68 30.79/30.90 c 126211 172 2666 118459 44 6163 4156 2652 4187 30.14 30.79/30.90 c 129435 172 3753 165734 44 8339 4572 3739 4191 30.88 30.79/30.90 o 151 30.89/30.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.89/30.94 c 129497 172 3816 168856 44 8571 2344 3802 4190 30.90 30.89/30.94 o 147 30.89/30.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.89/30.95 c 129575 172 1266 54539 43 3364 2344 1252 4187 30.94 30.89/30.95 o 143 30.89/30.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.89/30.97 c 129627 172 1319 56711 42 3572 2344 1305 4187 30.95 30.89/30.97 c 129727 172 1419 60901 42 3761 2579 1405 4188 30.97 30.89/30.97 o 141 31.29/31.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.29/31.33 c 129765 172 1458 63168 43 3949 2344 1444 4189 30.98 31.29/31.33 c 129865 172 1558 66831 42 4143 2579 1544 4189 31.00 31.29/31.33 c 130115 172 1808 77311 42 4658 2837 1794 4191 31.04 31.29/31.33 c 130590 172 2283 98030 42 5615 3121 2269 4192 31.15 31.29/31.33 o 123 31.29/31.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.29/31.35 c 131337 172 3031 133416 44 7228 2344 3017 4191 31.33 31.29/31.35 o 121 31.29/31.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.29/31.38 c 131406 168 1257 57924 46 3341 2336 1243 4190 31.36 31.29/31.38 c 131506 167 1357 63444 46 3533 2570 1343 4191 31.37 31.29/31.38 o 117 31.29/31.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.29/31.39 c 131561 166 1413 67165 47 3747 2332 1399 4191 31.39 31.29/31.39 o 115 31.39/31.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.39/31.43 c 131609 166 1462 70804 48 3948 2332 1448 4192 31.39 31.39/31.43 c 131709 165 1562 76372 48 4150 2566 1548 4192 31.42 31.39/31.43 o 113 32.39/32.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.39/32.48 c 131811 165 1665 81087 48 4459 2330 1651 4192 31.44 32.39/32.48 c 131911 165 1765 84869 48 4660 2564 1751 4193 31.46 32.39/32.48 c 132161 165 2015 93669 46 5160 2821 2001 4195 31.50 32.39/32.48 c 132636 164 2490 111275 44 6105 3104 2476 4197 31.60 32.39/32.48 c 133449 163 1692 67138 39 4192 3415 1678 4202 31.76 32.39/32.48 c 134770 162 3013 119020 39 6836 3757 2999 4212 32.00 32.39/32.48 c 136851 160 3178 123132 38 7054 4133 3164 4225 32.38 32.39/32.48 o 80 32.50/32.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.50/32.51 c 137385 160 3713 143449 38 8222 2320 3699 4229 32.49 32.50/32.51 o 78 32.50/32.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.50/32.51 c 137388 160 1191 43877 36 3173 2320 1177 4225 32.52 32.50/32.51 o 74 32.50/32.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.50/32.55 c 137390 160 1194 44055 36 3277 2320 1180 4225 32.52 32.50/32.55 c 137490 160 1294 50180 38 3476 2553 1280 4226 32.53 32.50/32.55 o 72 32.50/32.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.50/32.58 c 137608 160 1413 58646 41 3815 2320 1399 4226 32.56 32.50/32.58 c 137709 160 1514 61977 40 4018 2553 1500 4227 32.57 32.50/32.58 o 70 33.39/33.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.39/33.40 c 137754 160 1560 63953 40 4219 2320 1546 4227 32.58 33.39/33.40 c 137854 160 1660 68735 41 4397 2553 1646 4228 32.60 33.39/33.40 c 138104 160 1910 78050 40 4907 2809 1896 4230 32.64 33.39/33.40 c 138579 160 2385 95981 40 5864 3090 2371 4235 32.72 33.39/33.40 c 139392 160 1604 60930 37 3902 3400 1590 4238 32.89 33.39/33.40 c 140712 160 2924 109986 37 6542 3741 2910 4248 33.12 33.39/33.40 o 64 33.79/33.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.79/33.81 c 142162 159 2465 91672 37 5719 2318 2451 4255 33.41 33.79/33.81 c 142262 155 1287 48590 37 3265 2550 1273 4255 33.43 33.79/33.81 c 142513 150 1538 59033 38 3762 2806 1524 4256 33.48 33.79/33.81 c 142988 149 2013 80330 39 4712 3087 1999 4259 33.57 33.79/33.81 c 143801 144 2826 116040 41 6338 3396 2812 4261 33.74 33.79/33.81 o 63 35.79/35.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.79/35.90 c 144115 144 3141 129425 41 7045 2288 3127 4262 33.81 35.79/35.90 c 144216 144 1288 57890 44 3244 2517 1274 4261 33.84 35.79/35.90 c 144467 144 1539 71056 46 3753 2769 1525 4262 33.89 35.79/35.90 c 144942 144 2014 92664 46 4695 3046 2000 4265 33.98 35.79/35.90 c 145756 144 2828 129500 45 6325 3351 2814 4268 34.14 35.79/35.90 c 147077 144 2431 109250 44 5533 3687 2417 4270 34.44 35.79/35.90 c 149158 144 2634 118491 44 5941 4056 2620 4273 34.91 35.79/35.90 c 152381 144 3784 173192 45 8238 4462 3770 4275 35.64 35.79/35.90 o 61 36.59/36.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.59/36.67 c 153430 144 2557 116268 45 5853 2288 2543 4273 35.90 36.59/36.67 c 153530 144 1287 58485 45 3238 2517 1273 4273 35.93 36.59/36.67 c 153780 144 1537 72009 46 3740 2769 1523 4275 35.96 36.59/36.67 c 154255 144 2012 94198 46 4690 3046 1998 4279 36.04 36.59/36.67 c 155068 144 2825 129657 45 6318 3351 2811 4285 36.19 36.59/36.67 c 156388 144 2432 109790 45 5529 3687 2418 4290 36.45 36.59/36.67 o 58 37.89/37.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.89/37.99 c 157432 144 3477 154725 44 7702 2288 3463 4293 36.67 37.89/37.99 c 157532 144 1287 55714 43 3241 2517 1273 4290 36.72 37.89/37.99 c 157782 144 1537 66250 43 3741 2769 1523 4291 36.76 37.89/37.99 c 158258 144 2013 86214 42 4696 3046 1999 4294 36.85 37.89/37.99 c 159071 144 2826 122824 43 6322 3351 2812 4297 37.02 37.89/37.99 c 160391 144 2407 107581 44 5482 3687 2393 4298 37.31 37.89/37.99 c 162474 144 2591 115892 44 5850 4056 2577 4300 37.78 37.89/37.99 o 56 37.99/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.01 c 163419 144 3537 157345 44 7824 2288 3523 4300 38.00 37.99/38.01 o 54 37.99/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.01 c 163440 144 1209 53126 43 3170 2288 1195 4299 38.02 37.99/38.01 o 52 37.99/38.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.02 c 163463 144 1233 54838 44 3296 2288 1219 4299 38.02 37.99/38.02 o 50 37.99/38.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.03 c 163523 144 1294 58216 44 3498 2288 1280 4299 38.03 37.99/38.03 o 48 37.99/38.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.04 c 163554 144 1326 60612 45 3642 2288 1312 4299 38.04 37.99/38.04 o 46 37.99/38.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.05 c 163579 144 1352 61587 45 3770 2288 1338 4300 38.04 37.99/38.05 o 44 49.80/49.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.80/49.84 c 163654 144 1428 66758 46 4010 2288 1414 4300 38.05 49.80/49.84 c 163754 144 1528 71176 46 4217 2517 1514 4301 38.07 49.80/49.84 c 164004 144 1778 80654 45 4716 2769 1764 4302 38.12 49.80/49.84 c 164479 144 2253 100102 44 5673 3046 2239 4305 38.20 49.80/49.84 c 165293 144 3067 135332 44 7303 3351 3053 4310 38.35 49.80/49.84 c 166613 144 2666 111759 41 6002 3687 2652 4316 38.60 49.80/49.84 c 168695 144 2856 126525 44 6380 4056 2842 4324 39.01 49.80/49.84 c 171918 144 4007 176940 44 8683 4462 3993 4336 39.65 49.80/49.84 c 176854 144 4394 182616 41 9466 4909 4380 4345 40.70 49.80/49.84 c 184360 144 4412 190231 43 9496 5400 4398 4344 42.44 49.80/49.84 c 195721 144 4795 218023 45 10258 5941 4781 4327 45.23 49.80/49.84 o 43 62.50/62.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.50/62.54 c 212180 144 3163 135205 42 7085 2288 3149 4256 49.84 62.50/62.54 c 212280 144 1287 53086 41 3247 2517 1273 4255 49.88 62.50/62.54 c 212530 144 1537 63802 41 3741 2769 1523 4256 49.93 62.50/62.54 c 213005 144 2012 84663 42 4697 3046 1998 4259 50.01 62.50/62.54 c 213818 144 2825 118617 41 6326 3351 2811 4263 50.15 62.50/62.54 c 215138 144 2422 101389 41 5508 3687 2408 4268 50.40 62.50/62.54 c 217219 144 2607 106986 41 5889 4056 2593 4274 50.82 62.50/62.54 c 220442 144 3761 153585 40 8191 4462 3747 4284 51.45 62.50/62.54 c 225378 144 4151 171949 41 8970 4909 4137 4294 52.48 62.50/62.54 c 232884 144 4159 178802 42 8990 5400 4145 4302 54.13 62.50/62.54 c 244246 144 4530 192603 42 9731 5941 4516 4305 56.73 62.50/62.54 c 261390 144 3617 156233 43 7902 6536 3603 4282 61.04 62.50/62.54 o 40 62.60/62.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.60/62.65 c 267456 144 6370 259620 40 13490 2288 6356 4275 62.55 62.60/62.65 o 38 62.60/62.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.60/62.65 c 267477 144 1209 48557 40 3166 2288 1195 4268 62.66 62.60/62.65 o 36 62.60/62.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.60/62.66 c 267482 144 1215 48979 40 3259 2288 1201 4268 62.66 62.60/62.66 o 34 62.60/62.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.60/62.66 c 267495 144 1229 49909 40 3372 2288 1215 4268 62.66 62.60/62.66 o 32 62.60/62.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.60/62.67 c 267508 144 1243 50874 40 3484 2288 1229 4268 62.67 62.60/62.67 o 30 228.72/228.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.72/228.78 c 267554 137 1290 53011 41 3651 2274 1276 4268 62.68 228.72/228.78 c 267655 135 1391 57532 41 3836 2502 1377 4269 62.70 228.72/228.78 c 267905 135 1641 69128 42 4338 2753 1627 4270 62.73 228.72/228.78 c 268380 135 2116 90721 42 5290 3029 2102 4273 62.80 228.72/228.78 c 269193 135 2929 128627 43 6910 3332 2915 4277 62.94 228.72/228.78 c 270513 133 2542 120153 47 5729 3666 2528 4281 63.19 228.72/228.78 c 272594 133 2757 131190 47 6150 4033 2743 4289 63.54 228.72/228.78 c 275817 132 3915 192508 49 8477 4437 3901 4293 64.24 228.72/228.78 c 280754 130 4320 214052 49 9290 4881 4306 4295 65.36 228.72/228.78 c 288262 130 4379 223063 50 9408 5370 4365 4289 67.20 228.72/228.78 c 299623 130 4818 248820 51 10287 5908 4804 4256 70.39 228.72/228.78 c 316768 130 3968 191540 48 8576 6499 3954 4215 75.14 228.72/228.78 c 342587 130 3431 173862 50 7511 7149 3417 4124 83.06 228.72/228.78 c 381419 130 6100 309907 50 12848 7864 6086 3977 95.89 228.72/228.78 c 439771 130 4754 244013 51 10152 8651 4740 3725 118.04 228.72/228.78 c 527403 130 5004 249478 49 10658 9517 4990 3472 151.90 228.72/228.78 c 658955 130 6932 354028 51 14520 10469 6918 3131 210.45 228.72/228.78 o 28 279.23/279.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 279.23/279.21 c 699984 130 5722 290660 50 12165 2260 5708 3059 228.81 279.23/279.21 c 700085 130 1288 64452 50 3221 2487 1274 3058 228.89 279.23/279.21 c 700335 130 1538 76842 49 3720 2736 1524 3059 228.94 279.23/279.21 c 700810 130 2013 100541 49 4660 3010 1999 3059 229.03 279.23/279.21 c 701623 130 2826 141573 50 6297 3312 2812 3061 229.18 279.23/279.21 c 702943 130 2447 121415 49 5535 3644 2433 3063 229.46 279.23/279.21 c 705024 130 2660 134965 50 5967 4009 2646 3066 229.90 279.23/279.21 c 708247 130 3832 192462 50 8299 4410 3818 3071 230.59 279.23/279.21 c 713184 130 4267 214098 50 9176 4852 4253 3078 231.70 279.23/279.21 c 720690 130 4377 218633 49 9395 5338 4363 3087 233.41 279.23/279.21 c 732051 130 4864 242222 49 10355 5872 4850 3098 236.25 279.23/279.21 c 749195 130 4133 209788 50 8905 6460 4119 3107 241.11 279.23/279.21 c 775014 130 3753 184924 49 8144 7107 3739 3122 248.17 279.23/279.21 c 813846 130 6611 338221 51 13858 7818 6597 3125 260.37 279.23/279.21 o 25 819.40/819.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 819.40/819.35 c 870676 130 4143 210892 50 8989 2260 4129 3117 279.24 819.40/819.35 c 870777 130 1288 64897 50 3214 2487 1274 3117 279.31 819.40/819.35 c 871028 130 1539 77446 50 3711 2736 1525 3118 279.35 819.40/819.35 c 871504 130 2015 99967 49 4657 3010 2001 3118 279.42 819.40/819.35 c 872317 130 2828 138881 49 6277 3312 2814 3120 279.56 819.40/819.35 c 873639 130 2445 118165 48 5532 3644 2431 3122 279.81 819.40/819.35 c 875720 130 2653 131297 49 5939 4009 2639 3125 280.18 819.40/819.35 c 878943 130 3821 192080 50 8265 4410 3807 3129 280.88 819.40/819.35 c 883880 130 4247 207567 48 9134 4852 4233 3133 282.06 819.40/819.35 c 891387 130 4341 217553 50 9325 5338 4327 3139 283.90 819.40/819.35 c 902748 130 4853 247971 51 10347 5872 4839 3147 286.80 819.40/819.35 c 919892 130 4125 205379 49 8887 6460 4111 3153 291.70 819.40/819.35 c 945712 130 3756 185814 49 8154 7107 3742 3162 299.04 819.40/819.35 c 984545 130 6663 328491 49 13960 7818 6649 3166 310.93 819.40/819.35 c 1042897 130 5731 291342 50 12102 8600 5717 3147 331.35 819.40/819.35 c 1130530 130 6510 324499 49 13662 9461 6496 3104 364.16 819.40/819.35 c 1262082 130 9186 468106 50 19013 10408 9172 3002 420.37 819.40/819.35 c 1459514 130 7190 366456 50 15022 11449 7176 2857 510.69 819.40/819.35 c 1755766 130 9301 477360 51 19242 12594 9287 2665 658.72 819.40/819.35 o 24 1797.92/1797.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1797.76 c 2017779 130 11347 582367 51 23406 2260 11333 2462 819.46 1797.92/1797.76 c 2017879 130 1287 63403 49 3219 2487 1273 2461 819.87 1797.92/1797.76 c 2018129 130 1537 75376 49 3712 2736 1523 2461 819.92 1797.92/1797.76 c 2018604 130 2012 98257 48 4667 3010 1998 2461 820.00 1797.92/1797.76 c 2019418 130 2826 138187 48 6293 3312 2812 2462 820.17 1797.92/1797.76 c 2020738 130 2442 115417 47 5520 3644 2428 2462 820.44 1797.92/1797.76 c 2022820 130 2653 127636 48 5949 4009 2639 2464 820.86 1797.92/1797.76 c 2026044 130 3824 185637 48 8280 4410 3810 2466 821.57 1797.92/1797.76 c 2030980 130 4258 211381 49 9154 4852 4244 2468 822.76 1797.92/1797.76 c 2038488 130 4358 213070 48 9349 5338 4344 2471 824.73 1797.92/1797.76 c 2049849 130 4854 241876 49 10348 5872 4840 2476 827.84 1797.92/1797.76 c 2066993 130 4102 202705 49 8838 6460 4088 2482 832.64 1797.92/1797.76 c 2092812 130 3740 179739 48 8114 7107 3726 2492 839.53 1797.92/1797.76 c 2131645 130 6606 320987 48 13847 7818 6592 2504 851.06 1797.92/1797.76 c 2189998 130 5701 282567 49 12031 8600 5687 2512 871.64 1797.92/1797.76 c 2277630 130 6472 327071 50 13579 9461 6458 2516 905.05 1797.92/1797.76 c 2409182 130 9148 447911 48 18940 10408 9134 2516 957.39 1797.92/1797.76 c 2606614 130 7301 348568 47 15247 11449 7287 2508 1039.14 1797.92/1797.76 c 2902866 130 9458 462040 48 19540 12594 9444 2449 1185.14 1797.92/1797.76 c 3347348 130 10250 485896 47 21145 13854 10236 2365 1414.99 1797.92/1797.76 c 4014175 130 8123 420932 51 16884 15240 8109 2248 1785.62 1797.92/1797.76 c Resources Exceeded 1797.92/1797.76 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.92/1797.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1797.77 c 287 4036762 40208 4097173 7706 383417 7692 2245 1798.00 1797.92/1797.77 c Objective: 24 1797.92/1797.77 s SATISFIABLE 1797.92/1797.77 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-1878617-1245177237/watcher-1878617-1245177237 -o /tmp/evaluation-result-1878617-1245177237/solver-1878617-1245177237 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878617-1245177237.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.05 1.02 1.00 3/64 31010 /proc/meminfo: memFree=1853888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18520 CPUtime=0 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185324200 18964480 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4630 241 191 640 0 3986 0 [startup+0.040601 s] /proc/loadavg: 1.05 1.02 1.00 3/64 31010 /proc/meminfo: memFree=1853888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=10964 CPUtime=0.03 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 327 0 0 0 3 0 0 0 18 0 1 0 185324200 11227136 308 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 2741 308 196 640 0 2097 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10964 [startup+0.101583 s] /proc/loadavg: 1.05 1.02 1.00 3/64 31010 /proc/meminfo: memFree=1853888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=11220 CPUtime=0.09 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 416 0 0 0 9 0 0 0 18 0 1 0 185324200 11489280 397 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 2805 397 196 640 0 2161 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11220 [startup+0.301525 s] /proc/loadavg: 1.05 1.02 1.00 3/64 31010 /proc/meminfo: memFree=1853888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=12248 CPUtime=0.29 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 657 0 0 0 29 0 0 0 19 0 1 0 185324200 12541952 638 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3062 638 196 640 0 2418 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12248 [startup+0.701411 s] /proc/loadavg: 1.05 1.02 1.00 3/64 31010 /proc/meminfo: memFree=1853888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=12764 CPUtime=0.69 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 779 0 0 0 69 0 0 0 22 0 1 0 185324200 13070336 760 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3191 760 196 640 0 2547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12764 [startup+1.50118 s] /proc/loadavg: 1.05 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1851512/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=12896 CPUtime=1.49 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 829 0 0 0 148 1 0 0 25 0 1 0 185324200 13205504 810 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3224 810 196 640 0 2580 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12896 [startup+3.10172 s] /proc/loadavg: 1.05 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1851128/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=13280 CPUtime=3.09 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 925 0 0 0 308 1 0 0 25 0 1 0 185324200 13598720 906 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3320 906 196 640 0 2676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13280 [startup+6.30181 s] /proc/loadavg: 1.05 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1850048/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=14180 CPUtime=6.29 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 1151 0 0 0 626 3 0 0 25 0 1 0 185324200 14520320 1132 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3545 1132 196 640 0 2901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14180 [startup+12.703 s] /proc/loadavg: 1.04 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1848448/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=15448 CPUtime=12.69 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 1469 0 0 0 1264 5 0 0 25 0 1 0 185324200 15818752 1450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3862 1450 196 640 0 3218 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15448 [startup+25.5013 s] /proc/loadavg: 1.03 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1848448/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=15400 CPUtime=25.5 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 1469 0 0 0 2539 11 0 0 25 0 1 0 185324200 15769600 1448 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3850 1448 196 640 0 3206 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 15400 [startup+51.102 s] /proc/loadavg: 1.02 1.02 1.00 2/65 31011 /proc/meminfo: memFree=1848448/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=15400 CPUtime=51.09 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 1469 0 0 0 5089 20 0 0 25 0 1 0 185324200 15769600 1448 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 3850 1448 196 640 0 3206 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15400 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 31011 /proc/meminfo: memFree=1846976/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=16904 CPUtime=102.3 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 1845 0 0 0 10195 35 0 0 25 0 1 0 185324200 17309696 1824 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4226 1824 196 640 0 3582 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 16904 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845888/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18024 CPUtime=162.31 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2125 0 0 0 16181 50 0 0 25 0 1 0 185324200 18456576 2104 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4506 2104 196 640 0 3862 0 Current children cumulated CPU time (s) 162.31 Current children cumulated vsize (KiB) 18024 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845120/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18792 CPUtime=222.32 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2309 0 0 0 22168 64 0 0 25 0 1 0 185324200 19243008 2288 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4698 2288 196 640 0 4054 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 18792 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845120/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18712 CPUtime=282.33 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2309 0 0 0 28151 82 0 0 25 0 1 0 185324200 19161088 2276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4678 2276 196 640 0 4034 0 Current children cumulated CPU time (s) 282.33 Current children cumulated vsize (KiB) 18712 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845120/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18688 CPUtime=342.34 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2309 0 0 0 34136 98 0 0 25 0 1 0 185324200 19136512 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4672 2270 196 640 0 4028 0 Current children cumulated CPU time (s) 342.34 Current children cumulated vsize (KiB) 18688 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845120/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18684 CPUtime=402.35 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2309 0 0 0 40122 113 0 0 25 0 1 0 185324200 19132416 2269 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4671 2269 196 640 0 4027 0 Current children cumulated CPU time (s) 402.35 Current children cumulated vsize (KiB) 18684 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1845056/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=18864 CPUtime=462.35 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2333 0 0 0 46108 127 0 0 25 0 1 0 185324200 19316736 2293 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4716 2293 196 640 0 4072 0 Current children cumulated CPU time (s) 462.35 Current children cumulated vsize (KiB) 18864 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1844288/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=19580 CPUtime=522.35 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2513 0 0 0 52096 139 0 0 25 0 1 0 185324200 20049920 2473 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4895 2473 196 640 0 4251 0 Current children cumulated CPU time (s) 522.35 Current children cumulated vsize (KiB) 19580 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1844224/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=19580 CPUtime=582.37 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2529 0 0 0 58087 150 0 0 25 0 1 0 185324200 20049920 2489 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4895 2489 196 640 0 4251 0 Current children cumulated CPU time (s) 582.37 Current children cumulated vsize (KiB) 19580 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31011 /proc/meminfo: memFree=1844224/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=19580 CPUtime=642.38 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2529 0 0 0 64075 163 0 0 25 0 1 0 185324200 20049920 2489 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 4895 2489 196 640 0 4251 0 Current children cumulated CPU time (s) 642.38 Current children cumulated vsize (KiB) 19580 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1843072/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1062.43 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 105987 256 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1062.43 Current children cumulated vsize (KiB) 20372 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1843072/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1122.44 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 111976 268 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1122.44 Current children cumulated vsize (KiB) 20372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1843072/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1182.45 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 117964 281 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1182.45 Current children cumulated vsize (KiB) 20372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1842944/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1242.45 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 123952 293 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1242.45 Current children cumulated vsize (KiB) 20372 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1842944/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1302.47 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 129940 307 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1302.47 Current children cumulated vsize (KiB) 20372 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1842944/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20372 CPUtime=1362.47 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2770 0 0 0 135929 318 0 0 25 0 1 0 185324200 20860928 2691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5093 2691 196 640 0 4449 0 Current children cumulated CPU time (s) 1362.47 Current children cumulated vsize (KiB) 20372 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1842496/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=20976 CPUtime=1422.48 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 2904 0 0 0 141918 330 0 0 25 0 1 0 185324200 21479424 2825 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5244 2825 196 640 0 4600 0 Current children cumulated CPU time (s) 1422.48 Current children cumulated vsize (KiB) 20976 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1841920/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21540 CPUtime=1482.49 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3048 0 0 0 147906 343 0 0 25 0 1 0 185324200 22056960 2969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5385 2969 196 640 0 4741 0 Current children cumulated CPU time (s) 1482.49 Current children cumulated vsize (KiB) 21540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1841920/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21540 CPUtime=1542.5 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3048 0 0 0 153895 355 0 0 25 0 1 0 185324200 22056960 2969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5385 2969 196 640 0 4741 0 Current children cumulated CPU time (s) 1542.5 Current children cumulated vsize (KiB) 21540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31013 /proc/meminfo: memFree=1841920/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21536 CPUtime=1602.5 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3048 0 0 0 159884 366 0 0 25 0 1 0 185324200 22052864 2969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5384 2969 196 640 0 4740 0 Current children cumulated CPU time (s) 1602.5 Current children cumulated vsize (KiB) 21536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1841720/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21532 CPUtime=1662.51 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3055 0 0 0 165875 376 0 0 25 0 1 0 185324200 22048768 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5383 2976 196 640 0 4739 0 Current children cumulated CPU time (s) 1662.51 Current children cumulated vsize (KiB) 21532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1841720/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21532 CPUtime=1722.51 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3055 0 0 0 171862 389 0 0 25 0 1 0 185324200 22048768 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5383 2976 196 640 0 4739 0 Current children cumulated CPU time (s) 1722.51 Current children cumulated vsize (KiB) 21532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1841720/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21532 CPUtime=1782.52 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3055 0 0 0 177850 402 0 0 25 0 1 0 185324200 22048768 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5383 2976 196 640 0 4739 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 21532 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1841720/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=21532 CPUtime=1785.72 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3055 0 0 0 178170 402 0 0 25 0 1 0 185324200 22048768 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136502029 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5383 2976 196 640 0 4739 0 Current children cumulated CPU time (s) 1785.72 Current children cumulated vsize (KiB) 21532 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1840760/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=22532 CPUtime=1792.12 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3292 0 0 0 178809 403 0 0 25 0 1 0 185324200 23072768 3213 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5633 3213 196 640 0 4989 0 Current children cumulated CPU time (s) 1792.12 Current children cumulated vsize (KiB) 22532 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1840760/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=22528 CPUtime=1795.33 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3292 0 0 0 179129 404 0 0 25 0 1 0 185324200 23068672 3213 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5632 3213 196 640 0 4988 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (KiB) 22528 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1840760/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=22528 CPUtime=1796.93 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3292 0 0 0 179289 404 0 0 25 0 1 0 185324200 23068672 3213 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5632 3213 196 640 0 4988 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 22528 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1840760/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=22528 CPUtime=1797.72 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3292 0 0 0 179368 404 0 0 25 0 1 0 185324200 23068672 3213 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5632 3213 196 640 0 4988 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 22528 [startup+1797.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31019 /proc/meminfo: memFree=1840760/2055920 swapFree=4191900/4192956 [pid=31010] ppid=31008 vsize=22528 CPUtime=1797.92 /proc/31010/stat : 31010 (bsolo) R 31008 31010 30067 0 -1 4194304 3292 0 0 0 179388 404 0 0 25 0 1 0 185324200 23068672 3213 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31010/statm: 5632 3213 196 640 0 4988 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 22528 Child status: 0 Real time (s): 1797.77 CPU time (s): 1798 CPU user time (s): 1793.96 CPU system time (s): 4.04439 CPU usage (%): 100.013 Max. virtual memory (cumulated for all children) (KiB): 22532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 4.04439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3294 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= 2305 runsolver used 1.23781 second user time and 4.01239 second system time The end
Begin job on node16 at 2009-06-16 20:33:57 IDJOB=1878617 IDBENCH=2921 IDSOLVER=700 FILE ID=node16/1878617-1245177237 PBS_JOBID= 9363891 Free space on /tmp= 66280 MiB SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878617-1245177237/watcher-1878617-1245177237 -o /tmp/evaluation-result-1878617-1245177237/solver-1878617-1245177237 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878617-1245177237.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=241646374 node16.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.214 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.214 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: 1854304 kB Buffers: 34868 kB Cached: 90604 kB SwapCached: 260 kB Active: 42712 kB Inactive: 95560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854304 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21276 kB Slab: 49348 kB Committed_AS: 158568 kB PageTables: 1440 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-1878617-1245177237.opb Free space on /tmp at the end= 66276 MiB End job on node16 at 2009-06-16 21:03:55