Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-130.opb |
MD5SUM | 805460c9bad8cc3db817372fa8e96e60 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.088985 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2718 |
Total number of constraints | 4680 |
Number of constraints which are clauses | 4680 |
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 | 5 |
Number of terms in the objective function | 2718 |
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 | 2718 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2718 |
Number of bits of the biggest sum of numbers | 12 |
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.00/0.04 c ...done 0.00/0.04 c #vars=2718 #constraints=4681 hasObjective=yes 0.00/0.06 c res. mode=mod 0.00/0.06 c VSIDS like heuristics 0.00/0.06 c complete search running 0.00/0.09 c restart after 401 decisions 0.00/0.10 c nbDecision=500 #constraints=4706 0.10/0.12 c restart after 801 decisions 0.10/0.14 c nbDecision=1000 #constraints=4720 0.19/0.23 c nbDecision=1500 #constraints=4739 0.19/0.26 c restart after 1601 decisions 0.29/0.30 c nbDecision=2000 #constraints=4752 0.29/0.34 c nbDecision=2500 #constraints=4762 0.39/0.45 c nbDecision=3000 #constraints=4789 0.49/0.51 c restart after 3201 decisions 0.49/0.55 c nbDecision=3500 #constraints=4808 0.59/0.66 c nbDecision=4000 #constraints=4827 0.69/0.73 c nbDecision=4500 #constraints=4841 0.79/0.85 c nbDecision=5000 #constraints=4869 0.89/0.96 c nbDecision=5500 #constraints=4895 1.20/1.25 c nbDecision=6000 #constraints=4945 1.39/1.43 c restart after 6401 decisions 1.39/1.44 c nbDecision=6500 #constraints=4973 1.49/1.53 c nbDecision=7000 #constraints=4997 1.69/1.70 c nbDecision=7500 #constraints=5028 1.79/1.87 c nbDecision=8000 #constraints=5049 1.99/2.04 c nbDecision=8500 #constraints=5077 2.20/2.21 c nbDecision=9000 #constraints=5103 2.39/2.43 c nbDecision=9500 #constraints=5125 2.49/2.59 c nbDecision=10000 #constraints=5157 2.69/2.80 c nbDecision=10500 #constraints=5189 2.99/3.07 c nbDecision=11000 #constraints=5221 3.19/3.29 c nbDecision=11500 #constraints=5253 3.49/3.55 c nbDecision=12000 #constraints=5285 3.79/3.80 c nbDecision=12500 #constraints=5315 3.89/3.94 c restart after 12801 decisions 3.89/3.98 c nbDecision=13000 #constraints=5335 4.19/4.20 c nbDecision=13500 #constraints=5361 4.40/4.41 c nbDecision=14000 #constraints=5384 4.59/4.64 c nbDecision=14500 #constraints=5406 4.79/4.83 c nbDecision=15000 #constraints=5432 5.19/5.24 c nbDecision=15500 #constraints=5477 5.79/5.80 c nbDecision=16000 #constraints=5534 6.49/6.57 c nbDecision=16500 #constraints=5594 7.09/7.14 c nbDecision=17000 #constraints=5645 7.79/7.83 c nbDecision=17500 #constraints=5702 8.48/8.51 c nbDecision=18000 #constraints=5759 8.68/8.72 c nbDecision=18500 #constraints=5782 8.79/8.87 c nbDecision=19000 #constraints=5803 8.98/9.07 c nbDecision=19500 #constraints=5826 9.28/9.30 c nbDecision=20000 #constraints=5851 9.48/9.54 c nbDecision=20500 #constraints=5877 9.68/9.74 c nbDecision=21000 #constraints=5898 9.89/9.98 c nbDecision=21500 #constraints=5920 10.18/10.24 c nbDecision=22000 #constraints=5947 10.38/10.43 c nbDecision=22500 #constraints=5972 10.68/10.71 c nbDecision=23000 #constraints=6007 10.99/11.05 c nbDecision=23500 #constraints=6044 11.38/11.46 c nbDecision=24000 #constraints=6090 11.88/11.97 c nbDecision=24500 #constraints=6138 12.38/12.47 c nbDecision=25000 #constraints=6183 12.69/12.80 c nbDecision=25500 #constraints=6215 12.79/12.87 c restart after 25601 decisions 12.99/13.04 c nbDecision=26000 #constraints=6233 13.19/13.26 c nbDecision=26500 #constraints=6253 13.49/13.54 c nbDecision=27000 #constraints=6275 13.79/13.87 c nbDecision=27500 #constraints=6297 14.09/14.16 c nbDecision=28000 #constraints=6318 14.48/14.52 c nbDecision=28500 #constraints=6340 14.78/14.84 c nbDecision=29000 #constraints=6374 15.28/15.34 c nbDecision=29500 #constraints=6413 15.78/15.82 c nbDecision=30000 #constraints=6448 16.08/16.18 c nbDecision=30500 #constraints=6483 16.58/16.67 c nbDecision=31000 #constraints=6518 17.08/17.18 c nbDecision=31500 #constraints=6558 17.48/17.50 c nbDecision=32000 #constraints=6596 17.78/17.87 c nbDecision=32500 #constraints=6622 18.18/18.26 c nbDecision=33000 #constraints=6651 18.58/18.69 c nbDecision=33500 #constraints=6680 19.08/19.19 c nbDecision=34000 #constraints=6708 19.58/19.65 c nbDecision=34500 #constraints=6739 20.08/20.11 c nbDecision=35000 #constraints=6765 20.59/20.61 c nbDecision=35500 #constraints=6803 21.09/21.14 c nbDecision=36000 #constraints=6852 21.69/21.79 c nbDecision=36500 #constraints=6900 22.69/22.70 c nbDecision=37000 #constraints=6968 23.58/23.62 c nbDecision=37500 #constraints=7017 24.68/24.73 c nbDecision=38000 #constraints=7082 25.68/25.76 c nbDecision=38500 #constraints=7136 26.58/26.69 c nbDecision=39000 #constraints=7187 27.18/27.30 c nbDecision=39500 #constraints=7229 28.08/28.11 c nbDecision=40000 #constraints=7270 28.78/28.84 c nbDecision=40500 #constraints=7305 29.78/29.82 c nbDecision=41000 #constraints=7346 30.58/30.63 c nbDecision=41500 #constraints=7388 31.38/31.40 c nbDecision=42000 #constraints=7442 32.38/32.47 c nbDecision=42500 #constraints=7493 33.57/33.61 c nbDecision=43000 #constraints=7554 34.78/34.80 c nbDecision=43500 #constraints=7610 35.88/36.00 c nbDecision=44000 #constraints=7668 37.18/37.20 c nbDecision=44500 #constraints=7730 37.98/38.03 c nbDecision=45000 #constraints=7766 38.88/38.90 c nbDecision=45500 #constraints=7808 39.78/39.89 c nbDecision=46000 #constraints=7847 40.78/40.84 c nbDecision=46500 #constraints=7886 41.98/42.00 c nbDecision=47000 #constraints=7920 42.58/42.64 c nbDecision=47500 #constraints=7951 43.48/43.55 c nbDecision=48000 #constraints=7989 44.38/44.48 c nbDecision=48500 #constraints=8028 45.08/45.19 c nbDecision=49000 #constraints=8062 45.98/46.09 c nbDecision=49500 #constraints=8098 46.88/46.95 c nbDecision=50000 #constraints=8136 47.68/47.79 c nbDecision=50500 #constraints=8171 48.48/48.52 c nbDecision=51000 #constraints=8202 48.78/48.89 c restart after 51201 decisions 49.28/49.35 c nbDecision=51500 #constraints=8229 50.18/50.24 c nbDecision=52000 #constraints=8272 51.38/51.40 c nbDecision=52500 #constraints=8314 52.28/52.35 c nbDecision=53000 #constraints=8350 53.57/53.63 c nbDecision=53500 #constraints=8390 54.57/54.62 c nbDecision=54000 #constraints=8430 55.67/55.73 c nbDecision=54500 #constraints=8470 56.78/56.90 c nbDecision=55000 #constraints=8508 58.07/58.15 c nbDecision=55500 #constraints=8545 58.97/59.05 c nbDecision=56000 #constraints=8583 60.27/60.38 c nbDecision=56500 #constraints=8623 61.57/61.60 c nbDecision=57000 #constraints=8661 62.87/62.95 c nbDecision=57500 #constraints=8708 64.07/64.14 c nbDecision=58000 #constraints=8749 65.37/65.43 c nbDecision=58500 #constraints=8789 66.56/66.69 c nbDecision=59000 #constraints=8827 68.06/68.16 c nbDecision=59500 #constraints=8863 69.37/69.48 c nbDecision=60000 #constraints=8892 70.67/70.79 c nbDecision=60500 #constraints=8921 72.68/72.71 c nbDecision=61000 #constraints=8957 74.87/74.96 c nbDecision=61500 #constraints=9001 76.47/76.54 c nbDecision=62000 #constraints=9032 77.77/77.86 c nbDecision=62500 #constraints=9063 79.37/79.43 c nbDecision=63000 #constraints=9098 80.87/80.96 c nbDecision=63500 #constraints=9134 82.27/82.36 c nbDecision=64000 #constraints=9168 83.17/83.28 c nbDecision=64500 #constraints=9187 84.87/84.93 c nbDecision=65000 #constraints=9227 86.47/86.52 c nbDecision=65500 #constraints=9264 88.47/88.53 c nbDecision=66000 #constraints=9302 90.66/90.73 c nbDecision=66500 #constraints=9343 92.66/92.76 c nbDecision=67000 #constraints=9379 94.86/94.93 c nbDecision=67500 #constraints=9417 96.96/97.03 c nbDecision=68000 #constraints=9453 98.86/98.93 c nbDecision=68500 #constraints=9485 100.56/100.64 c nbDecision=69000 #constraints=9523 102.36/102.40 c nbDecision=69500 #constraints=9559 104.36/104.47 c nbDecision=70000 #constraints=9596 106.85/106.98 c nbDecision=70500 #constraints=9639 108.96/109.09 c nbDecision=71000 #constraints=9675 111.06/111.20 c nbDecision=71500 #constraints=9711 113.25/113.34 c nbDecision=72000 #constraints=9747 115.15/115.26 c nbDecision=72500 #constraints=9779 116.75/116.84 c nbDecision=73000 #constraints=9818 118.45/118.58 c nbDecision=73500 #constraints=9861 120.45/120.60 c nbDecision=74000 #constraints=9907 122.46/122.52 c nbDecision=74500 #constraints=9949 124.66/124.75 c nbDecision=75000 #constraints=9995 126.86/126.96 c nbDecision=75500 #constraints=10041 128.55/128.65 c nbDecision=76000 #constraints=10078 130.35/130.50 c nbDecision=76500 #constraints=10120 132.65/132.71 c nbDecision=77000 #constraints=10167 134.75/134.83 c nbDecision=77500 #constraints=10211 136.95/137.09 c nbDecision=78000 #constraints=10257 139.05/139.16 c nbDecision=78500 #constraints=10299 141.15/141.28 c nbDecision=79000 #constraints=10341 142.75/142.84 c nbDecision=79500 #constraints=10366 144.35/144.40 c nbDecision=80000 #constraints=10395 146.35/146.42 c nbDecision=80500 #constraints=10434 148.45/148.51 c nbDecision=81000 #constraints=10474 150.25/150.32 c nbDecision=81500 #constraints=10511 151.44/151.50 c nbDecision=82000 #constraints=10543 152.64/152.75 c nbDecision=82500 #constraints=10572 153.95/154.02 c nbDecision=83000 #constraints=10604 155.64/155.72 c nbDecision=83500 #constraints=10644 157.44/157.51 c nbDecision=84000 #constraints=10685 158.94/159.04 c nbDecision=84500 #constraints=10723 160.34/160.45 c nbDecision=85000 #constraints=10758 161.84/161.96 c nbDecision=85500 #constraints=10790 163.44/163.50 c nbDecision=86000 #constraints=10825 165.04/165.18 c nbDecision=86500 #constraints=10862 166.84/166.98 c nbDecision=87000 #constraints=10900 168.24/168.39 c nbDecision=87500 #constraints=10936 170.14/170.28 c nbDecision=88000 #constraints=10982 171.94/172.07 c nbDecision=88500 #constraints=11019 173.43/173.56 c nbDecision=89000 #constraints=11053 174.84/174.91 c nbDecision=89500 #constraints=11084 176.34/176.47 c nbDecision=90000 #constraints=11119 178.24/178.36 c nbDecision=90500 #constraints=11153 180.63/180.76 c nbDecision=91000 #constraints=11194 182.73/182.80 c nbDecision=91500 #constraints=11228 184.74/184.82 c nbDecision=92000 #constraints=11258 186.73/186.86 c nbDecision=92500 #constraints=11290 188.63/188.76 c nbDecision=93000 #constraints=11326 191.03/191.11 c nbDecision=93500 #constraints=11365 193.13/193.22 c nbDecision=94000 #constraints=11399 194.93/195.04 c nbDecision=94500 #constraints=11436 197.03/197.13 c nbDecision=95000 #constraints=11470 199.53/199.69 c nbDecision=95500 #constraints=11508 201.83/201.91 c nbDecision=96000 #constraints=11544 203.83/203.98 c nbDecision=96500 #constraints=11574 205.92/206.01 c nbDecision=97000 #constraints=11604 208.02/208.14 c nbDecision=97500 #constraints=11642 210.52/210.60 c nbDecision=98000 #constraints=11680 212.52/212.61 c nbDecision=98500 #constraints=11712 213.82/213.98 c nbDecision=99000 #constraints=11757 215.53/215.66 c nbDecision=99500 #constraints=11798 217.13/217.25 c nbDecision=100000 #constraints=11837 219.43/219.57 c nbDecision=100500 #constraints=11883 221.33/221.49 c nbDecision=101000 #constraints=11931 224.12/224.21 c nbDecision=101500 #constraints=11985 226.02/226.15 c nbDecision=102000 #constraints=12022 227.92/228.01 c restart after 102401 decisions 228.22/228.35 c nbDecision=102500 #constraints=12062 230.52/230.61 c nbDecision=103000 #constraints=12101 232.82/232.97 c nbDecision=103500 #constraints=12145 235.22/235.33 c nbDecision=104000 #constraints=12184 237.02/237.15 c nbDecision=104500 #constraints=12223 238.92/239.02 c nbDecision=105000 #constraints=12270 240.62/240.78 c nbDecision=105500 #constraints=12308 242.62/242.73 c nbDecision=106000 #constraints=12347 244.92/245.09 c nbDecision=106500 #constraints=12398 247.11/247.22 c nbDecision=107000 #constraints=12440 249.21/249.35 c nbDecision=107500 #constraints=12480 251.61/251.73 c nbDecision=108000 #constraints=12521 254.11/254.24 c nbDecision=108500 #constraints=12567 256.71/256.81 c nbDecision=109000 #constraints=12609 258.61/258.73 c nbDecision=109500 #constraints=12646 260.41/260.54 c nbDecision=110000 #constraints=12687 262.81/262.91 c nbDecision=110500 #constraints=12728 264.51/264.68 c nbDecision=111000 #constraints=12766 267.61/267.73 c nbDecision=111500 #constraints=12816 270.51/270.64 c nbDecision=112000 #constraints=12863 273.10/273.24 c nbDecision=112500 #constraints=12909 275.60/275.76 c nbDecision=113000 #constraints=12951 278.51/278.65 c nbDecision=113500 #constraints=12996 281.01/281.17 c nbDecision=114000 #constraints=13037 283.71/283.85 c nbDecision=114500 #constraints=13080 286.01/286.12 c nbDecision=115000 #constraints=13115 288.00/288.14 c nbDecision=115500 #constraints=13160 290.20/290.32 c nbDecision=116000 #constraints=13200 292.40/292.57 c nbDecision=116500 #constraints=13241 295.20/295.31 c nbDecision=117000 #constraints=13290 297.80/297.97 c nbDecision=117500 #constraints=13330 300.10/300.25 c nbDecision=118000 #constraints=13368 302.90/303.07 c nbDecision=118500 #constraints=13410 305.71/305.83 c nbDecision=119000 #constraints=13451 309.01/309.17 c nbDecision=119500 #constraints=13495 311.90/312.02 c nbDecision=120000 #constraints=13533 314.30/314.49 c nbDecision=120500 #constraints=13567 317.20/317.31 c nbDecision=121000 #constraints=13605 320.19/320.34 c nbDecision=121500 #constraints=13643 322.99/323.16 c nbDecision=122000 #constraints=13684 325.69/325.83 c nbDecision=122500 #constraints=13720 328.59/328.73 c nbDecision=123000 #constraints=13759 331.59/331.73 c nbDecision=123500 #constraints=13801 334.29/334.50 c nbDecision=124000 #constraints=13840 336.88/337.04 c nbDecision=124500 #constraints=13877 339.38/339.57 c nbDecision=125000 #constraints=13910 341.89/342.02 c nbDecision=125500 #constraints=13953 344.49/344.69 c nbDecision=126000 #constraints=13991 347.29/347.50 c nbDecision=126500 #constraints=14033 350.59/350.78 c nbDecision=127000 #constraints=14077 353.09/353.30 c nbDecision=127500 #constraints=14112 355.89/356.01 c nbDecision=128000 #constraints=14149 358.49/358.67 c nbDecision=128500 #constraints=14185 361.28/361.41 c nbDecision=129000 #constraints=14220 363.68/363.82 c nbDecision=129500 #constraints=14257 365.88/366.07 c nbDecision=130000 #constraints=14290 368.68/368.82 c nbDecision=130500 #constraints=14328 371.18/371.37 c nbDecision=131000 #constraints=14362 374.17/374.38 c nbDecision=131500 #constraints=14401 377.08/377.22 c nbDecision=132000 #constraints=14434 379.39/379.56 c nbDecision=132500 #constraints=14466 382.48/382.66 c nbDecision=133000 #constraints=14509 385.18/385.34 c nbDecision=133500 #constraints=14547 388.48/388.65 c nbDecision=134000 #constraints=14589 391.98/392.11 c nbDecision=134500 #constraints=14630 394.48/394.63 c nbDecision=135000 #constraints=14664 397.37/397.52 c nbDecision=135500 #constraints=14704 400.67/400.81 c nbDecision=136000 #constraints=14743 403.27/403.40 c nbDecision=136500 #constraints=14779 405.87/406.05 c nbDecision=137000 #constraints=14815 408.56/408.78 c nbDecision=137500 #constraints=14849 411.37/411.53 c nbDecision=138000 #constraints=14883 414.76/414.99 c nbDecision=138500 #constraints=14924 419.27/419.48 c nbDecision=139000 #constraints=14967 421.77/421.98 c nbDecision=139500 #constraints=14992 423.97/424.15 c nbDecision=140000 #constraints=15012 426.47/426.60 c nbDecision=140500 #constraints=15033 428.47/428.64 c nbDecision=141000 #constraints=15051 430.27/430.48 c nbDecision=141500 #constraints=15073 433.27/433.49 c nbDecision=142000 #constraints=15097 437.16/437.32 c nbDecision=142500 #constraints=15135 442.16/442.31 c nbDecision=143000 #constraints=15180 446.16/446.32 c nbDecision=143500 #constraints=15220 449.66/449.88 c nbDecision=144000 #constraints=15255 453.96/454.12 c nbDecision=144500 #constraints=15293 457.75/457.91 c nbDecision=145000 #constraints=15333 462.05/462.20 c nbDecision=145500 #constraints=15373 466.65/466.80 c nbDecision=146000 #constraints=15413 470.95/471.18 c nbDecision=146500 #constraints=15452 474.85/475.03 c nbDecision=147000 #constraints=15486 478.74/478.99 c nbDecision=147500 #constraints=15526 483.34/483.52 c nbDecision=148000 #constraints=15567 487.74/487.93 c nbDecision=148500 #constraints=15606 493.24/493.43 c nbDecision=149000 #constraints=15650 496.24/496.46 c nbDecision=149500 #constraints=15681 499.54/499.70 c nbDecision=150000 #constraints=15724 504.54/504.73 c nbDecision=150500 #constraints=15767 507.94/508.11 c nbDecision=151000 #constraints=15806 512.14/512.34 c nbDecision=151500 #constraints=15844 514.54/514.79 c nbDecision=152000 #constraints=15884 517.34/517.53 c nbDecision=152500 #constraints=15924 521.24/521.43 c nbDecision=153000 #constraints=15964 525.84/526.06 c nbDecision=153500 #constraints=16001 529.53/529.76 c nbDecision=154000 #constraints=16035 532.03/532.21 c nbDecision=154500 #constraints=16074 534.93/535.15 c nbDecision=155000 #constraints=16117 538.53/538.78 c nbDecision=155500 #constraints=16156 544.43/544.65 c nbDecision=156000 #constraints=16201 550.03/550.23 c nbDecision=156500 #constraints=16237 553.63/553.82 c nbDecision=157000 #constraints=16273 557.33/557.56 c nbDecision=157500 #constraints=16311 560.83/561.09 c nbDecision=158000 #constraints=16350 564.32/564.57 c nbDecision=158500 #constraints=16389 567.43/567.67 c nbDecision=159000 #constraints=16420 570.42/570.67 c nbDecision=159500 #constraints=16457 573.42/573.63 c nbDecision=160000 #constraints=16496 576.62/576.84 c nbDecision=160500 #constraints=16531 579.82/580.08 c nbDecision=161000 #constraints=16565 583.32/583.50 c nbDecision=161500 #constraints=16598 586.81/587.08 c nbDecision=162000 #constraints=16635 589.71/589.93 c nbDecision=162500 #constraints=16668 592.72/592.97 c nbDecision=163000 #constraints=16704 595.91/596.14 c nbDecision=163500 #constraints=16738 599.11/599.37 c nbDecision=164000 #constraints=16772 603.71/603.91 c nbDecision=164500 #constraints=16816 608.61/608.84 c nbDecision=165000 #constraints=16856 611.30/611.57 c nbDecision=165500 #constraints=16886 614.81/615.09 c nbDecision=166000 #constraints=16928 618.80/619.09 c nbDecision=166500 #constraints=16969 623.01/623.28 c nbDecision=167000 #constraints=17013 627.11/627.35 c nbDecision=167500 #constraints=17047 629.71/629.90 c nbDecision=168000 #constraints=17085 632.21/632.46 c nbDecision=168500 #constraints=17119 635.10/635.37 c nbDecision=169000 #constraints=17157 638.30/638.51 c nbDecision=169500 #constraints=17193 641.80/642.06 c nbDecision=170000 #constraints=17227 645.80/646.03 c nbDecision=170500 #constraints=17263 648.30/648.53 c nbDecision=171000 #constraints=17294 650.90/651.15 c nbDecision=171500 #constraints=17329 653.59/653.89 c nbDecision=172000 #constraints=17365 656.39/656.62 c nbDecision=172500 #constraints=17400 660.69/660.91 c nbDecision=173000 #constraints=17440 666.09/666.36 c nbDecision=173500 #constraints=17480 669.79/670.00 c nbDecision=174000 #constraints=17508 672.50/672.78 c nbDecision=174500 #constraints=17530 675.20/675.45 c nbDecision=175000 #constraints=17554 678.99/679.22 c nbDecision=175500 #constraints=17572 682.39/682.67 c nbDecision=176000 #constraints=17596 685.59/685.87 c nbDecision=176500 #constraints=17628 688.89/689.18 c nbDecision=177000 #constraints=17660 692.39/692.65 c nbDecision=177500 #constraints=17689 695.99/696.21 c nbDecision=178000 #constraints=17723 700.98/701.28 c nbDecision=178500 #constraints=17748 705.78/706.07 c nbDecision=179000 #constraints=17771 710.58/710.80 c nbDecision=179500 #constraints=17793 714.48/714.74 c nbDecision=180000 #constraints=17826 718.08/718.36 c nbDecision=180500 #constraints=17856 721.48/721.74 c nbDecision=181000 #constraints=17887 725.47/725.76 c nbDecision=181500 #constraints=17923 728.57/728.85 c nbDecision=182000 #constraints=17950 734.07/734.35 c nbDecision=182500 #constraints=17984 740.17/740.45 c nbDecision=183000 #constraints=18028 745.57/745.82 c nbDecision=183500 #constraints=18066 751.07/751.32 c nbDecision=184000 #constraints=18105 757.26/757.51 c nbDecision=184500 #constraints=18149 763.46/763.78 c nbDecision=185000 #constraints=18190 770.06/770.40 c nbDecision=185500 #constraints=18238 774.06/774.31 c nbDecision=186000 #constraints=18273 778.36/778.65 c nbDecision=186500 #constraints=18307 781.36/781.66 c nbDecision=187000 #constraints=18334 786.66/786.98 c nbDecision=187500 #constraints=18376 792.96/793.21 c nbDecision=188000 #constraints=18427 800.66/800.94 c nbDecision=188500 #constraints=18484 806.55/806.89 c nbDecision=189000 #constraints=18532 813.45/813.70 c nbDecision=189500 #constraints=18580 819.25/819.59 c nbDecision=190000 #constraints=18626 825.04/825.33 c nbDecision=190500 #constraints=18678 832.44/832.74 c nbDecision=191000 #constraints=18732 837.94/838.24 c nbDecision=191500 #constraints=18774 844.54/844.83 c nbDecision=192000 #constraints=18824 850.33/850.67 c nbDecision=192500 #constraints=18868 856.34/856.64 c nbDecision=193000 #constraints=18918 864.64/864.98 c nbDecision=193500 #constraints=18976 870.33/870.61 c nbDecision=194000 #constraints=19017 877.23/877.51 c nbDecision=194500 #constraints=19068 883.53/883.81 c nbDecision=195000 #constraints=19114 889.42/889.77 c nbDecision=195500 #constraints=19168 896.92/897.25 c nbDecision=196000 #constraints=19222 903.12/903.47 c nbDecision=196500 #constraints=19267 909.32/909.63 c nbDecision=197000 #constraints=19314 915.62/915.93 c nbDecision=197500 #constraints=19352 923.12/923.48 c nbDecision=198000 #constraints=19397 930.52/930.87 c nbDecision=198500 #constraints=19447 937.71/938.02 c nbDecision=199000 #constraints=19492 945.11/945.42 c nbDecision=199500 #constraints=19540 951.91/952.24 c nbDecision=200000 #constraints=19586 956.81/957.10 c nbDecision=200500 #constraints=19622 961.70/962.02 c nbDecision=201000 #constraints=19657 968.00/968.36 c nbDecision=201500 #constraints=19697 975.50/975.85 c nbDecision=202000 #constraints=19751 983.40/983.78 c nbDecision=202500 #constraints=19802 989.70/990.03 c nbDecision=203000 #constraints=19853 996.50/996.81 c nbDecision=203500 #constraints=19899 1003.19/1003.57 c nbDecision=204000 #constraints=19950 1010.89/1011.29 c nbDecision=204500 #constraints=20003 1014.99/1015.31 c restart after 204801 decisions 1016.88/1017.21 c nbDecision=205000 #constraints=20036 1022.59/1022.98 c nbDecision=205500 #constraints=20069 1028.19/1028.55 c nbDecision=206000 #constraints=20108 1031.89/1032.27 c nbDecision=206500 #constraints=20144 1036.39/1036.73 c nbDecision=207000 #constraints=20174 1041.69/1042.07 c nbDecision=207500 #constraints=20208 1047.48/1047.87 c nbDecision=208000 #constraints=20248 1053.88/1054.25 c nbDecision=208500 #constraints=20288 1060.47/1060.82 c nbDecision=209000 #constraints=20329 1065.68/1066.08 c nbDecision=209500 #constraints=20365 1071.18/1071.59 c nbDecision=210000 #constraints=20406 1076.97/1077.39 c nbDecision=210500 #constraints=20443 1082.87/1083.23 c nbDecision=211000 #constraints=20481 1089.26/1089.61 c nbDecision=211500 #constraints=20519 1095.06/1095.44 c nbDecision=212000 #constraints=20559 1101.46/1101.89 c nbDecision=212500 #constraints=20599 1109.27/1109.65 c nbDecision=213000 #constraints=20645 1115.26/1115.68 c nbDecision=213500 #constraints=20687 1121.26/1121.69 c nbDecision=214000 #constraints=20727 1127.46/1127.80 c nbDecision=214500 #constraints=20764 1134.96/1135.38 c nbDecision=215000 #constraints=20810 1140.26/1140.61 c nbDecision=215500 #constraints=20840 1146.65/1147.05 c nbDecision=216000 #constraints=20879 1153.75/1154.10 c nbDecision=216500 #constraints=20918 1160.85/1161.20 c nbDecision=217000 #constraints=20959 1167.55/1167.95 c nbDecision=217500 #constraints=20999 1174.74/1175.19 c nbDecision=218000 #constraints=21042 1180.84/1181.24 c nbDecision=218500 #constraints=21081 1187.04/1187.42 c nbDecision=219000 #constraints=21118 1193.34/1193.73 c nbDecision=219500 #constraints=21155 1198.64/1199.04 c nbDecision=220000 #constraints=21189 1204.14/1204.52 c nbDecision=220500 #constraints=21229 1210.93/1211.37 c nbDecision=221000 #constraints=21267 1218.03/1218.49 c nbDecision=221500 #constraints=21307 1224.32/1224.74 c nbDecision=222000 #constraints=21344 1231.23/1231.65 c nbDecision=222500 #constraints=21385 1237.13/1237.52 c nbDecision=223000 #constraints=21420 1243.23/1243.61 c nbDecision=223500 #constraints=21460 1249.72/1250.13 c nbDecision=224000 #constraints=21500 1256.02/1256.48 c nbDecision=224500 #constraints=21539 1262.42/1262.86 c nbDecision=225000 #constraints=21578 1267.92/1268.38 c nbDecision=225500 #constraints=21611 1274.41/1274.84 c nbDecision=226000 #constraints=21653 1282.32/1282.71 c nbDecision=226500 #constraints=21695 1288.71/1289.20 c nbDecision=227000 #constraints=21730 1296.51/1296.98 c nbDecision=227500 #constraints=21776 1303.80/1304.27 c nbDecision=228000 #constraints=21820 1309.91/1310.36 c nbDecision=228500 #constraints=21857 1316.90/1317.39 c nbDecision=229000 #constraints=21898 1324.40/1324.89 c nbDecision=229500 #constraints=21942 1334.10/1334.60 c nbDecision=230000 #constraints=21983 1339.30/1339.79 c nbDecision=230500 #constraints=22017 1345.69/1346.15 c nbDecision=231000 #constraints=22056 1352.49/1352.90 c nbDecision=231500 #constraints=22101 1356.99/1357.49 c nbDecision=232000 #constraints=22132 1362.78/1363.21 c nbDecision=232500 #constraints=22170 1367.58/1368.06 c nbDecision=233000 #constraints=22204 1373.78/1374.24 c nbDecision=233500 #constraints=22246 1378.78/1379.21 c nbDecision=234000 #constraints=22283 1384.08/1384.52 c nbDecision=234500 #constraints=22320 1388.08/1388.56 c nbDecision=235000 #constraints=22345 1392.57/1393.07 c nbDecision=235500 #constraints=22383 1397.67/1398.11 c nbDecision=236000 #constraints=22421 1403.07/1403.53 c nbDecision=236500 #constraints=22458 1408.27/1408.70 c nbDecision=237000 #constraints=22494 1413.37/1413.81 c nbDecision=237500 #constraints=22527 1419.07/1419.57 c nbDecision=238000 #constraints=22564 1423.07/1423.57 c nbDecision=238500 #constraints=22599 1427.47/1427.93 c nbDecision=239000 #constraints=22636 1431.87/1432.40 c nbDecision=239500 #constraints=22672 1437.46/1437.96 c nbDecision=240000 #constraints=22711 1441.76/1442.26 c nbDecision=240500 #constraints=22741 1446.96/1447.47 c nbDecision=241000 #constraints=22777 1452.45/1452.93 c nbDecision=241500 #constraints=22814 1457.16/1457.66 c nbDecision=242000 #constraints=22844 1461.86/1462.36 c nbDecision=242500 #constraints=22879 1466.76/1467.29 c nbDecision=243000 #constraints=22912 1472.56/1473.03 c nbDecision=243500 #constraints=22951 1478.15/1478.62 c nbDecision=244000 #constraints=22988 1485.05/1485.53 c nbDecision=244500 #constraints=23032 1490.25/1490.74 c nbDecision=245000 #constraints=23069 1494.55/1495.06 c nbDecision=245500 #constraints=23107 1499.34/1499.85 c nbDecision=246000 #constraints=23143 1504.74/1505.29 c nbDecision=246500 #constraints=23177 1509.34/1509.83 c nbDecision=247000 #constraints=23211 1515.24/1515.75 c nbDecision=247500 #constraints=23252 1523.33/1523.85 c nbDecision=248000 #constraints=23292 1528.83/1529.31 c nbDecision=248500 #constraints=23324 1534.33/1534.87 c nbDecision=249000 #constraints=23359 1541.23/1541.76 c nbDecision=249500 #constraints=23394 1547.73/1548.22 c nbDecision=250000 #constraints=23436 1553.43/1553.93 c nbDecision=250500 #constraints=23470 1560.63/1561.18 c nbDecision=251000 #constraints=23511 1567.72/1568.29 c nbDecision=251500 #constraints=23557 1573.62/1574.12 c nbDecision=252000 #constraints=23595 1579.02/1579.53 c nbDecision=252500 #constraints=23630 1583.82/1584.40 c nbDecision=253000 #constraints=23661 1589.12/1589.61 c nbDecision=253500 #constraints=23700 1594.71/1595.21 c nbDecision=254000 #constraints=23738 1601.11/1601.61 c nbDecision=254500 #constraints=23775 1606.62/1607.17 c nbDecision=255000 #constraints=23808 1611.91/1612.49 c nbDecision=255500 #constraints=23843 1617.41/1618.00 c nbDecision=256000 #constraints=23879 1623.11/1623.68 c nbDecision=256500 #constraints=23914 1627.80/1628.32 c nbDecision=257000 #constraints=23948 1632.90/1633.40 c nbDecision=257500 #constraints=23981 1638.90/1639.41 c nbDecision=258000 #constraints=24019 1643.90/1644.48 c nbDecision=258500 #constraints=24052 1649.50/1650.07 c nbDecision=259000 #constraints=24087 1655.49/1656.07 c nbDecision=259500 #constraints=24121 1660.19/1660.70 c nbDecision=260000 #constraints=24152 1665.49/1666.01 c nbDecision=260500 #constraints=24190 1671.09/1671.64 c nbDecision=261000 #constraints=24226 1677.99/1678.56 c nbDecision=261500 #constraints=24262 1683.29/1683.87 c nbDecision=262000 #constraints=24296 1689.48/1690.03 c nbDecision=262500 #constraints=24337 1696.78/1697.39 c nbDecision=263000 #constraints=24381 1701.88/1702.41 c nbDecision=263500 #constraints=24415 1707.08/1707.61 c nbDecision=264000 #constraints=24449 1713.08/1713.65 c nbDecision=264500 #constraints=24485 1718.57/1719.18 c nbDecision=265000 #constraints=24521 1726.37/1726.93 c nbDecision=265500 #constraints=24563 1733.36/1733.91 c nbDecision=266000 #constraints=24600 1738.96/1739.57 c nbDecision=266500 #constraints=24624 1742.56/1743.14 c nbDecision=267000 #constraints=24644 1747.37/1748.00 c nbDecision=267500 #constraints=24665 1752.57/1753.16 c nbDecision=268000 #constraints=24689 1756.46/1757.04 c nbDecision=268500 #constraints=24709 1763.97/1764.56 c nbDecision=269000 #constraints=24739 1774.16/1774.72 c nbDecision=269500 #constraints=24785 1782.35/1782.91 c nbDecision=270000 #constraints=24825 1789.35/1789.97 c nbDecision=270500 #constraints=24863 1797.15/1797.72 c nbDecision=271000 #constraints=24899 1800.05/1800.60 Received signal 15 1800.15/1800.71 1800.15/1800.71 s UNKNOWN 1800.15/1800.71 1800.15/1800.71 c user time= 1799.88 s 1800.15/1800.71 c system time= 0.298954 s 1800.15/1800.71 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-364694-1176988377 -o ROOT/results/node1/solver-364694-1176988377 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364694-1176988377/instance-364694-1176988377.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.92 0.89 3/77 4630 /proc/meminfo: memFree=1638072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=1468 CPUtime=0 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 179 0 0 0 0 0 0 0 19 0 1 0 174875581 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 367 161 126 317 0 46 0 [startup+0.102368 s] /proc/loadavg: 0.72 0.92 0.89 3/77 4630 /proc/meminfo: memFree=1638072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=3280 CPUtime=0.1 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 612 0 0 0 10 0 0 0 20 0 1 0 174875581 3358720 594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 820 594 139 317 0 499 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3280 [startup+0.201379 s] /proc/loadavg: 0.72 0.92 0.89 3/77 4630 /proc/meminfo: memFree=1638072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=3280 CPUtime=0.19 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 612 0 0 0 19 0 0 0 20 0 1 0 174875581 3358720 594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710866 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 820 594 139 317 0 499 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3280 [startup+0.301391 s] /proc/loadavg: 0.72 0.92 0.89 3/77 4630 /proc/meminfo: memFree=1638072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=3280 CPUtime=0.29 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 612 0 0 0 29 0 0 0 21 0 1 0 174875581 3358720 594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 820 594 139 317 0 499 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3280 [startup+0.701437 s] /proc/loadavg: 0.72 0.92 0.89 3/77 4630 /proc/meminfo: memFree=1638072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=3280 CPUtime=0.69 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 612 0 0 0 69 0 0 0 25 0 1 0 174875581 3358720 594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 820 594 139 317 0 499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3280 [startup+1.50153 s] /proc/loadavg: 0.72 0.92 0.89 2/78 4631 /proc/meminfo: memFree=1636016/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=3676 CPUtime=1.49 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 700 0 0 0 149 0 0 0 25 0 1 0 174875581 3764224 682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 919 682 139 317 0 598 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3676 [startup+3.10172 s] /proc/loadavg: 0.72 0.92 0.89 2/78 4631 /proc/meminfo: memFree=1635440/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=4192 CPUtime=3.09 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 845 0 0 0 309 0 0 0 25 0 1 0 174875581 4292608 827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 1048 827 139 317 0 727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4192 [startup+6.30109 s] /proc/loadavg: 0.74 0.92 0.89 2/78 4631 /proc/meminfo: memFree=1634232/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=5236 CPUtime=6.29 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 1104 0 0 0 629 0 0 0 25 0 1 0 174875581 5361664 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 1309 1086 139 317 0 988 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5236 [startup+12.7018 s] /proc/loadavg: 0.76 0.92 0.90 2/78 4631 /proc/meminfo: memFree=1632312/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=7088 CPUtime=12.69 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 1544 0 0 0 1268 1 0 0 25 0 1 0 174875581 7258112 1526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 1772 1526 139 317 0 1451 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7088 [startup+25.5013 s] /proc/loadavg: 0.81 0.93 0.90 2/78 4631 /proc/meminfo: memFree=1629560/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=9756 CPUtime=25.48 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 2198 0 0 0 2546 2 0 0 25 0 1 0 174875581 9990144 2180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 2439 2180 139 317 0 2118 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9756 [startup+51.1013 s] /proc/loadavg: 0.87 0.93 0.90 2/78 4631 /proc/meminfo: memFree=1625592/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=13784 CPUtime=51.08 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 3200 0 0 0 5105 3 0 0 25 0 1 0 174875581 14114816 3182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 3446 3182 139 317 0 3125 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13784 [startup+102.301 s] /proc/loadavg: 0.94 0.94 0.90 2/78 4631 /proc/meminfo: memFree=1621432/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=18468 CPUtime=102.26 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 4301 0 0 0 10222 4 0 0 25 0 1 0 174875581 18911232 4219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 4617 4219 139 317 0 4296 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18468 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.91 2/78 4631 /proc/meminfo: memFree=1617336/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=22552 CPUtime=162.24 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 5329 0 0 0 16219 5 0 0 25 0 1 0 174875581 23093248 5247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 5638 5247 139 317 0 5317 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22552 [startup+222.305 s] /proc/loadavg: 0.99 0.95 0.91 2/78 4631 /proc/meminfo: memFree=1613368/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=26748 CPUtime=222.23 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 6313 0 0 0 22217 6 0 0 25 0 1 0 174875581 27389952 6231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 6687 6231 139 317 0 6366 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26748 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.91 2/78 4631 /proc/meminfo: memFree=1609016/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=31304 CPUtime=282.21 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 7425 0 0 0 28214 7 0 0 25 0 1 0 174875581 32055296 7343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 7826 7343 139 317 0 7505 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 31304 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1605176/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=35716 CPUtime=342.19 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 8375 0 0 0 34210 9 0 0 25 0 1 0 174875581 36573184 8293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 8929 8293 139 317 0 8608 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35716 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1601656/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=39220 CPUtime=402.17 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 9245 0 0 0 40207 10 0 0 25 0 1 0 174875581 40161280 9163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 9805 9163 139 317 0 9484 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 39220 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1599416/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=41352 CPUtime=462.15 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 9797 0 0 0 46204 11 0 0 25 0 1 0 174875581 42344448 9715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 10338 9715 139 317 0 10017 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 41352 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1597240/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=43584 CPUtime=522.14 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 10357 0 0 0 52202 12 0 0 25 0 1 0 174875581 44630016 10275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 10896 10275 139 317 0 10575 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 43584 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1594744/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=46216 CPUtime=582.12 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 10975 0 0 0 58199 13 0 0 25 0 1 0 174875581 47325184 10893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 11554 10893 139 317 0 11233 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 46216 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1591992/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=49028 CPUtime=642.1 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 11652 0 0 0 64196 14 0 0 25 0 1 0 174875581 50204672 11570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 12257 11570 139 317 0 11936 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 49028 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1585592/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=57068 CPUtime=882.03 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 13372 0 0 0 88186 17 0 0 25 0 1 0 174875581 58437632 13163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 14267 13163 139 317 0 13946 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 57068 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1584120/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=58384 CPUtime=942.01 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 13724 0 0 0 94183 18 0 0 25 0 1 0 174875581 59785216 13515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 14596 13515 139 317 0 14275 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 58384 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1582648/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=59840 CPUtime=1001.99 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 14101 0 0 0 100180 19 0 0 25 0 1 0 174875581 61276160 13892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 14960 13892 139 317 0 14639 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 59840 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1581176/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=61184 CPUtime=1061.97 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 14464 0 0 0 106177 20 0 0 25 0 1 0 174875581 62652416 14255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 15296 14255 139 317 0 14975 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 61184 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4631 /proc/meminfo: memFree=1579704/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=62616 CPUtime=1121.96 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 14827 0 0 0 112175 21 0 0 25 0 1 0 174875581 64118784 14618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563369 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 15654 14618 139 317 0 15333 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 62616 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1578424/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=63716 CPUtime=1181.94 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 15129 0 0 0 118173 21 0 0 25 0 1 0 174875581 65245184 14920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 15929 14920 139 317 0 15608 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 63716 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1577144/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=64936 CPUtime=1241.93 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 15454 0 0 0 124171 22 0 0 25 0 1 0 174875581 66494464 15245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 16234 15245 139 317 0 15913 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 64936 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1575672/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=67016 CPUtime=1301.9 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 15919 0 0 0 130168 22 0 0 25 0 1 0 174875581 68624384 15578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 16754 15578 139 317 0 16433 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 67016 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1574328/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=68484 CPUtime=1361.89 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 16298 0 0 0 136166 23 0 0 25 0 1 0 174875581 70127616 15924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 17121 15924 139 317 0 16800 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 68484 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1572664/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=70184 CPUtime=1421.87 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 16768 0 0 0 142163 24 0 0 25 0 1 0 174875581 71868416 16361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 17546 16361 139 317 0 17225 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 70184 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1570872/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=71896 CPUtime=1481.85 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 17212 0 0 0 148160 25 0 0 25 0 1 0 174875581 73621504 16805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 17974 16805 139 317 0 17653 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 71896 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1569208/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=73636 CPUtime=1541.83 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 17687 0 0 0 154158 25 0 0 25 0 1 0 174875581 75403264 17214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 18409 17214 139 317 0 18088 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 73636 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1567736/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=75636 CPUtime=1601.81 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 18092 0 0 0 160155 26 0 0 25 0 1 0 174875581 77451264 17586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 18909 17586 139 317 0 18588 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 75636 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1566072/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=77364 CPUtime=1661.79 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 18513 0 0 0 166152 27 0 0 25 0 1 0 174875581 79220736 18007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 19341 18007 139 317 0 19020 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 77364 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1564344/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=79228 CPUtime=1721.77 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 18954 0 0 0 172149 28 0 0 25 0 1 0 174875581 81129472 18415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 19807 18415 139 317 0 19486 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 79228 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1563512/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=79940 CPUtime=1781.75 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 19161 0 0 0 178146 29 0 0 25 0 1 0 174875581 81858560 18622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 19985 18622 139 317 0 19664 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 79940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4633 /proc/meminfo: memFree=1563192/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=80204 CPUtime=1800.05 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 19239 0 0 0 179976 29 0 0 25 0 1 0 174875581 82128896 18700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 20051 18700 139 317 0 19730 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 80204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/79 4634 /proc/meminfo: memFree=1563184/2055920 swapFree=4145780/4192956 [pid=4630] ppid=4628 vsize=80204 CPUtime=1800.15 /proc/4630/stat : 4630 (oree) R 4628 4630 4573 0 -1 4194304 19239 0 0 0 179986 29 0 0 25 0 1 0 174875581 82128896 18700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4630/statm: 20051 18700 139 317 0 19730 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 80204 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.19 CPU user time (s): 1799.88 CPU system time (s): 0.310952 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 80204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.310952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19255 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= 7 involuntary context switches= 12037 runsolver used 2.17867 second user time and 4.37134 second system time The end
Begin job on node1 on Thu Apr 19 13:12:57 UTC 2007 IDJOB= 364694 IDBENCH= 2142 IDSOLVER= 172 FILE ID= node1/364694-1176988377 PBS_JOBID= 4630451 Free space on /tmp= 66357 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-ssa2670-130.opb COMMAND LINE= oree /tmp/evaluation/364694-1176988377/instance-364694-1176988377.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-364694-1176988377 -o ROOT/results/node1/solver-364694-1176988377 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364694-1176988377/instance-364694-1176988377.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 805460c9bad8cc3db817372fa8e96e60 RANDOM SEED= 638364428 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1638480 kB Buffers: 34792 kB Cached: 303516 kB SwapCached: 14340 kB Active: 228388 kB Inactive: 132332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1638480 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 1660 kB Writeback: 0 kB Mapped: 29248 kB Slab: 42156 kB Committed_AS: 5012804 kB PageTables: 1832 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= 66357 MiB End job on node1 on Thu Apr 19 13:43:00 UTC 2007