Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 18032 | 1800.01 | 1800.5 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/372302-1177085744/instance-372302-1177085744.opb 0.00/0.00 c File size is 149868 bytes. 0.02/0.03 c Highest Coefficient sum: 524792 0.02/0.03 c Parsing was ok!! 0.02/0.03 c Total parsing time: 0.026 s 0.02/0.03 c Var: 2278 Constr: 4879 4879/0/0 Lit: 12472 Watch. Lit: 9756 0.02/0.03 c Obj. Vars: 1076 (47.2344 % of total variables) 0.02/0.05 c Pre-processing Time: 0.054 s 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 0 2122 3870 10065 2 7740 1289 0 0 0.05 0.02/0.05 c Switching off LPR mode. 0.02/0.06 o 19036 0.057 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 0 2122 3871 11139 2 8777 3437 1 0 0.06 0.02/0.06 o 19028 0.059 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 1 2122 3873 12256 3 9816 3437 3 16 0.06 1.89/1.92 c 101 2122 3973 16825 4 10016 3781 103 1246 0.08 1.89/1.92 c 352 2122 4224 32865 7 10516 4160 354 2394 0.15 1.89/1.92 c 827 2122 4699 61575 13 11468 4577 829 3007 0.28 1.89/1.92 c 1640 2122 5512 99642 18 13094 5035 1642 3260 0.50 1.89/1.92 c 2960 2122 6832 164550 24 15736 5539 2962 3549 0.83 1.89/1.92 c 5041 2122 8913 296433 33 19896 6093 5043 3603 1.40 1.89/1.92 o 18900 1.921 65.27/65.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.27/65.35 c 6465 2122 6918 203460 29 14871 3437 3048 3339 1.94 65.27/65.35 c 6567 2122 7020 208983 29 15076 3781 3150 3347 1.96 65.27/65.35 c 6817 2122 7270 221577 30 15575 4160 3400 3391 2.01 65.27/65.35 c 7292 2122 7745 251835 32 16525 4577 3875 3425 2.13 65.27/65.35 c 8105 2122 8558 297378 34 18152 5035 4688 3520 2.30 65.27/65.35 c 9426 2122 6389 153273 23 13814 5539 2519 3589 2.63 65.27/65.35 c 11507 2122 8470 261109 30 17975 6093 4600 3638 3.16 65.27/65.35 c 14730 2122 7454 206255 27 15943 6703 3584 3619 4.07 65.27/65.35 c 19666 2122 7721 206615 26 16478 7374 3851 3553 5.54 65.27/65.35 c 27172 2122 10280 416978 40 21596 8112 6410 3332 8.15 65.27/65.35 c 38533 2122 11090 403141 36 23216 8924 7220 3255 11.84 65.27/65.35 c 55677 2122 10954 364273 33 22943 9817 7084 2867 19.42 65.27/65.35 c 81497 2122 12037 646131 53 25109 10799 8167 2574 31.66 65.27/65.35 c 120329 2122 9271 368906 39 19577 11879 5401 1842 65.33 65.27/65.35 o 18709 65.331 65.37/65.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.37/65.44 c 120329 2122 9272 369980 39 20614 3437 5402 1841 65.33 65.37/65.44 c 120429 2122 5690 130374 22 12415 3781 1820 1840 65.42 65.37/65.44 o 18655 65.422 140.45/140.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 140.45/140.56 c 120430 2122 5692 131491 23 13454 3437 1822 1840 65.42 140.45/140.56 c 120531 2122 5793 137706 23 13657 3781 1923 1841 65.46 140.45/140.56 c 120781 2122 6043 153577 25 14160 4160 2173 1842 65.54 140.45/140.56 c 121257 2122 6519 181600 27 15109 4577 2649 1845 65.70 140.45/140.56 c 122070 2122 7332 226275 30 16736 5035 3462 1851 65.92 140.45/140.56 c 123391 2122 8653 290046 33 19378 5539 4783 1862 66.25 140.45/140.56 c 125472 2122 6682 150058 22 14399 6093 2812 1876 66.86 140.45/140.56 c 128695 2122 9905 326286 32 20846 6703 6035 1904 67.58 140.45/140.56 c 133631 2122 10236 315538 30 21508 7374 6366 1928 69.28 140.45/140.56 c 141137 2122 8110 236186 29 17256 8112 4240 1956 72.14 140.45/140.56 c 152498 2122 8700 274700 31 18436 8924 4830 1995 76.43 140.45/140.56 c 169642 2122 8559 264642 30 18153 9817 4689 2064 82.17 140.45/140.56 c 195462 2122 10088 359390 35 21212 10799 6218 2104 92.86 140.45/140.56 c 234294 2122 9271 248637 26 19578 11879 5401 2087 112.24 140.45/140.56 c 292647 2122 9811 305514 31 20657 13067 5941 2082 140.51 140.45/140.56 o 18516 140.52 172.34/172.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 172.34/172.40 c 292653 2122 9818 306818 31 21710 3437 5948 2082 140.52 172.34/172.40 c 292754 2122 5691 106034 18 12418 3781 1821 2081 140.62 172.34/172.40 c 293004 2122 5941 119464 20 12918 4160 2071 2082 140.69 172.34/172.40 c 293479 2122 6416 147516 22 13868 4577 2546 2084 140.79 172.34/172.40 c 294292 2122 7229 185037 25 15494 5035 3359 2087 140.97 172.34/172.40 c 295612 2122 8549 315360 36 18134 5539 4679 2087 141.62 172.34/172.40 c 297693 2122 6641 206214 31 14318 6093 2771 2093 142.19 172.34/172.40 c 300917 2122 9865 372406 37 20765 6703 5995 2102 143.14 172.34/172.40 c 305854 2122 10351 366884 35 21738 7374 6481 2110 144.91 172.34/172.40 c 313361 2122 7817 275211 35 16671 8112 3947 2119 147.84 172.34/172.40 c 324723 2122 8244 227093 27 17524 8924 4374 2141 151.65 172.34/172.40 c 341867 2122 8333 300205 36 17701 9817 4463 2134 160.15 172.34/172.40 c 367686 2122 8780 321410 36 18596 10799 4910 2133 172.34 172.34/172.40 o 18433 172.349 260.82/260.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 260.82/260.90 c 367686 2122 8781 322484 36 19633 3437 4911 2133 172.35 260.82/260.90 c 367787 2122 5691 121602 21 12418 3781 1821 2133 172.42 260.82/260.90 c 368037 2122 5941 135709 22 12918 4160 2071 2133 172.48 260.82/260.90 c 368513 2122 6417 163311 25 13870 4577 2547 2135 172.59 260.82/260.90 c 369326 2122 7230 219836 30 15496 5035 3360 2136 172.84 260.82/260.90 c 370646 2122 8550 283063 33 18137 5539 4680 2140 173.18 260.82/260.90 c 372727 2122 6684 159737 23 14404 6093 2814 2145 173.71 260.82/260.90 c 375951 2122 9908 323254 32 20852 6703 6038 2153 174.57 260.82/260.90 c 380887 2122 10278 404464 39 21592 7374 6408 2162 176.11 260.82/260.90 c 388393 2122 7825 259937 33 16686 8112 3955 2172 178.78 260.82/260.90 c 399754 2122 8585 277469 32 18206 8924 4715 2171 184.06 260.82/260.90 c 416898 2122 8333 269588 32 17702 9817 4463 2168 192.23 260.82/260.90 c 442717 2122 9663 333516 34 20363 10799 5793 2147 206.17 260.82/260.90 c 481551 2122 13923 748401 53 28881 11879 10053 2113 227.84 260.82/260.90 c 539904 2122 14316 496955 34 29668 13067 10446 2069 260.82 260.82/260.90 o 18414 260.832 296.20/296.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 296.20/296.35 c 539911 2122 14324 498445 34 30720 3437 10454 2069 260.83 296.20/296.35 c 540013 2122 5692 97531 17 12421 3781 1822 2067 261.17 296.20/296.35 c 540264 2122 5943 112201 18 12922 4160 2073 2068 261.24 296.20/296.35 c 540739 2122 6418 132179 20 13872 4577 2548 2069 261.32 296.20/296.35 c 541552 2122 7231 177830 24 15497 5035 3361 2070 261.50 296.20/296.35 c 542872 2122 8551 254435 29 18138 5539 4681 2073 261.79 296.20/296.35 c 544953 2122 6641 154032 23 14319 6093 2771 2077 262.35 296.20/296.35 c 548176 2122 9864 358218 36 20764 6703 5994 2080 263.51 296.20/296.35 c 553112 2122 10408 368830 35 21852 7374 6538 2087 264.96 296.20/296.35 c 560618 2122 8055 277743 34 17146 8112 4185 2098 267.12 296.20/296.35 c 571979 2122 8990 321313 35 19016 8924 5120 2101 272.12 296.20/296.35 c 589123 2122 9107 332354 36 19251 9817 5237 2097 280.83 296.20/296.35 c 614942 2122 9593 304126 31 20223 10799 5723 2076 296.20 296.20/296.35 o 18394 296.265 1323.62/1324.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1323.62/1324.09 c 615202 2122 9854 321951 32 21782 3437 5984 2076 296.27 1323.62/1324.09 c 615303 2122 5691 108004 18 12419 3781 1821 2075 296.44 1323.62/1324.09 c 615554 2122 5942 119205 20 12920 4160 2072 2076 296.49 1323.62/1324.09 c 616030 2122 6418 142170 22 13872 4577 2548 2076 296.60 1323.62/1324.09 c 616843 2122 7231 183926 25 15498 5035 3361 2078 296.81 1323.62/1324.09 c 618163 2122 8551 254961 29 18140 5539 4681 2080 297.08 1323.62/1324.09 c 620244 2122 6641 157269 23 14318 6093 2771 2084 297.59 1323.62/1324.09 c 623467 2122 9864 309326 31 20764 6703 5994 2090 298.28 1323.62/1324.09 c 628403 2122 10214 312692 30 21464 7374 6344 2097 299.56 1323.62/1324.09 c 635909 2122 7929 234315 29 16894 8112 4059 2103 302.26 1323.62/1324.09 c 647271 2122 8696 275896 31 18429 8924 4826 2111 306.54 1323.62/1324.09 c 664415 2122 8961 315146 35 18959 9817 5091 2106 315.35 1323.62/1324.09 c 690234 2122 9532 382282 40 20100 10799 5662 2091 330.04 1323.62/1324.09 c 729066 2122 9271 332843 35 19579 11879 5401 2057 354.36 1323.62/1324.09 c 787419 2122 15177 684321 45 31390 13067 11307 2025 388.71 1323.62/1324.09 c 875051 2122 16746 704200 42 34528 14374 12876 2023 432.37 1323.62/1324.09 c 1006606 2122 14310 665604 46 29657 15812 10440 1999 503.43 1323.62/1324.09 c 1204039 2122 15891 913887 57 32818 17394 12021 1877 641.37 1323.62/1324.09 c 1500291 2122 13399 581727 43 27834 19134 9529 1668 899.02 1323.62/1324.09 c 1944775 2122 13438 797485 59 27912 21048 9568 1469 1323.72 1323.62/1324.09 o 18032 1323.73 1799.90/1800.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.49 c 1944776 2122 13440 798602 59 28953 3437 9570 1469 1323.73 1799.90/1800.49 c 1944876 2122 5690 210642 37 12416 3781 1820 1468 1323.99 1799.90/1800.49 c 1945126 2122 5940 225194 37 12917 4160 2070 1469 1324.06 1799.90/1800.49 c 1945601 2122 6415 254560 39 13867 4577 2545 1469 1324.23 1799.90/1800.49 c 1946414 2122 7228 296490 41 15493 5035 3358 1469 1324.44 1799.90/1800.49 c 1947735 2122 8549 387162 45 18135 5539 4679 1470 1324.83 1799.90/1800.49 c 1949817 2122 6678 178690 26 14393 6093 2808 1470 1325.51 1799.90/1800.49 c 1953040 2122 9901 427707 43 20839 6703 6031 1472 1326.64 1799.90/1800.49 c 1957976 2122 10290 362790 35 21617 7374 6420 1474 1327.84 1799.90/1800.49 c 1965482 2122 8178 308874 37 17393 8112 4308 1475 1331.64 1799.90/1800.49 c 1976843 2122 8971 589626 65 18979 8924 5101 1476 1338.85 1799.90/1800.49 c 1993987 2122 9442 395160 41 19922 9817 5572 1480 1346.40 1799.90/1800.49 c 2019806 2122 10550 314689 29 22138 10799 6680 1487 1357.75 1799.90/1800.49 c 2058638 2122 14734 604484 41 30504 11879 10864 1493 1378.66 1799.90/1800.49 c 2116990 2122 14550 752941 51 30137 13067 10680 1501 1410.15 1799.90/1800.49 c 2204623 2122 10405 360137 34 21847 14374 6535 1503 1466.24 1799.90/1800.49 c 2336175 2122 16792 702284 41 34621 15812 12922 1488 1569.65 1799.90/1800.49 c 2533607 2122 11777 434696 36 24590 17394 7907 1500 1688.83 1799.90/1800.49 c Resources Exceeded 1799.90/1800.49 v -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 x179 -x181 -x182 -x184 -x186 -x188 1799.90/1800.49 v -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 1799.90/1800.49 v -x232 -x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 1799.90/1800.49 v -x274 -x276 -x278 -x280 -x282 -x284 -x286 x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 1799.90/1800.49 v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 1799.90/1800.49 v -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 1799.90/1800.49 v x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 1799.90/1800.49 v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x472 -x474 -x476 -x478 -x480 1799.90/1800.49 v -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 1799.90/1800.49 v -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 1799.90/1800.49 v -x565 -x567 -x569 -x571 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 1799.90/1800.49 v -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 1799.90/1800.49 v -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 1799.90/1800.49 v -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 1799.90/1800.49 v -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 1799.90/1800.49 v -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 1799.90/1800.49 v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 1799.90/1800.49 v -x858 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 1799.90/1800.49 v -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 1799.90/1800.49 v -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 x980 1799.90/1800.49 v -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 1799.90/1800.49 v -x1020 -x1022 -x1024 x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 1799.90/1800.49 v -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 x1080 -x1082 -x1084 -x1086 1799.90/1800.49 v -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 1799.90/1800.49 v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 1799.90/1800.49 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 1799.90/1800.49 v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 1799.90/1800.49 v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 1799.90/1800.49 v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 1799.90/1800.49 v -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1318 -x1320 -x1322 1799.90/1800.49 v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 1799.90/1800.49 v -x1358 -x1360 -x1362 -x1364 -x1366 x1367 -x1369 -x1371 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 1799.90/1800.49 v -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 x1413 -x1415 -x1417 -x1419 -x1421 1799.90/1800.49 v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 1799.90/1800.49 v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 x1489 1799.90/1800.49 v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 1799.90/1800.49 v -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 1799.90/1800.49 v -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 1799.90/1800.49 v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1613 x1615 -x1617 -x1619 -x1621 -x1623 1799.90/1800.49 v -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1652 -x1654 -x1656 1799.90/1800.49 v -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 1799.90/1800.49 v -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1715 -x1717 -x1719 -x1721 -x1723 1799.90/1800.49 v -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 1799.90/1800.49 v -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 x1783 -x1785 -x1787 -x1789 -x1791 1799.90/1800.49 v -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 x1809 -x1811 x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1799.90/1800.49 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1852 -x1854 -x1856 -x1858 -x1860 1799.90/1800.49 v -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 1799.90/1800.49 v -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 x1924 -x1926 -x1928 1799.90/1800.49 v x1930 -x1932 x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 1799.90/1800.49 v -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 x1995 -x1997 -x1999 1799.90/1800.49 v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2028 -x2030 -x2032 1799.90/1800.49 v -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 x2056 x2058 -x2060 -x2062 -x2064 -x2066 x2068 1799.90/1800.49 v -x2070 -x2072 -x2074 -x2076 -x2078 -x2079 -x2081 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 1799.90/1800.49 v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1799.90/1800.49 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 x2166 -x2168 1799.90/1800.49 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 x2182 x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 x2204 1799.90/1800.49 v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 x2238 x2240 1799.90/1800.49 v -x2242 -x2244 -x2246 -x2248 -x2250 x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 x2272 -x2274 x2276 1799.90/1800.49 v -x2278 -x148 -x1 -x150 -x2 -x152 -x154 -x156 -x3 -x158 -x160 -x162 -x4 -x164 -x166 -x168 -x170 -x172 -x174 -x176 x5 x178 -x180 1799.90/1800.49 v -x6 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x7 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 1799.90/1800.49 v -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 x237 -x239 -x8 -x241 -x243 -x245 -x9 -x247 -x249 -x251 -x253 -x255 -x257 -x259 1799.90/1800.49 v -x10 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 1799.90/1800.49 v -x301 -x303 -x11 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x12 -x327 -x329 -x331 -x13 -x333 -x335 1799.90/1800.49 v -x337 -x14 -x339 -x341 -x343 -x345 -x347 -x15 -x349 -x16 -x351 -x17 -x353 -x355 -x357 -x18 -x359 -x361 -x363 -x19 -x365 -x367 1799.90/1800.49 v -x369 -x371 -x373 -x375 x377 x20 -x379 -x381 -x383 -x21 -x385 -x387 -x389 -x391 -x393 -x395 -x397 x399 -x401 -x403 -x405 -x407 1799.90/1800.49 v -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 1799.90/1800.49 v -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x22 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 1799.90/1800.49 v -x493 -x23 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x24 -x517 -x519 -x522 -x524 -x526 -x528 -x530 1799.90/1800.49 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x25 -x550 -x552 -x554 -x556 -x558 -x26 -x560 -x562 -x564 -x566 -x568 1799.90/1800.49 v -x27 -x570 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x28 -x591 -x593 -x29 -x595 -x597 -x599 -x30 -x601 -x603 1799.90/1800.49 v -x605 -x31 -x607 -x609 -x611 -x613 -x615 -x32 -x617 -x33 -x619 -x34 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 1799.90/1800.49 v -x639 -x641 -x35 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 x665 -x667 -x669 -x671 -x673 -x675 -x677 1799.90/1800.49 v -x679 -x681 -x36 -x683 -x685 -x687 -x689 -x691 -x693 -x695 x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 1799.90/1800.49 v -x719 -x721 -x723 -x725 -x37 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x38 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x39 1799.90/1800.49 v -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x40 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x41 -x783 -x785 -x787 -x42 -x789 1799.90/1800.49 v -x791 -x793 -x43 -x795 -x797 -x799 -x44 -x801 -x803 -x805 -x45 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 1799.90/1800.49 v -x827 -x829 -x831 x833 -x835 -x837 -x839 -x841 -x46 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x860 -x862 -x47 -x864 1799.90/1800.49 v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 1799.90/1800.49 v -x908 -x910 -x912 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 1799.90/1800.49 v -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 x48 -x971 -x973 -x975 -x977 x979 -x981 -x983 -x49 -x985 -x987 1799.90/1800.49 v -x989 -x991 -x993 -x995 -x997 -x50 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x51 -x1021 1799.90/1800.49 v -x1023 x1025 -x1027 -x1029 -x1031 -x52 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x53 1799.90/1800.49 v -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 x54 -x1069 -x1071 -x1073 -x1075 -x1077 x1079 -x1081 -x55 -x1083 -x1085 1799.90/1800.49 v -x1087 -x56 -x1089 -x1091 -x1093 -x57 -x1095 -x1097 -x1099 -x1101 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 1799.90/1800.49 v -x1120 -x1122 -x58 -x1124 -x1126 -x1128 -x59 -x1130 -x1132 -x1134 -x60 -x1136 -x1138 -x1140 -x61 -x1142 -x1144 -x1146 -x1148 1799.90/1800.49 v -x1150 -x62 -x1152 -x63 -x1154 -x64 -x1156 -x1158 -x1160 -x1162 -x1164 -x65 -x1166 -x1168 -x1170 -x66 -x1172 -x1174 -x1176 1799.90/1800.49 v -x67 -x1178 -x1180 -x1182 -x68 -x1184 -x1186 -x1188 -x69 -x1190 -x1192 -x1194 -x70 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 1799.90/1800.49 v -x1208 -x1210 -x1212 -x1214 -x1216 -x71 -x1218 -x1220 -x1222 -x72 -x1224 -x1226 -x1228 -x73 -x1230 -x1232 -x1234 -x1236 1799.90/1800.49 v -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x74 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x75 -x1266 -x1268 1799.90/1800.49 v -x1270 -x76 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x77 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x78 1799.90/1800.49 v -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 1799.90/1800.49 v -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368 1799.90/1800.49 v -x1370 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x79 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 1799.90/1800.49 v -x1405 -x1407 -x1409 -x1411 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 1799.90/1800.49 v -x1440 -x1442 -x80 -x1444 -x1446 -x1448 -x1450 -x1452 -x81 -x1454 -x1456 -x1458 -x1460 -x1462 -x82 -x1464 -x1466 -x1468 1799.90/1800.49 v -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1503 1799.90/1800.49 v -x1505 -x83 -x1507 -x1509 -x1511 -x84 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x85 -x1527 -x1529 -x1531 -x1533 1799.90/1800.49 v -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x86 -x1549 -x1551 -x87 -x1553 -x1555 -x1557 -x88 -x1559 -x1561 -x1563 1799.90/1800.49 v -x89 -x1565 -x1567 -x1569 -x90 -x1571 -x1573 -x1575 -x1577 -x1579 -x91 -x1581 -x92 -x1583 -x93 -x1585 -x1587 -x1589 -x94 1799.90/1800.49 v -x1591 -x1593 -x1595 -x95 -x1597 -x1599 -x1601 -x96 -x1603 -x1605 -x1607 -x97 -x1609 -x1611 x1614 -x1616 -x1618 -x1620 1799.90/1800.49 v -x1622 -x1624 -x1626 -x98 -x1628 -x1630 -x1632 -x1634 -x1636 -x99 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x100 1799.90/1800.49 v -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x101 -x1665 -x1667 -x1669 -x102 -x1671 -x1673 -x1675 -x103 -x1677 -x1679 -x1681 1799.90/1800.49 v -x1683 -x1685 -x1687 -x1689 -x104 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x105 -x1705 -x1707 -x1709 -x106 -x1711 1799.90/1800.49 v -x1713 -x107 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 1799.90/1800.49 v -x108 -x1746 -x1748 -x1750 -x109 -x1752 -x1754 -x1756 -x110 -x1758 -x1760 -x1762 -x111 -x1764 -x1766 -x1768 -x1770 -x1772 1799.90/1800.49 v -x112 -x1774 -x113 -x1776 -x1778 -x1780 x1782 -x1784 -x1786 -x114 -x1788 -x1790 -x1792 -x115 -x1794 -x1796 -x1798 -x116 1799.90/1800.49 v -x1800 -x1802 -x1804 -x1806 x1808 -x1810 x1812 -x1814 -x1816 -x117 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x118 1799.90/1800.49 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 -x1857 -x1859 -x119 -x1861 -x1863 1799.90/1800.49 v -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x120 -x1883 -x1885 -x1887 -x1889 -x1891 -x121 -x1893 -x1895 1799.90/1800.49 v -x1897 -x1899 -x1901 -x122 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x123 -x1915 -x1917 -x1919 -x1921 x1923 -x1925 -x1927 1799.90/1800.49 v x1929 -x1931 x124 x1933 -x1935 -x1937 -x125 -x1939 -x1941 -x1943 -x1945 -x1947 -x126 -x1949 -x127 -x1951 -x128 -x1953 -x1955 1799.90/1800.49 v -x1957 -x1959 -x1961 -x129 -x1963 -x1965 -x1967 -x130 -x1969 -x1971 -x1973 -x1975 x1977 -x1979 -x1981 -x1983 -x1985 -x1987 1799.90/1800.49 v -x1989 -x1992 x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 1799.90/1800.49 v -x2024 -x2026 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 x2055 x2057 -x2059 1799.90/1800.49 v -x2061 -x2063 -x2065 x2067 x131 -x2069 -x2071 -x2073 -x2075 -x2077 -x132 -x2080 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 1799.90/1800.49 v -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 x2119 -x2121 -x2123 -x2125 -x2127 1799.90/1800.49 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x133 -x2157 -x2159 1799.90/1800.49 v -x2161 -x2163 x2165 -x2167 -x134 -x2169 -x2171 -x2173 x135 -x2175 -x2177 -x2179 x2181 x2183 -x2185 -x136 -x2187 -x137 -x2189 1799.90/1800.49 v -x2191 -x2193 -x2195 -x2197 -x138 -x2199 -x2201 x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x139 -x2215 -x2217 -x2219 -x2221 1799.90/1800.49 v x2223 x140 -x2225 -x2227 -x141 -x2229 -x2231 -x2233 -x2235 x2237 x142 x2239 x143 -x2241 -x2243 -x2245 -x2247 -x2249 x2251 1799.90/1800.49 v -x2253 -x2255 -x144 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x145 x2271 -x2273 -x146 x2275 -x2277 x147 1799.90/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.49 c 118 2642999 1695656 10687224 19634 892114 15764 1468 1800.00 1799.90/1800.49 c Objective: 18032 1799.90/1800.49 s SATISFIABLE 1799.90/1800.49 c Total time: 1800 s
OK 18032
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-372302-1177085744 -o ROOT/results/node48/solver-372302-1177085744 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372302-1177085744/instance-372302-1177085744.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.92 0.98 0.99 3/64 15924 /proc/meminfo: memFree=1769472/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=11884 CPUtime=0 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 63419703 12169216 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 2971 336 281 324 0 2003 0 [startup+0.0256 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15924 /proc/meminfo: memFree=1769472/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=4632 CPUtime=0.02 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 532 0 0 0 2 0 0 0 18 0 1 0 63419703 4743168 500 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 1158 501 312 324 0 190 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4632 [startup+0.101606 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15924 /proc/meminfo: memFree=1769472/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=5164 CPUtime=0.09 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 734 0 0 0 9 0 0 0 18 0 1 0 63419703 5287936 665 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 1291 665 312 324 0 360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5164 [startup+0.301624 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15924 /proc/meminfo: memFree=1769472/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=5808 CPUtime=0.29 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 890 0 0 0 28 1 0 0 19 0 1 0 63419703 5947392 821 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 1452 821 313 324 0 521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5808 [startup+0.701661 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15924 /proc/meminfo: memFree=1769472/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=6844 CPUtime=0.69 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 1163 0 0 0 67 2 0 0 22 0 1 0 63419703 7008256 1094 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 1711 1094 313 324 0 780 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6844 [startup+1.50174 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1765240/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=9444 CPUtime=1.49 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 1813 0 0 0 146 3 0 0 25 0 1 0 63419703 9670656 1744 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 2361 1744 313 324 0 1430 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9444 [startup+3.10188 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1762488/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=10492 CPUtime=3.09 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 2080 0 0 0 304 5 0 0 25 0 1 0 63419703 10743808 2011 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 2623 2011 313 324 0 1692 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10492 [startup+6.30118 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1761720/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=11132 CPUtime=6.29 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 2223 0 0 0 622 7 0 0 25 0 1 0 63419703 11399168 2154 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 2783 2154 313 324 0 1852 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11132 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1759352/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=13468 CPUtime=12.68 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 2807 0 0 0 1253 15 0 0 25 0 1 0 63419703 13791232 2738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 3367 2738 313 324 0 2436 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13468 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1758456/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=14364 CPUtime=25.49 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 3032 0 0 0 2527 22 0 0 25 0 1 0 63419703 14708736 2963 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 3591 2963 313 324 0 2660 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14364 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1753080/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=19724 CPUtime=51.07 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4393 0 0 0 5076 31 0 0 25 0 1 0 63419703 20197376 4324 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 4931 4324 313 324 0 4000 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19724 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20496 CPUtime=102.26 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4572 0 0 0 10158 68 0 0 25 0 1 0 63419703 20987904 4503 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5124 4503 313 324 0 4193 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20496 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752312/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20472 CPUtime=162.24 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4572 0 0 0 16113 111 0 0 25 0 1 0 63419703 20963328 4503 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5118 4503 313 324 0 4187 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20472 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20408 CPUtime=222.22 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4572 0 0 0 22080 142 0 0 25 0 1 0 63419703 20897792 4495 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5102 4495 313 324 0 4171 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20408 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20372 CPUtime=282.22 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4572 0 0 0 28050 172 0 0 25 0 1 0 63419703 20860928 4486 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5093 4486 313 324 0 4162 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20372 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20356 CPUtime=342.2 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4572 0 0 0 34016 204 0 0 25 0 1 0 63419703 20844544 4482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5089 4482 313 324 0 4158 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20356 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20348 CPUtime=402.18 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4573 0 0 0 39987 231 0 0 25 0 1 0 63419703 20836352 4480 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5087 4480 313 324 0 4156 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20348 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1752376/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=20348 CPUtime=462.17 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4575 0 0 0 45955 262 0 0 25 0 1 0 63419703 20836352 4480 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5087 4480 313 324 0 4156 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 20348 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1750968/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=21772 CPUtime=522.15 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 4931 0 0 0 51920 295 0 0 25 0 1 0 63419703 22294528 4836 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 5443 4836 313 324 0 4512 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 21772 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1747576/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=25248 CPUtime=582.13 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 5785 0 0 0 57899 314 0 0 25 0 1 0 63419703 25853952 5690 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 6312 5690 313 324 0 5381 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 25248 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743864/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28840 CPUtime=642.11 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6692 0 0 0 63882 329 0 0 25 0 1 0 63419703 29532160 6597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7210 6597 313 324 0 6279 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 28840 ################ # More data... # ################ /proc/meminfo: memFree=1743864/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28844 CPUtime=1121.98 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 111708 490 0 0 25 0 1 0 63419703 29536256 6600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7211 6600 313 324 0 6280 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 28844 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28844 CPUtime=1181.97 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 117692 505 0 0 25 0 1 0 63419703 29536256 6600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134547740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7211 6600 313 324 0 6280 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 28844 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28844 CPUtime=1241.95 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 123676 519 0 0 25 0 1 0 63419703 29536256 6600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7211 6600 313 324 0 6280 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 28844 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28844 CPUtime=1301.94 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 129658 536 0 0 25 0 1 0 63419703 29536256 6600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7211 6600 313 324 0 6280 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 28844 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28816 CPUtime=1361.92 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 135627 565 0 0 25 0 1 0 63419703 29507584 6597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7204 6597 313 324 0 6273 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 28816 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28816 CPUtime=1421.9 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 141603 587 0 0 25 0 1 0 63419703 29507584 6597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7204 6597 313 324 0 6273 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 28816 [startup+1482.3 s] /proc/loadavg: 1.04 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28816 CPUtime=1481.89 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 147580 609 0 0 25 0 1 0 63419703 29507584 6597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7204 6597 313 324 0 6273 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 28816 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28816 CPUtime=1541.87 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 153553 634 0 0 25 0 1 0 63419703 29507584 6597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7204 6597 313 324 0 6273 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 28816 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 15925 /proc/meminfo: memFree=1743736/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1601.86 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 159527 659 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 28732 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1661.84 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 165494 690 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 28732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1721.82 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 171469 713 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 28732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1781.81 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 177457 724 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 28732 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1791.4 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 178415 725 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 28732 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1794.61 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 178735 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 28732 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1797.8 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 179054 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 28732 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1798.6 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 179134 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (KiB) 28732 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1799.4 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 179214 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (KiB) 28732 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1799.8 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 179254 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (KiB) 28732 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15925 /proc/meminfo: memFree=1743800/2055920 swapFree=4184636/4192956 [pid=15924] ppid=15922 vsize=28732 CPUtime=1799.9 /proc/15924/stat : 15924 (bsolo3.0.16) R 15922 15924 15188 0 -1 4194304 6695 0 0 0 179264 726 0 0 25 0 1 0 63419703 29421568 6576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15924/statm: 7183 6576 313 324 0 6252 0 Current children cumulated CPU time (s) 1799.9 Current children cumulated vsize (KiB) 28732 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.01 CPU user time (s): 1792.74 CPU system time (s): 7.27089 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 28876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.74 system time used= 7.27089 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6696 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= 3453 runsolver used 1.3108 second user time and 3.61045 second system time The end
Begin job on node48 on Fri Apr 20 16:15:44 UTC 2007 IDJOB= 372302 IDBENCH= 24962 IDSOLVER= 163 FILE ID= node48/372302-1177085744 PBS_JOBID= 4640306 Free space on /tmp= 66482 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/372302-1177085744/instance-372302-1177085744.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-372302-1177085744 -o ROOT/results/node48/solver-372302-1177085744 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372302-1177085744/instance-372302-1177085744.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c4de50562e099d54fade2e7e4191867f RANDOM SEED= 61706229 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1769880 kB Buffers: 28192 kB Cached: 198192 kB SwapCached: 2232 kB Active: 83680 kB Inactive: 152440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769880 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 4536 kB Writeback: 0 kB Mapped: 16672 kB Slab: 35952 kB Committed_AS: 1101596 kB PageTables: 1388 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= 66482 MiB End job on node48 on Fri Apr 20 16:45:44 UTC 2007