Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 20480 | 1800.03 | 1800.61 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433372-1177958541/instance-433372-1177958541.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 Highest Coefficient sum: 6.44245e+09 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 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.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 176 12 960 80 552 1920 0 0 0.00 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.005 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 1 176 15 1292 86 877 2172 3 200 0.01 0.00/0.00 o 3329024 0.006 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 166 0.01 0.00/0.02 c 102 176 117 6412 54 1244 2390 105 6375 0.02 0.00/0.02 o 3224576 0.024 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 187 176 203 10841 53 1424 2172 191 7480 0.03 0.02/0.05 c 289 176 305 15465 50 1641 2390 293 8500 0.03 0.02/0.05 o 3098624 0.054 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 482 176 499 24388 48 2145 2172 487 8925 0.05 0.02/0.06 o 2979840 0.058 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 515 176 533 25844 48 2277 2172 521 8879 0.06 0.02/0.07 c 615 176 633 30399 48 2555 2390 621 8541 0.07 0.02/0.07 o 2802688 0.073 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 621 176 640 30757 48 2621 2172 628 8506 0.07 0.02/0.09 o 2659328 0.087 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 684 176 704 34114 48 2847 2172 692 7862 0.09 0.02/0.09 o 2349056 0.09 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 701 176 722 34942 48 2979 2172 710 7788 0.09 0.09/0.10 c 801 176 822 39155 47 3286 2390 810 7852 0.10 0.09/0.10 o 2222080 0.105 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 7761 0.10 0.09/0.16 c 915 176 937 44572 47 3594 2390 925 7561 0.12 0.09/0.16 o 1947648 0.163 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 1155 176 1178 55947 47 4152 2172 1166 7085 0.16 0.19/0.25 c 1255 176 1278 60349 47 4372 2390 1266 7050 0.18 0.19/0.25 c 1505 176 1528 72647 47 4818 2630 1516 6718 0.22 0.19/0.25 o 1533952 0.255 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 6568 0.26 0.29/0.32 c 1775 176 1799 84446 46 5477 2390 1787 6525 0.27 0.29/0.32 o 1434624 0.322 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 6254 0.32 0.29/0.33 o 1369088 0.333 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 2061 176 2087 96421 46 6158 2172 2075 6189 0.33 0.29/0.33 o 1180672 0.336 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 2068 176 2095 96844 46 6291 2172 2083 6154 0.34 0.29/0.36 c 2170 176 2197 101263 46 6566 2390 2185 6044 0.36 0.29/0.36 o 1163264 0.365 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 5997 0.36 0.29/0.38 o 902144 0.379 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 5848 0.38 0.29/0.39 o 896000 0.389 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 2266 174 1126 49789 44 3228 2168 1114 5825 0.39 0.39/0.43 c 2366 173 1226 53669 43 3435 2385 1214 5813 0.41 0.39/0.43 o 807936 0.436 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 2550 173 1411 61651 43 3926 2166 1399 5848 0.44 0.39/0.48 c 2650 171 1511 65334 43 4134 2383 1499 5837 0.45 0.39/0.48 o 786432 0.485 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 5874 0.48 0.39/0.49 o 546816 0.49 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 5846 0.49 0.49/0.52 c 2965 171 1828 77459 42 5008 2379 1816 5813 0.51 0.49/0.52 o 521216 0.519 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 5786 0.52 0.49/0.54 o 375808 0.539 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 5725 0.54 0.49/0.55 o 332800 0.546 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 5690 0.55 0.59/0.63 c 3209 168 2075 88033 42 5884 2372 2063 5580 0.57 0.59/0.63 c 3459 167 2325 98755 42 6392 2610 2313 5561 0.62 0.59/0.63 o 292864 0.63 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 5530 0.63 0.59/0.69 c 3584 167 1198 49331 41 3294 2370 1186 5505 0.65 0.59/0.69 o 271360 0.688 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 3784 167 1399 57274 40 3811 2154 1387 5500 0.69 0.69/0.72 c 3884 167 1499 61345 40 4012 2370 1487 5485 0.71 0.69/0.72 o 252928 0.72 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 3943 167 1559 63393 40 4246 2154 1547 5476 0.72 0.69/0.74 c 4043 165 1659 67614 40 4452 2370 1647 5463 0.74 0.69/0.74 o 251904 0.743 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 4049 165 1666 67957 40 4576 2150 1654 5449 0.74 0.69/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 5403 0.82 1.09/1.11 c 4911 162 2529 102769 40 6432 2861 2517 5343 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.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 5964 159 2046 80643 39 5222 2138 2034 5291 1.13 1.09/1.14 o 131072 1.145 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 5277 1.15 1.09/1.18 c 6144 154 1099 41693 37 3111 2352 1087 5246 1.17 1.09/1.18 o 119808 1.176 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 6166 153 1122 42372 37 3275 2126 1110 5243 1.18 1.59/1.61 c 6266 153 1222 45613 37 3472 2339 1210 5247 1.19 1.59/1.61 c 6516 152 1472 53746 36 3972 2573 1460 5284 1.23 1.59/1.61 c 6991 152 1947 68873 35 4921 2831 1935 5336 1.31 1.59/1.61 c 7804 152 2760 95248 34 6545 3115 2748 5348 1.46 1.59/1.61 o 58368 1.608 6.59/6.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.66 c 8527 152 1832 59224 32 4685 2124 1820 5302 1.61 6.59/6.66 c 8627 147 1932 62607 32 4883 2337 1920 5289 1.63 6.59/6.66 c 8877 146 2182 71994 32 5380 2571 2170 5302 1.67 6.59/6.66 c 9352 146 2657 90328 33 6333 2829 2645 5307 1.76 6.59/6.66 c 10166 146 1963 72049 36 4841 3112 1951 5272 1.93 6.59/6.66 c 11486 146 1639 61901 37 4195 3424 1627 5187 2.21 6.59/6.66 c 13567 146 1919 72862 37 4755 3767 1907 5079 2.67 6.59/6.66 c 16791 146 3170 122660 38 7255 4144 3158 5051 3.32 6.59/6.66 c 21727 146 3768 143082 37 8452 4559 3756 4889 4.44 6.59/6.66 c 29233 146 4168 161350 38 9253 5015 4156 4681 6.24 6.59/6.66 o 50176 6.659 13.09/13.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.14 c 30564 146 2895 112514 38 6796 2112 2883 4589 6.66 13.09/13.14 c 30664 146 1199 45147 37 3308 2324 1187 4581 6.69 13.09/13.14 c 30914 146 1449 54227 37 3809 2557 1437 4588 6.74 13.09/13.14 c 31389 146 1924 72250 37 4758 2813 1912 4597 6.83 13.09/13.14 c 32202 146 2737 102634 37 6385 3095 2725 4600 7.00 13.09/13.14 c 33522 146 2419 89652 37 5750 3405 2407 4617 7.26 13.09/13.14 c 35603 146 2712 103227 38 6334 3746 2700 4650 7.66 13.09/13.14 c 38826 146 2017 77455 38 4943 4121 2005 4636 8.37 13.09/13.14 c 43762 146 2655 103328 38 6224 4534 2643 4631 9.45 13.09/13.14 c 51268 146 3089 118163 38 7086 4988 3077 4594 11.16 13.09/13.14 o 36864 13.14 74.26/74.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.26/74.30 c 59288 146 3355 130447 38 7707 2112 3343 4511 13.14 74.26/74.30 c 59388 146 1199 45990 38 3309 2324 1187 4508 13.17 74.26/74.30 c 59638 146 1449 55078 38 3807 2557 1437 4514 13.21 74.26/74.30 c 60113 146 1924 72168 37 4755 2813 1912 4522 13.29 74.26/74.30 c 60926 146 2737 101667 37 6383 3095 2725 4530 13.45 74.26/74.30 c 62246 146 2423 85649 35 5757 3405 2411 4544 13.70 74.26/74.30 c 64327 146 2714 97505 35 6337 3746 2702 4559 14.11 74.26/74.30 c 67550 146 2013 71275 35 4937 4121 2001 4568 14.79 74.26/74.30 c 72486 146 2644 95544 36 6197 4534 2632 4586 15.80 74.26/74.30 c 79992 146 3071 112932 36 7051 4988 3059 4573 17.49 74.26/74.30 c 91353 146 4105 150958 36 9119 5487 4093 4524 20.19 74.26/74.30 c 108498 146 4276 161614 37 9463 6036 4264 4449 24.38 74.26/74.30 c 134317 146 5234 199499 38 11379 6640 5222 4288 31.32 74.26/74.30 c 173149 146 6565 245310 37 14041 7305 6553 4075 42.49 74.26/74.30 c 231502 146 5050 194215 38 11012 8036 5038 3825 60.52 74.26/74.30 o 25600 74.273 112.85/112.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.85/112.95 c 272278 146 4745 175917 37 10493 2112 4733 3665 74.27 112.85/112.95 c 272378 141 1199 42466 35 3302 2324 1187 3663 74.34 112.85/112.95 c 272629 141 1450 51679 35 3805 2557 1438 3664 74.40 112.85/112.95 c 273104 140 1925 69945 36 4754 2813 1913 3666 74.48 112.85/112.95 c 273917 140 2738 101507 37 6377 3095 2726 3669 74.65 112.85/112.95 c 275237 140 2419 92783 38 5742 3405 2407 3672 74.95 112.85/112.95 c 277318 140 2710 103601 38 6321 3746 2698 3678 75.39 112.85/112.95 c 280541 140 2009 77419 38 4922 4121 1997 3685 76.12 112.85/112.95 c 285479 140 2657 105604 39 6215 4534 2645 3695 77.25 112.85/112.95 c 292986 140 3082 120965 39 7068 4988 3070 3706 79.05 112.85/112.95 c 304347 140 4109 161487 39 9118 5487 4097 3714 81.94 112.85/112.95 c 321491 140 4282 168763 39 9466 6036 4270 3715 86.52 112.85/112.95 c 347310 140 5257 210136 39 11415 6640 5245 3712 93.55 112.85/112.95 c 386142 140 6591 259283 39 14085 7305 6579 3676 105.03 112.85/112.95 o 20480 112.916 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 411645 140 5922 234614 39 12829 2100 5910 3645 112.92 1800.02/1800.60 c 411745 140 1199 47457 39 3293 2311 1187 3643 113.00 1800.02/1800.60 c 411996 140 1450 57047 39 3797 2543 1438 3644 113.03 1800.02/1800.60 c 412471 140 1925 75168 39 4747 2798 1913 3646 113.11 1800.02/1800.60 c 413284 140 2738 105462 38 6373 3078 2726 3649 113.25 1800.02/1800.60 c 414604 140 2439 90909 37 5775 3386 2427 3653 113.49 1800.02/1800.60 c 416685 140 2735 103997 38 6366 3725 2723 3658 113.90 1800.02/1800.60 c 419909 140 2063 78679 38 5024 4098 2051 3664 114.58 1800.02/1800.60 c 424845 140 2731 105054 38 6358 4508 2719 3675 115.60 1800.02/1800.60 c 432352 140 3205 123512 38 7306 4959 3193 3686 117.27 1800.02/1800.60 c 443713 140 4289 164526 38 9475 5455 4277 3696 120.03 1800.02/1800.60 c 460857 140 4545 177426 39 9982 6001 4533 3698 124.62 1800.02/1800.61 c 486676 140 5643 214928 38 12182 6602 5631 3689 131.91 1800.02/1800.61 c 525509 140 3814 143154 37 8523 7263 3802 3671 143.14 1800.02/1800.61 c 583861 140 6384 239416 37 13663 7990 6372 3617 161.39 1800.02/1800.61 c 671493 140 4195 160275 38 9285 8790 4183 3477 193.10 1800.02/1800.61 c 803046 140 5721 223541 39 12340 9670 5709 3351 239.59 1800.02/1800.61 c 1000478 140 6239 241169 38 13374 10638 6227 3169 315.67 1800.02/1800.61 c 1296731 140 10513 417777 39 21923 11702 10501 2943 440.55 1800.02/1800.61 c 1741214 140 9728 369081 37 20352 12873 9716 2606 668.11 1800.02/1800.61 c 2408041 140 11197 439818 39 23289 14161 11185 2314 1040.37 1800.02/1800.61 c 3408387 140 8205 326388 39 17306 15578 8193 2055 1658.43 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1800.02/1800.61 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.02/1800.61 v -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.02/1800.61 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1800.02/1800.61 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 v x124 x125 -x126 x127 -x158 -x159 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 -x170 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 130 3619341 2299 3626387 14367 558443 14355 2010 1800.03 1800.02/1800.61 c Objective: 20480 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 s
OK 20480
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-433372-1177958541 -o ROOT/results/node19/solver-433372-1177958541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433372-1177958541/instance-433372-1177958541.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: 1.00 0.99 0.91 3/77 20638 /proc/meminfo: memFree=1844352/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=11744 CPUtime=0 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 243771494 12025856 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2936 335 280 324 0 2004 0 [startup+0.0330261 s] /proc/loadavg: 1.00 0.99 0.91 3/77 20638 /proc/meminfo: memFree=1844352/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=4184 CPUtime=0.02 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 457 0 0 0 2 0 0 0 18 0 1 0 243771494 4284416 425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1046 425 310 324 0 116 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4184 [startup+0.102033 s] /proc/loadavg: 1.00 0.99 0.91 3/77 20638 /proc/meminfo: memFree=1844352/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=4576 CPUtime=0.09 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 554 0 0 0 9 0 0 0 18 0 1 0 243771494 4685824 522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1144 523 310 324 0 214 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4576 [startup+0.301055 s] /proc/loadavg: 1.00 0.99 0.91 3/77 20638 /proc/meminfo: memFree=1844352/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=5352 CPUtime=0.29 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 751 0 0 0 29 0 0 0 19 0 1 0 243771494 5480448 719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1338 719 310 324 0 408 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5352 [startup+0.702099 s] /proc/loadavg: 1.00 0.99 0.91 3/77 20638 /proc/meminfo: memFree=1844352/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=5620 CPUtime=0.69 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 816 0 0 0 69 0 0 0 23 0 1 0 243771494 5754880 784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1405 784 310 324 0 475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5620 [startup+1.50119 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1842040/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=5876 CPUtime=1.49 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 886 0 0 0 149 0 0 0 25 0 1 0 243771494 6017024 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1469 854 310 324 0 539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5876 [startup+3.10136 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1841848/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=6396 CPUtime=3.09 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1003 0 0 0 309 0 0 0 25 0 1 0 243771494 6549504 971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1599 971 310 324 0 669 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6396 [startup+6.3017 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1840896/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=6892 CPUtime=6.29 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1135 0 0 0 629 0 0 0 25 0 1 0 243771494 7057408 1103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1723 1103 310 324 0 793 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6892 [startup+12.7014 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1840640/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=7152 CPUtime=12.68 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1200 0 0 0 1268 0 0 0 25 0 1 0 243771494 7323648 1168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1788 1168 310 324 0 858 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7152 [startup+25.5018 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1840192/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=7672 CPUtime=25.48 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1339 0 0 0 2548 0 0 0 25 0 1 0 243771494 7856128 1307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 1918 1307 310 324 0 988 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7672 [startup+51.1016 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1839552/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=8452 CPUtime=51.06 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1527 0 0 0 5106 0 0 0 25 0 1 0 243771494 8654848 1495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2113 1495 310 324 0 1183 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 8452 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1839104/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=8948 CPUtime=102.26 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1649 0 0 0 10225 1 0 0 25 0 1 0 243771494 9162752 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2237 1617 310 324 0 1307 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 8948 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1839104/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=8948 CPUtime=162.24 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1649 0 0 0 16222 2 0 0 25 0 1 0 243771494 9162752 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2237 1617 310 324 0 1307 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 8948 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1838464/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=9552 CPUtime=222.22 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1799 0 0 0 22220 2 0 0 25 0 1 0 243771494 9781248 1767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2388 1767 310 324 0 1458 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 9552 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1837952/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=10072 CPUtime=282.21 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 1935 0 0 0 28218 3 0 0 25 0 1 0 243771494 10313728 1903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2518 1903 310 324 0 1588 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 10072 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1837312/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=10708 CPUtime=342.19 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2082 0 0 0 34216 3 0 0 25 0 1 0 243771494 10964992 2050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2677 2050 310 324 0 1747 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 10708 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1837312/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=10700 CPUtime=402.18 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2082 0 0 0 40214 4 0 0 25 0 1 0 243771494 10956800 2050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2675 2050 310 324 0 1745 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 10700 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1836544/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=11428 CPUtime=462.16 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2261 0 0 0 46212 4 0 0 25 0 1 0 243771494 11702272 2229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2857 2229 310 324 0 1927 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 11428 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1836544/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=11416 CPUtime=522.15 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2261 0 0 0 52210 5 0 0 25 0 1 0 243771494 11689984 2229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7915349 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2854 2229 310 324 0 1924 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 11416 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1836544/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=11408 CPUtime=582.13 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2261 0 0 0 58208 5 0 0 25 0 1 0 243771494 11681792 2229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2852 2229 310 324 0 1922 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 11408 [startup+642.303 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1836480/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=11400 CPUtime=642.12 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2261 0 0 0 64206 6 0 0 25 0 1 0 243771494 11673600 2229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 2850 2229 310 324 0 1920 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 11400 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1835840/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12016 CPUtime=822.07 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2422 0 0 0 82200 7 0 0 25 0 1 0 243771494 12304384 2390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3004 2390 310 324 0 2074 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 12016 [startup+882.303 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1835840/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12016 CPUtime=882.05 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2422 0 0 0 88198 7 0 0 25 0 1 0 243771494 12304384 2390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3004 2390 310 324 0 2074 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 12016 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1835776/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12016 CPUtime=942.04 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2422 0 0 0 94196 8 0 0 25 0 1 0 243771494 12304384 2390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3004 2390 310 324 0 2074 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 12016 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1835776/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12108 CPUtime=1002.02 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2433 0 0 0 100194 8 0 0 25 0 1 0 243771494 12398592 2401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3027 2401 310 324 0 2097 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 12108 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20639 /proc/meminfo: memFree=1834944/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12884 CPUtime=1062 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2634 0 0 0 106191 9 0 0 25 0 1 0 243771494 13193216 2602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3221 2602 310 324 0 2291 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 12884 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/84 20665 /proc/meminfo: memFree=1833680/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12972 CPUtime=1121.98 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2654 0 0 0 112189 9 0 0 25 0 1 0 243771494 13283328 2622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3243 2622 310 324 0 2313 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 12972 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20837 /proc/meminfo: memFree=1834432/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12972 CPUtime=1181.87 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2655 0 0 0 118177 10 0 0 25 0 1 0 243771494 13283328 2623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3243 2623 310 324 0 2313 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 12972 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20837 /proc/meminfo: memFree=1834432/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12972 CPUtime=1241.86 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2655 0 0 0 124175 11 0 0 25 0 1 0 243771494 13283328 2623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3243 2623 310 324 0 2313 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 12972 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20837 /proc/meminfo: memFree=1834432/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12988 CPUtime=1301.84 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 130173 11 0 0 25 0 1 0 243771494 13299712 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3247 2635 310 324 0 2317 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 12988 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 20837 /proc/meminfo: memFree=1834560/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12988 CPUtime=1361.83 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 136171 12 0 0 25 0 1 0 243771494 13299712 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3247 2635 310 324 0 2317 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 12988 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1834560/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12984 CPUtime=1421.81 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 142169 12 0 0 25 0 1 0 243771494 13295616 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3246 2635 310 324 0 2316 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 12984 [startup+1482.3 s] /proc/loadavg: 1.02 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1834688/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12976 CPUtime=1481.79 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 148166 13 0 0 25 0 1 0 243771494 13287424 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3244 2635 310 324 0 2314 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 12976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1834688/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12976 CPUtime=1541.77 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 154164 13 0 0 25 0 1 0 243771494 13287424 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3244 2635 310 324 0 2314 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 12976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1834688/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12976 CPUtime=1601.76 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 160162 14 0 0 25 0 1 0 243771494 13287424 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3244 2635 310 324 0 2314 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 12976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1834624/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=12976 CPUtime=1661.74 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2667 0 0 0 166160 14 0 0 25 0 1 0 243771494 13287424 2635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7913561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3244 2635 310 324 0 2314 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 12976 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1833984/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=13628 CPUtime=1721.73 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2829 0 0 0 172158 15 0 0 25 0 1 0 243771494 13955072 2797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3407 2797 310 324 0 2477 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 13628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1833920/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=13728 CPUtime=1781.71 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2839 0 0 0 178156 15 0 0 25 0 1 0 243771494 14057472 2807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3432 2807 310 324 0 2502 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 13728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20837 /proc/meminfo: memFree=1833920/2055920 swapFree=4153640/4192956 [pid=20638] ppid=20636 vsize=13728 CPUtime=1800.02 /proc/20638/stat : 20638 (bsolo3.0.17) R 20636 20638 20034 0 -1 4194304 2848 0 0 0 179986 16 0 0 25 0 1 0 243771494 14057472 2816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20638/statm: 3432 2816 310 324 0 2502 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.61 CPU time (s): 1800.03 CPU user time (s): 1799.87 CPU system time (s): 0.162975 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 13728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.162975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2852 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= 37784 runsolver used 1.48377 second user time and 3.75043 second system time The end
Begin job on node19 on Mon Apr 30 18:42:21 UTC 2007 IDJOB= 433372 IDBENCH= 2532 IDSOLVER= 199 FILE ID= node19/433372-1177958541 PBS_JOBID= 4727688 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433372-1177958541/instance-433372-1177958541.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-433372-1177958541 -o ROOT/results/node19/solver-433372-1177958541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433372-1177958541/instance-433372-1177958541.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9 RANDOM SEED= 116798448 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1844696 kB Buffers: 31360 kB Cached: 88896 kB SwapCached: 7856 kB Active: 59132 kB Inactive: 87796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1844696 kB SwapTotal: 4192956 kB SwapFree: 4153640 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 33804 kB Slab: 49796 kB Committed_AS: 4807080 kB PageTables: 1796 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= 66558 MiB End job on node19 on Mon Apr 30 19:12:24 UTC 2007