Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 18032 | 1800.08 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb |
MD5SUM | c4de50562e099d54fade2e7e4191867f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 15079 |
Best CPU time to get the best result obtained on this benchmark | 2.37864 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15079 |
Optimality of the best value was proved | YES |
Number of variables | 2278 |
Total number of constraints | 4879 |
Number of constraints which are clauses | 4879 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 43 |
Number of terms in the objective function | 1076 |
Biggest coefficient in the objective function | 650 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 524792 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 650 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 524792 |
Number of bits of the biggest sum of numbers | 20 |
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/433675-1177961904/instance-433675-1177961904.opb 0.00/0.00 c File size is 149868 bytes. 0.00/0.03 c Highest Coefficient sum: 524792 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.027 s 0.00/0.03 c Var: 2278 Constr: 4879 4879/0/0 Lit: 12472 Watch. Lit: 9756 0.00/0.03 c Obj. Vars: 1076 (47.2344 % of total variables) 0.00/0.06 c Pre-processing Time: 0.056 s 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 2122 3870 10065 2 7740 1289 0 0 0.06 0.00/0.06 c Switching off LPR mode. 0.00/0.06 o 19036 0.057 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 2122 3871 11139 2 8777 3437 1 0 0.06 0.00/0.06 o 19028 0.059 1.88/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.92 c 1 2122 3873 12256 3 9816 3437 3 16 0.06 1.88/1.92 c 101 2122 3973 16825 4 10016 3781 103 1262 0.08 1.88/1.92 c 352 2122 4224 32865 7 10516 4160 354 2427 0.14 1.88/1.92 c 827 2122 4699 61575 13 11468 4577 829 3051 0.27 1.88/1.92 c 1640 2122 5512 99642 18 13094 5035 1642 3299 0.50 1.88/1.92 c 2960 2122 6832 164550 24 15736 5539 2962 3583 0.83 1.88/1.92 c 5041 2122 8913 296433 33 19896 6093 5043 3621 1.39 1.88/1.92 o 18900 1.915 64.96/65.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.00 c 6465 2122 6918 203460 29 14871 3437 3048 3349 1.93 64.96/65.00 c 6567 2122 7020 208983 29 15076 3781 3150 3357 1.96 64.96/65.00 c 6817 2122 7270 221577 30 15575 4160 3400 3403 2.00 64.96/65.00 c 7292 2122 7745 251835 32 16525 4577 3875 3436 2.12 64.96/65.00 c 8105 2122 8558 297378 34 18152 5035 4688 3534 2.29 64.96/65.00 c 9426 2122 6389 153273 23 13814 5539 2519 3600 2.62 64.96/65.00 c 11507 2122 8470 261109 30 17975 6093 4600 3656 3.15 64.96/65.00 c 14730 2122 7454 206255 27 15943 6703 3584 3636 4.05 64.96/65.00 c 19666 2122 7721 206615 26 16478 7374 3851 3563 5.52 64.96/65.00 c 27172 2122 10280 416978 40 21596 8112 6410 3349 8.11 64.96/65.00 c 38533 2122 11090 403141 36 23216 8924 7220 3287 11.72 64.96/65.00 c 55677 2122 10954 364273 33 22943 9817 7084 2898 19.21 64.96/65.00 c 81497 2122 12037 646131 53 25109 10799 8167 2593 31.43 64.96/65.00 c 120329 2122 9271 368906 39 19577 11879 5401 1851 64.98 64.96/65.00 o 18709 64.981 64.96/65.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.09 c 120329 2122 9272 369980 39 20614 3437 5402 1851 64.98 64.96/65.09 c 120429 2122 5690 130374 22 12415 3781 1820 1850 65.07 64.96/65.09 o 18655 65.071 139.25/139.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.25/139.37 c 120430 2122 5692 131491 23 13454 3437 1822 1850 65.07 139.25/139.37 c 120531 2122 5793 137706 23 13657 3781 1923 1851 65.11 139.25/139.37 c 120781 2122 6043 153577 25 14160 4160 2173 1852 65.19 139.25/139.37 c 121257 2122 6519 181600 27 15109 4577 2649 1855 65.34 139.25/139.37 c 122070 2122 7332 226275 30 16736 5035 3462 1861 65.57 139.25/139.37 c 123391 2122 8653 290046 33 19378 5539 4783 1872 65.89 139.25/139.37 c 125472 2122 6682 150058 22 14399 6093 2812 1887 66.48 139.25/139.37 c 128695 2122 9905 326286 32 20846 6703 6035 1915 67.19 139.25/139.37 c 133631 2122 10236 315538 30 21508 7374 6366 1940 68.88 139.25/139.37 c 141137 2122 8110 236186 29 17256 8112 4240 1969 71.67 139.25/139.37 c 152498 2122 8700 274700 31 18436 8924 4830 2009 75.88 139.25/139.37 c 169642 2122 8559 264642 30 18153 9817 4689 2080 81.54 139.25/139.37 c 195462 2122 10088 359390 35 21212 10799 6218 2122 92.11 139.25/139.37 c 234294 2122 9271 248637 26 19578 11879 5401 2103 111.37 139.25/139.37 c 292647 2122 9811 305514 31 20657 13067 5941 2100 139.32 139.25/139.37 o 18516 139.329 170.94/171.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 170.94/171.00 c 292653 2122 9818 306818 31 21710 3437 5948 2100 139.33 170.94/171.00 c 292754 2122 5691 106034 18 12418 3781 1821 2099 139.43 170.94/171.00 c 293004 2122 5941 119464 20 12918 4160 2071 2100 139.50 170.94/171.00 c 293479 2122 6416 147516 22 13868 4577 2546 2102 139.60 170.94/171.00 c 294292 2122 7229 185037 25 15494 5035 3359 2105 139.78 170.94/171.00 c 295612 2122 8549 315360 36 18134 5539 4679 2105 140.42 170.94/171.00 c 297693 2122 6641 206214 31 14318 6093 2771 2111 140.99 170.94/171.00 c 300917 2122 9865 372406 37 20765 6703 5995 2120 141.94 170.94/171.00 c 305854 2122 10351 366884 35 21738 7374 6481 2128 143.70 170.94/171.00 c 313361 2122 7817 275211 35 16671 8112 3947 2137 146.62 170.94/171.00 c 324723 2122 8244 227093 27 17524 8924 4374 2159 150.39 170.94/171.00 c 341867 2122 8333 300205 36 17701 9817 4463 2153 158.77 170.94/171.00 c 367686 2122 8780 321410 36 18596 10799 4910 2150 170.94 170.94/171.00 o 18433 170.95 258.82/258.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 258.82/258.91 c 367686 2122 8781 322484 36 19633 3437 4911 2150 170.95 258.82/258.91 c 367787 2122 5691 121602 21 12418 3781 1821 2150 171.02 258.82/258.91 c 368037 2122 5941 135709 22 12918 4160 2071 2151 171.07 258.82/258.91 c 368513 2122 6417 163311 25 13870 4577 2547 2152 171.19 258.82/258.91 c 369326 2122 7230 219836 30 15496 5035 3360 2154 171.43 258.82/258.91 c 370646 2122 8550 283063 33 18137 5539 4680 2157 171.75 258.82/258.91 c 372727 2122 6684 159737 23 14404 6093 2814 2163 172.28 258.82/258.91 c 375951 2122 9908 323254 32 20852 6703 6038 2171 173.13 258.82/258.91 c 380887 2122 10278 404464 39 21592 7374 6408 2180 174.64 258.82/258.91 c 388393 2122 7825 259937 33 16686 8112 3955 2190 177.29 258.82/258.91 c 399754 2122 8585 277469 32 18206 8924 4715 2189 182.56 258.82/258.91 c 416898 2122 8333 269588 32 17702 9817 4463 2186 190.71 258.82/258.92 c 442717 2122 9663 333516 34 20363 10799 5793 2164 204.55 258.82/258.92 c 481551 2122 13923 748401 53 28881 11879 10053 2129 226.14 258.82/258.92 c 539904 2122 14316 496955 34 29668 13067 10446 2085 258.84 258.82/258.92 o 18414 258.843 293.91/294.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.91/294.04 c 539911 2122 14324 498445 34 30720 3437 10454 2085 258.84 293.91/294.04 c 540013 2122 5692 97531 17 12421 3781 1822 2083 259.18 293.91/294.04 c 540264 2122 5943 112201 18 12922 4160 2073 2083 259.25 293.91/294.04 c 540739 2122 6418 132179 20 13872 4577 2548 2085 259.33 293.91/294.04 c 541552 2122 7231 177830 24 15497 5035 3361 2086 259.50 293.91/294.04 c 542872 2122 8551 254435 29 18138 5539 4681 2089 259.79 293.91/294.04 c 544953 2122 6641 154032 23 14319 6093 2771 2093 260.34 293.91/294.04 c 548176 2122 9864 358218 36 20764 6703 5994 2096 261.51 293.91/294.04 c 553112 2122 10408 368830 35 21852 7374 6538 2103 262.96 293.91/294.04 c 560618 2122 8055 277743 34 17146 8112 4185 2114 265.10 293.91/294.04 c 571979 2122 8990 321313 35 19016 8924 5120 2118 270.02 293.91/294.04 c 589123 2122 9107 332354 36 19251 9817 5237 2114 278.62 293.91/294.04 c 614942 2122 9593 304126 31 20223 10799 5723 2092 293.89 293.91/294.04 o 18394 293.96 1314.95/1315.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1314.95/1315.32 c 615202 2122 9854 321951 32 21782 3437 5984 2092 293.96 1314.95/1315.32 c 615303 2122 5691 108004 18 12419 3781 1821 2091 294.13 1314.95/1315.32 c 615554 2122 5942 119205 20 12920 4160 2072 2092 294.18 1314.95/1315.32 c 616030 2122 6418 142170 22 13872 4577 2548 2093 294.29 1314.95/1315.32 c 616843 2122 7231 183926 25 15498 5035 3361 2094 294.50 1314.95/1315.32 c 618163 2122 8551 254961 29 18140 5539 4681 2097 294.76 1314.95/1315.32 c 620244 2122 6641 157269 23 14318 6093 2771 2100 295.26 1314.95/1315.32 c 623467 2122 9864 309326 31 20764 6703 5994 2106 295.93 1314.95/1315.32 c 628403 2122 10214 312692 30 21464 7374 6344 2114 297.20 1314.95/1315.32 c 635909 2122 7929 234315 29 16894 8112 4059 2120 299.85 1314.95/1315.32 c 647271 2122 8696 275896 31 18429 8924 4826 2128 304.08 1314.95/1315.32 c 664415 2122 8961 315146 35 18959 9817 5091 2124 312.80 1314.95/1315.32 c 690234 2122 9532 382282 40 20100 10799 5662 2108 327.41 1314.95/1315.32 c 729066 2122 9271 332843 35 19579 11879 5401 2074 351.46 1314.95/1315.32 c 787419 2122 15177 684321 45 31390 13067 11307 2042 385.58 1314.95/1315.32 c 875051 2122 16746 704200 42 34528 14374 12876 2040 428.84 1314.95/1315.32 c 1006606 2122 14310 665604 46 29657 15812 10440 2016 499.16 1314.95/1315.32 c 1204039 2122 15891 913887 57 32818 17394 12021 1891 636.41 1314.95/1315.32 c 1500291 2122 13399 581727 43 27834 19134 9529 1681 892.46 1314.95/1315.32 c 1944775 2122 13438 797485 59 27912 21048 9568 1478 1314.98 1314.95/1315.32 o 18032 1314.98 1800.06/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.60 c 1944776 2122 13440 798602 59 28953 3437 9570 1478 1314.99 1800.06/1800.60 c 1944876 2122 5690 210642 37 12416 3781 1820 1478 1315.24 1800.06/1800.60 c 1945126 2122 5940 225194 37 12917 4160 2070 1478 1315.31 1800.06/1800.60 c 1945601 2122 6415 254560 39 13867 4577 2545 1478 1315.49 1800.06/1800.60 c 1946414 2122 7228 296490 41 15493 5035 3358 1479 1315.68 1800.06/1800.60 c 1947735 2122 8549 387162 45 18135 5539 4679 1479 1316.07 1800.06/1800.60 c 1949817 2122 6678 178690 26 14393 6093 2808 1480 1316.74 1800.06/1800.60 c 1953040 2122 9901 427707 43 20839 6703 6031 1481 1317.86 1800.06/1800.60 c 1957976 2122 10290 362790 35 21617 7374 6420 1484 1319.03 1800.06/1800.60 c 1965482 2122 8178 308874 37 17393 8112 4308 1485 1322.80 1800.06/1800.60 c 1976843 2122 8971 589626 65 18979 8924 5101 1486 1330.01 1800.06/1800.60 c 1993987 2122 9442 395160 41 19922 9817 5572 1490 1337.48 1800.06/1800.60 c 2019806 2122 10550 314689 29 22138 10799 6680 1497 1348.74 1800.06/1800.60 c 2058638 2122 14734 604484 41 30504 11879 10864 1503 1369.43 1800.06/1800.60 c 2116990 2122 14550 752941 51 30137 13067 10680 1511 1400.69 1800.06/1800.60 c 2204623 2122 10405 360137 34 21847 14374 6535 1513 1456.40 1800.06/1800.60 c 2336175 2122 16792 702284 41 34621 15812 12922 1498 1559.12 1800.06/1800.60 c 2533607 2122 11777 434696 36 24590 17394 7907 1510 1677.37 1800.06/1800.60 c Caught signal: 15 1800.06/1800.61 v -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 x179 -x181 -x182 -x184 -x186 -x188 1800.06/1800.61 v -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 1800.06/1800.61 v -x232 -x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 1800.06/1800.61 v -x274 -x276 -x278 -x280 -x282 -x284 -x286 x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 1800.06/1800.61 v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 1800.06/1800.61 v -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 1800.06/1800.61 v x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 1800.06/1800.61 v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x472 -x474 -x476 -x478 -x480 1800.06/1800.61 v -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 1800.06/1800.61 v -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 1800.06/1800.61 v -x565 -x567 -x569 -x571 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 1800.06/1800.61 v -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 1800.06/1800.61 v -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 1800.06/1800.61 v -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 1800.06/1800.61 v -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 1800.06/1800.61 v -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 1800.06/1800.61 v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 1800.06/1800.61 v -x858 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 1800.06/1800.61 v -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 1800.06/1800.61 v -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 x980 1800.06/1800.61 v -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 1800.06/1800.61 v -x1020 -x1022 -x1024 x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 1800.06/1800.61 v -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 x1080 -x1082 -x1084 -x1086 1800.06/1800.61 v -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 1800.06/1800.61 v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 1800.06/1800.61 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 1800.06/1800.61 v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 1800.06/1800.61 v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 1800.06/1800.61 v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 1800.06/1800.61 v -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1318 -x1320 -x1322 1800.06/1800.61 v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 1800.06/1800.61 v -x1358 -x1360 -x1362 -x1364 -x1366 x1367 -x1369 -x1371 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 1800.06/1800.61 v -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 x1413 -x1415 -x1417 -x1419 -x1421 1800.06/1800.61 v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 1800.06/1800.61 v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 x1489 1800.06/1800.61 v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 1800.06/1800.61 v -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 1800.06/1800.61 v -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 1800.06/1800.61 v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1613 x1615 -x1617 -x1619 -x1621 -x1623 1800.06/1800.61 v -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1652 -x1654 -x1656 1800.06/1800.61 v -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 1800.06/1800.61 v -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1715 -x1717 -x1719 -x1721 -x1723 1800.06/1800.61 v -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 1800.06/1800.61 v -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 x1783 -x1785 -x1787 -x1789 -x1791 1800.06/1800.61 v -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 x1809 -x1811 x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1800.06/1800.61 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1852 -x1854 -x1856 -x1858 -x1860 1800.06/1800.61 v -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 1800.06/1800.61 v -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 x1924 -x1926 -x1928 1800.06/1800.61 v x1930 -x1932 x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 1800.06/1800.61 v -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 x1995 -x1997 -x1999 1800.06/1800.61 v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2028 -x2030 -x2032 1800.06/1800.61 v -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 x2056 x2058 -x2060 -x2062 -x2064 -x2066 x2068 1800.06/1800.61 v -x2070 -x2072 -x2074 -x2076 -x2078 -x2079 -x2081 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 1800.06/1800.61 v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1800.06/1800.61 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 x2166 -x2168 1800.06/1800.61 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 x2182 x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 x2204 1800.06/1800.61 v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 x2238 x2240 1800.06/1800.61 v -x2242 -x2244 -x2246 -x2248 -x2250 x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 x2272 -x2274 x2276 1800.06/1800.61 v -x2278 -x148 -x1 -x150 -x2 -x152 -x154 -x156 -x3 -x158 -x160 -x162 -x4 -x164 -x166 -x168 -x170 -x172 -x174 -x176 x5 x178 -x180 1800.06/1800.61 v -x6 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x7 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 1800.06/1800.61 v -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 x237 -x239 -x8 -x241 -x243 -x245 -x9 -x247 -x249 -x251 -x253 -x255 -x257 -x259 1800.06/1800.61 v -x10 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 1800.06/1800.61 v -x301 -x303 -x11 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x12 -x327 -x329 -x331 -x13 -x333 -x335 1800.06/1800.61 v -x337 -x14 -x339 -x341 -x343 -x345 -x347 -x15 -x349 -x16 -x351 -x17 -x353 -x355 -x357 -x18 -x359 -x361 -x363 -x19 -x365 -x367 1800.06/1800.61 v -x369 -x371 -x373 -x375 x377 x20 -x379 -x381 -x383 -x21 -x385 -x387 -x389 -x391 -x393 -x395 -x397 x399 -x401 -x403 -x405 -x407 1800.06/1800.61 v -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 1800.06/1800.61 v -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x22 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 1800.06/1800.61 v -x493 -x23 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x24 -x517 -x519 -x522 -x524 -x526 -x528 -x530 1800.06/1800.61 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x25 -x550 -x552 -x554 -x556 -x558 -x26 -x560 -x562 -x564 -x566 -x568 1800.06/1800.61 v -x27 -x570 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x28 -x591 -x593 -x29 -x595 -x597 -x599 -x30 -x601 -x603 1800.06/1800.61 v -x605 -x31 -x607 -x609 -x611 -x613 -x615 -x32 -x617 -x33 -x619 -x34 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 1800.06/1800.61 v -x639 -x641 -x35 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 x665 -x667 -x669 -x671 -x673 -x675 -x677 1800.06/1800.61 v -x679 -x681 -x36 -x683 -x685 -x687 -x689 -x691 -x693 -x695 x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 1800.06/1800.61 v -x719 -x721 -x723 -x725 -x37 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x38 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x39 1800.06/1800.61 v -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x40 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x41 -x783 -x785 -x787 -x42 -x789 1800.06/1800.61 v -x791 -x793 -x43 -x795 -x797 -x799 -x44 -x801 -x803 -x805 -x45 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 1800.06/1800.61 v -x827 -x829 -x831 x833 -x835 -x837 -x839 -x841 -x46 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x860 -x862 -x47 -x864 1800.06/1800.61 v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 1800.06/1800.61 v -x908 -x910 -x912 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 1800.06/1800.61 v -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 x48 -x971 -x973 -x975 -x977 x979 -x981 -x983 -x49 -x985 -x987 1800.06/1800.61 v -x989 -x991 -x993 -x995 -x997 -x50 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x51 -x1021 1800.06/1800.61 v -x1023 x1025 -x1027 -x1029 -x1031 -x52 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x53 1800.06/1800.61 v -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 x54 -x1069 -x1071 -x1073 -x1075 -x1077 x1079 -x1081 -x55 -x1083 -x1085 1800.06/1800.61 v -x1087 -x56 -x1089 -x1091 -x1093 -x57 -x1095 -x1097 -x1099 -x1101 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 1800.06/1800.61 v -x1120 -x1122 -x58 -x1124 -x1126 -x1128 -x59 -x1130 -x1132 -x1134 -x60 -x1136 -x1138 -x1140 -x61 -x1142 -x1144 -x1146 -x1148 1800.06/1800.61 v -x1150 -x62 -x1152 -x63 -x1154 -x64 -x1156 -x1158 -x1160 -x1162 -x1164 -x65 -x1166 -x1168 -x1170 -x66 -x1172 -x1174 -x1176 1800.06/1800.61 v -x67 -x1178 -x1180 -x1182 -x68 -x1184 -x1186 -x1188 -x69 -x1190 -x1192 -x1194 -x70 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 1800.06/1800.61 v -x1208 -x1210 -x1212 -x1214 -x1216 -x71 -x1218 -x1220 -x1222 -x72 -x1224 -x1226 -x1228 -x73 -x1230 -x1232 -x1234 -x1236 1800.06/1800.61 v -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x74 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x75 -x1266 -x1268 1800.06/1800.61 v -x1270 -x76 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x77 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x78 1800.06/1800.61 v -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 1800.06/1800.61 v -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368 1800.06/1800.61 v -x1370 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x79 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 1800.06/1800.61 v -x1405 -x1407 -x1409 -x1411 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 1800.06/1800.61 v -x1440 -x1442 -x80 -x1444 -x1446 -x1448 -x1450 -x1452 -x81 -x1454 -x1456 -x1458 -x1460 -x1462 -x82 -x1464 -x1466 -x1468 1800.06/1800.61 v -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1503 1800.06/1800.61 v -x1505 -x83 -x1507 -x1509 -x1511 -x84 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x85 -x1527 -x1529 -x1531 -x1533 1800.06/1800.61 v -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x86 -x1549 -x1551 -x87 -x1553 -x1555 -x1557 -x88 -x1559 -x1561 -x1563 1800.06/1800.61 v -x89 -x1565 -x1567 -x1569 -x90 -x1571 -x1573 -x1575 -x1577 -x1579 -x91 -x1581 -x92 -x1583 -x93 -x1585 -x1587 -x1589 -x94 1800.06/1800.61 v -x1591 -x1593 -x1595 -x95 -x1597 -x1599 -x1601 -x96 -x1603 -x1605 -x1607 -x97 -x1609 -x1611 x1614 -x1616 -x1618 -x1620 1800.06/1800.61 v -x1622 -x1624 -x1626 -x98 -x1628 -x1630 -x1632 -x1634 -x1636 -x99 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x100 1800.06/1800.61 v -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x101 -x1665 -x1667 -x1669 -x102 -x1671 -x1673 -x1675 -x103 -x1677 -x1679 -x1681 1800.06/1800.61 v -x1683 -x1685 -x1687 -x1689 -x104 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x105 -x1705 -x1707 -x1709 -x106 -x1711 1800.06/1800.61 v -x1713 -x107 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 1800.06/1800.61 v -x108 -x1746 -x1748 -x1750 -x109 -x1752 -x1754 -x1756 -x110 -x1758 -x1760 -x1762 -x111 -x1764 -x1766 -x1768 -x1770 -x1772 1800.06/1800.61 v -x112 -x1774 -x113 -x1776 -x1778 -x1780 x1782 -x1784 -x1786 -x114 -x1788 -x1790 -x1792 -x115 -x1794 -x1796 -x1798 -x116 1800.06/1800.61 v -x1800 -x1802 -x1804 -x1806 x1808 -x1810 x1812 -x1814 -x1816 -x117 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x118 1800.06/1800.61 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x1857 -x1859 -x119 -x1861 -x1863 1800.06/1800.61 v -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x120 -x1883 -x1885 -x1887 -x1889 -x1891 -x121 -x1893 -x1895 1800.06/1800.61 v -x1897 -x1899 -x1901 -x122 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x123 -x1915 -x1917 -x1919 -x1921 x1923 -x1925 -x1927 1800.06/1800.61 v x1929 -x1931 x124 x1933 -x1935 -x1937 -x125 -x1939 -x1941 -x1943 -x1945 -x1947 -x126 -x1949 -x127 -x1951 -x128 -x1953 -x1955 1800.06/1800.61 v -x1957 -x1959 -x1961 -x129 -x1963 -x1965 -x1967 -x130 -x1969 -x1971 -x1973 -x1975 x1977 -x1979 -x1981 -x1983 -x1985 -x1987 1800.06/1800.61 v -x1989 -x1992 x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 1800.06/1800.61 v -x2024 -x2026 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 x2055 x2057 -x2059 1800.06/1800.61 v -x2061 -x2063 -x2065 x2067 x131 -x2069 -x2071 -x2073 -x2075 -x2077 -x132 -x2080 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 1800.06/1800.61 v -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 x2119 -x2121 -x2123 -x2125 -x2127 1800.06/1800.61 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x133 -x2157 -x2159 1800.06/1800.61 v -x2161 -x2163 x2165 -x2167 -x134 -x2169 -x2171 -x2173 x135 -x2175 -x2177 -x2179 x2181 x2183 -x2185 -x136 -x2187 -x137 -x2189 1800.06/1800.61 v -x2191 -x2193 -x2195 -x2197 -x138 -x2199 -x2201 x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x139 -x2215 -x2217 -x2219 -x2221 1800.06/1800.61 v x2223 x140 -x2225 -x2227 -x141 -x2229 -x2231 -x2233 -x2235 x2237 x142 x2239 x143 -x2241 -x2243 -x2245 -x2247 -x2249 x2251 1800.06/1800.61 v -x2253 -x2255 -x144 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x145 x2271 -x2273 -x146 x2275 -x2277 x147 1800.06/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.61 c 118 2653131 1701016 10708223 19662 879990 15792 1473 1800.07 1800.06/1800.61 c Objective: 18032 1800.06/1800.61 s SATISFIABLE 1800.06/1800.61 c Total time: 1800.07 s
OK 18032
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-433675-1177961904 -o ROOT/results/node60/solver-433675-1177961904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.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.73 0.93 0.93 2/64 1626 /proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=19696 CPUtime=0 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 244100449 20168704 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 2971 331 279 324 0 2004 0 [startup+0.011723 s] /proc/loadavg: 0.73 0.93 0.93 2/64 1626 /proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=4356 CPUtime=0 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 429 0 0 0 0 0 0 0 18 0 1 0 244100449 4460544 399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 1089 400 290 324 0 122 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4356 [startup+0.101731 s] /proc/loadavg: 0.73 0.93 0.93 2/64 1626 /proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=5164 CPUtime=0.09 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 244100449 5287936 664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 1291 664 310 324 0 361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5164 [startup+0.301749 s] /proc/loadavg: 0.73 0.93 0.93 2/64 1626 /proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=5808 CPUtime=0.28 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 891 0 0 0 28 0 0 0 19 0 1 0 244100449 5947392 824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 1452 824 311 324 0 522 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5808 [startup+0.701789 s] /proc/loadavg: 0.73 0.93 0.93 2/64 1626 /proc/meminfo: memFree=1826832/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=6844 CPUtime=0.69 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 1165 0 0 0 68 1 0 0 22 0 1 0 244100449 7008256 1098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 1711 1098 311 324 0 781 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6844 [startup+1.50287 s] /proc/loadavg: 0.75 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1822792/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=9444 CPUtime=1.49 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 1813 0 0 0 148 1 0 0 25 0 1 0 244100449 9670656 1746 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 2361 1746 311 324 0 1431 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9444 [startup+3.10102 s] /proc/loadavg: 0.75 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1819912/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=10492 CPUtime=3.08 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2076 0 0 0 307 1 0 0 25 0 1 0 244100449 10743808 2009 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 2623 2009 311 324 0 1693 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10492 [startup+6.30134 s] /proc/loadavg: 0.75 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1819336/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=11132 CPUtime=6.28 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2219 0 0 0 627 1 0 0 25 0 1 0 244100449 11399168 2152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 2783 2152 311 324 0 1853 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11132 [startup+12.702 s] /proc/loadavg: 0.79 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1817096/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=13468 CPUtime=12.69 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 2803 0 0 0 1267 2 0 0 25 0 1 0 244100449 13791232 2736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 3367 2736 311 324 0 2437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13468 [startup+25.5013 s] /proc/loadavg: 0.82 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1816264/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=14364 CPUtime=25.48 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 3028 0 0 0 2546 2 0 0 25 0 1 0 244100449 14708736 2961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 3591 2961 311 324 0 2661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14364 [startup+51.1017 s] /proc/loadavg: 0.88 0.94 0.93 2/65 1627 /proc/meminfo: memFree=1810824/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=19724 CPUtime=51.06 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4389 0 0 0 5104 2 0 0 25 0 1 0 244100449 20197376 4322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 4931 4322 311 324 0 4001 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 19724 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.93 2/65 1627 /proc/meminfo: memFree=1810056/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20496 CPUtime=102.26 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 10223 3 0 0 25 0 1 0 244100449 20987904 4501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5124 4501 311 324 0 4194 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20496 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.93 2/65 1627 /proc/meminfo: memFree=1810056/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20472 CPUtime=162.24 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 16221 3 0 0 25 0 1 0 244100449 20963328 4501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5118 4501 311 324 0 4188 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20472 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.93 2/65 1629 /proc/meminfo: memFree=1810120/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20408 CPUtime=222.23 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 22220 3 0 0 25 0 1 0 244100449 20897792 4493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5102 4493 311 324 0 4172 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20408 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20368 CPUtime=282.21 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 28218 3 0 0 25 0 1 0 244100449 20856832 4483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5092 4483 311 324 0 4162 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20368 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20356 CPUtime=342.2 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4568 0 0 0 34217 3 0 0 25 0 1 0 244100449 20844544 4480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5089 4480 311 324 0 4159 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20356 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20348 CPUtime=402.18 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4569 0 0 0 40215 3 0 0 25 0 1 0 244100449 20836352 4478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5087 4478 311 324 0 4157 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20348 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1810184/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=20348 CPUtime=462.16 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4571 0 0 0 46213 3 0 0 25 0 1 0 244100449 20836352 4478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5087 4478 311 324 0 4157 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 20348 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1808712/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=21772 CPUtime=522.15 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 4927 0 0 0 52212 3 0 0 25 0 1 0 244100449 22294528 4834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 5443 4834 311 324 0 4513 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 21772 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1805256/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=26156 CPUtime=582.14 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 5993 0 0 0 58210 4 0 0 25 0 1 0 244100449 26783744 5900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 6539 5900 311 324 0 5609 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 26156 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801672/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=642.13 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 64208 5 0 0 25 0 1 0 244100449 29536256 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6597 311 324 0 6281 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 28844 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28840 CPUtime=822.08 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 82203 5 0 0 25 0 1 0 244100449 29532160 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7210 6597 311 324 0 6280 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 28840 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28840 CPUtime=882.06 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6690 0 0 0 88201 5 0 0 25 0 1 0 244100449 29532160 6597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7210 6597 311 324 0 6280 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 28840 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801544/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=942.05 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 94200 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 28844 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1002.03 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 100198 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 28844 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1062.02 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 106197 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 28844 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1122 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 112195 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 28844 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801480/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1181.99 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 118194 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 28844 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801416/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1241.97 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 124192 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5651569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 28844 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1629 /proc/meminfo: memFree=1801352/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28844 CPUtime=1301.96 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 130191 5 0 0 25 0 1 0 244100449 29536256 6598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7211 6598 311 324 0 6281 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 28844 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/71 1700 /proc/meminfo: memFree=1799952/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28816 CPUtime=1361.93 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 136187 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967591 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7204 6595 311 324 0 6274 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 28816 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28816 CPUtime=1421.85 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 142179 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7204 6595 311 324 0 6274 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 28816 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28816 CPUtime=1481.83 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 148177 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7204 6595 311 324 0 6274 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 28816 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28816 CPUtime=1541.81 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 154175 6 0 0 25 0 1 0 244100449 29507584 6595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7204 6595 311 324 0 6274 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 28816 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1800904/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28732 CPUtime=1601.8 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 160174 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7183 6574 311 324 0 6253 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 28732 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1800968/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28732 CPUtime=1661.78 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 166172 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7183 6574 311 324 0 6253 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 28732 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28732 CPUtime=1721.77 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 172171 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7183 6574 311 324 0 6253 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 28732 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28732 CPUtime=1781.75 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 178169 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7183 6574 311 324 0 6253 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 28732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1840 /proc/meminfo: memFree=1801096/2055920 swapFree=4183296/4192956 [pid=1626] ppid=1624 vsize=28732 CPUtime=1800.06 /proc/1626/stat : 1626 (bsolo3.0.17) R 1624 1626 387 0 -1 4194304 6691 0 0 0 180000 6 0 0 25 0 1 0 244100449 29421568 6574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1626/statm: 7183 6574 311 324 0 6253 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 28732 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.62 CPU time (s): 1800.08 CPU user time (s): 1800 CPU system time (s): 0.071989 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 28876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.071989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6695 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= 2951 runsolver used 1.35779 second user time and 3.61745 second system time The end
Begin job on node60 on Mon Apr 30 19:38:25 UTC 2007 IDJOB= 433675 IDBENCH= 24962 IDSOLVER= 199 FILE ID= node60/433675-1177961904 PBS_JOBID= 4727708 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-433675-1177961904 -o ROOT/results/node60/solver-433675-1177961904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433675-1177961904/instance-433675-1177961904.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c4de50562e099d54fade2e7e4191867f RANDOM SEED= 544446224 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1827432 kB Buffers: 9864 kB Cached: 144588 kB SwapCached: 3580 kB Active: 33892 kB Inactive: 130272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827432 kB SwapTotal: 4192956 kB SwapFree: 4183296 kB Dirty: 6900 kB Writeback: 0 kB Mapped: 15840 kB Slab: 50332 kB Committed_AS: 2710260 kB PageTables: 1464 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 node60 on Mon Apr 30 20:08:28 UTC 2007