Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | 7d701b956113b6fc93a1922e71200e27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
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 | 2 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 4250 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.39/0.45 c ...done 0.39/0.45 c #vars=4250 #constraints=68398 hasObjective=yes 0.79/0.81 c res. mode=mod 0.79/0.81 c VSIDS like heuristics 0.79/0.81 c complete search running 3.99/4.03 c restart after 401 decisions 4.69/4.71 c nbDecision=500 #constraints=68695 7.09/7.13 c restart after 801 decisions 8.69/8.79 c nbDecision=1000 #constraints=69009 13.89/13.96 c nbDecision=1500 #constraints=69344 14.99/15.07 c restart after 1601 decisions 19.28/19.37 c nbDecision=2000 #constraints=69660 22.49/22.59 c nbDecision=2500 #constraints=69844 22.89/22.97 c nbDecision=3000 #constraints=69856 23.09/23.13 c restart after 3201 decisions 23.39/23.46 c nbDecision=3500 #constraints=69867 23.79/23.80 c nbDecision=4000 #constraints=69879 24.19/24.24 c nbDecision=4500 #constraints=69894 24.89/24.92 c nbDecision=5000 #constraints=69925 25.29/25.36 c nbDecision=5500 #constraints=69941 25.69/25.80 c nbDecision=6000 #constraints=69956 26.08/26.15 c restart after 6401 decisions 26.29/26.34 c nbDecision=6500 #constraints=69967 26.78/26.86 c nbDecision=7000 #constraints=69987 27.48/27.53 c nbDecision=7500 #constraints=70017 27.98/28.05 c nbDecision=8000 #constraints=70038 28.38/28.50 c nbDecision=8500 #constraints=70053 28.88/28.96 c nbDecision=9000 #constraints=70068 29.28/29.38 c nbDecision=9500 #constraints=70082 30.08/30.17 c nbDecision=10000 #constraints=70115 30.58/30.64 c nbDecision=10500 #constraints=70131 32.17/32.23 c nbDecision=11000 #constraints=70210 33.17/33.28 c nbDecision=11500 #constraints=70260 33.67/33.74 c nbDecision=12000 #constraints=70274 34.17/34.26 c nbDecision=12500 #constraints=70292 34.67/34.78 c restart after 12801 decisions 34.97/35.06 c nbDecision=13000 #constraints=70317 35.37/35.47 c nbDecision=13500 #constraints=70330 35.87/35.99 c nbDecision=14000 #constraints=70349 36.47/36.55 c nbDecision=14500 #constraints=70371 37.17/37.27 c nbDecision=15000 #constraints=70403 37.77/37.83 c nbDecision=15500 #constraints=70426 38.17/38.26 c nbDecision=16000 #constraints=70440 38.67/38.73 c nbDecision=16500 #constraints=70454 39.18/39.22 c nbDecision=17000 #constraints=70472 39.98/40.03 c nbDecision=17500 #constraints=70504 40.38/40.49 c nbDecision=18000 #constraints=70519 42.48/42.56 c nbDecision=18500 #constraints=70611 42.98/43.02 c nbDecision=19000 #constraints=70627 43.38/43.48 c nbDecision=19500 #constraints=70641 44.08/44.13 c nbDecision=20000 #constraints=70664 44.58/44.60 c nbDecision=20500 #constraints=70679 44.98/45.04 c nbDecision=21000 #constraints=70694 45.58/45.62 c nbDecision=21500 #constraints=70714 46.18/46.25 c nbDecision=22000 #constraints=70739 46.77/46.87 c nbDecision=22500 #constraints=70761 47.37/47.43 c nbDecision=23000 #constraints=70779 47.97/48.02 c nbDecision=23500 #constraints=70801 48.77/48.87 c nbDecision=24000 #constraints=70832 49.27/49.32 c nbDecision=24500 #constraints=70846 51.47/51.59 c nbDecision=25000 #constraints=70939 51.97/52.07 c nbDecision=25500 #constraints=70954 52.07/52.19 c restart after 25601 decisions 52.87/52.97 c nbDecision=26000 #constraints=70976 53.37/53.49 c nbDecision=26500 #constraints=70993 53.87/53.91 c nbDecision=27000 #constraints=71005 54.67/54.76 c nbDecision=27500 #constraints=71037 55.07/55.19 c nbDecision=28000 #constraints=71049 55.77/55.86 c nbDecision=28500 #constraints=71075 56.57/56.69 c nbDecision=29000 #constraints=71106 57.07/57.10 c nbDecision=29500 #constraints=71118 59.16/59.26 c nbDecision=30000 #constraints=71213 59.76/59.87 c nbDecision=30500 #constraints=71237 62.47/62.51 c nbDecision=31000 #constraints=71346 62.97/63.00 c nbDecision=31500 #constraints=71366 63.47/63.55 c nbDecision=32000 #constraints=71386 64.17/64.21 c nbDecision=32500 #constraints=71411 64.77/64.85 c nbDecision=33000 #constraints=71437 65.27/65.36 c nbDecision=33500 #constraints=71456 65.87/65.92 c nbDecision=34000 #constraints=71478 66.36/66.48 c nbDecision=34500 #constraints=71497 67.07/67.13 c nbDecision=35000 #constraints=71523 69.46/69.56 c nbDecision=35500 #constraints=71619 70.06/70.10 c nbDecision=36000 #constraints=71634 70.46/70.57 c nbDecision=36500 #constraints=71646 71.36/71.48 c nbDecision=37000 #constraints=71678 71.86/71.90 c nbDecision=37500 #constraints=71692 72.46/72.52 c nbDecision=38000 #constraints=71711 73.16/73.22 c nbDecision=38500 #constraints=71734 73.86/73.92 c nbDecision=39000 #constraints=71759 74.66/74.75 c nbDecision=39500 #constraints=71790 75.26/75.34 c nbDecision=40000 #constraints=71808 75.77/75.90 c nbDecision=40500 #constraints=71823 76.87/77.00 c nbDecision=41000 #constraints=71862 77.46/77.53 c nbDecision=41500 #constraints=71878 78.07/78.13 c nbDecision=42000 #constraints=71897 81.06/81.15 c nbDecision=42500 #constraints=72005 81.46/81.54 c nbDecision=43000 #constraints=72015 82.26/82.39 c nbDecision=43500 #constraints=72044 82.76/82.88 c nbDecision=44000 #constraints=72058 83.36/83.41 c nbDecision=44500 #constraints=72073 84.06/84.16 c nbDecision=45000 #constraints=72095 85.06/85.14 c nbDecision=45500 #constraints=72131 85.66/85.72 c nbDecision=46000 #constraints=72149 86.26/86.37 c nbDecision=46500 #constraints=72169 86.96/87.02 c nbDecision=47000 #constraints=72191 87.96/88.01 c nbDecision=47500 #constraints=72223 90.45/90.54 c nbDecision=48000 #constraints=72302 90.95/91.02 c nbDecision=48500 #constraints=72316 91.55/91.64 c nbDecision=49000 #constraints=72334 92.26/92.36 c nbDecision=49500 #constraints=72355 93.05/93.18 c nbDecision=50000 #constraints=72379 93.75/93.89 c nbDecision=50500 #constraints=72399 95.05/95.12 c nbDecision=51000 #constraints=72438 95.25/95.31 c restart after 51201 decisions 95.95/96.00 c nbDecision=51500 #constraints=72451 98.35/98.48 c nbDecision=52000 #constraints=72536 101.15/101.21 c nbDecision=52500 #constraints=72620 101.65/101.78 c nbDecision=53000 #constraints=72641 102.35/102.42 c nbDecision=53500 #constraints=72662 103.15/103.27 c nbDecision=54000 #constraints=72693 103.95/104.05 c nbDecision=54500 #constraints=72718 104.55/104.67 c nbDecision=55000 #constraints=72737 105.15/105.28 c nbDecision=55500 #constraints=72758 105.95/106.06 c nbDecision=56000 #constraints=72784 106.74/106.82 c nbDecision=56500 #constraints=72809 109.45/109.52 c nbDecision=57000 #constraints=72893 109.96/110.08 c nbDecision=57500 #constraints=72911 110.85/110.97 c nbDecision=58000 #constraints=72941 111.55/111.66 c nbDecision=58500 #constraints=72963 112.35/112.49 c nbDecision=59000 #constraints=72991 112.95/113.07 c nbDecision=59500 #constraints=73007 113.75/113.87 c nbDecision=60000 #constraints=73034 114.45/114.57 c nbDecision=60500 #constraints=73056 115.35/115.48 c nbDecision=61000 #constraints=73088 116.35/116.44 c nbDecision=61500 #constraints=73118 119.25/119.38 c nbDecision=62000 #constraints=73200 119.75/119.90 c nbDecision=62500 #constraints=73213 120.95/121.04 c nbDecision=63000 #constraints=73245 121.45/121.55 c nbDecision=63500 #constraints=73257 122.34/122.46 c nbDecision=64000 #constraints=73280 123.44/123.56 c nbDecision=64500 #constraints=73316 124.34/124.44 c nbDecision=65000 #constraints=73344 125.35/125.48 c nbDecision=65500 #constraints=73380 126.14/126.29 c nbDecision=66000 #constraints=73410 127.24/127.37 c nbDecision=66500 #constraints=73448 128.24/128.35 c nbDecision=67000 #constraints=73476 129.54/129.65 c nbDecision=67500 #constraints=73509 133.14/133.29 c nbDecision=68000 #constraints=73609 133.84/133.93 c nbDecision=68500 #constraints=73626 135.03/135.13 c nbDecision=69000 #constraints=73659 136.44/136.54 c nbDecision=69500 #constraints=73704 137.24/137.32 c nbDecision=70000 #constraints=73726 139.84/139.90 c nbDecision=70500 #constraints=73797 142.14/142.25 c nbDecision=71000 #constraints=73856 143.04/143.14 c nbDecision=71500 #constraints=73883 143.84/143.95 c nbDecision=72000 #constraints=73904 144.54/144.62 c nbDecision=72500 #constraints=73924 145.34/145.43 c nbDecision=73000 #constraints=73949 146.33/146.48 c nbDecision=73500 #constraints=73979 147.13/147.23 c nbDecision=74000 #constraints=73998 148.23/148.36 c nbDecision=74500 #constraints=74030 151.03/151.11 c nbDecision=75000 #constraints=74096 152.03/152.17 c nbDecision=75500 #constraints=74127 154.43/154.55 c nbDecision=76000 #constraints=74182 155.43/155.53 c nbDecision=76500 #constraints=74214 159.43/159.54 c nbDecision=77000 #constraints=74311 160.03/160.18 c nbDecision=77500 #constraints=74326 162.13/162.25 c nbDecision=78000 #constraints=74386 162.93/163.02 c nbDecision=78500 #constraints=74407 165.93/166.10 c nbDecision=79000 #constraints=74482 168.03/168.18 c nbDecision=79500 #constraints=74527 169.03/169.15 c nbDecision=80000 #constraints=74550 169.83/169.98 c nbDecision=80500 #constraints=74569 170.93/171.06 c nbDecision=81000 #constraints=74597 171.93/172.03 c nbDecision=81500 #constraints=74623 173.13/173.26 c nbDecision=82000 #constraints=74655 180.12/180.22 c nbDecision=82500 #constraints=74800 189.52/189.69 c nbDecision=83000 #constraints=74976 207.51/207.66 c nbDecision=83500 #constraints=75317 223.41/223.57 c nbDecision=84000 #constraints=75596 224.21/224.31 c nbDecision=84500 #constraints=75610 225.21/225.33 c nbDecision=85000 #constraints=75629 226.31/226.42 c nbDecision=85500 #constraints=75651 227.61/227.79 c nbDecision=86000 #constraints=75676 228.51/228.67 c nbDecision=86500 #constraints=75691 229.41/229.52 c nbDecision=87000 #constraints=75705 230.61/230.76 c nbDecision=87500 #constraints=75728 231.61/231.74 c nbDecision=88000 #constraints=75746 233.31/233.44 c nbDecision=88500 #constraints=75780 234.21/234.32 c nbDecision=89000 #constraints=75797 235.21/235.31 c nbDecision=89500 #constraints=75814 236.11/236.28 c nbDecision=90000 #constraints=75833 237.51/237.62 c nbDecision=90500 #constraints=75864 241.20/241.32 c nbDecision=91000 #constraints=75933 245.00/245.12 c nbDecision=91500 #constraints=75999 246.00/246.11 c nbDecision=92000 #constraints=76022 247.00/247.15 c nbDecision=92500 #constraints=76045 248.60/248.78 c nbDecision=93000 #constraints=76078 249.50/249.63 c nbDecision=93500 #constraints=76093 250.30/250.40 c nbDecision=94000 #constraints=76105 251.19/251.32 c nbDecision=94500 #constraints=76124 252.80/252.97 c nbDecision=95000 #constraints=76157 253.79/253.97 c nbDecision=95500 #constraints=76175 255.10/255.21 c nbDecision=96000 #constraints=76200 256.59/256.72 c nbDecision=96500 #constraints=76228 257.49/257.65 c nbDecision=97000 #constraints=76242 258.59/258.72 c nbDecision=97500 #constraints=76264 259.89/260.05 c nbDecision=98000 #constraints=76297 261.39/261.57 c nbDecision=98500 #constraints=76331 268.30/268.42 c nbDecision=99000 #constraints=76433 269.09/269.26 c nbDecision=99500 #constraints=76448 270.09/270.24 c nbDecision=100000 #constraints=76466 271.69/271.83 c nbDecision=100500 #constraints=76493 272.79/273.00 c nbDecision=101000 #constraints=76514 273.59/273.79 c nbDecision=101500 #constraints=76529 274.80/274.92 c nbDecision=102000 #constraints=76552 275.79/275.93 c restart after 102401 decisions 276.69/276.81 c nbDecision=102500 #constraints=76569 277.69/277.84 c nbDecision=103000 #constraints=76589 279.39/279.53 c nbDecision=103500 #constraints=76616 280.39/280.51 c nbDecision=104000 #constraints=76632 281.49/281.63 c nbDecision=104500 #constraints=76652 282.69/282.82 c nbDecision=105000 #constraints=76678 283.78/284.00 c nbDecision=105500 #constraints=76700 290.38/290.59 c nbDecision=106000 #constraints=76800 291.39/291.56 c nbDecision=106500 #constraints=76817 293.18/293.31 c nbDecision=107000 #constraints=76843 294.98/295.17 c nbDecision=107500 #constraints=76871 296.38/296.55 c nbDecision=108000 #constraints=76892 302.87/303.03 c nbDecision=108500 #constraints=76992 304.37/304.52 c nbDecision=109000 #constraints=77016 305.77/305.92 c nbDecision=109500 #constraints=77038 307.27/307.47 c nbDecision=110000 #constraints=77065 308.67/308.89 c nbDecision=110500 #constraints=77090 309.87/310.01 c nbDecision=111000 #constraints=77110 315.98/316.17 c nbDecision=111500 #constraints=77198 317.28/317.47 c nbDecision=112000 #constraints=77220 318.88/319.06 c nbDecision=112500 #constraints=77252 319.88/320.06 c nbDecision=113000 #constraints=77269 321.37/321.53 c nbDecision=113500 #constraints=77292 322.87/323.05 c nbDecision=114000 #constraints=77318 324.28/324.49 c nbDecision=114500 #constraints=77342 325.38/325.57 c nbDecision=115000 #constraints=77359 332.17/332.33 c nbDecision=115500 #constraints=77448 333.17/333.37 c nbDecision=116000 #constraints=77466 334.76/334.93 c nbDecision=116500 #constraints=77494 335.96/336.14 c nbDecision=117000 #constraints=77515 337.26/337.47 c nbDecision=117500 #constraints=77534 339.46/339.64 c nbDecision=118000 #constraints=77568 346.16/346.32 c nbDecision=118500 #constraints=77656 347.86/348.00 c nbDecision=119000 #constraints=77680 348.66/348.80 c nbDecision=119500 #constraints=77692 350.76/350.96 c nbDecision=120000 #constraints=77729 351.66/351.88 c nbDecision=120500 #constraints=77743 360.46/360.70 c nbDecision=121000 #constraints=77851 361.36/361.52 c nbDecision=121500 #constraints=77867 362.56/362.73 c nbDecision=122000 #constraints=77891 364.36/364.53 c nbDecision=122500 #constraints=77920 365.56/365.79 c nbDecision=123000 #constraints=77940 367.35/367.51 c nbDecision=123500 #constraints=77967 368.75/368.92 c nbDecision=124000 #constraints=77993 374.25/374.43 c nbDecision=124500 #constraints=78062 375.35/375.59 c nbDecision=125000 #constraints=78086 376.85/377.07 c nbDecision=125500 #constraints=78111 378.45/378.63 c nbDecision=126000 #constraints=78136 379.84/380.09 c nbDecision=126500 #constraints=78159 381.45/381.68 c nbDecision=127000 #constraints=78187 387.95/388.17 c nbDecision=127500 #constraints=78269 388.85/389.06 c nbDecision=128000 #constraints=78282 390.45/390.61 c nbDecision=128500 #constraints=78309 392.45/392.70 c nbDecision=129000 #constraints=78344 393.35/393.57 c nbDecision=129500 #constraints=78356 396.04/396.28 c nbDecision=130000 #constraints=78394 398.05/398.30 c nbDecision=130500 #constraints=78429 405.64/405.83 c nbDecision=131000 #constraints=78524 407.94/408.15 c nbDecision=131500 #constraints=78554 409.24/409.44 c nbDecision=132000 #constraints=78578 416.23/416.42 c nbDecision=132500 #constraints=78663 418.03/418.20 c nbDecision=133000 #constraints=78692 419.33/419.54 c nbDecision=133500 #constraints=78714 420.83/421.03 c nbDecision=134000 #constraints=78739 422.43/422.69 c nbDecision=134500 #constraints=78767 423.73/423.98 c nbDecision=135000 #constraints=78788 429.52/429.75 c nbDecision=135500 #constraints=78863 432.82/433.08 c nbDecision=136000 #constraints=78911 443.53/443.75 c nbDecision=136500 #constraints=79035 444.53/444.73 c nbDecision=137000 #constraints=79049 449.82/450.05 c nbDecision=137500 #constraints=79118 453.82/454.03 c nbDecision=138000 #constraints=79167 455.52/455.74 c nbDecision=138500 #constraints=79188 486.31/486.58 c nbDecision=139000 #constraints=79519 488.21/488.45 c nbDecision=139500 #constraints=79544 489.31/489.56 c nbDecision=140000 #constraints=79561 491.31/491.52 c nbDecision=140500 #constraints=79587 492.91/493.12 c nbDecision=141000 #constraints=79607 494.60/494.87 c nbDecision=141500 #constraints=79630 495.81/496.09 c nbDecision=142000 #constraints=79645 498.01/498.23 c nbDecision=142500 #constraints=79673 500.31/500.57 c nbDecision=143000 #constraints=79709 502.80/503.09 c nbDecision=143500 #constraints=79742 504.80/505.00 c nbDecision=144000 #constraints=79771 512.19/512.45 c nbDecision=144500 #constraints=79860 513.59/513.87 c nbDecision=145000 #constraints=79883 515.19/515.47 c nbDecision=145500 #constraints=79910 517.29/517.51 c nbDecision=146000 #constraints=79937 518.70/518.99 c nbDecision=146500 #constraints=79960 520.20/520.40 c nbDecision=147000 #constraints=79980 522.40/522.64 c nbDecision=147500 #constraints=80007 523.80/524.03 c nbDecision=148000 #constraints=80026 525.60/525.86 c nbDecision=148500 #constraints=80049 527.39/527.67 c nbDecision=149000 #constraints=80072 529.49/529.74 c nbDecision=149500 #constraints=80099 532.29/532.57 c nbDecision=150000 #constraints=80137 538.19/538.43 c nbDecision=150500 #constraints=80203 541.79/542.09 c nbDecision=151000 #constraints=80243 544.19/544.43 c nbDecision=151500 #constraints=80269 546.68/547.00 c nbDecision=152000 #constraints=80297 547.78/548.02 c nbDecision=152500 #constraints=80310 554.08/554.32 c nbDecision=153000 #constraints=80382 555.68/555.99 c nbDecision=153500 #constraints=80403 557.28/557.53 c nbDecision=154000 #constraints=80422 567.28/567.50 c nbDecision=154500 #constraints=80517 569.67/569.93 c nbDecision=155000 #constraints=80546 572.07/572.33 c nbDecision=155500 #constraints=80574 579.78/580.02 c nbDecision=156000 #constraints=80657 581.18/581.46 c nbDecision=156500 #constraints=80675 583.28/583.56 c nbDecision=157000 #constraints=80704 584.88/585.19 c nbDecision=157500 #constraints=80727 587.37/587.65 c nbDecision=158000 #constraints=80757 597.97/598.23 c nbDecision=158500 #constraints=80863 600.27/600.57 c nbDecision=159000 #constraints=80890 614.36/614.67 c nbDecision=159500 #constraints=81004 616.26/616.56 c nbDecision=160000 #constraints=81028 618.36/618.60 c nbDecision=160500 #constraints=81055 619.96/620.28 c nbDecision=161000 #constraints=81073 621.65/621.92 c nbDecision=161500 #constraints=81092 629.05/629.30 c nbDecision=162000 #constraints=81169 631.25/631.54 c nbDecision=162500 #constraints=81196 640.75/641.01 c nbDecision=163000 #constraints=81285 642.55/642.88 c nbDecision=163500 #constraints=81307 644.65/644.97 c nbDecision=164000 #constraints=81332 656.74/657.03 c nbDecision=164500 #constraints=81431 658.94/659.21 c nbDecision=165000 #constraints=81455 661.14/661.49 c nbDecision=165500 #constraints=81480 666.84/667.16 c nbDecision=166000 #constraints=81533 674.84/675.17 c nbDecision=166500 #constraints=81604 695.23/695.51 c nbDecision=167000 #constraints=81778 696.43/696.79 c nbDecision=167500 #constraints=81795 697.73/698.01 c nbDecision=168000 #constraints=81808 699.72/700.03 c nbDecision=168500 #constraints=81830 701.62/701.93 c nbDecision=169000 #constraints=81852 704.12/704.43 c nbDecision=169500 #constraints=81882 707.32/707.65 c nbDecision=170000 #constraints=81917 708.82/709.14 c nbDecision=170500 #constraints=81934 710.62/710.95 c nbDecision=171000 #constraints=81955 712.12/712.43 c nbDecision=171500 #constraints=81974 713.42/713.77 c nbDecision=172000 #constraints=81991 716.21/716.57 c nbDecision=172500 #constraints=82026 727.41/727.77 c nbDecision=173000 #constraints=82138 728.71/729.04 c nbDecision=173500 #constraints=82154 730.02/730.33 c nbDecision=174000 #constraints=82170 732.21/732.59 c nbDecision=174500 #constraints=82198 734.81/735.18 c nbDecision=175000 #constraints=82226 736.01/736.33 c nbDecision=175500 #constraints=82242 737.81/738.13 c nbDecision=176000 #constraints=82263 739.51/739.89 c nbDecision=176500 #constraints=82284 742.60/742.91 c nbDecision=177000 #constraints=82317 744.20/744.54 c nbDecision=177500 #constraints=82334 745.80/746.18 c nbDecision=178000 #constraints=82355 747.20/747.55 c nbDecision=178500 #constraints=82372 748.40/748.73 c nbDecision=179000 #constraints=82388 751.50/751.83 c nbDecision=179500 #constraints=82427 757.80/758.15 c nbDecision=180000 #constraints=82483 760.00/760.30 c nbDecision=180500 #constraints=82503 761.40/761.76 c nbDecision=181000 #constraints=82517 763.60/763.95 c nbDecision=181500 #constraints=82540 769.50/769.88 c nbDecision=182000 #constraints=82590 771.40/771.75 c nbDecision=182500 #constraints=82608 773.30/773.62 c nbDecision=183000 #constraints=82626 785.39/785.75 c nbDecision=183500 #constraints=82729 786.69/787.04 c nbDecision=184000 #constraints=82745 788.59/788.94 c nbDecision=184500 #constraints=82765 791.18/791.59 c nbDecision=185000 #constraints=82795 793.89/794.30 c nbDecision=185500 #constraints=82824 800.08/800.46 c nbDecision=186000 #constraints=82882 803.28/803.67 c nbDecision=186500 #constraints=82919 804.98/805.34 c nbDecision=187000 #constraints=82939 807.48/807.86 c nbDecision=187500 #constraints=82965 815.58/815.94 c nbDecision=188000 #constraints=83037 825.37/825.73 c nbDecision=188500 #constraints=83118 837.57/837.93 c nbDecision=189000 #constraints=83209 838.97/839.37 c nbDecision=189500 #constraints=83227 840.97/841.40 c nbDecision=190000 #constraints=83249 843.76/844.16 c nbDecision=190500 #constraints=83282 845.57/845.97 c nbDecision=191000 #constraints=83303 848.06/848.47 c nbDecision=191500 #constraints=83328 854.47/854.81 c nbDecision=192000 #constraints=83378 855.76/856.17 c nbDecision=192500 #constraints=83396 858.06/858.44 c nbDecision=193000 #constraints=83421 860.56/860.98 c nbDecision=193500 #constraints=83450 868.06/868.48 c nbDecision=194000 #constraints=83507 883.95/884.38 c nbDecision=194500 #constraints=83617 889.74/890.19 c nbDecision=195000 #constraints=83673 891.75/892.13 c nbDecision=195500 #constraints=83697 895.05/895.47 c nbDecision=196000 #constraints=83729 896.74/897.18 c nbDecision=196500 #constraints=83751 898.64/899.02 c nbDecision=197000 #constraints=83774 901.04/901.44 c nbDecision=197500 #constraints=83801 906.94/907.37 c nbDecision=198000 #constraints=83851 909.14/909.54 c nbDecision=198500 #constraints=83871 911.04/911.46 c nbDecision=199000 #constraints=83892 912.74/913.16 c nbDecision=199500 #constraints=83910 915.54/915.99 c nbDecision=200000 #constraints=83936 922.03/922.48 c nbDecision=200500 #constraints=83981 924.74/925.13 c nbDecision=201000 #constraints=84009 926.83/927.26 c nbDecision=201500 #constraints=84031 928.93/929.34 c nbDecision=202000 #constraints=84050 931.23/931.60 c nbDecision=202500 #constraints=84073 938.53/938.92 c nbDecision=203000 #constraints=84126 941.13/941.57 c nbDecision=203500 #constraints=84151 944.53/944.95 c nbDecision=204000 #constraints=84179 956.42/956.80 c nbDecision=204500 #constraints=84257 958.02/958.41 c restart after 204801 decisions 960.72/961.18 c nbDecision=205000 #constraints=84281 963.72/964.10 c nbDecision=205500 #constraints=84311 965.62/966.09 c nbDecision=206000 #constraints=84333 968.02/968.43 c nbDecision=206500 #constraints=84359 970.52/970.92 c nbDecision=207000 #constraints=84385 972.12/972.57 c nbDecision=207500 #constraints=84402 984.21/984.69 c nbDecision=208000 #constraints=84502 986.71/987.16 c nbDecision=208500 #constraints=84527 990.21/990.63 c nbDecision=209000 #constraints=84555 1001.80/1002.24 c nbDecision=209500 #constraints=84640 1019.31/1019.72 c nbDecision=210000 #constraints=84751 1020.50/1020.96 c nbDecision=210500 #constraints=84766 1023.00/1023.46 c nbDecision=211000 #constraints=84790 1024.80/1025.24 c nbDecision=211500 #constraints=84808 1027.09/1027.56 c nbDecision=212000 #constraints=84834 1029.79/1030.29 c nbDecision=212500 #constraints=84862 1036.59/1037.04 c nbDecision=213000 #constraints=84915 1038.19/1038.63 c nbDecision=213500 #constraints=84929 1040.09/1040.58 c nbDecision=214000 #constraints=84947 1041.89/1042.33 c nbDecision=214500 #constraints=84966 1044.49/1044.99 c nbDecision=215000 #constraints=84990 1051.28/1051.74 c nbDecision=215500 #constraints=85036 1053.29/1053.79 c nbDecision=216000 #constraints=85054 1055.28/1055.70 c nbDecision=216500 #constraints=85071 1058.08/1058.55 c nbDecision=217000 #constraints=85099 1065.49/1065.96 c nbDecision=217500 #constraints=85150 1068.18/1068.62 c nbDecision=218000 #constraints=85172 1070.68/1071.11 c nbDecision=218500 #constraints=85196 1083.98/1084.40 c nbDecision=219000 #constraints=85287 1086.57/1087.07 c nbDecision=219500 #constraints=85315 1089.68/1090.12 c nbDecision=220000 #constraints=85345 1091.97/1092.42 c nbDecision=220500 #constraints=85368 1094.87/1095.39 c nbDecision=221000 #constraints=85395 1097.47/1097.94 c nbDecision=221500 #constraints=85421 1099.77/1100.26 c nbDecision=222000 #constraints=85443 1101.97/1102.43 c nbDecision=222500 #constraints=85464 1105.96/1106.41 c nbDecision=223000 #constraints=85502 1112.56/1113.09 c nbDecision=223500 #constraints=85554 1117.76/1118.24 c nbDecision=224000 #constraints=85603 1124.96/1125.41 c nbDecision=224500 #constraints=85654 1129.26/1129.71 c nbDecision=225000 #constraints=85695 1131.65/1132.19 c nbDecision=225500 #constraints=85717 1134.15/1134.64 c nbDecision=226000 #constraints=85741 1137.45/1137.93 c nbDecision=226500 #constraints=85772 1140.25/1140.77 c nbDecision=227000 #constraints=85800 1142.96/1143.45 c nbDecision=227500 #constraints=85827 1145.36/1145.83 c nbDecision=228000 #constraints=85850 1147.65/1148.18 c nbDecision=228500 #constraints=85873 1150.35/1150.83 c nbDecision=229000 #constraints=85897 1159.95/1160.44 c nbDecision=229500 #constraints=85967 1162.15/1162.68 c nbDecision=230000 #constraints=85990 1164.45/1164.94 c nbDecision=230500 #constraints=86015 1166.65/1167.19 c nbDecision=231000 #constraints=86038 1169.85/1170.30 c nbDecision=231500 #constraints=86063 1171.44/1171.98 c nbDecision=232000 #constraints=86080 1173.94/1174.41 c nbDecision=232500 #constraints=86105 1180.04/1180.52 c nbDecision=233000 #constraints=86160 1181.53/1182.09 c nbDecision=233500 #constraints=86175 1193.54/1194.07 c nbDecision=234000 #constraints=86258 1196.83/1197.38 c nbDecision=234500 #constraints=86291 1202.33/1202.89 c nbDecision=235000 #constraints=86334 1216.62/1217.16 c nbDecision=235500 #constraints=86427 1219.32/1219.84 c nbDecision=236000 #constraints=86452 1222.22/1222.73 c nbDecision=236500 #constraints=86475 1225.32/1225.88 c nbDecision=237000 #constraints=86500 1227.52/1228.09 c nbDecision=237500 #constraints=86520 1230.21/1230.76 c nbDecision=238000 #constraints=86542 1245.72/1246.26 c nbDecision=238500 #constraints=86650 1248.21/1248.74 c nbDecision=239000 #constraints=86671 1252.32/1252.89 c nbDecision=239500 #constraints=86704 1254.62/1255.14 c nbDecision=240000 #constraints=86722 1267.81/1268.38 c nbDecision=240500 #constraints=86807 1270.10/1270.69 c nbDecision=241000 #constraints=86828 1272.10/1272.66 c nbDecision=241500 #constraints=86847 1274.40/1274.93 c nbDecision=242000 #constraints=86865 1277.20/1277.74 c nbDecision=242500 #constraints=86890 1289.29/1289.89 c nbDecision=243000 #constraints=86969 1291.69/1292.22 c nbDecision=243500 #constraints=86993 1300.79/1301.33 c nbDecision=244000 #constraints=87053 1305.68/1306.21 c nbDecision=244500 #constraints=87093 1318.78/1319.36 c nbDecision=245000 #constraints=87177 1322.88/1323.50 c nbDecision=245500 #constraints=87211 1336.18/1336.70 c nbDecision=246000 #constraints=87294 1338.28/1338.83 c nbDecision=246500 #constraints=87315 1364.36/1364.94 c nbDecision=247000 #constraints=87474 1366.86/1367.42 c nbDecision=247500 #constraints=87503 1370.37/1370.93 c nbDecision=248000 #constraints=87538 1373.66/1374.30 c nbDecision=248500 #constraints=87564 1376.67/1377.27 c nbDecision=249000 #constraints=87593 1385.86/1386.45 c nbDecision=249500 #constraints=87662 1390.25/1390.89 c nbDecision=250000 #constraints=87701 1392.95/1393.59 c nbDecision=250500 #constraints=87724 1395.76/1396.33 c nbDecision=251000 #constraints=87751 1398.35/1398.99 c nbDecision=251500 #constraints=87778 1402.15/1402.70 c nbDecision=252000 #constraints=87812 1405.45/1406.02 c nbDecision=252500 #constraints=87840 1407.35/1407.93 c nbDecision=253000 #constraints=87859 1414.65/1415.28 c nbDecision=253500 #constraints=87910 1417.25/1417.82 c nbDecision=254000 #constraints=87934 1419.64/1420.21 c nbDecision=254500 #constraints=87952 1423.24/1423.87 c nbDecision=255000 #constraints=87980 1426.34/1426.98 c nbDecision=255500 #constraints=88013 1429.24/1429.84 c nbDecision=256000 #constraints=88036 1431.54/1432.15 c nbDecision=256500 #constraints=88056 1435.43/1436.07 c nbDecision=257000 #constraints=88090 1437.43/1438.02 c nbDecision=257500 #constraints=88111 1443.03/1443.67 c nbDecision=258000 #constraints=88158 1445.43/1446.00 c nbDecision=258500 #constraints=88183 1447.53/1448.17 c nbDecision=259000 #constraints=88203 1451.34/1451.91 c nbDecision=259500 #constraints=88236 1453.64/1454.22 c nbDecision=260000 #constraints=88260 1456.03/1456.69 c nbDecision=260500 #constraints=88284 1459.43/1460.07 c nbDecision=261000 #constraints=88311 1464.92/1465.51 c nbDecision=261500 #constraints=88356 1467.02/1467.61 c nbDecision=262000 #constraints=88375 1470.02/1470.68 c nbDecision=262500 #constraints=88395 1472.32/1472.91 c nbDecision=263000 #constraints=88415 1475.62/1476.27 c nbDecision=263500 #constraints=88440 1478.71/1479.38 c nbDecision=264000 #constraints=88462 1481.61/1482.29 c nbDecision=264500 #constraints=88490 1485.61/1486.27 c nbDecision=265000 #constraints=88521 1488.21/1488.84 c nbDecision=265500 #constraints=88539 1493.01/1493.66 c nbDecision=266000 #constraints=88577 1497.21/1497.87 c nbDecision=266500 #constraints=88607 1499.41/1500.01 c nbDecision=267000 #constraints=88634 1501.00/1501.65 c nbDecision=267500 #constraints=88652 1503.21/1503.83 c nbDecision=268000 #constraints=88674 1512.51/1513.11 c nbDecision=268500 #constraints=88776 1516.80/1517.46 c nbDecision=269000 #constraints=88830 1520.50/1521.19 c nbDecision=269500 #constraints=88864 1522.50/1523.13 c nbDecision=270000 #constraints=88882 1525.70/1526.30 c nbDecision=270500 #constraints=88916 1528.80/1529.48 c nbDecision=271000 #constraints=88952 1531.70/1532.31 c nbDecision=271500 #constraints=88985 1533.49/1534.13 c nbDecision=272000 #constraints=89013 1535.89/1536.57 c nbDecision=272500 #constraints=89047 1539.00/1539.68 c nbDecision=273000 #constraints=89081 1541.10/1541.72 c nbDecision=273500 #constraints=89097 1543.90/1544.54 c nbDecision=274000 #constraints=89121 1549.79/1550.49 c nbDecision=274500 #constraints=89178 1551.09/1551.77 c nbDecision=275000 #constraints=89192 1553.99/1554.66 c nbDecision=275500 #constraints=89217 1556.19/1556.89 c nbDecision=276000 #constraints=89243 1559.99/1560.68 c nbDecision=276500 #constraints=89283 1562.39/1563.07 c nbDecision=277000 #constraints=89301 1568.78/1569.41 c nbDecision=277500 #constraints=89366 1574.38/1575.04 c nbDecision=278000 #constraints=89416 1578.08/1578.75 c nbDecision=278500 #constraints=89447 1580.58/1581.25 c nbDecision=279000 #constraints=89471 1587.87/1588.56 c nbDecision=279500 #constraints=89547 1597.07/1597.72 c nbDecision=280000 #constraints=89627 1605.77/1606.48 c nbDecision=280500 #constraints=89693 1613.97/1614.61 c nbDecision=281000 #constraints=89795 1625.76/1626.44 c nbDecision=281500 #constraints=89914 1636.46/1637.17 c nbDecision=282000 #constraints=90014 1641.95/1642.66 c nbDecision=282500 #constraints=90069 1656.05/1656.76 c nbDecision=283000 #constraints=90189 1674.14/1674.87 c nbDecision=283500 #constraints=90342 1687.74/1688.48 c nbDecision=284000 #constraints=90470 1703.33/1704.02 c nbDecision=284500 #constraints=90621 1719.03/1719.71 c nbDecision=285000 #constraints=90752 1732.72/1733.41 c nbDecision=285500 #constraints=90866 1749.71/1750.45 c nbDecision=286000 #constraints=91014 1768.81/1769.50 c nbDecision=286500 #constraints=91165 1783.70/1784.48 c nbDecision=287000 #constraints=91279 1800.01/1800.71 Received signal 15 1800.10/1800.85 1800.10/1800.85 s UNKNOWN 1800.10/1800.85 1800.10/1800.85 c user time= 1799.71 s 1800.10/1800.85 c system time= 0.452931 s 1800.10/1800.85 c wall clock time=1800.86
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-357157-1176989256 -o ROOT/results/node42/solver-357157-1176989256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.opb mod 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.72 0.93 0.98 3/77 7727 /proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=1620 CPUtime=0 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 146837522 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 405 176 126 317 0 84 0 [startup+0.0768539 s] /proc/loadavg: 0.72 0.93 0.98 3/77 7727 /proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=3212 CPUtime=0.07 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 600 0 0 0 7 0 0 0 18 0 1 0 146837522 3289088 582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 803 583 130 317 0 482 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3212 [startup+0.101858 s] /proc/loadavg: 0.72 0.93 0.98 3/77 7727 /proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=3872 CPUtime=0.09 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 748 0 0 0 9 0 0 0 18 0 1 0 146837522 3964928 730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 968 730 130 317 0 647 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3872 [startup+0.301896 s] /proc/loadavg: 0.72 0.93 0.98 3/77 7727 /proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=8620 CPUtime=0.29 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 1951 0 0 0 28 1 0 0 19 0 1 0 146837522 8826880 1900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 2155 1901 131 317 0 1834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8620 [startup+0.701972 s] /proc/loadavg: 0.72 0.93 0.98 3/77 7727 /proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=16856 CPUtime=0.69 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 4044 0 0 0 67 2 0 0 23 0 1 0 146837522 17260544 3928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 4214 3928 137 317 0 3893 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16856 [startup+1.50212 s] /proc/loadavg: 0.74 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1552776/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=22292 CPUtime=1.49 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5406 0 0 0 147 2 0 0 25 0 1 0 146837522 22827008 4822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 5573 4822 139 317 0 5252 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22292 [startup+3.10143 s] /proc/loadavg: 0.74 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1552648/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=22292 CPUtime=3.09 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5406 0 0 0 307 2 0 0 25 0 1 0 146837522 22827008 4822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 5573 4822 139 317 0 5252 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22292 [startup+6.30104 s] /proc/loadavg: 0.76 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1552528/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=22292 CPUtime=6.29 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5409 0 0 0 626 3 0 0 25 0 1 0 146837522 22827008 4825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 5573 4825 139 317 0 5252 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22292 [startup+12.7013 s] /proc/loadavg: 0.78 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1551896/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=23216 CPUtime=12.69 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5638 0 0 0 1266 3 0 0 25 0 1 0 146837522 23773184 5054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 5804 5054 139 317 0 5483 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23216 [startup+25.5017 s] /proc/loadavg: 0.81 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1549152/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=26004 CPUtime=25.49 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 6324 0 0 0 2545 4 0 0 25 0 1 0 146837522 26628096 5740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 6501 5740 139 317 0 6180 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26004 [startup+51.1016 s] /proc/loadavg: 0.88 0.94 0.98 2/78 7728 /proc/meminfo: memFree=1544480/2055920 swapFree=4131796/4192956 [pid=7727] ppid=7725 vsize=31036 CPUtime=51.07 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 7571 0 0 0 5102 5 0 0 25 0 1 0 146837522 31780864 6987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 7759 6987 139 317 0 7438 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31036 [startup+102.305 s] /proc/loadavg: 0.95 0.95 0.98 2/78 7728 /proc/meminfo: memFree=1535200/2055920 swapFree=4131848/4192956 [pid=7727] ppid=7725 vsize=39984 CPUtime=102.25 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 9807 0 0 0 10218 7 0 0 25 0 1 0 146837522 40943616 9223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 9996 9223 139 317 0 9675 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 39984 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 7728 /proc/meminfo: memFree=1526176/2055920 swapFree=4131848/4192956 [pid=7727] ppid=7725 vsize=49392 CPUtime=162.23 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 12071 0 0 0 16214 9 0 0 25 0 1 0 146837522 50577408 11487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 12348 11487 139 317 0 12027 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49392 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/78 7728 /proc/meminfo: memFree=1519392/2055920 swapFree=4131908/4192956 [pid=7727] ppid=7725 vsize=56200 CPUtime=222.21 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 13737 0 0 0 22209 12 0 0 25 0 1 0 146837522 57548800 13153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 14050 13153 139 317 0 13729 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56200 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1514144/2055920 swapFree=4131908/4192956 [pid=7727] ppid=7725 vsize=61504 CPUtime=282.19 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 15074 0 0 0 28206 13 0 0 25 0 1 0 146837522 62980096 14490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 15376 14490 139 317 0 15055 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 61504 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1508704/2055920 swapFree=4131908/4192956 [pid=7727] ppid=7725 vsize=67108 CPUtime=342.16 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 16422 0 0 0 34202 14 0 0 25 0 1 0 146837522 68718592 15838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 16777 15838 139 317 0 16456 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 67108 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1503776/2055920 swapFree=4131968/4192956 [pid=7727] ppid=7725 vsize=72392 CPUtime=402.14 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 17636 0 0 0 40198 16 0 0 25 0 1 0 146837522 74129408 17052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 18098 17052 139 317 0 17777 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 72392 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1498400/2055920 swapFree=4131968/4192956 [pid=7727] ppid=7725 vsize=78232 CPUtime=462.12 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 18978 0 0 0 46194 18 0 0 25 0 1 0 146837522 80109568 18394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 19558 18394 139 317 0 19237 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 78232 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1494240/2055920 swapFree=4132024/4192956 [pid=7727] ppid=7725 vsize=82056 CPUtime=522.1 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 20008 0 0 0 52191 19 0 0 25 0 1 0 146837522 84025344 19424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 20514 19424 139 317 0 20193 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 82056 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1489952/2055920 swapFree=4132024/4192956 [pid=7727] ppid=7725 vsize=86696 CPUtime=582.08 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 21064 0 0 0 58188 20 0 0 25 0 1 0 146837522 88776704 20480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 21674 20480 139 317 0 21353 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 86696 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7728 /proc/meminfo: memFree=1485856/2055920 swapFree=4132024/4192956 [pid=7727] ppid=7725 vsize=91204 CPUtime=642.05 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 22098 0 0 0 64184 21 0 0 25 0 1 0 146837522 93392896 21514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 22801 21514 139 317 0 22480 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 91204 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1472096/2055920 swapFree=4132136/4192956 [pid=7727] ppid=7725 vsize=104556 CPUtime=881.95 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 25515 0 0 0 88169 26 0 0 25 0 1 0 146837522 107065344 24931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 26139 24931 139 317 0 25818 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 104556 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1468448/2055920 swapFree=4132136/4192956 [pid=7727] ppid=7725 vsize=108668 CPUtime=941.92 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 26422 0 0 0 94165 27 0 0 25 0 1 0 146837522 111276032 25838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 27167 25838 139 317 0 26846 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 108668 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1465632/2055920 swapFree=4132192/4192956 [pid=7727] ppid=7725 vsize=111520 CPUtime=1001.9 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 27151 0 0 0 100162 28 0 0 25 0 1 0 146837522 114196480 26567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 27880 26567 139 317 0 27559 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 111520 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1462496/2055920 swapFree=4132192/4192956 [pid=7727] ppid=7725 vsize=114804 CPUtime=1061.89 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 27915 0 0 0 106159 30 0 0 25 0 1 0 146837522 117559296 27331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 28701 27331 139 317 0 28380 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 114804 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1459104/2055920 swapFree=4132248/4192956 [pid=7727] ppid=7725 vsize=118448 CPUtime=1121.86 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 28760 0 0 0 112156 30 0 0 25 0 1 0 146837522 121290752 28176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 29612 28176 139 317 0 29291 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 118448 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1456352/2055920 swapFree=4132248/4192956 [pid=7727] ppid=7725 vsize=121480 CPUtime=1181.83 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 29436 0 0 0 118152 31 0 0 25 0 1 0 146837522 124395520 28852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 30370 28852 139 317 0 30049 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 121480 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1453344/2055920 swapFree=4132300/4192956 [pid=7727] ppid=7725 vsize=124476 CPUtime=1241.82 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 30174 0 0 0 124149 33 0 0 25 0 1 0 146837522 127463424 29590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 31119 29590 139 317 0 30798 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 124476 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 3/78 7730 /proc/meminfo: memFree=1450464/2055920 swapFree=4132300/4192956 [pid=7727] ppid=7725 vsize=127400 CPUtime=1301.79 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 30878 0 0 0 130146 33 0 0 25 0 1 0 146837522 130457600 30294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 31850 30294 139 317 0 31529 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 127400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1447264/2055920 swapFree=4132300/4192956 [pid=7727] ppid=7725 vsize=131608 CPUtime=1361.76 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 31857 0 0 0 136142 34 0 0 25 0 1 0 146837522 134766592 31075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 32902 31075 139 317 0 32581 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 131608 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1444064/2055920 swapFree=4132356/4192956 [pid=7727] ppid=7725 vsize=134688 CPUtime=1421.75 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 32656 0 0 0 142139 36 0 0 25 0 1 0 146837522 137920512 31874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 33672 31874 139 317 0 33351 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 134688 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1440800/2055920 swapFree=4132356/4192956 [pid=7727] ppid=7725 vsize=137560 CPUtime=1481.71 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 33451 0 0 0 148134 37 0 0 25 0 1 0 146837522 140861440 32669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 34390 32669 139 317 0 34069 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 137560 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1436640/2055920 swapFree=4132412/4192956 [pid=7727] ppid=7725 vsize=143088 CPUtime=1541.7 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 34726 0 0 0 154131 39 0 0 25 0 1 0 146837522 146522112 33746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 35772 33746 139 317 0 35451 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 143088 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1430368/2055920 swapFree=4132412/4192956 [pid=7727] ppid=7725 vsize=149128 CPUtime=1601.68 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 36298 0 0 0 160128 40 0 0 25 0 1 0 146837522 152707072 35318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 37282 35318 139 317 0 36961 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 149128 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1421664/2055920 swapFree=4132412/4192956 [pid=7727] ppid=7725 vsize=157780 CPUtime=1661.64 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 38432 0 0 0 166123 41 0 0 25 0 1 0 146837522 161566720 37452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 39445 37452 139 317 0 39124 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 157780 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1413920/2055920 swapFree=4132468/4192956 [pid=7727] ppid=7725 vsize=165236 CPUtime=1721.63 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 40385 0 0 0 172120 43 0 0 25 0 1 0 146837522 169201664 39405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 41309 39405 139 317 0 40988 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 165236 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1405856/2055920 swapFree=4132468/4192956 [pid=7727] ppid=7725 vsize=174036 CPUtime=1781.6 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42386 0 0 0 178116 44 0 0 25 0 1 0 146837522 178212864 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 43509 41406 139 317 0 43188 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 174036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1403872/2055920 swapFree=4132468/4192956 [pid=7727] ppid=7725 vsize=175868 CPUtime=1800.01 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42869 0 0 0 179956 45 0 0 25 0 1 0 146837522 180088832 41889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 43967 41889 139 317 0 43646 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 175868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/78 7730 /proc/meminfo: memFree=1403872/2055920 swapFree=4132468/4192956 [pid=7727] ppid=7725 vsize=175868 CPUtime=1800.1 /proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42874 0 0 0 179965 45 0 0 25 0 1 0 146837522 180088832 41894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7727/statm: 43967 41894 139 317 0 43646 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 175868 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.2 CPU user time (s): 1799.72 CPU system time (s): 0.480926 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 175868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.480926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42890 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= 8 involuntary context switches= 15998 runsolver used 2.02769 second user time and 4.56031 second system time The end
Begin job on node42 on Thu Apr 19 13:27:36 UTC 2007 IDJOB= 357157 IDBENCH= 2183 IDSOLVER= 172 FILE ID= node42/357157-1176989256 PBS_JOBID= 4630465 Free space on /tmp= 66446 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb COMMAND LINE= oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-357157-1176989256 -o ROOT/results/node42/solver-357157-1176989256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27 RANDOM SEED= 369270964 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1572200 kB Buffers: 36008 kB Cached: 359392 kB SwapCached: 17768 kB Active: 92612 kB Inactive: 333984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1572200 kB SwapTotal: 4192956 kB SwapFree: 4131796 kB Dirty: 3184 kB Writeback: 0 kB Mapped: 38828 kB Slab: 42496 kB Committed_AS: 2997696 kB PageTables: 1912 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= 66446 MiB End job on node42 on Thu Apr 19 13:57:39 UTC 2007