Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 20480 | 1800 | 1800.75 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb |
MD5SUM | e15fa473b46d7e2b0dca2d01a2541ab9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20480 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20480 |
Optimality of the best value was proved | NO |
Number of variables | 230 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354455-1176709949/instance-354455-1176709949.opb 0.00/0.00 c File size is 7844 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Highest Coefficient sum: 6.44245e+09 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 230 Constr: 12 0/0/12 Lit: 960 Watch. Lit: 492 0.00/0.00 c Obj. Vars: 180 (78.2609 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 176 12 960 80 552 1920 0 0 0.01 0.00/0.00 o 7460864 0.005 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 176 13 1086 83 773 2172 1 0 0.01 0.00/0.00 o 7163904 0.006 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 1 176 15 1292 86 877 2172 3 166 0.01 0.00/0.01 o 3329024 0.007 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 1 176 16 1418 88 1010 2172 4 142 0.01 0.00/0.02 c 102 176 117 6412 54 1244 2390 105 6000 0.02 0.00/0.02 o 3224576 0.026 0.05/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.05 c 187 176 203 10841 53 1424 2172 191 7192 0.03 0.05/0.05 c 289 176 305 15465 50 1641 2390 293 8257 0.04 0.05/0.05 o 3098624 0.055 0.05/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.06 c 482 176 499 24388 48 2145 2172 487 8763 0.06 0.05/0.06 o 2979840 0.059 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 515 176 533 25844 48 2277 2172 521 8728 0.06 0.05/0.07 c 615 176 633 30399 48 2555 2390 621 8424 0.07 0.05/0.07 o 2802688 0.075 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 621 176 640 30757 48 2621 2172 628 8280 0.07 0.05/0.09 o 2659328 0.089 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 684 176 704 34114 48 2847 2172 692 7685 0.09 0.05/0.09 o 2349056 0.092 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 701 176 722 34942 48 2979 2172 710 7619 0.09 0.09/0.11 c 801 176 822 39155 47 3286 2390 810 7701 0.10 0.09/0.11 o 2222080 0.106 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 815 176 837 39868 47 3318 2172 825 7616 0.11 0.09/0.16 c 915 176 937 44572 47 3594 2390 925 7439 0.12 0.09/0.16 o 1947648 0.164 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 1155 176 1178 55947 47 4152 2172 1166 7042 0.16 0.19/0.26 c 1255 176 1278 60349 47 4372 2390 1266 6972 0.18 0.19/0.26 c 1505 176 1528 72647 47 4818 2630 1516 6659 0.23 0.19/0.26 o 1533952 0.257 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1675 176 1699 80376 47 5152 2172 1687 6517 0.26 0.29/0.32 c 1775 176 1799 84446 46 5477 2390 1787 6454 0.28 0.29/0.32 o 1434624 0.324 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 2014 176 2039 94268 46 5943 2172 2027 6216 0.32 0.29/0.33 o 1369088 0.336 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 2061 176 2087 96421 46 6158 2172 2075 6133 0.34 0.29/0.34 o 1180672 0.338 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 2068 176 2095 96844 46 6291 2172 2083 6118 0.34 0.29/0.37 c 2170 176 2197 101263 46 6566 2390 2185 6011 0.36 0.29/0.37 o 1163264 0.367 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 2189 176 2217 102171 46 6604 2172 2205 5964 0.37 0.29/0.38 o 902144 0.381 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2240 176 1099 48748 44 3038 2172 1087 5818 0.39 0.29/0.39 o 896000 0.392 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 2266 174 1126 49789 44 3228 2168 1114 5780 0.39 0.39/0.44 c 2366 173 1226 53669 43 3435 2385 1214 5784 0.41 0.39/0.44 o 807936 0.439 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 2550 173 1411 61651 43 3926 2166 1399 5808 0.44 0.39/0.49 c 2650 171 1511 65334 43 4134 2383 1499 5798 0.46 0.39/0.49 o 786432 0.488 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 2849 171 1711 72695 42 4660 2162 1699 5838 0.49 0.39/0.49 o 546816 0.493 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 2865 171 1728 73455 42 4809 2162 1716 5811 0.49 0.49/0.52 c 2965 171 1828 77459 42 5008 2379 1816 5791 0.51 0.49/0.52 o 521216 0.522 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 3003 171 1867 79296 42 5210 2162 1855 5752 0.52 0.49/0.54 o 375808 0.542 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 3086 168 1951 82806 42 5518 2156 1939 5693 0.54 0.49/0.55 o 332800 0.549 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3107 168 1973 83791 42 5677 2156 1961 5659 0.55 0.59/0.63 c 3209 168 2075 88033 42 5884 2372 2063 5561 0.58 0.59/0.63 c 3459 167 2325 98755 42 6392 2610 2313 5543 0.62 0.59/0.63 o 292864 0.631 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 3484 167 2351 99815 42 6557 2154 2339 5521 0.63 0.59/0.69 c 3584 167 1198 49331 41 3294 2370 1186 5496 0.65 0.59/0.69 o 271360 0.688 0.68/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.72 c 3784 167 1399 57274 40 3811 2154 1387 5492 0.69 0.68/0.72 c 3884 167 1499 61345 40 4012 2370 1487 5485 0.71 0.68/0.72 o 252928 0.72 0.68/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.74 c 3943 167 1559 63393 40 4246 2154 1547 5476 0.72 0.68/0.74 c 4043 165 1659 67614 40 4452 2370 1647 5463 0.74 0.68/0.74 o 251904 0.743 0.68/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.75 c 4049 165 1666 67957 40 4576 2150 1654 5449 0.74 0.68/0.75 o 209920 0.751 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 4085 164 1703 69533 40 4762 2148 1691 5439 0.75 1.09/1.11 c 4186 162 1804 73361 40 4984 2363 1792 5436 0.77 1.09/1.11 c 4436 162 2054 83356 40 5479 2600 2042 5409 0.82 1.09/1.11 c 4911 162 2529 102769 40 6432 2861 2517 5355 0.92 1.09/1.11 c 5724 159 1804 71452 39 4524 3148 1792 5300 1.08 1.09/1.11 o 205824 1.115 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 5907 159 1988 78283 39 5000 2138 1976 5297 1.11 1.09/1.13 o 182272 1.127 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 5964 159 2046 80643 39 5222 2138 2034 5291 1.13 1.09/1.15 o 131072 1.146 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 6043 159 2126 84020 39 5489 2138 2114 5268 1.15 1.09/1.18 c 6144 154 1099 41693 37 3111 2352 1087 5237 1.17 1.09/1.18 o 119808 1.178 1.58/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.61 c 6166 153 1122 42372 37 3275 2126 1110 5234 1.18 1.58/1.61 c 6266 153 1222 45613 37 3472 2339 1210 5239 1.20 1.58/1.61 c 6516 152 1472 53746 36 3972 2573 1460 5280 1.23 1.58/1.61 c 6991 152 1947 68873 35 4921 2831 1935 5332 1.31 1.58/1.61 c 7804 152 2760 95248 34 6545 3115 2748 5348 1.46 1.58/1.61 o 58368 1.607 6.59/6.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.65 c 8527 152 1832 59224 32 4685 2124 1820 5306 1.61 6.59/6.65 c 8627 147 1932 62607 32 4883 2337 1920 5289 1.63 6.59/6.65 c 8877 146 2182 71994 32 5380 2571 2170 5306 1.67 6.59/6.65 c 9352 146 2657 90328 33 6333 2829 2645 5313 1.76 6.59/6.65 c 10166 146 1963 72049 36 4841 3112 1951 5278 1.93 6.59/6.65 c 11486 146 1639 61901 37 4195 3424 1627 5197 2.21 6.59/6.65 c 13567 146 1919 72862 37 4755 3767 1907 5090 2.67 6.59/6.65 c 16791 146 3170 122660 38 7255 4144 3158 5060 3.32 6.59/6.65 c 21727 146 3768 143082 37 8452 4559 3756 4902 4.43 6.59/6.65 c 29233 146 4168 161350 38 9253 5015 4156 4694 6.23 6.59/6.65 o 50176 6.646 13.09/13.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.18 c 30564 146 2895 112514 38 6796 2112 2883 4598 6.65 13.09/13.18 c 30664 146 1199 45147 37 3308 2324 1187 4591 6.68 13.09/13.18 c 30914 146 1449 54227 37 3809 2557 1437 4597 6.72 13.09/13.18 c 31389 146 1924 72250 37 4758 2813 1912 4607 6.81 13.09/13.18 c 32202 146 2737 102634 37 6385 3095 2725 4610 6.98 13.09/13.18 c 33522 146 2419 89652 37 5750 3405 2407 4626 7.25 13.09/13.18 c 35603 146 2712 103227 38 6334 3746 2700 4658 7.64 13.09/13.18 c 38826 146 2017 77455 38 4943 4121 2005 4640 8.37 13.09/13.18 c 43762 146 2655 103328 38 6224 4534 2643 4631 9.45 13.09/13.18 c 51268 146 3089 118163 38 7086 4988 3077 4589 11.17 13.09/13.18 o 36864 13.175 74.46/74.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.46/74.50 c 59288 146 3355 130447 38 7707 2112 3343 4499 13.18 74.46/74.50 c 59388 146 1199 45990 38 3309 2324 1187 4496 13.21 74.46/74.50 c 59638 146 1449 55078 38 3807 2557 1437 4502 13.24 74.46/74.50 c 60113 146 1924 72168 37 4755 2813 1912 4510 13.33 74.46/74.50 c 60926 146 2737 101667 37 6383 3095 2725 4518 13.48 74.46/74.50 c 62246 146 2423 85649 35 5757 3405 2411 4531 13.74 74.46/74.50 c 64327 146 2714 97505 35 6337 3746 2702 4545 14.15 74.46/74.50 c 67550 146 2013 71275 35 4937 4121 2001 4553 14.83 74.46/74.50 c 72486 146 2644 95544 36 6197 4534 2632 4570 15.86 74.46/74.50 c 79992 146 3071 112932 36 7051 4988 3059 4556 17.56 74.46/74.50 c 91353 146 4105 150958 36 9119 5487 4093 4509 20.26 74.46/74.50 c 108498 146 4276 161614 37 9463 6036 4264 4442 24.42 74.46/74.50 c 134317 146 5234 199499 38 11379 6640 5222 4282 31.36 74.46/74.50 c 173149 146 6565 245310 37 14041 7305 6553 4061 42.63 74.46/74.50 c 231502 146 5050 194215 38 11012 8036 5038 3810 60.76 74.46/74.50 o 25600 74.478 113.05/113.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.05/113.12 c 272278 146 4745 175917 37 10493 2112 4733 3655 74.48 113.05/113.12 c 272378 141 1199 42466 35 3302 2324 1187 3653 74.55 113.05/113.12 c 272629 141 1450 51679 35 3805 2557 1438 3654 74.60 113.05/113.12 c 273104 140 1925 69945 36 4754 2813 1913 3656 74.69 113.05/113.12 c 273917 140 2738 101507 37 6377 3095 2726 3659 74.86 113.05/113.12 c 275237 140 2419 92783 38 5742 3405 2407 3662 75.15 113.05/113.12 c 277318 140 2710 103601 38 6321 3746 2698 3668 75.60 113.05/113.12 c 280541 140 2009 77419 38 4922 4121 1997 3675 76.33 113.05/113.12 c 285479 140 2657 105604 39 6215 4534 2645 3685 77.46 113.05/113.12 c 292986 140 3082 120965 39 7068 4988 3070 3696 79.27 113.05/113.12 c 304347 140 4109 161487 39 9118 5487 4097 3706 82.12 113.05/113.12 c 321491 140 4282 168763 39 9466 6036 4270 3710 86.64 113.05/113.12 c 347310 140 5257 210136 39 11415 6640 5245 3706 93.71 113.05/113.12 c 386142 140 6591 259283 39 14085 7305 6579 3669 105.22 113.05/113.12 o 20480 113.083 1799.95/1800.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.74 c 411645 140 5922 234614 39 12829 2100 5910 3640 113.08 1799.95/1800.74 c 411745 140 1199 47457 39 3293 2311 1187 3638 113.17 1799.95/1800.74 c 411996 140 1450 57047 39 3797 2543 1438 3639 113.20 1799.95/1800.74 c 412471 140 1925 75168 39 4747 2798 1913 3641 113.28 1799.95/1800.74 c 413284 140 2738 105462 38 6373 3078 2726 3643 113.42 1799.95/1800.74 c 414604 140 2439 90909 37 5775 3386 2427 3647 113.66 1799.95/1800.74 c 416685 140 2735 103997 38 6366 3725 2723 3652 114.07 1799.95/1800.74 c 419909 140 2063 78679 38 5024 4098 2051 3658 114.77 1799.95/1800.74 c 424845 140 2731 105054 38 6358 4508 2719 3669 115.79 1799.95/1800.74 c 432352 140 3205 123512 38 7306 4959 3193 3680 117.47 1799.95/1800.74 c 443713 140 4289 164526 38 9475 5455 4277 3690 120.24 1799.95/1800.74 c 460857 140 4545 177426 39 9982 6001 4533 3692 124.81 1799.95/1800.74 c 486676 140 5643 214928 38 12182 6602 5631 3683 132.12 1799.95/1800.74 c 525509 140 3814 143154 37 8523 7263 3802 3664 143.40 1799.95/1800.74 c 583861 140 6384 239416 37 13663 7990 6372 3610 161.69 1799.95/1800.74 c 671493 140 4195 160275 38 9285 8790 4183 3470 193.49 1799.95/1800.74 c 803046 140 5721 223541 39 12340 9670 5709 3344 240.10 1799.95/1800.74 c 1000478 140 6239 241169 38 13374 10638 6227 3165 316.01 1799.95/1800.74 c 1296731 140 10513 417777 39 21923 11702 10501 2937 441.42 1799.95/1800.74 c 1741214 140 9728 369081 37 20352 12873 9716 2598 670.15 1799.95/1800.74 c 2408041 140 11197 439818 39 23289 14161 11185 2304 1044.86 1799.95/1800.74 c 3408387 140 8205 326388 39 17306 15578 8193 2045 1666.05 1799.95/1800.74 c Resources Exceeded 1799.95/1800.74 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 1799.95/1800.74 v -x30 -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 1799.95/1800.74 v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1799.95/1800.74 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1799.95/1800.74 v -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1799.95/1800.74 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1799.95/1800.74 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 1799.95/1800.74 v -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 1799.95/1800.74 v -x69 x70 -x71 -x72 -x73 -x74 x75 x76 x77 x108 x109 -x110 x111 x112 x113 x114 x115 x116 -x117 -x118 -x119 x120 -x121 -x122 x123 1799.95/1800.74 v x124 x125 -x126 x127 -x158 -x159 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 -x170 1799.95/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.74 c 130 3607987 2296 3615029 10887 412639 10875 2004 1800.00 1799.95/1800.74 c Objective: 20480 1799.95/1800.74 s SATISFIABLE 1799.95/1800.74 c Total time: 1800 s
OK 20480
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-354455-1176709949 -o ROOT/results/node20/solver-354455-1176709949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354455-1176709949/instance-354455-1176709949.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 1.01 1.00 3/77 2616 /proc/meminfo: memFree=1824568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=11744 CPUtime=0 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 118912270 12025856 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2936 334 281 324 0 2003 0 [startup+0.0570439 s] /proc/loadavg: 0.97 1.01 1.00 3/77 2616 /proc/meminfo: memFree=1824568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=4316 CPUtime=0.05 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 501 0 0 0 5 0 0 0 18 0 1 0 118912270 4419584 467 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1079 468 312 324 0 148 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4316 [startup+0.101052 s] /proc/loadavg: 0.97 1.01 1.00 3/77 2616 /proc/meminfo: memFree=1824568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=4576 CPUtime=0.09 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 554 0 0 0 9 0 0 0 18 0 1 0 118912270 4685824 520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1144 520 312 324 0 213 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4576 [startup+0.301092 s] /proc/loadavg: 0.97 1.01 1.00 3/77 2616 /proc/meminfo: memFree=1824568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=5352 CPUtime=0.29 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 753 0 0 0 29 0 0 0 19 0 1 0 118912270 5480448 719 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1338 719 312 324 0 407 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5352 [startup+0.701172 s] /proc/loadavg: 0.97 1.01 1.00 3/77 2616 /proc/meminfo: memFree=1824568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=5620 CPUtime=0.68 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 820 0 0 0 68 0 0 0 23 0 1 0 118912270 5754880 786 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1405 786 312 324 0 474 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5620 [startup+1.50133 s] /proc/loadavg: 0.97 1.01 1.00 2/78 2617 /proc/meminfo: memFree=1822320/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=5876 CPUtime=1.49 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 890 0 0 0 148 1 0 0 25 0 1 0 118912270 6017024 856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1469 856 312 324 0 538 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5876 [startup+3.10265 s] /proc/loadavg: 0.97 1.01 1.00 2/78 2617 /proc/meminfo: memFree=1822064/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=6396 CPUtime=3.09 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1007 0 0 0 307 2 0 0 25 0 1 0 118912270 6549504 973 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1599 973 312 324 0 668 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6396 [startup+6.3013 s] /proc/loadavg: 0.97 1.01 1.00 2/78 2617 /proc/meminfo: memFree=1821104/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=6892 CPUtime=6.29 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1139 0 0 0 626 3 0 0 25 0 1 0 118912270 7057408 1105 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1723 1105 312 324 0 792 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6892 [startup+12.7016 s] /proc/loadavg: 0.97 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1820848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=7152 CPUtime=12.69 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1204 0 0 0 1264 5 0 0 25 0 1 0 118912270 7323648 1170 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1788 1170 312 324 0 857 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7152 [startup+25.5011 s] /proc/loadavg: 0.98 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1820336/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=7672 CPUtime=25.48 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1343 0 0 0 2540 8 0 0 25 0 1 0 118912270 7856128 1309 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 1918 1309 312 324 0 987 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7672 [startup+51.1013 s] /proc/loadavg: 0.98 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1819568/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=8452 CPUtime=51.07 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1531 0 0 0 5092 15 0 0 25 0 1 0 118912270 8654848 1497 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2113 1497 312 324 0 1182 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 8452 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1819056/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=8948 CPUtime=102.26 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1653 0 0 0 10197 29 0 0 25 0 1 0 118912270 9162752 1619 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2237 1619 312 324 0 1306 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 8948 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1818992/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=8948 CPUtime=162.23 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1653 0 0 0 16178 45 0 0 25 0 1 0 118912270 9162752 1619 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2237 1619 312 324 0 1306 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 8948 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1818352/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=9552 CPUtime=222.21 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1803 0 0 0 22162 59 0 0 25 0 1 0 118912270 9781248 1769 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2388 1769 312 324 0 1457 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 9552 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1817776/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=10072 CPUtime=282.19 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 1939 0 0 0 28148 71 0 0 25 0 1 0 118912270 10313728 1905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2518 1905 312 324 0 1587 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 10072 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1817136/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=10708 CPUtime=342.16 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2086 0 0 0 34134 82 0 0 25 0 1 0 118912270 10964992 2052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2677 2052 312 324 0 1746 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 10708 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1817136/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=10700 CPUtime=402.14 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2086 0 0 0 40119 95 0 0 25 0 1 0 118912270 10956800 2052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2675 2052 312 324 0 1744 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 10700 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2617 /proc/meminfo: memFree=1816368/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=11428 CPUtime=462.13 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2265 0 0 0 46106 107 0 0 25 0 1 0 118912270 11702272 2231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2857 2231 312 324 0 1926 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 11428 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/84 2691 /proc/meminfo: memFree=1814848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=11416 CPUtime=522.08 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2265 0 0 0 52087 121 0 0 25 0 1 0 118912270 11689984 2231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2854 2231 312 324 0 1923 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 11416 [startup+582.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1815920/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=11408 CPUtime=581.97 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2265 0 0 0 58065 132 0 0 25 0 1 0 118912270 11681792 2231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2852 2231 312 324 0 1921 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 11408 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1815920/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=11400 CPUtime=641.96 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2265 0 0 0 64054 142 0 0 25 0 1 0 118912270 11673600 2231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 2850 2231 312 324 0 1919 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 11400 ################ # More data... # ################ /proc/meminfo: memFree=1814384/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12884 CPUtime=1061.8 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2638 0 0 0 105967 213 0 0 25 0 1 0 118912270 13193216 2604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3221 2604 312 324 0 2290 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 12884 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1814256/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12972 CPUtime=1121.79 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2658 0 0 0 111954 225 0 0 25 0 1 0 118912270 13283328 2624 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3243 2624 312 324 0 2312 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 12972 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1814192/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12972 CPUtime=1181.77 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2659 0 0 0 117940 237 0 0 25 0 1 0 118912270 13283328 2625 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3243 2625 312 324 0 2312 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 12972 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1814128/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12972 CPUtime=1241.74 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2659 0 0 0 123927 247 0 0 25 0 1 0 118912270 13283328 2625 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3243 2625 312 324 0 2312 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 12972 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1814064/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13048 CPUtime=1301.73 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 129917 256 0 0 25 0 1 0 118912270 13361152 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3262 2637 312 324 0 2331 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 13048 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1814000/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12988 CPUtime=1361.7 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 135904 266 0 0 25 0 1 0 118912270 13299712 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3247 2637 312 324 0 2316 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 12988 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813936/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12984 CPUtime=1421.69 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 141892 277 0 0 25 0 1 0 118912270 13295616 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3246 2637 312 324 0 2315 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 12984 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813872/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12976 CPUtime=1481.66 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 147879 287 0 0 25 0 1 0 118912270 13287424 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3244 2637 312 324 0 2313 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 12976 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813872/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12976 CPUtime=1541.64 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 153865 299 0 0 25 0 1 0 118912270 13287424 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3244 2637 312 324 0 2313 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 12976 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813808/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12976 CPUtime=1601.62 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 159853 309 0 0 25 0 1 0 118912270 13287424 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3244 2637 312 324 0 2313 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 12976 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813744/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=12976 CPUtime=1661.6 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2671 0 0 0 165841 319 0 0 25 0 1 0 118912270 13287424 2637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3244 2637 312 324 0 2313 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 12976 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1813040/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13628 CPUtime=1721.58 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2833 0 0 0 171828 330 0 0 25 0 1 0 118912270 13955072 2799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3407 2799 312 324 0 2476 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 13628 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812976/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13628 CPUtime=1781.55 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2833 0 0 0 177815 340 0 0 25 0 1 0 118912270 13955072 2799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3407 2799 312 324 0 2476 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 13628 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812912/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1791.15 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2843 0 0 0 178774 341 0 0 25 0 1 0 118912270 14057472 2809 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2809 312 324 0 2501 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 13728 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1794.35 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2852 0 0 0 179093 342 0 0 25 0 1 0 118912270 14057472 2818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2818 312 324 0 2501 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 13728 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1797.55 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2852 0 0 0 179412 343 0 0 25 0 1 0 118912270 14057472 2818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2818 312 324 0 2501 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 13728 [startup+1799.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1799.15 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2852 0 0 0 179571 344 0 0 25 0 1 0 118912270 14057472 2818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2818 312 324 0 2501 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (KiB) 13728 [startup+1800.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1799.55 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2852 0 0 0 179611 344 0 0 25 0 1 0 118912270 14057472 2818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2818 312 324 0 2501 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 13728 [startup+1800.71 s] /proc/loadavg: 0.99 1.00 1.00 2/78 2815 /proc/meminfo: memFree=1812848/2055920 swapFree=4156664/4192956 [pid=2616] ppid=2614 vsize=13728 CPUtime=1799.95 /proc/2616/stat : 2616 (bsolo3.0.16) R 2614 2616 2216 0 -1 4194304 2852 0 0 0 179651 344 0 0 25 0 1 0 118912270 14057472 2818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2616/statm: 3432 2818 312 324 0 2501 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 13728 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800 CPU user time (s): 1796.56 CPU system time (s): 3.44548 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (KiB): 13788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.56 system time used= 3.44548 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2853 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= 12 involuntary context switches= 36872 runsolver used 2.13667 second user time and 4.20236 second system time The end
Begin job on node20 on Mon Apr 16 07:52:29 UTC 2007 IDJOB= 354455 IDBENCH= 2532 IDSOLVER= 163 FILE ID= node20/354455-1176709949 PBS_JOBID= 4560077 Free space on /tmp= 66537 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354455-1176709949/instance-354455-1176709949.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-354455-1176709949 -o ROOT/results/node20/solver-354455-1176709949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354455-1176709949/instance-354455-1176709949.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9 RANDOM SEED= 798098109 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 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.265 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: 1824976 kB Buffers: 25776 kB Cached: 136952 kB SwapCached: 15500 kB Active: 73452 kB Inactive: 113716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824976 kB SwapTotal: 4192956 kB SwapFree: 4156664 kB Dirty: 4412 kB Writeback: 0 kB Mapped: 30692 kB Slab: 29404 kB Committed_AS: 1762996 kB PageTables: 1696 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66537 MiB End job on node20 on Mon Apr 16 08:22:30 UTC 2007