Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 75 | 1798 | 1798.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1802.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
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: Cardinality Constraint 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-1877186-1245176916.opb 0.00/0.00 c File size is 13239 bytes. 0.00/0.00 c Highest Coefficient sum: 6162 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: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1364 85 398 2728 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1039 0.03/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.03 c 0 198 17 1492 87 919 2984 1 0 0.00 0.03/0.03 c 100 198 120 10271 85 1162 3283 104 2777 0.04 0.03/0.03 o 872 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 101 198 122 10463 85 1255 2984 106 2729 0.04 0.03/0.04 o 792 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 101 198 123 10591 86 1354 2984 107 2657 0.04 0.03/0.09 c 202 198 229 19981 87 1614 3283 213 2927 0.07 0.03/0.09 o 786 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 278 198 310 25642 82 1942 2984 294 2989 0.09 0.09/0.12 o 776 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 366 198 400 32346 80 2248 2984 384 2951 0.12 0.09/0.13 o 757 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 373 198 408 32941 80 2340 2984 392 2914 0.13 0.09/0.13 o 755 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 379 198 415 33560 80 2469 2984 399 2915 0.13 0.09/0.15 o 733 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 440 198 479 38491 80 2726 2984 463 2894 0.15 0.09/0.19 c 540 198 583 45030 77 3014 3283 567 2812 0.19 0.09/0.19 o 380 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 540 198 584 45158 77 2993 2984 568 2812 0.19 0.09/0.19 o 378 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 542 198 587 45454 77 3103 2984 571 2808 0.19 0.19/0.20 o 376 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 574 198 620 48478 78 3138 2984 604 2772 0.21 0.19/0.22 o 297 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 635 198 683 51061 74 3297 2984 667 2809 0.23 3.29/3.31 c 735 198 786 56653 72 3563 3283 770 2816 0.26 3.29/3.31 c 987 198 1041 69945 67 4059 3612 1025 2828 0.35 3.29/3.31 c 1462 198 1529 96248 62 5154 3974 1513 2889 0.51 3.29/3.31 c 2276 198 2347 142115 60 6822 4372 2331 2735 0.83 3.29/3.31 c 3596 198 3674 209200 56 9472 4810 3658 2617 1.37 3.29/3.31 c 5677 198 3340 183768 55 7679 5292 3324 2439 2.33 3.29/3.31 o 295 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 7576 198 5270 305532 57 11912 2984 5254 2286 3.31 3.99/4.09 c 7676 198 1611 101805 63 4228 3283 1595 2275 3.37 3.99/4.09 c 7927 198 1868 116985 62 4766 3612 1852 2293 3.46 3.99/4.09 c 8403 198 2355 144668 61 5855 3974 2339 2305 3.65 3.99/4.09 c 9216 198 3185 188159 59 7654 4372 3169 2324 3.96 3.99/4.09 o 288 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 9475 198 3449 203955 59 8347 2984 3433 2317 4.09 4.09/4.19 c 9575 198 1610 89212 55 4172 3283 1594 2317 4.13 4.09/4.19 o 286 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 9706 198 1749 97712 55 4622 2984 1733 2316 4.19 4.19/4.27 c 9806 198 1851 103063 55 4830 3283 1835 2316 4.23 4.19/4.27 o 284 4.29/4.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.36 c 9912 198 1970 109802 55 5265 2984 1954 2317 4.28 4.29/4.36 c 10012 198 2071 114863 55 5472 3283 2055 2315 4.32 4.29/4.36 o 282 4.29/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.39 c 10106 198 2178 122916 56 5854 2984 2162 2315 4.36 4.29/4.39 o 235 4.99/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.09 c 10188 198 2261 126262 55 6129 2984 2245 2319 4.39 4.99/5.09 c 10291 198 2365 131434 55 6355 3283 2349 2320 4.43 4.99/5.09 c 10541 198 2618 143057 54 6873 3612 2602 2327 4.53 4.99/5.09 c 11016 198 3102 168004 54 7865 3974 3086 2329 4.73 4.99/5.09 c 11829 198 3928 207262 52 9539 4372 3912 2328 5.08 4.99/5.09 o 210 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 11846 198 3947 208248 52 9680 2984 3931 2326 5.09 5.09/5.11 o 206 6.09/6.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.14 c 11861 198 1525 75986 49 4077 2984 1509 2321 5.11 6.09/6.14 c 11961 198 1629 82767 50 4283 3283 1613 2322 5.15 6.09/6.14 c 12211 198 1886 96617 51 4825 3612 1870 2323 5.26 6.09/6.14 c 12686 198 2371 121320 51 5834 3974 2355 2330 5.44 6.09/6.14 c 13499 198 3201 162763 50 7481 4372 3185 2338 5.77 6.09/6.14 o 205 6.09/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.20 c 14347 198 4071 211027 51 9433 2984 4055 2337 6.14 6.09/6.20 c 14447 198 1609 85275 52 4195 3283 1593 2333 6.19 6.09/6.20 o 195 6.19/6.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.22 c 14459 198 1622 86063 53 4321 2984 1606 2333 6.20 6.19/6.22 o 185 6.19/6.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.23 c 14507 198 1674 89014 53 4563 2984 1658 2333 6.22 6.19/6.23 o 179 6.19/6.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.24 c 14540 198 1708 90739 53 4752 2984 1692 2333 6.23 6.19/6.24 o 177 33.88/33.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.88/33.94 c 14576 198 1745 93277 53 4952 2984 1729 2334 6.25 33.88/33.94 c 14676 198 1846 98641 53 5156 3283 1830 2336 6.28 33.88/33.94 c 14926 198 2097 108841 51 5657 3612 2081 2346 6.36 33.88/33.94 c 15401 198 2576 131428 51 6614 3974 2560 2348 6.56 33.88/33.94 c 16214 198 3395 170384 50 8262 4372 3379 2352 6.89 33.88/33.94 c 17534 198 2498 128690 51 6124 4810 2482 2343 7.48 33.88/33.94 c 19615 198 4619 244159 52 10453 5292 4603 2317 8.46 33.88/33.94 c 22838 198 5215 258361 49 11490 5822 5199 2311 9.88 33.88/33.94 c 27774 198 4261 219044 51 9426 6405 4245 2249 12.35 33.88/33.94 c 35282 198 5307 272138 51 11583 7046 5291 2201 16.02 33.88/33.94 c 46643 198 6082 295846 48 13070 7751 6066 2112 22.08 33.88/33.94 c 63787 198 7710 386096 50 16326 8527 7694 2020 31.57 33.88/33.94 o 158 36.58/36.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.58/36.61 c 67760 198 7414 413003 55 16379 2984 7398 1996 33.93 36.58/36.61 c 67860 198 1609 101954 63 4265 3283 1593 1991 34.07 36.58/36.61 c 68110 198 1861 114512 61 4766 3612 1845 1992 34.18 36.58/36.61 c 68585 198 2341 135907 58 5726 3974 2325 1995 34.36 36.58/36.61 c 69398 198 3168 173285 54 7377 4372 3152 2002 34.66 36.58/36.61 c 70722 198 2233 105597 47 5381 4810 2217 2005 35.27 36.58/36.61 c 72803 198 4353 204668 47 9663 5292 4337 2014 36.13 36.58/36.61 o 157 36.68/36.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.68/36.72 c 73749 198 2663 135040 50 6443 2984 2647 2013 36.63 36.68/36.72 c 73849 198 2764 139662 50 6651 3283 2748 2013 36.68 36.68/36.72 o 155 41.78/41.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.78/41.86 c 73919 198 2840 144893 51 6946 2984 2824 2013 36.71 41.78/41.86 c 74020 198 2942 148888 50 7145 3283 2926 2014 36.75 41.78/41.86 c 74270 198 3218 161298 50 7693 3612 3202 2016 36.83 41.78/41.86 c 74745 198 1863 92801 49 4644 3974 1847 2019 37.00 41.78/41.86 c 75558 198 2677 129247 48 6274 4372 2661 2026 37.28 41.78/41.86 c 76878 198 4005 195059 48 8931 4810 3989 2034 37.79 41.78/41.86 c 78959 198 3610 184763 51 8117 5292 3594 2034 38.82 41.78/41.86 c 82182 198 4130 201466 48 9188 5822 4114 2041 40.25 41.78/41.86 o 90 41.88/41.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.88/41.90 c 85507 198 4512 226671 50 10298 2984 4496 2043 41.84 41.88/41.90 o 86 390.56/390.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 390.56/390.74 c 85509 197 1512 83001 54 4240 2982 1496 2041 41.88 390.56/390.74 c 85609 194 1612 88936 55 4425 3281 1596 2042 41.92 390.56/390.74 c 85859 190 1864 100283 53 4929 3610 1848 2044 42.01 390.56/390.74 c 86334 190 2340 118954 50 5876 3972 2324 2047 42.17 390.56/390.74 c 87147 189 3156 152844 48 7508 4370 3140 2051 42.49 390.56/390.74 c 88467 189 2236 91519 40 5358 4808 2220 2054 43.06 390.56/390.74 c 90548 188 4328 179964 41 9539 5289 4312 2064 43.85 390.56/390.74 c 93771 188 4891 204064 41 10658 5818 4875 2076 45.17 390.56/390.74 c 98707 188 3947 165355 41 8798 6400 3931 2087 47.28 390.56/390.74 c 106213 188 4994 214712 42 10872 7041 4978 2110 50.33 390.56/390.74 c 117574 185 5675 239891 42 12237 7746 5659 2124 55.33 390.56/390.74 c 134718 185 7323 330546 45 15534 8521 7307 2105 63.99 390.56/390.74 c 160537 184 7598 327926 43 16081 9374 7582 2088 76.85 390.56/390.74 c 199369 184 9061 405690 44 19002 10312 9045 2067 96.42 390.56/390.74 c 257721 184 5669 248003 43 12220 11344 5653 1998 128.93 390.56/390.74 c 345354 184 8735 454181 51 18356 12479 8719 1888 182.83 390.56/390.74 c 476906 183 9195 418415 45 19282 13727 9179 1788 266.69 390.56/390.74 o 81 390.66/390.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 390.66/390.83 c 673084 182 7151 320302 44 15300 2952 7135 1723 390.62 390.66/390.83 o 77 390.66/390.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 390.66/390.86 c 673096 182 1522 62938 41 4014 2952 1506 1722 390.70 390.66/390.86 o 75 1797.91/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.58 c 673192 182 1620 70426 43 4320 2952 1604 1722 390.73 1797.91/1798.58 c 673292 182 1723 76713 44 4547 3248 1707 1722 390.77 1797.91/1798.58 c 673542 182 1974 88436 44 5046 3573 1958 1723 390.86 1797.91/1798.58 c 674017 182 2449 110741 45 6002 3931 2433 1723 391.03 1797.91/1798.58 c 674830 182 3262 149312 45 7622 4325 3246 1724 391.36 1797.91/1798.58 c 676150 182 2369 112284 47 5600 4758 2353 1725 391.93 1797.91/1798.58 c 678231 182 4451 207012 46 9771 5234 4435 1726 392.74 1797.91/1798.58 c 681454 182 5008 230153 45 10879 5758 4992 1729 394.08 1797.91/1798.58 c 686391 182 4096 188494 46 9041 6334 4080 1732 396.20 1797.91/1798.58 c 693897 182 5167 234054 45 11199 6968 5151 1737 399.38 1797.91/1798.58 c 705259 182 5925 255109 43 12714 7665 5909 1743 404.40 1797.91/1798.58 c 722403 182 7557 337179 44 15974 8432 7541 1753 411.90 1797.91/1798.58 c 748222 182 7780 362811 46 16416 9276 7764 1762 424.45 1797.91/1798.58 c 787055 182 9158 410657 44 19170 10204 9142 1773 443.71 1797.91/1798.58 c 845407 182 5750 255240 44 12348 11225 5734 1786 473.32 1797.91/1798.58 c 933040 182 8517 375873 44 17893 12348 8501 1795 519.58 1797.91/1798.58 c 1064593 182 9585 452645 47 20028 13583 9569 1790 594.45 1797.91/1798.58 c 1262025 182 8840 363382 41 18549 14942 8824 1779 709.14 1797.91/1798.58 c 1558277 182 12122 602939 49 25112 16437 12106 1719 906.09 1797.91/1798.58 c 2002759 182 10954 495318 45 22773 18081 10938 1664 1203.55 1797.91/1798.58 c 2669586 182 15216 679845 44 31299 19890 15200 1560 1710.30 1797.91/1798.58 c Resources Exceeded 1797.91/1798.58 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 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 x179 x180 x181 x182 -x183 -x184 -x185 -x186 x187 x188 -x189 x190 x191 -x192 x193 x194 -x195 -x196 -x197 x198 x143 1797.91/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.58 c 119 2777718 92815 2892851 13462 593055 13446 1544 1798.00 1797.91/1798.58 c Objective: 75 1797.91/1798.58 s SATISFIABLE 1797.91/1798.58 c Total time: 1798 s
OK 75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877186-1245176916/watcher-1877186-1245176916 -o /tmp/evaluation-result-1877186-1245176916/solver-1877186-1245176916 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877186-1245176916.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.95 3/64 3921 /proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=18520 CPUtime=0 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 2021076 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 4630 243 189 640 0 3986 0 [startup+0.035772 s] /proc/loadavg: 1.00 1.00 0.95 3/64 3921 /proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=10828 CPUtime=0.03 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 299 0 0 0 3 0 0 0 18 0 1 0 2021076 11087872 279 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 2707 279 196 640 0 2063 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10828 [startup+0.101781 s] /proc/loadavg: 1.00 1.00 0.95 3/64 3921 /proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=11072 CPUtime=0.09 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 363 0 0 0 9 0 0 0 18 0 1 0 2021076 11337728 343 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 2768 344 197 640 0 2124 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11072 [startup+0.301811 s] /proc/loadavg: 1.00 1.00 0.95 3/64 3921 /proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=11552 CPUtime=0.29 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 2021076 11829248 476 1992294400 134512640 137136520 4294956256 18446744073709551615 134616701 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 2888 476 197 640 0 2244 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11552 [startup+0.70187 s] /proc/loadavg: 1.00 1.00 0.95 3/64 3921 /proc/meminfo: memFree=1920432/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=12536 CPUtime=0.69 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 723 0 0 0 69 0 0 0 22 0 1 0 2021076 12836864 703 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 3134 703 197 640 0 2490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12536 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1917736/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=14012 CPUtime=1.49 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1094 0 0 0 149 0 0 0 25 0 1 0 2021076 14348288 1074 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 3503 1074 197 640 0 2859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14012 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1915944/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=14752 CPUtime=3.09 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1306 0 0 0 308 1 0 0 25 0 1 0 2021076 15106048 1286 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 3688 1286 197 640 0 3044 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14752 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1915368/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=15236 CPUtime=6.29 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1401 0 0 0 627 2 0 0 25 0 1 0 2021076 15601664 1381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 3809 1381 197 640 0 3165 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15236 [startup+12.7027 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1915240/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=15236 CPUtime=12.69 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1401 0 0 0 1266 3 0 0 25 0 1 0 2021076 15601664 1381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 3809 1381 197 640 0 3165 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15236 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1913960/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=16452 CPUtime=25.48 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1726 0 0 0 2543 5 0 0 25 0 1 0 2021076 16846848 1706 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 4113 1706 197 640 0 3469 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16452 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1913256/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=17004 CPUtime=51.07 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 1907 0 0 0 5096 11 0 0 25 0 1 0 2021076 17412096 1850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 4251 1850 197 640 0 3607 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17004 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1912680/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=17776 CPUtime=102.26 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 2095 0 0 0 10206 20 0 0 25 0 1 0 2021076 18202624 2021 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 4444 2021 197 640 0 3800 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17776 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1910568/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=19836 CPUtime=162.24 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 2625 0 0 0 16191 33 0 0 25 0 1 0 2021076 20312064 2551 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 4959 2551 197 640 0 4315 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19836 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908648/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21756 CPUtime=222.22 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3094 0 0 0 22179 43 0 0 25 0 1 0 2021076 22278144 3020 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5439 3020 197 640 0 4795 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 21756 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21704 CPUtime=282.2 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 28167 53 0 0 25 0 1 0 2021076 22224896 3021 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5426 3021 197 640 0 4782 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 21704 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21700 CPUtime=342.18 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 34155 63 0 0 25 0 1 0 2021076 22220800 3021 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5425 3021 197 640 0 4781 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 21700 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21572 CPUtime=402.16 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 40141 75 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5393 2992 197 640 0 4749 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 21572 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21572 CPUtime=462.13 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 46126 87 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5393 2992 197 640 0 4749 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 21572 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21572 CPUtime=522.12 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 52114 98 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5393 2992 197 640 0 4749 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 21572 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21572 CPUtime=582.1 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 58102 108 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5393 2992 197 640 0 4749 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 21572 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1908584/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=21572 CPUtime=642.08 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3095 0 0 0 64090 118 0 0 25 0 1 0 2021076 22089728 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5393 2992 197 640 0 4749 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 21572 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1907240/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=22736 CPUtime=1061.94 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3377 0 0 0 106009 185 0 0 25 0 1 0 2021076 23281664 3274 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5684 3274 197 640 0 5040 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 22736 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1907176/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=22736 CPUtime=1121.92 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3377 0 0 0 111997 195 0 0 25 0 1 0 2021076 23281664 3274 1992294400 134512640 137136520 4294956256 18446744073709551615 134598621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5684 3274 197 640 0 5040 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 22736 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1907048/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=22828 CPUtime=1181.9 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3394 0 0 0 117985 205 0 0 25 0 1 0 2021076 23375872 3291 1992294400 134512640 137136520 4294956256 18446744073709551615 136509064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5707 3291 197 640 0 5063 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 22828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 3922 /proc/meminfo: memFree=1906728/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=23136 CPUtime=1241.89 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3473 0 0 0 123975 214 0 0 25 0 1 0 2021076 23691264 3370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5784 3370 197 640 0 5140 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 23136 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 0.96 2/65 3922 /proc/meminfo: memFree=1905896/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=23952 CPUtime=1301.87 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3676 0 0 0 129964 223 0 0 25 0 1 0 2021076 24526848 3573 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5988 3573 197 640 0 5344 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 23952 [startup+1362.3 s] /proc/loadavg: 1.07 1.03 0.96 2/65 3922 /proc/meminfo: memFree=1905832/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=23952 CPUtime=1361.85 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3676 0 0 0 135953 232 0 0 25 0 1 0 2021076 24526848 3573 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 5988 3573 197 640 0 5344 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 23952 [startup+1422.31 s] /proc/loadavg: 1.02 1.02 0.96 2/65 3922 /proc/meminfo: memFree=1905640/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24068 CPUtime=1421.83 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3719 0 0 0 141942 241 0 0 25 0 1 0 2021076 24645632 3616 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6017 3616 197 640 0 5373 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 24068 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 0.96 2/65 3924 /proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24168 CPUtime=1481.81 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 147930 251 0 0 25 0 1 0 2021076 24748032 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6042 3628 197 640 0 5398 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 24168 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 0.96 2/65 3924 /proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24164 CPUtime=1541.79 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 153920 259 0 0 25 0 1 0 2021076 24743936 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6041 3628 197 640 0 5397 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 24164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1905320/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24164 CPUtime=1601.77 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3731 0 0 0 159909 268 0 0 25 0 1 0 2021076 24743936 3628 1992294400 134512640 137136520 4294956256 18446744073709551615 134599082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6041 3628 197 640 0 5397 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 24164 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1905128/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24488 CPUtime=1661.75 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3810 0 0 0 165899 276 0 0 25 0 1 0 2021076 25075712 3707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6122 3707 197 640 0 5478 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 24488 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1905064/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=24520 CPUtime=1721.73 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3823 0 0 0 171886 287 0 0 25 0 1 0 2021076 25108480 3717 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6130 3717 197 640 0 5486 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 24520 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1781.71 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 177874 297 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 25080 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1791.32 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 178834 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 25080 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904488/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1794.51 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179153 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 25080 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1796.1 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179312 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 25080 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1796.9 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179392 298 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 25080 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1797.71 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179472 299 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 25080 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.96 2/65 3924 /proc/meminfo: memFree=1904424/2055920 swapFree=4192956/4192956 [pid=3921] ppid=3919 vsize=25080 CPUtime=1797.91 /proc/3921/stat : 3921 (bsolo) R 3919 3921 3836 0 -1 4194304 3963 0 0 0 179492 299 0 0 25 0 1 0 2021076 25681920 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3921/statm: 6270 3857 197 640 0 5626 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 25080 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798 CPU user time (s): 1795.01 CPU system time (s): 2.99654 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 25080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.01 system time used= 2.99654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3965 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= 2151 runsolver used 1.3058 second user time and 3.68244 second system time The end
Begin job on node30 at 2009-06-16 20:28:36 IDJOB=1877186 IDBENCH=2920 IDSOLVER=699 FILE ID=node30/1877186-1245176916 PBS_JOBID= 9363935 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877186-1245176916/watcher-1877186-1245176916 -o /tmp/evaluation-result-1877186-1245176916/solver-1877186-1245176916 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877186-1245176916.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1810887706 node30.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.273 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.273 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: 1920848 kB Buffers: 23992 kB Cached: 68896 kB SwapCached: 0 kB Active: 73136 kB Inactive: 32548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1920848 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 22592 kB Slab: 15460 kB Committed_AS: 60084 kB PageTables: 1360 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-1877186-1245176916.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 20:58:35