Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb |
MD5SUM | 1f57d7f7253e44124d4d26029bd38b8a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 493 |
Best CPU time to get the best result obtained on this benchmark | 1801.99 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 424 |
Optimality of the best value was proved | NO |
Number of variables | 19344 |
Total number of constraints | 1824 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1776 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 13488 |
Biggest coefficient in the objective function | 1219 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 535560 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 535560 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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.09/0.19 c ...done 0.09/0.19 c #vars=19344 #constraints=1873 hasObjective=yes 0.29/0.31 c res. mode=mod 0.29/0.31 c VSIDS like heuristics 0.29/0.31 c complete search running 0.39/0.44 c restart after 401 decisions 0.39/0.46 c nbDecision=500 #constraints=1915 0.49/0.55 c restart after 801 decisions 0.49/0.60 c nbDecision=1000 #constraints=1934 0.69/0.73 c nbDecision=1500 #constraints=1957 0.69/0.76 c restart after 1601 decisions 0.79/0.88 c nbDecision=2000 #constraints=2012 0.99/1.04 c nbDecision=2500 #constraints=2078 1.09/1.19 c nbDecision=3000 #constraints=2119 1.19/1.24 c restart after 3201 decisions 1.29/1.33 c nbDecision=3500 #constraints=2148 1.39/1.48 c nbDecision=4000 #constraints=2190 1.59/1.63 c nbDecision=4500 #constraints=2281 1.69/1.76 c nbDecision=5000 #constraints=2316 1.89/1.94 c nbDecision=5500 #constraints=2438 1.99/2.08 c nbDecision=6000 #constraints=2483 2.19/2.20 c restart after 6401 decisions 2.19/2.23 c nbDecision=6500 #constraints=2533 2.29/2.37 c nbDecision=7000 #constraints=2591 2.49/2.50 c nbDecision=7500 #constraints=2645 2.59/2.65 c nbDecision=8000 #constraints=2718 2.69/2.76 c nbDecision=8500 #constraints=2743 2.89/2.90 c nbDecision=9000 #constraints=2798 2.99/3.03 c nbDecision=9500 #constraints=2836 3.09/3.16 c nbDecision=10000 #constraints=2891 3.20/3.30 c nbDecision=10500 #constraints=2939 3.39/3.42 c nbDecision=11000 #constraints=2972 3.49/3.55 c nbDecision=11500 #constraints=3016 3.59/3.66 c nbDecision=12000 #constraints=3036 3.79/3.81 c nbDecision=12500 #constraints=3099 3.79/3.87 c restart after 12801 decisions 3.89/3.92 c nbDecision=13000 #constraints=3101 3.99/4.07 c nbDecision=13500 #constraints=3167 4.19/4.21 c nbDecision=14000 #constraints=3223 4.29/4.36 c nbDecision=14500 #constraints=3262 4.49/4.51 c nbDecision=15000 #constraints=3325 4.59/4.63 c nbDecision=15500 #constraints=3348 4.69/4.75 c nbDecision=16000 #constraints=3383 4.79/4.88 c nbDecision=16500 #constraints=3415 4.99/5.02 c nbDecision=17000 #constraints=3468 5.09/5.15 c nbDecision=17500 #constraints=3497 5.19/5.26 c nbDecision=18000 #constraints=3522 5.29/5.38 c nbDecision=18500 #constraints=3547 5.49/5.50 c nbDecision=19000 #constraints=3570 5.59/5.60 c nbDecision=19500 #constraints=3581 5.69/5.72 c nbDecision=20000 #constraints=3597 5.79/5.84 c nbDecision=20500 #constraints=3627 5.89/5.96 c nbDecision=21000 #constraints=3647 5.99/6.08 c nbDecision=21500 #constraints=3674 6.19/6.21 c nbDecision=22000 #constraints=3708 6.29/6.34 c nbDecision=22500 #constraints=3744 6.39/6.45 c nbDecision=23000 #constraints=3759 6.49/6.58 c nbDecision=23500 #constraints=3797 6.68/6.70 c nbDecision=24000 #constraints=3813 6.78/6.81 c nbDecision=24500 #constraints=3834 6.88/6.95 c nbDecision=25000 #constraints=3866 6.98/7.07 c nbDecision=25500 #constraints=3894 6.98/7.09 c restart after 25601 decisions 7.18/7.22 c nbDecision=26000 #constraints=3928 7.28/7.34 c nbDecision=26500 #constraints=3954 7.38/7.45 c nbDecision=27000 #constraints=3971 7.48/7.58 c nbDecision=27500 #constraints=3994 7.59/7.68 c nbDecision=28000 #constraints=4003 7.69/7.79 c nbDecision=28500 #constraints=4022 7.88/7.91 c nbDecision=29000 #constraints=4043 7.98/8.05 c nbDecision=29500 #constraints=4074 8.08/8.16 c nbDecision=30000 #constraints=4090 8.18/8.27 c nbDecision=30500 #constraints=4097 8.28/8.38 c nbDecision=31000 #constraints=4114 8.38/8.49 c nbDecision=31500 #constraints=4130 8.58/8.60 c nbDecision=32000 #constraints=4142 8.69/8.72 c nbDecision=32500 #constraints=4160 8.80/8.84 c nbDecision=33000 #constraints=4184 8.89/8.95 c nbDecision=33500 #constraints=4203 8.99/9.07 c nbDecision=34000 #constraints=4225 9.09/9.18 c nbDecision=34500 #constraints=4240 9.29/9.31 c nbDecision=35000 #constraints=4265 9.39/9.41 c nbDecision=35500 #constraints=4277 9.49/9.53 c nbDecision=36000 #constraints=4286 9.59/9.66 c nbDecision=36500 #constraints=4319 9.69/9.78 c nbDecision=37000 #constraints=4340 9.90/9.92 c nbDecision=37500 #constraints=4375 9.99/10.04 c nbDecision=38000 #constraints=4393 10.09/10.15 c nbDecision=38500 #constraints=4410 10.19/10.27 c nbDecision=39000 #constraints=4431 10.29/10.37 c nbDecision=39500 #constraints=4434 10.39/10.49 c nbDecision=40000 #constraints=4448 10.59/10.61 c nbDecision=40500 #constraints=4467 10.69/10.73 c nbDecision=41000 #constraints=4487 10.79/10.84 c nbDecision=41500 #constraints=4500 10.90/10.95 c nbDecision=42000 #constraints=4511 10.99/11.08 c nbDecision=42500 #constraints=4533 11.19/11.20 c nbDecision=43000 #constraints=4551 11.29/11.31 c nbDecision=43500 #constraints=4556 11.39/11.44 c nbDecision=44000 #constraints=4578 11.49/11.55 c nbDecision=44500 #constraints=4588 11.59/11.66 c nbDecision=45000 #constraints=4604 11.69/11.78 c nbDecision=45500 #constraints=4617 11.79/11.89 c nbDecision=46000 #constraints=4623 11.99/12.00 c nbDecision=46500 #constraints=4628 12.09/12.12 c nbDecision=47000 #constraints=4645 12.19/12.24 c nbDecision=47500 #constraints=4661 12.29/12.37 c nbDecision=48000 #constraints=4681 12.39/12.49 c nbDecision=48500 #constraints=4697 12.59/12.60 c nbDecision=49000 #constraints=4711 12.69/12.71 c nbDecision=49500 #constraints=4714 12.79/12.81 c nbDecision=50000 #constraints=4717 12.89/12.93 c nbDecision=50500 #constraints=4726 12.99/13.05 c nbDecision=51000 #constraints=4749 13.09/13.12 c restart after 51201 decisions 13.19/13.20 c nbDecision=51500 #constraints=4769 13.29/13.35 c nbDecision=52000 #constraints=4808 13.39/13.49 c nbDecision=52500 #constraints=4835 13.59/13.61 c nbDecision=53000 #constraints=4847 13.69/13.72 c nbDecision=53500 #constraints=4853 13.79/13.86 c nbDecision=54000 #constraints=4889 13.89/13.98 c nbDecision=54500 #constraints=4902 14.09/14.11 c nbDecision=55000 #constraints=4929 14.19/14.24 c nbDecision=55500 #constraints=4952 14.29/14.37 c nbDecision=56000 #constraints=4968 14.39/14.49 c nbDecision=56500 #constraints=4980 14.59/14.60 c nbDecision=57000 #constraints=4997 14.69/14.74 c nbDecision=57500 #constraints=5023 14.79/14.88 c nbDecision=58000 #constraints=5049 14.99/15.01 c nbDecision=58500 #constraints=5066 15.09/15.14 c nbDecision=59000 #constraints=5082 15.19/15.26 c nbDecision=59500 #constraints=5099 15.29/15.39 c nbDecision=60000 #constraints=5126 15.49/15.51 c nbDecision=60500 #constraints=5136 15.59/15.64 c nbDecision=61000 #constraints=5162 15.69/15.75 c nbDecision=61500 #constraints=5170 15.79/15.88 c nbDecision=62000 #constraints=5189 15.99/16.00 c nbDecision=62500 #constraints=5197 16.09/16.13 c nbDecision=63000 #constraints=5220 16.19/16.24 c nbDecision=63500 #constraints=5228 16.28/16.38 c nbDecision=64000 #constraints=5252 16.49/16.53 c nbDecision=64500 #constraints=5276 16.58/16.67 c nbDecision=65000 #constraints=5307 16.68/16.79 c nbDecision=65500 #constraints=5319 16.88/16.92 c nbDecision=66000 #constraints=5344 16.98/17.06 c nbDecision=66500 #constraints=5370 17.08/17.18 c nbDecision=67000 #constraints=5384 17.28/17.32 c nbDecision=67500 #constraints=5400 17.38/17.44 c nbDecision=68000 #constraints=5414 17.49/17.57 c nbDecision=68500 #constraints=5432 17.59/17.69 c nbDecision=69000 #constraints=5440 17.68/17.79 c nbDecision=69500 #constraints=5449 17.88/17.94 c nbDecision=70000 #constraints=5475 17.98/18.07 c nbDecision=70500 #constraints=5495 18.08/18.19 c nbDecision=71000 #constraints=5502 18.28/18.34 c nbDecision=71500 #constraints=5531 18.38/18.46 c nbDecision=72000 #constraints=5546 18.48/18.58 c nbDecision=72500 #constraints=5553 18.68/18.72 c nbDecision=73000 #constraints=5578 18.78/18.85 c nbDecision=73500 #constraints=5601 18.88/18.99 c nbDecision=74000 #constraints=5632 19.08/19.10 c nbDecision=74500 #constraints=5638 19.18/19.23 c nbDecision=75000 #constraints=5661 19.28/19.38 c nbDecision=75500 #constraints=5688 19.48/19.52 c nbDecision=76000 #constraints=5702 19.58/19.65 c nbDecision=76500 #constraints=5715 19.68/19.78 c nbDecision=77000 #constraints=5732 19.88/19.94 c nbDecision=77500 #constraints=5767 19.98/20.06 c nbDecision=78000 #constraints=5780 20.08/20.19 c nbDecision=78500 #constraints=5792 20.28/20.31 c nbDecision=79000 #constraints=5801 20.38/20.45 c nbDecision=79500 #constraints=5822 20.48/20.59 c nbDecision=80000 #constraints=5837 20.68/20.70 c nbDecision=80500 #constraints=5845 20.79/20.83 c nbDecision=81000 #constraints=5865 20.89/20.98 c nbDecision=81500 #constraints=5887 21.09/21.12 c nbDecision=82000 #constraints=5899 21.19/21.24 c nbDecision=82500 #constraints=5913 21.29/21.38 c nbDecision=83000 #constraints=5932 21.38/21.48 c nbDecision=83500 #constraints=5936 21.58/21.62 c nbDecision=84000 #constraints=5955 21.68/21.75 c nbDecision=84500 #constraints=5970 21.78/21.88 c nbDecision=85000 #constraints=5981 21.89/21.99 c nbDecision=85500 #constraints=5994 22.08/22.14 c nbDecision=86000 #constraints=6016 22.18/22.26 c nbDecision=86500 #constraints=6024 22.28/22.36 c nbDecision=87000 #constraints=6025 22.38/22.49 c nbDecision=87500 #constraints=6044 22.58/22.61 c nbDecision=88000 #constraints=6051 22.68/22.73 c nbDecision=88500 #constraints=6064 22.78/22.87 c nbDecision=89000 #constraints=6082 22.88/22.97 c nbDecision=89500 #constraints=6086 22.99/23.09 c nbDecision=90000 #constraints=6090 23.18/23.23 c nbDecision=90500 #constraints=6113 23.28/23.35 c nbDecision=91000 #constraints=6118 23.38/23.46 c nbDecision=91500 #constraints=6122 23.48/23.59 c nbDecision=92000 #constraints=6135 23.68/23.71 c nbDecision=92500 #constraints=6144 23.78/23.82 c nbDecision=93000 #constraints=6147 23.88/23.94 c nbDecision=93500 #constraints=6157 23.98/24.07 c nbDecision=94000 #constraints=6171 24.09/24.19 c nbDecision=94500 #constraints=6182 24.28/24.30 c nbDecision=95000 #constraints=6188 24.38/24.42 c nbDecision=95500 #constraints=6195 24.48/24.53 c nbDecision=96000 #constraints=6200 24.58/24.65 c nbDecision=96500 #constraints=6210 24.68/24.78 c nbDecision=97000 #constraints=6223 24.88/24.90 c nbDecision=97500 #constraints=6232 24.98/25.02 c nbDecision=98000 #constraints=6246 25.08/25.18 c nbDecision=98500 #constraints=6270 25.28/25.31 c nbDecision=99000 #constraints=6284 25.38/25.42 c nbDecision=99500 #constraints=6293 25.48/25.56 c nbDecision=100000 #constraints=6311 25.68/25.70 c nbDecision=100500 #constraints=6323 25.78/25.83 c nbDecision=101000 #constraints=6337 25.88/25.95 c nbDecision=101500 #constraints=6346 25.98/26.09 c nbDecision=102000 #constraints=6357 26.08/26.19 c restart after 102401 decisions 26.18/26.22 c nbDecision=102500 #constraints=6364 26.28/26.38 c nbDecision=103000 #constraints=6382 26.48/26.53 c nbDecision=103500 #constraints=6412 26.58/26.66 c nbDecision=104000 #constraints=6421 26.78/26.81 c nbDecision=104500 #constraints=6438 26.88/26.94 c nbDecision=105000 #constraints=6453 26.98/27.08 c nbDecision=105500 #constraints=6469 27.18/27.21 c nbDecision=106000 #constraints=6482 27.28/27.34 c nbDecision=106500 #constraints=6496 27.38/27.50 c nbDecision=107000 #constraints=6524 27.58/27.64 c nbDecision=107500 #constraints=6540 27.68/27.79 c nbDecision=108000 #constraints=6560 27.88/27.92 c nbDecision=108500 #constraints=6578 27.98/28.06 c nbDecision=109000 #constraints=6592 28.08/28.18 c nbDecision=109500 #constraints=6604 28.28/28.32 c nbDecision=110000 #constraints=6618 28.38/28.47 c nbDecision=110500 #constraints=6637 28.48/28.58 c nbDecision=111000 #constraints=6647 28.68/28.73 c nbDecision=111500 #constraints=6674 28.78/28.83 c nbDecision=112000 #constraints=6676 28.88/28.97 c nbDecision=112500 #constraints=6688 28.98/29.09 c nbDecision=113000 #constraints=6695 29.08/29.19 c nbDecision=113500 #constraints=6697 29.28/29.32 c nbDecision=114000 #constraints=6706 29.38/29.44 c nbDecision=114500 #constraints=6717 29.48/29.57 c nbDecision=115000 #constraints=6727 29.58/29.69 c nbDecision=115500 #constraints=6734 29.78/29.83 c nbDecision=116000 #constraints=6748 29.88/29.94 c nbDecision=116500 #constraints=6753 29.98/30.06 c nbDecision=117000 #constraints=6759 30.08/30.19 c nbDecision=117500 #constraints=6772 30.28/30.31 c nbDecision=118000 #constraints=6778 30.38/30.47 c nbDecision=118500 #constraints=6811 30.48/30.59 c nbDecision=119000 #constraints=6821 30.68/30.72 c nbDecision=119500 #constraints=6829 30.78/30.85 c nbDecision=120000 #constraints=6840 30.88/30.96 c nbDecision=120500 #constraints=6846 30.98/31.08 c nbDecision=121000 #constraints=6852 31.18/31.22 c nbDecision=121500 #constraints=6865 31.28/31.33 c nbDecision=122000 #constraints=6868 31.38/31.49 c nbDecision=122500 #constraints=6893 31.58/31.63 c nbDecision=123000 #constraints=6905 31.68/31.74 c nbDecision=123500 #constraints=6908 31.78/31.86 c nbDecision=124000 #constraints=6918 31.97/32.00 c nbDecision=124500 #constraints=6935 32.07/32.14 c nbDecision=125000 #constraints=6945 32.17/32.26 c nbDecision=125500 #constraints=6950 32.38/32.40 c nbDecision=126000 #constraints=6965 32.48/32.52 c nbDecision=126500 #constraints=6972 32.58/32.64 c nbDecision=127000 #constraints=6977 32.68/32.77 c nbDecision=127500 #constraints=6982 32.78/32.90 c nbDecision=128000 #constraints=6995 32.99/33.02 c nbDecision=128500 #constraints=7000 33.08/33.17 c nbDecision=129000 #constraints=7019 33.18/33.28 c nbDecision=129500 #constraints=7020 33.38/33.42 c nbDecision=130000 #constraints=7033 33.48/33.54 c nbDecision=130500 #constraints=7038 33.58/33.68 c nbDecision=131000 #constraints=7061 33.78/33.83 c nbDecision=131500 #constraints=7075 33.88/33.95 c nbDecision=132000 #constraints=7083 33.98/34.08 c nbDecision=132500 #constraints=7092 34.18/34.21 c nbDecision=133000 #constraints=7103 34.28/34.33 c nbDecision=133500 #constraints=7108 34.38/34.45 c nbDecision=134000 #constraints=7116 34.48/34.57 c nbDecision=134500 #constraints=7120 34.58/34.68 c nbDecision=135000 #constraints=7124 34.78/34.81 c nbDecision=135500 #constraints=7131 34.88/34.95 c nbDecision=136000 #constraints=7144 34.98/35.08 c nbDecision=136500 #constraints=7151 35.18/35.21 c nbDecision=137000 #constraints=7168 35.28/35.35 c nbDecision=137500 #constraints=7176 35.38/35.48 c nbDecision=138000 #constraints=7182 35.58/35.61 c nbDecision=138500 #constraints=7194 35.68/35.75 c nbDecision=139000 #constraints=7204 35.78/35.86 c nbDecision=139500 #constraints=7208 35.88/35.98 c nbDecision=140000 #constraints=7210 36.08/36.10 c nbDecision=140500 #constraints=7219 36.18/36.24 c nbDecision=141000 #constraints=7227 36.28/36.36 c nbDecision=141500 #constraints=7240 36.48/36.50 c nbDecision=142000 #constraints=7261 36.58/36.63 c nbDecision=142500 #constraints=7267 36.68/36.75 c nbDecision=143000 #constraints=7270 36.78/36.87 c nbDecision=143500 #constraints=7274 36.98/37.00 c nbDecision=144000 #constraints=7283 37.08/37.11 c nbDecision=144500 #constraints=7286 37.17/37.23 c nbDecision=145000 #constraints=7293 37.28/37.36 c nbDecision=145500 #constraints=7303 37.38/37.49 c nbDecision=146000 #constraints=7317 37.57/37.62 c nbDecision=146500 #constraints=7329 37.67/37.74 c nbDecision=147000 #constraints=7336 37.77/37.87 c nbDecision=147500 #constraints=7346 37.87/37.99 c nbDecision=148000 #constraints=7350 38.07/38.10 c nbDecision=148500 #constraints=7355 38.17/38.22 c nbDecision=149000 #constraints=7360 38.27/38.36 c nbDecision=149500 #constraints=7376 38.48/38.50 c nbDecision=150000 #constraints=7388 38.57/38.63 c nbDecision=150500 #constraints=7403 38.67/38.77 c nbDecision=151000 #constraints=7415 38.77/38.90 c nbDecision=151500 #constraints=7420 38.97/39.02 c nbDecision=152000 #constraints=7425 39.07/39.13 c nbDecision=152500 #constraints=7427 39.17/39.27 c nbDecision=153000 #constraints=7438 39.27/39.39 c nbDecision=153500 #constraints=7447 39.48/39.52 c nbDecision=154000 #constraints=7460 39.57/39.65 c nbDecision=154500 #constraints=7468 39.67/39.78 c nbDecision=155000 #constraints=7476 39.87/39.92 c nbDecision=155500 #constraints=7482 39.97/40.06 c nbDecision=156000 #constraints=7501 40.17/40.20 c nbDecision=156500 #constraints=7523 40.27/40.35 c nbDecision=157000 #constraints=7533 40.37/40.49 c nbDecision=157500 #constraints=7547 40.47/40.60 c nbDecision=158000 #constraints=7548 40.67/40.75 c nbDecision=158500 #constraints=7570 40.77/40.89 c nbDecision=159000 #constraints=7587 40.97/41.04 c nbDecision=159500 #constraints=7602 41.07/41.16 c nbDecision=160000 #constraints=7611 41.17/41.29 c nbDecision=160500 #constraints=7626 41.37/41.43 c nbDecision=161000 #constraints=7635 41.47/41.55 c nbDecision=161500 #constraints=7641 41.57/41.68 c nbDecision=162000 #constraints=7646 41.77/41.81 c nbDecision=162500 #constraints=7657 41.87/41.94 c nbDecision=163000 #constraints=7669 41.97/42.05 c nbDecision=163500 #constraints=7671 42.16/42.20 c nbDecision=164000 #constraints=7690 42.26/42.33 c nbDecision=164500 #constraints=7696 42.36/42.48 c nbDecision=165000 #constraints=7710 42.56/42.60 c nbDecision=165500 #constraints=7715 42.66/42.74 c nbDecision=166000 #constraints=7727 42.77/42.86 c nbDecision=166500 #constraints=7735 42.97/43.01 c nbDecision=167000 #constraints=7755 43.06/43.16 c nbDecision=167500 #constraints=7777 43.16/43.29 c nbDecision=168000 #constraints=7789 43.36/43.43 c nbDecision=168500 #constraints=7801 43.46/43.56 c nbDecision=169000 #constraints=7807 43.56/43.69 c nbDecision=169500 #constraints=7817 43.76/43.82 c nbDecision=170000 #constraints=7830 43.87/43.95 c nbDecision=170500 #constraints=7836 43.97/44.07 c nbDecision=171000 #constraints=7840 44.16/44.20 c nbDecision=171500 #constraints=7852 44.26/44.34 c nbDecision=172000 #constraints=7857 44.36/44.47 c nbDecision=172500 #constraints=7864 44.46/44.60 c nbDecision=173000 #constraints=7873 44.66/44.73 c nbDecision=173500 #constraints=7882 44.76/44.85 c nbDecision=174000 #constraints=7889 44.87/44.97 c nbDecision=174500 #constraints=7894 45.07/45.10 c nbDecision=175000 #constraints=7902 45.17/45.21 c nbDecision=175500 #constraints=7904 45.27/45.34 c nbDecision=176000 #constraints=7914 45.37/45.47 c nbDecision=176500 #constraints=7924 45.57/45.60 c nbDecision=177000 #constraints=7930 45.67/45.71 c nbDecision=177500 #constraints=7932 45.77/45.85 c nbDecision=178000 #constraints=7941 45.87/45.98 c nbDecision=178500 #constraints=7952 45.97/46.09 c nbDecision=179000 #constraints=7954 46.17/46.24 c nbDecision=179500 #constraints=7966 46.27/46.36 c nbDecision=180000 #constraints=7970 46.37/46.48 c nbDecision=180500 #constraints=7976 46.57/46.61 c nbDecision=181000 #constraints=7986 46.67/46.74 c nbDecision=181500 #constraints=7995 46.77/46.86 c nbDecision=182000 #constraints=7998 46.87/46.99 c nbDecision=182500 #constraints=8003 47.07/47.12 c nbDecision=183000 #constraints=8007 47.17/47.23 c nbDecision=183500 #constraints=8009 47.27/47.35 c nbDecision=184000 #constraints=8012 47.47/47.51 c nbDecision=184500 #constraints=8029 47.57/47.63 c nbDecision=185000 #constraints=8036 47.67/47.78 c nbDecision=185500 #constraints=8049 47.87/47.92 c nbDecision=186000 #constraints=8055 47.97/48.05 c nbDecision=186500 #constraints=8062 48.07/48.18 c nbDecision=187000 #constraints=8069 48.27/48.33 c nbDecision=187500 #constraints=8082 48.37/48.48 c nbDecision=188000 #constraints=8100 48.57/48.60 c nbDecision=188500 #constraints=8102 48.67/48.73 c nbDecision=189000 #constraints=8108 48.77/48.84 c nbDecision=189500 #constraints=8116 48.87/48.98 c nbDecision=190000 #constraints=8125 49.07/49.13 c nbDecision=190500 #constraints=8134 49.17/49.26 c nbDecision=191000 #constraints=8142 49.27/49.39 c nbDecision=191500 #constraints=8146 49.47/49.51 c nbDecision=192000 #constraints=8149 49.57/49.64 c nbDecision=192500 #constraints=8155 49.67/49.79 c nbDecision=193000 #constraints=8176 49.87/49.93 c nbDecision=193500 #constraints=8186 49.97/50.06 c nbDecision=194000 #constraints=8192 50.07/50.18 c nbDecision=194500 #constraints=8195 50.27/50.33 c nbDecision=195000 #constraints=8207 50.37/50.46 c nbDecision=195500 #constraints=8222 50.47/50.59 c nbDecision=196000 #constraints=8227 50.67/50.71 c nbDecision=196500 #constraints=8232 50.77/50.85 c nbDecision=197000 #constraints=8245 50.87/50.97 c nbDecision=197500 #constraints=8249 50.97/51.09 c nbDecision=198000 #constraints=8252 51.17/51.22 c nbDecision=198500 #constraints=8256 51.27/51.36 c nbDecision=199000 #constraints=8264 51.36/51.49 c nbDecision=199500 #constraints=8275 51.57/51.62 c nbDecision=200000 #constraints=8279 51.67/51.75 c nbDecision=200500 #constraints=8288 51.76/51.87 c nbDecision=201000 #constraints=8292 51.96/52.00 c nbDecision=201500 #constraints=8297 52.06/52.14 c nbDecision=202000 #constraints=8310 52.16/52.26 c nbDecision=202500 #constraints=8315 52.26/52.39 c nbDecision=203000 #constraints=8323 52.46/52.50 c nbDecision=203500 #constraints=8325 52.56/52.63 c nbDecision=204000 #constraints=8327 52.67/52.74 c nbDecision=204500 #constraints=8334 52.77/52.84 c restart after 204801 decisions 52.86/52.91 c nbDecision=205000 #constraints=8340 52.96/53.06 c nbDecision=205500 #constraints=8366 53.06/53.19 c nbDecision=206000 #constraints=8371 53.26/53.31 c nbDecision=206500 #constraints=8378 53.36/53.46 c nbDecision=207000 #constraints=8424 53.56/53.65 c nbDecision=207500 #constraints=8483 53.66/53.80 c nbDecision=208000 #constraints=8508 53.86/53.93 c nbDecision=208500 #constraints=8520 54.06/54.14 c nbDecision=209000 #constraints=8618 54.16/54.29 c nbDecision=209500 #constraints=8665 54.36/54.46 c nbDecision=210000 #constraints=8706 54.55/54.63 c nbDecision=210500 #constraints=8759 54.75/54.85 c nbDecision=211000 #constraints=8833 54.96/55.05 c nbDecision=211500 #constraints=8906 55.25/55.35 c nbDecision=212000 #constraints=9045 55.35/55.49 c nbDecision=212500 #constraints=9058 56.06/56.11 c nbDecision=213000 #constraints=9369 56.15/56.28 c nbDecision=213500 #constraints=9398 56.45/56.53 c nbDecision=214000 #constraints=9451 56.55/56.65 c nbDecision=214500 #constraints=9455 56.75/56.83 c nbDecision=215000 #constraints=9477 57.06/57.11 c nbDecision=215500 #constraints=9547 57.25/57.38 c nbDecision=216000 #constraints=9614 57.66/57.70 c nbDecision=216500 #constraints=9704 58.06/58.17 c nbDecision=217000 #constraints=9853 58.56/58.66 c nbDecision=217500 #constraints=9966 59.06/59.14 c nbDecision=218000 #constraints=10100 59.45/59.56 c nbDecision=218500 #constraints=10197 59.75/59.86 c nbDecision=219000 #constraints=10248 60.36/60.46 c nbDecision=219500 #constraints=10391 61.35/61.42 c nbDecision=220000 #constraints=10640 61.55/61.62 c nbDecision=220500 #constraints=10651 61.75/61.83 c nbDecision=221000 #constraints=10670 62.76/62.81 c nbDecision=221500 #constraints=10879 63.36/63.41 c nbDecision=222000 #constraints=10999 63.46/63.55 c nbDecision=222500 #constraints=11007 63.66/63.79 c nbDecision=223000 #constraints=11031 65.05/65.13 c nbDecision=223500 #constraints=11308 66.15/66.23 c nbDecision=224000 #constraints=11561 67.35/67.49 c nbDecision=224500 #constraints=11752 68.55/68.60 c nbDecision=225000 #constraints=11911 68.75/68.88 c nbDecision=225500 #constraints=11930 70.06/70.11 c nbDecision=226000 #constraints=12066 70.26/70.32 c nbDecision=226500 #constraints=12073 71.46/71.53 c nbDecision=227000 #constraints=12210 71.65/71.73 c nbDecision=227500 #constraints=12215 71.85/71.92 c nbDecision=228000 #constraints=12224 73.35/73.48 c nbDecision=228500 #constraints=12385 74.76/74.83 c nbDecision=229000 #constraints=12566 76.05/76.20 c nbDecision=229500 #constraints=12684 76.65/76.78 c nbDecision=230000 #constraints=12740 77.25/77.36 c nbDecision=230500 #constraints=12783 79.45/79.52 c nbDecision=231000 #constraints=12968 80.55/80.61 c nbDecision=231500 #constraints=13087 80.75/80.87 c nbDecision=232000 #constraints=13104 83.24/83.30 c nbDecision=232500 #constraints=13310 84.65/84.74 c nbDecision=233000 #constraints=13470 84.94/85.02 c nbDecision=233500 #constraints=13484 85.14/85.22 c nbDecision=234000 #constraints=13490 85.54/85.63 c nbDecision=234500 #constraints=13507 88.85/88.92 c nbDecision=235000 #constraints=13802 93.04/93.11 c nbDecision=235500 #constraints=14266 93.94/94.05 c nbDecision=236000 #constraints=14331 94.14/94.27 c nbDecision=236500 #constraints=14333 96.44/96.59 c nbDecision=237000 #constraints=14484 96.74/96.85 c nbDecision=237500 #constraints=14491 99.54/99.68 c nbDecision=238000 #constraints=14661 101.94/102.03 c nbDecision=238500 #constraints=14848 102.44/102.55 c nbDecision=239000 #constraints=14859 103.54/103.62 c nbDecision=239500 #constraints=14920 107.94/108.05 c nbDecision=240000 #constraints=15210 108.24/108.30 c nbDecision=240500 #constraints=15215 113.84/113.99 c nbDecision=241000 #constraints=15576 118.74/118.81 c nbDecision=241500 #constraints=15966 119.74/119.85 c nbDecision=242000 #constraints=16033 120.03/120.11 c nbDecision=242500 #constraints=16038 120.43/120.52 c nbDecision=243000 #constraints=16046 126.33/126.41 c nbDecision=243500 #constraints=16381 126.83/126.90 c nbDecision=244000 #constraints=16409 127.43/127.56 c nbDecision=244500 #constraints=16422 132.03/132.12 c nbDecision=245000 #constraints=16685 139.53/139.69 c nbDecision=245500 #constraints=17153 141.33/141.41 c nbDecision=246000 #constraints=17257 141.53/141.67 c nbDecision=246500 #constraints=17260 146.62/146.73 c nbDecision=247000 #constraints=17476 154.92/155.06 c nbDecision=247500 #constraints=17941 157.33/157.48 c nbDecision=248000 #constraints=18060 158.02/158.11 c nbDecision=248500 #constraints=18079 160.72/160.90 c nbDecision=249000 #constraints=18160 170.71/170.80 c nbDecision=249500 #constraints=18653 172.72/172.87 c nbDecision=250000 #constraints=18834 179.52/179.65 c nbDecision=250500 #constraints=19256 187.31/187.42 c nbDecision=251000 #constraints=19650 187.51/187.67 c nbDecision=251500 #constraints=19651 188.11/188.24 c nbDecision=252000 #constraints=19659 190.01/190.14 c nbDecision=252500 #constraints=19712 193.70/193.89 c nbDecision=253000 #constraints=19823 195.71/195.83 c nbDecision=253500 #constraints=19882 195.90/196.00 c nbDecision=254000 #constraints=19889 199.90/200.03 c nbDecision=254500 #constraints=19998 200.40/200.51 c nbDecision=255000 #constraints=20008 202.01/202.19 c nbDecision=255500 #constraints=20058 210.61/210.80 c nbDecision=256000 #constraints=20337 213.50/213.61 c nbDecision=256500 #constraints=20428 213.90/214.08 c nbDecision=257000 #constraints=20437 218.90/219.02 c nbDecision=257500 #constraints=20579 219.70/219.84 c nbDecision=258000 #constraints=20602 226.50/226.61 c nbDecision=258500 #constraints=20791 229.99/230.19 c nbDecision=259000 #constraints=20922 231.39/231.53 c nbDecision=259500 #constraints=20969 236.50/236.67 c nbDecision=260000 #constraints=21110 243.39/243.51 c nbDecision=260500 #constraints=21331 244.89/245.07 c nbDecision=261000 #constraints=21362 253.28/253.44 c nbDecision=261500 #constraints=21640 259.28/259.45 c nbDecision=262000 #constraints=21887 268.38/268.58 c nbDecision=262500 #constraints=22168 268.78/268.92 c nbDecision=263000 #constraints=22172 272.58/272.77 c nbDecision=263500 #constraints=22258 275.18/275.36 c nbDecision=264000 #constraints=22327 287.27/287.42 c nbDecision=264500 #constraints=22675 288.87/289.03 c nbDecision=265000 #constraints=22701 289.47/289.69 c nbDecision=265500 #constraints=22719 289.97/290.11 c nbDecision=266000 #constraints=22724 302.38/302.51 c nbDecision=266500 #constraints=23068 303.57/303.74 c nbDecision=267000 #constraints=23096 304.67/304.82 c nbDecision=267500 #constraints=23113 319.46/319.61 c nbDecision=268000 #constraints=23512 330.06/330.26 c nbDecision=268500 #constraints=23852 331.86/332.03 c nbDecision=269000 #constraints=23914 332.76/332.97 c nbDecision=269500 #constraints=23922 333.16/333.31 c nbDecision=270000 #constraints=23926 342.36/342.57 c nbDecision=270500 #constraints=24151 348.56/348.70 c nbDecision=271000 #constraints=24296 348.76/348.91 c nbDecision=271500 #constraints=24305 349.96/350.16 c nbDecision=272000 #constraints=24324 358.45/358.67 c nbDecision=272500 #constraints=24514 365.95/366.16 c nbDecision=273000 #constraints=24705 378.35/378.58 c nbDecision=273500 #constraints=25104 380.95/381.11 c nbDecision=274000 #constraints=25170 390.84/391.05 c nbDecision=274500 #constraints=25413 410.13/410.36 c nbDecision=275000 #constraints=25892 414.33/414.50 c nbDecision=275500 #constraints=26014 415.83/416.04 c nbDecision=276000 #constraints=26044 421.33/421.54 c nbDecision=276500 #constraints=26164 438.43/438.68 c nbDecision=277000 #constraints=26640 457.52/457.72 c nbDecision=277500 #constraints=27127 469.81/470.09 c nbDecision=278000 #constraints=27477 472.31/472.51 c nbDecision=278500 #constraints=27508 476.11/476.34 c nbDecision=279000 #constraints=27678 476.61/476.87 c nbDecision=279500 #constraints=27685 485.20/485.43 c nbDecision=280000 #constraints=27831 486.50/486.70 c nbDecision=280500 #constraints=27848 502.80/503.03 c nbDecision=281000 #constraints=28157 503.61/503.86 c nbDecision=281500 #constraints=28172 506.20/506.43 c nbDecision=282000 #constraints=28200 517.40/517.63 c nbDecision=282500 #constraints=28386 525.40/525.63 c nbDecision=283000 #constraints=28535 538.49/538.78 c nbDecision=283500 #constraints=28789 561.08/561.36 c nbDecision=284000 #constraints=29270 563.88/564.15 c nbDecision=284500 #constraints=29324 566.48/566.72 c nbDecision=285000 #constraints=29380 577.38/577.69 c nbDecision=285500 #constraints=29571 585.67/585.96 c nbDecision=286000 #constraints=29706 587.97/588.29 c nbDecision=286500 #constraints=29733 605.57/605.80 c nbDecision=287000 #constraints=30093 616.36/616.61 c nbDecision=287500 #constraints=30280 623.26/623.59 c nbDecision=288000 #constraints=30410 628.86/629.18 c nbDecision=288500 #constraints=30507 650.55/650.86 c nbDecision=289000 #constraints=30873 653.75/654.01 c nbDecision=289500 #constraints=30910 669.24/669.52 c nbDecision=290000 #constraints=31237 671.64/671.90 c nbDecision=290500 #constraints=31276 690.34/690.62 c nbDecision=291000 #constraints=31620 707.53/707.84 c nbDecision=291500 #constraints=32037 731.73/732.02 c nbDecision=292000 #constraints=32478 745.82/746.11 c nbDecision=292500 #constraints=32765 750.32/750.60 c nbDecision=293000 #constraints=32934 751.02/751.33 c nbDecision=293500 #constraints=32942 752.42/752.75 c nbDecision=294000 #constraints=32952 772.50/772.80 c nbDecision=294500 #constraints=33245 776.50/776.82 c nbDecision=295000 #constraints=33304 779.30/779.66 c nbDecision=295500 #constraints=33331 809.59/809.90 c nbDecision=296000 #constraints=33771 829.78/830.17 c nbDecision=296500 #constraints=34157 832.78/833.18 c nbDecision=297000 #constraints=34214 834.18/834.55 c nbDecision=297500 #constraints=34227 837.58/837.91 c nbDecision=298000 #constraints=34259 870.17/870.50 c nbDecision=298500 #constraints=34747 884.37/884.76 c nbDecision=299000 #constraints=34998 889.57/889.97 c nbDecision=299500 #constraints=35070 890.36/890.71 c nbDecision=300000 #constraints=35075 902.06/902.49 c nbDecision=300500 #constraints=35200 917.86/918.29 c nbDecision=301000 #constraints=35565 927.85/928.25 c nbDecision=301500 #constraints=35769 943.64/944.07 c nbDecision=302000 #constraints=36058 960.05/960.46 c nbDecision=302500 #constraints=36313 983.93/984.38 c nbDecision=303000 #constraints=36657 1015.83/1016.23 c nbDecision=303500 #constraints=37099 1020.12/1020.53 c nbDecision=304000 #constraints=37164 1021.92/1022.39 c nbDecision=304500 #constraints=37177 1045.11/1045.55 c nbDecision=305000 #constraints=37444 1074.90/1075.33 c nbDecision=305500 #constraints=37906 1101.30/1101.72 c nbDecision=306000 #constraints=38367 1121.69/1122.16 c nbDecision=306500 #constraints=38667 1127.58/1128.07 c nbDecision=307000 #constraints=38841 1129.19/1129.67 c nbDecision=307500 #constraints=38849 1149.18/1149.65 c nbDecision=308000 #constraints=39046 1183.96/1184.42 c nbDecision=308500 #constraints=39527 1213.26/1213.76 c nbDecision=309000 #constraints=39994 1232.95/1233.49 c nbDecision=309500 #constraints=40283 1239.74/1240.20 c nbDecision=310000 #constraints=40445 1241.14/1241.68 c nbDecision=310500 #constraints=40468 1244.34/1244.82 c nbDecision=311000 #constraints=40499 1260.84/1261.34 c nbDecision=311500 #constraints=40753 1286.14/1286.62 c nbDecision=312000 #constraints=41210 1318.02/1318.56 c nbDecision=312500 #constraints=41681 1358.61/1359.17 c nbDecision=313000 #constraints=42155 1376.90/1377.42 c nbDecision=313500 #constraints=42598 1392.50/1393.08 c nbDecision=314000 #constraints=42979 1405.39/1405.95 c nbDecision=314500 #constraints=43249 1409.19/1409.73 c nbDecision=315000 #constraints=43499 1414.49/1415.07 c nbDecision=315500 #constraints=43688 1415.98/1416.58 c nbDecision=316000 #constraints=43729 1420.59/1421.14 c nbDecision=316500 #constraints=43764 1423.28/1423.86 c nbDecision=317000 #constraints=43792 1441.37/1441.93 c nbDecision=317500 #constraints=43942 1442.78/1443.35 c nbDecision=318000 #constraints=43961 1458.27/1458.89 c nbDecision=318500 #constraints=44093 1461.07/1461.61 c nbDecision=319000 #constraints=44122 1496.86/1497.46 c nbDecision=319500 #constraints=44454 1499.45/1500.03 c nbDecision=320000 #constraints=44472 1517.95/1518.53 c nbDecision=320500 #constraints=44618 1518.56/1519.13 c nbDecision=321000 #constraints=44626 1532.85/1533.42 c nbDecision=321500 #constraints=44725 1557.34/1557.99 c nbDecision=322000 #constraints=44959 1559.44/1560.03 c nbDecision=322500 #constraints=44970 1563.83/1564.42 c nbDecision=323000 #constraints=45017 1567.73/1568.38 c nbDecision=323500 #constraints=45036 1589.42/1590.07 c nbDecision=324000 #constraints=45231 1608.22/1608.87 c nbDecision=324500 #constraints=45410 1610.72/1611.40 c nbDecision=325000 #constraints=45426 1642.51/1643.18 c nbDecision=325500 #constraints=45732 1661.20/1661.84 c nbDecision=326000 #constraints=45931 1680.30/1680.92 c nbDecision=326500 #constraints=46096 1693.19/1693.86 c nbDecision=327000 #constraints=46235 1694.49/1695.14 c nbDecision=327500 #constraints=46251 1707.59/1708.20 c nbDecision=328000 #constraints=46348 1712.28/1712.98 c nbDecision=328500 #constraints=46397 1725.67/1726.33 c nbDecision=329000 #constraints=46494 1752.97/1753.67 c nbDecision=329500 #constraints=46750 1757.67/1758.39 c nbDecision=330000 #constraints=46777 1788.55/1789.26 c nbDecision=330500 #constraints=47044 1795.66/1796.32 c nbDecision=331000 #constraints=47109 1798.96/1799.69 c nbDecision=331500 #constraints=47129 1800.07/1800.71 Received signal 15 1800.07/1800.73 1800.07/1800.73 s UNKNOWN 1800.07/1800.73 1800.07/1800.73 c user time= 1799.64 s 1800.07/1800.73 c system time= 0.451931 s 1800.07/1800.73 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-357006-1176851267 -o ROOT/results/node23/solver-357006-1176851267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357006-1176851267/instance-357006-1176851267.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.99 0.97 0.92 3/77 29934 /proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=1620 CPUtime=0 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 133043855 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 405 174 126 317 0 84 0 [startup+0.0489021 s] /proc/loadavg: 0.99 0.97 0.92 3/77 29934 /proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=2180 CPUtime=0.04 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 370 0 0 0 4 0 0 0 18 0 1 0 133043855 2232320 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 545 319 131 317 0 224 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2180 [startup+0.101911 s] /proc/loadavg: 0.99 0.97 0.92 3/77 29934 /proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=3104 CPUtime=0.09 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 611 0 0 0 9 0 0 0 18 0 1 0 133043855 3178496 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 776 560 131 317 0 455 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.301951 s] /proc/loadavg: 0.99 0.97 0.92 3/77 29934 /proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=6900 CPUtime=0.29 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1564 0 0 0 29 0 0 0 19 0 1 0 133043855 7065600 1513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 1725 1513 137 317 0 1404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6900 [startup+0.702029 s] /proc/loadavg: 0.99 0.97 0.92 3/77 29934 /proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=7068 CPUtime=0.69 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1581 0 0 0 69 0 0 0 23 0 1 0 133043855 7237632 1530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 1767 1530 139 317 0 1446 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7068 [startup+1.50118 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1450040/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=7456 CPUtime=1.49 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1710 0 0 0 149 0 0 0 25 0 1 0 133043855 7634944 1659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 1864 1659 139 317 0 1543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7456 [startup+3.10149 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1448760/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=9020 CPUtime=3.09 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 2074 0 0 0 308 1 0 0 25 0 1 0 133043855 9236480 2023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 2255 2023 139 317 0 1934 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9020 [startup+6.30111 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1446392/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=11172 CPUtime=6.29 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 2633 0 0 0 628 1 0 0 25 0 1 0 133043855 11440128 2582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 2793 2582 170 317 0 2472 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11172 [startup+12.7024 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1443960/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=13256 CPUtime=12.69 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 3154 0 0 0 1267 2 0 0 25 0 1 0 133043855 13574144 3103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 3314 3103 170 317 0 2993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13256 [startup+25.5018 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1440248/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=16924 CPUtime=25.48 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 4084 0 0 0 2545 3 0 0 25 0 1 0 133043855 17330176 4033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 4231 4033 170 317 0 3910 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16924 [startup+51.1018 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1436024/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=21492 CPUtime=51.07 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 5203 0 0 0 5102 5 0 0 25 0 1 0 133043855 22007808 5102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 5373 5102 170 317 0 5052 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21492 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1418360/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=40212 CPUtime=102.24 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 9694 0 0 0 10215 9 0 0 25 0 1 0 133043855 41177088 9494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 10053 9494 170 317 0 9732 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 40212 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1410104/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=48872 CPUtime=162.22 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 11758 0 0 0 16210 12 0 0 25 0 1 0 133043855 50044928 11558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718522 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 12218 11558 170 317 0 11897 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 48872 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1404024/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=54224 CPUtime=222.2 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 13270 0 0 0 22206 14 0 0 25 0 1 0 133043855 55525376 13070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 13556 13070 170 317 0 13235 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 54224 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1399544/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=58300 CPUtime=282.18 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 14395 0 0 0 28202 16 0 0 25 0 1 0 133043855 59699200 14195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 14575 14195 170 317 0 14254 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 58300 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1394680/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=66876 CPUtime=342.16 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 16388 0 0 0 34198 18 0 0 25 0 1 0 133043855 68481024 15396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718550 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 16719 15396 170 317 0 16398 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 66876 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1390776/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=70668 CPUtime=402.13 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 17421 0 0 0 40194 19 0 0 25 0 1 0 133043855 72364032 16363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 17667 16363 170 317 0 17346 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 70668 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1386744/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=74496 CPUtime=462.12 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 18439 0 0 0 46191 21 0 0 25 0 1 0 133043855 76283904 17381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 18624 17381 170 317 0 18303 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 74496 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1383672/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=77380 CPUtime=522.1 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 19242 0 0 0 52188 22 0 0 25 0 1 0 133043855 79237120 18151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 19345 18151 170 317 0 19024 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 77380 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1380664/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=80928 CPUtime=582.07 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 20183 0 0 0 58184 23 0 0 25 0 1 0 133043855 82870272 18894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 20232 18894 170 317 0 19911 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 80928 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1377976/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=83164 CPUtime=642.06 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 20848 0 0 0 64182 24 0 0 25 0 1 0 133043855 85159936 19559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 20791 19559 170 317 0 20470 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 83164 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1367032/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=92912 CPUtime=881.97 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 23602 0 0 0 88169 28 0 0 25 0 1 0 133043855 95141888 22280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 23228 22280 170 317 0 22907 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 92912 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1364344/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=95288 CPUtime=941.94 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 24279 0 0 0 94165 29 0 0 25 0 1 0 133043855 97574912 22957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 23822 22957 170 317 0 23501 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 95288 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1362104/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=97244 CPUtime=1001.93 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 24828 0 0 0 100162 31 0 0 25 0 1 0 133043855 99577856 23506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 24311 23506 170 317 0 23990 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 97244 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1360120/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=98952 CPUtime=1061.9 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 25328 0 0 0 106159 31 0 0 25 0 1 0 133043855 101326848 24006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 24738 24006 170 317 0 24417 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 98952 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1357560/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=101100 CPUtime=1121.89 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 25957 0 0 0 112156 33 0 0 25 0 1 0 133043855 103526400 24635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 25275 24635 170 317 0 24954 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 101100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1355256/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=110368 CPUtime=1181.87 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 28172 0 0 0 118153 34 0 0 25 0 1 0 133043855 113016832 25225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 27592 25225 170 317 0 27271 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 110368 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1352696/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=114768 CPUtime=1241.84 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 29380 0 0 0 124149 35 0 0 25 0 1 0 133043855 117522432 25847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 28692 25847 170 317 0 28371 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 114768 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1350008/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=117632 CPUtime=1301.83 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 30220 0 0 0 130146 37 0 0 25 0 1 0 133043855 120455168 26491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 29408 26491 170 317 0 29087 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 117632 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1348152/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=119728 CPUtime=1361.81 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 30799 0 0 0 136143 38 0 0 25 0 1 0 133043855 122601472 26972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 29932 26972 170 317 0 29611 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 119728 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1344056/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=123400 CPUtime=1421.79 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 31855 0 0 0 142140 39 0 0 25 0 1 0 133043855 126361600 27995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 30850 27995 170 317 0 30529 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 123400 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1342712/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=124580 CPUtime=1481.76 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32191 0 0 0 148136 40 0 0 25 0 1 0 133043855 127569920 28331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 31145 28331 170 317 0 30824 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 124580 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1341368/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=125632 CPUtime=1541.74 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32516 0 0 0 154133 41 0 0 25 0 1 0 133043855 128647168 28656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 31408 28656 170 317 0 31087 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 125632 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1339960/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=126952 CPUtime=1601.72 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32877 0 0 0 160131 41 0 0 25 0 1 0 133043855 129998848 29017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 31738 29017 170 317 0 31417 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 126952 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1338424/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=128260 CPUtime=1661.71 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 33284 0 0 0 166128 43 0 0 25 0 1 0 133043855 131338240 29391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 32065 29391 170 317 0 31744 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 128260 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1337080/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=129588 CPUtime=1721.68 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 33649 0 0 0 172125 43 0 0 25 0 1 0 133043855 132698112 29756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 32397 29756 170 317 0 32076 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 129588 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1335672/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=130880 CPUtime=1781.66 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34020 0 0 0 178122 44 0 0 25 0 1 0 133043855 134021120 30094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 32720 30094 170 317 0 32399 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 130880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29935 /proc/meminfo: memFree=1335352/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=131144 CPUtime=1800.07 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34108 0 0 0 179962 45 0 0 25 0 1 0 133043855 134291456 30182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 32786 30182 170 317 0 32465 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 131144 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.92 2/78 29935 /proc/meminfo: memFree=1335352/2055920 swapFree=4169224/4192956 [pid=29934] ppid=29932 vsize=131144 CPUtime=1800.07 /proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34108 0 0 0 179962 45 0 0 25 0 1 0 133043855 134291456 30182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29934/statm: 32786 30182 170 317 0 32465 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 131144 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.13 CPU user time (s): 1799.66 CPU system time (s): 0.470928 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 131144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.470928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34124 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= 36136 runsolver used 2.10968 second user time and 4.45232 second system time The end
Begin job on node23 on Tue Apr 17 23:07:47 UTC 2007 IDJOB= 357006 IDBENCH= 1768 IDSOLVER= 172 FILE ID= node23/357006-1176851267 PBS_JOBID= 4590217 Free space on /tmp= 66527 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb COMMAND LINE= oree /tmp/evaluation/357006-1176851267/instance-357006-1176851267.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-357006-1176851267 -o ROOT/results/node23/solver-357006-1176851267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357006-1176851267/instance-357006-1176851267.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1f57d7f7253e44124d4d26029bd38b8a RANDOM SEED= 224801012 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1456280 kB Buffers: 48976 kB Cached: 435772 kB SwapCached: 2676 kB Active: 335280 kB Inactive: 195220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1456280 kB SwapTotal: 4192956 kB SwapFree: 4169224 kB Dirty: 2116 kB Writeback: 0 kB Mapped: 53204 kB Slab: 54632 kB Committed_AS: 2417404 kB PageTables: 1852 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= 66527 MiB End job on node23 on Tue Apr 17 23:37:50 UTC 2007