Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.53 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.opb |
MD5SUM | 0e4dc07f3154684a7909848699c6c0b7 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 956.227 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6480 |
Total number of constraints | 12722 |
Number of constraints which are clauses | 12722 |
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 | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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.14 c ...done 0.09/0.14 c #vars=6480 #constraints=12722 hasObjective=no 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.19/0.28 c restart after 401 decisions 0.29/0.31 c nbDecision=500 #constraints=12722 0.29/0.39 c restart after 801 decisions 0.39/0.44 c nbDecision=1000 #constraints=12722 0.49/0.57 c nbDecision=1500 #constraints=12722 0.49/0.60 c restart after 1601 decisions 0.69/0.71 c nbDecision=2000 #constraints=12722 0.79/0.83 c nbDecision=2500 #constraints=12722 0.89/0.95 c nbDecision=3000 #constraints=12723 0.89/1.00 c restart after 3201 decisions 1.00/1.08 c nbDecision=3500 #constraints=12723 1.19/1.21 c nbDecision=4000 #constraints=12723 1.29/1.33 c nbDecision=4500 #constraints=12723 1.39/1.44 c nbDecision=5000 #constraints=12724 1.49/1.55 c nbDecision=5500 #constraints=12733 1.59/1.65 c nbDecision=6000 #constraints=12734 1.69/1.73 c restart after 6401 decisions 1.69/1.76 c nbDecision=6500 #constraints=12735 1.79/1.89 c nbDecision=7000 #constraints=12735 1.99/2.01 c nbDecision=7500 #constraints=12735 2.10/2.13 c nbDecision=8000 #constraints=12736 2.20/2.23 c nbDecision=8500 #constraints=12736 2.29/2.33 c nbDecision=9000 #constraints=12737 2.39/2.44 c nbDecision=9500 #constraints=12742 2.49/2.53 c nbDecision=10000 #constraints=12743 2.59/2.63 c nbDecision=10500 #constraints=12746 2.69/2.73 c nbDecision=11000 #constraints=12747 2.79/2.83 c nbDecision=11500 #constraints=12748 2.89/2.92 c nbDecision=12000 #constraints=12749 2.99/3.01 c nbDecision=12500 #constraints=12751 2.99/3.06 c restart after 12801 decisions 3.09/3.10 c nbDecision=13000 #constraints=12751 3.20/3.21 c nbDecision=13500 #constraints=12755 3.30/3.34 c nbDecision=14000 #constraints=12756 3.39/3.46 c nbDecision=14500 #constraints=12756 3.49/3.57 c nbDecision=15000 #constraints=12756 3.59/3.67 c nbDecision=15500 #constraints=12757 3.69/3.76 c nbDecision=16000 #constraints=12757 3.79/3.86 c nbDecision=16500 #constraints=12760 3.89/3.96 c nbDecision=17000 #constraints=12760 3.99/4.04 c nbDecision=17500 #constraints=12760 4.09/4.13 c nbDecision=18000 #constraints=12762 4.19/4.25 c nbDecision=18500 #constraints=12765 4.30/4.37 c nbDecision=19000 #constraints=12765 4.40/4.49 c nbDecision=19500 #constraints=12765 4.49/4.59 c nbDecision=20000 #constraints=12765 4.59/4.68 c nbDecision=20500 #constraints=12765 4.69/4.77 c nbDecision=21000 #constraints=12767 4.79/4.85 c nbDecision=21500 #constraints=12769 4.89/4.94 c nbDecision=22000 #constraints=12770 4.99/5.05 c nbDecision=22500 #constraints=12783 5.09/5.15 c nbDecision=23000 #constraints=12785 5.19/5.25 c nbDecision=23500 #constraints=12785 5.29/5.33 c nbDecision=24000 #constraints=12785 5.40/5.43 c nbDecision=24500 #constraints=12788 5.50/5.52 c nbDecision=25000 #constraints=12788 5.59/5.61 c nbDecision=25500 #constraints=12792 5.59/5.63 c restart after 25601 decisions 5.59/5.69 c nbDecision=26000 #constraints=12812 5.79/5.80 c nbDecision=26500 #constraints=12813 5.89/5.93 c nbDecision=27000 #constraints=12813 5.99/6.05 c nbDecision=27500 #constraints=12813 6.09/6.15 c nbDecision=28000 #constraints=12813 6.19/6.25 c nbDecision=28500 #constraints=12814 6.29/6.36 c nbDecision=29000 #constraints=12826 6.39/6.45 c nbDecision=29500 #constraints=12827 6.50/6.54 c nbDecision=30000 #constraints=12828 6.59/6.62 c nbDecision=30500 #constraints=12829 6.69/6.71 c nbDecision=31000 #constraints=12831 6.69/6.79 c nbDecision=31500 #constraints=12834 6.79/6.87 c nbDecision=32000 #constraints=12840 6.89/6.96 c nbDecision=32500 #constraints=12840 6.99/7.03 c nbDecision=33000 #constraints=12841 7.09/7.15 c nbDecision=33500 #constraints=12862 7.19/7.25 c nbDecision=34000 #constraints=12862 7.29/7.33 c nbDecision=34500 #constraints=12862 7.39/7.42 c nbDecision=35000 #constraints=12870 7.49/7.50 c nbDecision=35500 #constraints=12871 7.49/7.59 c nbDecision=36000 #constraints=12872 7.60/7.67 c nbDecision=36500 #constraints=12873 7.69/7.75 c nbDecision=37000 #constraints=12874 7.79/7.84 c nbDecision=37500 #constraints=12885 7.89/7.95 c nbDecision=38000 #constraints=12885 7.99/8.05 c nbDecision=38500 #constraints=12887 8.09/8.16 c nbDecision=39000 #constraints=12891 8.19/8.26 c nbDecision=39500 #constraints=12891 8.29/8.34 c nbDecision=40000 #constraints=12891 8.39/8.42 c nbDecision=40500 #constraints=12895 8.49/8.51 c nbDecision=41000 #constraints=12899 8.59/8.61 c nbDecision=41500 #constraints=12912 8.59/8.68 c nbDecision=42000 #constraints=12912 8.69/8.76 c nbDecision=42500 #constraints=12917 8.79/8.84 c nbDecision=43000 #constraints=12920 8.89/8.99 c nbDecision=43500 #constraints=12983 8.99/9.08 c nbDecision=44000 #constraints=12989 9.09/9.17 c nbDecision=44500 #constraints=12989 9.19/9.26 c nbDecision=45000 #constraints=12990 9.29/9.36 c nbDecision=45500 #constraints=13002 9.39/9.45 c nbDecision=46000 #constraints=13002 9.49/9.52 c nbDecision=46500 #constraints=13002 9.59/9.61 c nbDecision=47000 #constraints=13012 9.59/9.69 c nbDecision=47500 #constraints=13015 9.69/9.76 c nbDecision=48000 #constraints=13017 9.79/9.84 c nbDecision=48500 #constraints=13020 9.89/9.92 c nbDecision=49000 #constraints=13020 9.89/9.98 c nbDecision=49500 #constraints=13021 9.99/10.09 c nbDecision=50000 #constraints=13038 10.09/10.17 c nbDecision=50500 #constraints=13038 10.19/10.25 c nbDecision=51000 #constraints=13038 10.19/10.27 c restart after 51201 decisions 10.29/10.32 c nbDecision=51500 #constraints=13044 10.29/10.37 c nbDecision=52000 #constraints=13054 10.39/10.47 c nbDecision=52500 #constraints=13054 10.49/10.59 c nbDecision=53000 #constraints=13055 10.69/10.71 c nbDecision=53500 #constraints=13056 10.79/10.83 c nbDecision=54000 #constraints=13056 10.89/10.94 c nbDecision=54500 #constraints=13057 10.99/11.04 c nbDecision=55000 #constraints=13061 11.09/11.13 c nbDecision=55500 #constraints=13061 11.19/11.26 c nbDecision=56000 #constraints=13064 11.29/11.37 c nbDecision=56500 #constraints=13064 11.39/11.47 c nbDecision=57000 #constraints=13064 11.49/11.56 c nbDecision=57500 #constraints=13064 11.59/11.65 c nbDecision=58000 #constraints=13066 11.69/11.75 c nbDecision=58500 #constraints=13067 11.79/11.85 c nbDecision=59000 #constraints=13067 11.89/11.93 c nbDecision=59500 #constraints=13067 11.99/12.02 c nbDecision=60000 #constraints=13069 11.99/12.10 c nbDecision=60500 #constraints=13069 12.09/12.18 c nbDecision=61000 #constraints=13070 12.19/12.25 c nbDecision=61500 #constraints=13073 12.29/12.36 c nbDecision=62000 #constraints=13105 12.39/12.48 c nbDecision=62500 #constraints=13106 12.59/12.62 c nbDecision=63000 #constraints=13136 12.69/12.75 c nbDecision=63500 #constraints=13136 12.79/12.85 c nbDecision=64000 #constraints=13139 12.89/12.96 c nbDecision=64500 #constraints=13139 12.99/13.07 c nbDecision=65000 #constraints=13139 13.09/13.19 c nbDecision=65500 #constraints=13144 13.29/13.31 c nbDecision=66000 #constraints=13144 13.39/13.42 c nbDecision=66500 #constraints=13144 13.49/13.50 c nbDecision=67000 #constraints=13162 13.59/13.63 c nbDecision=67500 #constraints=13162 13.69/13.74 c nbDecision=68000 #constraints=13162 13.79/13.84 c nbDecision=68500 #constraints=13162 13.89/13.92 c nbDecision=69000 #constraints=13162 13.99/14.02 c nbDecision=69500 #constraints=13173 13.99/14.09 c nbDecision=70000 #constraints=13173 14.19/14.20 c nbDecision=70500 #constraints=13177 14.19/14.29 c nbDecision=71000 #constraints=13177 14.29/14.37 c nbDecision=71500 #constraints=13177 14.39/14.47 c nbDecision=72000 #constraints=13190 14.49/14.57 c nbDecision=72500 #constraints=13190 14.59/14.66 c nbDecision=73000 #constraints=13190 14.69/14.73 c nbDecision=73500 #constraints=13190 14.69/14.80 c nbDecision=74000 #constraints=13191 14.79/14.86 c nbDecision=74500 #constraints=13192 14.89/14.93 c nbDecision=75000 #constraints=13194 14.99/15.01 c nbDecision=75500 #constraints=13203 14.99/15.08 c nbDecision=76000 #constraints=13203 15.09/15.15 c nbDecision=76500 #constraints=13204 15.19/15.22 c nbDecision=77000 #constraints=13205 15.29/15.30 c nbDecision=77500 #constraints=13208 15.29/15.39 c nbDecision=78000 #constraints=13208 15.39/15.49 c nbDecision=78500 #constraints=13210 15.49/15.59 c nbDecision=79000 #constraints=13221 15.59/15.69 c nbDecision=79500 #constraints=13224 15.69/15.77 c nbDecision=80000 #constraints=13224 15.79/15.86 c nbDecision=80500 #constraints=13225 15.89/15.96 c nbDecision=81000 #constraints=13235 15.99/16.05 c nbDecision=81500 #constraints=13235 16.09/16.12 c nbDecision=82000 #constraints=13235 16.09/16.19 c nbDecision=82500 #constraints=13236 16.19/16.26 c nbDecision=83000 #constraints=13237 16.29/16.33 c nbDecision=83500 #constraints=13239 16.39/16.41 c nbDecision=84000 #constraints=13239 16.49/16.55 c nbDecision=84500 #constraints=13274 16.59/16.63 c nbDecision=85000 #constraints=13274 16.69/16.70 c nbDecision=85500 #constraints=13274 16.69/16.77 c nbDecision=86000 #constraints=13275 16.89/16.92 c nbDecision=86500 #constraints=13341 16.99/17.00 c nbDecision=87000 #constraints=13341 16.99/17.07 c nbDecision=87500 #constraints=13344 17.09/17.14 c nbDecision=88000 #constraints=13344 17.19/17.21 c nbDecision=88500 #constraints=13346 17.19/17.27 c nbDecision=89000 #constraints=13346 17.29/17.35 c nbDecision=89500 #constraints=13350 17.39/17.44 c nbDecision=90000 #constraints=13357 17.49/17.53 c nbDecision=90500 #constraints=13357 17.59/17.60 c nbDecision=91000 #constraints=13357 17.59/17.67 c nbDecision=91500 #constraints=13360 17.69/17.72 c nbDecision=92000 #constraints=13361 17.69/17.79 c nbDecision=92500 #constraints=13364 17.79/17.85 c nbDecision=93000 #constraints=13364 17.89/17.95 c nbDecision=93500 #constraints=13396 17.99/18.04 c nbDecision=94000 #constraints=13398 18.09/18.14 c nbDecision=94500 #constraints=13401 18.19/18.22 c nbDecision=95000 #constraints=13401 18.29/18.34 c nbDecision=95500 #constraints=13436 18.39/18.44 c nbDecision=96000 #constraints=13451 18.49/18.52 c nbDecision=96500 #constraints=13451 18.59/18.61 c nbDecision=97000 #constraints=13457 18.69/18.70 c nbDecision=97500 #constraints=13457 18.69/18.78 c nbDecision=98000 #constraints=13457 18.79/18.86 c nbDecision=98500 #constraints=13459 18.89/18.94 c nbDecision=99000 #constraints=13460 18.99/19.01 c nbDecision=99500 #constraints=13460 18.99/19.09 c nbDecision=100000 #constraints=13461 19.09/19.18 c nbDecision=100500 #constraints=13461 19.19/19.25 c nbDecision=101000 #constraints=13461 19.29/19.36 c nbDecision=101500 #constraints=13496 19.39/19.45 c nbDecision=102000 #constraints=13497 19.49/19.52 c restart after 102401 decisions 19.49/19.54 c nbDecision=102500 #constraints=13498 19.49/19.58 c nbDecision=103000 #constraints=13499 19.59/19.63 c nbDecision=103500 #constraints=13506 19.69/19.72 c nbDecision=104000 #constraints=13506 19.79/19.83 c nbDecision=104500 #constraints=13509 19.79/19.88 c nbDecision=105000 #constraints=13513 19.89/19.93 c nbDecision=105500 #constraints=13519 19.99/20.03 c nbDecision=106000 #constraints=13520 20.09/20.14 c nbDecision=106500 #constraints=13521 20.19/20.25 c nbDecision=107000 #constraints=13527 20.29/20.36 c nbDecision=107500 #constraints=13527 20.39/20.46 c nbDecision=108000 #constraints=13528 20.49/20.55 c nbDecision=108500 #constraints=13528 20.59/20.63 c nbDecision=109000 #constraints=13529 20.69/20.73 c nbDecision=109500 #constraints=13534 20.79/20.83 c nbDecision=110000 #constraints=13534 20.89/20.91 c nbDecision=110500 #constraints=13534 20.99/21.01 c nbDecision=111000 #constraints=13535 21.09/21.10 c nbDecision=111500 #constraints=13535 21.09/21.18 c nbDecision=112000 #constraints=13535 21.19/21.24 c nbDecision=112500 #constraints=13535 21.29/21.31 c nbDecision=113000 #constraints=13539 21.39/21.44 c nbDecision=113500 #constraints=13589 21.49/21.58 c nbDecision=114000 #constraints=13617 21.59/21.67 c nbDecision=114500 #constraints=13618 21.78/21.88 c nbDecision=115000 #constraints=13711 21.89/21.93 c nbDecision=115500 #constraints=13716 21.89/21.97 c nbDecision=116000 #constraints=13717 21.99/22.08 c nbDecision=116500 #constraints=13717 22.08/22.19 c nbDecision=117000 #constraints=13717 22.18/22.28 c nbDecision=117500 #constraints=13717 22.28/22.37 c nbDecision=118000 #constraints=13719 22.38/22.45 c nbDecision=118500 #constraints=13721 22.48/22.54 c nbDecision=119000 #constraints=13721 22.68/22.72 c nbDecision=119500 #constraints=13799 22.78/22.82 c nbDecision=120000 #constraints=13800 22.88/22.91 c nbDecision=120500 #constraints=13800 22.88/22.99 c nbDecision=121000 #constraints=13801 22.99/23.08 c nbDecision=121500 #constraints=13808 23.09/23.19 c nbDecision=122000 #constraints=13808 23.18/23.27 c nbDecision=122500 #constraints=13808 23.28/23.35 c nbDecision=123000 #constraints=13808 23.38/23.40 c nbDecision=123500 #constraints=13808 23.38/23.47 c nbDecision=124000 #constraints=13809 23.48/23.53 c nbDecision=124500 #constraints=13809 23.68/23.72 c nbDecision=125000 #constraints=13890 23.78/23.83 c nbDecision=125500 #constraints=13890 23.88/23.93 c nbDecision=126000 #constraints=13892 23.98/24.02 c nbDecision=126500 #constraints=13892 24.19/24.23 c nbDecision=127000 #constraints=13974 24.28/24.33 c nbDecision=127500 #constraints=13974 24.38/24.42 c nbDecision=128000 #constraints=13974 24.38/24.49 c nbDecision=128500 #constraints=13974 24.48/24.54 c nbDecision=129000 #constraints=13974 24.58/24.64 c nbDecision=129500 #constraints=13982 24.68/24.71 c nbDecision=130000 #constraints=13982 24.68/24.77 c nbDecision=130500 #constraints=13982 24.78/24.83 c nbDecision=131000 #constraints=13984 24.78/24.87 c nbDecision=131500 #constraints=13984 24.88/24.95 c nbDecision=132000 #constraints=13985 24.88/25.00 c nbDecision=132500 #constraints=13985 24.98/25.05 c nbDecision=133000 #constraints=13987 25.08/25.13 c nbDecision=133500 #constraints=14014 25.19/25.28 c nbDecision=134000 #constraints=14057 25.38/25.41 c nbDecision=134500 #constraints=14084 25.48/25.50 c nbDecision=135000 #constraints=14084 25.48/25.59 c nbDecision=135500 #constraints=14084 25.58/25.65 c nbDecision=136000 #constraints=14084 25.68/25.70 c nbDecision=136500 #constraints=14084 25.68/25.76 c nbDecision=137000 #constraints=14087 25.78/25.82 c nbDecision=137500 #constraints=14087 25.78/25.85 c nbDecision=138000 #constraints=14087 25.78/25.88 c nbDecision=138500 #constraints=14093 25.88/25.97 c nbDecision=139000 #constraints=14101 25.98/26.05 c nbDecision=139500 #constraints=14102 26.08/26.13 c nbDecision=140000 #constraints=14102 26.08/26.19 c nbDecision=140500 #constraints=14103 26.18/26.25 c nbDecision=141000 #constraints=14105 26.29/26.34 c nbDecision=141500 #constraints=14113 26.38/26.42 c nbDecision=142000 #constraints=14113 26.48/26.50 c nbDecision=142500 #constraints=14117 26.48/26.59 c nbDecision=143000 #constraints=14129 26.58/26.67 c nbDecision=143500 #constraints=14129 26.68/26.73 c nbDecision=144000 #constraints=14129 26.68/26.77 c nbDecision=144500 #constraints=14129 26.78/26.80 c nbDecision=145000 #constraints=14129 26.88/26.92 c nbDecision=145500 #constraints=14169 26.98/27.01 c nbDecision=146000 #constraints=14169 26.98/27.07 c nbDecision=146500 #constraints=14169 27.08/27.15 c nbDecision=147000 #constraints=14189 27.18/27.24 c nbDecision=147500 #constraints=14189 27.28/27.31 c nbDecision=148000 #constraints=14189 27.28/27.36 c nbDecision=148500 #constraints=14189 27.28/27.40 c nbDecision=149000 #constraints=14189 27.38/27.45 c nbDecision=149500 #constraints=14198 27.68/27.71 c nbDecision=150000 #constraints=14342 27.88/27.94 c nbDecision=150500 #constraints=14460 28.18/28.25 c nbDecision=151000 #constraints=14628 28.38/28.40 c nbDecision=151500 #constraints=14679 28.48/28.51 c nbDecision=152000 #constraints=14679 28.48/28.60 c nbDecision=152500 #constraints=14680 28.68/28.70 c nbDecision=153000 #constraints=14689 28.78/28.80 c nbDecision=153500 #constraints=14689 28.88/28.90 c nbDecision=154000 #constraints=14699 28.88/28.99 c nbDecision=154500 #constraints=14699 29.09/29.18 c nbDecision=155000 #constraints=14773 29.59/29.69 c nbDecision=155500 #constraints=15061 30.39/30.42 c nbDecision=156000 #constraints=15416 31.39/31.43 c nbDecision=156500 #constraints=15825 32.28/32.38 c nbDecision=157000 #constraints=16160 33.18/33.27 c nbDecision=157500 #constraints=16445 34.48/34.54 c nbDecision=158000 #constraints=16824 35.78/35.81 c nbDecision=158500 #constraints=17150 37.28/37.32 c nbDecision=159000 #constraints=17513 38.78/38.86 c nbDecision=159500 #constraints=17848 40.68/40.77 c nbDecision=160000 #constraints=18203 42.58/42.67 c nbDecision=160500 #constraints=18553 45.08/45.15 c nbDecision=161000 #constraints=18934 47.78/47.87 c nbDecision=161500 #constraints=19309 50.78/50.87 c nbDecision=162000 #constraints=19646 52.88/52.99 c nbDecision=162500 #constraints=19893 56.38/56.42 c nbDecision=163000 #constraints=20264 59.68/59.73 c nbDecision=163500 #constraints=20586 64.57/64.66 c nbDecision=164000 #constraints=20983 67.97/68.04 c nbDecision=164500 #constraints=21294 72.17/72.22 c nbDecision=165000 #constraints=21627 75.58/75.66 c nbDecision=165500 #constraints=21919 79.87/79.96 c nbDecision=166000 #constraints=22240 83.67/83.74 c nbDecision=166500 #constraints=22520 88.57/88.68 c nbDecision=167000 #constraints=22867 94.47/94.56 c nbDecision=167500 #constraints=23212 99.47/99.56 c nbDecision=168000 #constraints=23509 104.47/104.54 c nbDecision=168500 #constraints=23828 112.56/112.60 c nbDecision=169000 #constraints=24241 116.36/116.41 c nbDecision=169500 #constraints=24503 121.46/121.53 c nbDecision=170000 #constraints=24847 129.77/129.84 c nbDecision=170500 #constraints=25245 137.76/137.88 c nbDecision=171000 #constraints=25637 146.66/146.77 c nbDecision=171500 #constraints=26040 154.16/154.25 c nbDecision=172000 #constraints=26363 161.05/161.14 c nbDecision=172500 #constraints=26692 169.35/169.47 c nbDecision=173000 #constraints=27029 178.65/178.77 c nbDecision=173500 #constraints=27427 188.95/189.07 c nbDecision=174000 #constraints=27834 200.15/200.21 c nbDecision=174500 #constraints=28255 213.14/213.27 c nbDecision=175000 #constraints=28696 224.93/225.04 c nbDecision=175500 #constraints=29107 239.44/239.57 c nbDecision=176000 #constraints=29524 249.74/249.86 c nbDecision=176500 #constraints=29910 262.23/262.38 c nbDecision=177000 #constraints=30301 268.23/268.30 c nbDecision=177500 #constraints=30566 279.63/279.77 c nbDecision=178000 #constraints=30920 291.62/291.73 c nbDecision=178500 #constraints=31275 303.82/303.97 c nbDecision=179000 #constraints=31589 313.22/313.39 c nbDecision=179500 #constraints=31900 325.01/325.14 c nbDecision=180000 #constraints=32261 336.41/336.59 c nbDecision=180500 #constraints=32578 348.71/348.82 c nbDecision=181000 #constraints=32920 358.70/358.85 c nbDecision=181500 #constraints=33255 371.31/371.48 c nbDecision=182000 #constraints=33567 382.40/382.56 c nbDecision=182500 #constraints=33859 396.90/397.00 c nbDecision=183000 #constraints=34205 413.19/413.33 c nbDecision=183500 #constraints=34576 427.89/428.04 c nbDecision=184000 #constraints=34938 445.68/445.84 c nbDecision=184500 #constraints=35336 464.68/464.87 c nbDecision=185000 #constraints=35741 479.48/479.67 c nbDecision=185500 #constraints=36098 497.38/497.58 c nbDecision=186000 #constraints=36459 515.77/515.97 c nbDecision=186500 #constraints=36852 533.66/533.81 c nbDecision=187000 #constraints=37206 551.26/551.44 c nbDecision=187500 #constraints=37581 571.76/571.97 c nbDecision=188000 #constraints=37962 587.25/587.47 c nbDecision=188500 #constraints=38306 605.04/605.22 c nbDecision=189000 #constraints=38711 625.74/625.94 c nbDecision=189500 #constraints=39115 644.04/644.28 c nbDecision=190000 #constraints=39492 665.14/665.37 c nbDecision=190500 #constraints=39872 684.53/684.77 c nbDecision=191000 #constraints=40237 699.53/699.78 c nbDecision=191500 #constraints=40563 715.93/716.19 c nbDecision=192000 #constraints=40913 735.52/735.75 c nbDecision=192500 #constraints=41263 759.81/760.03 c nbDecision=193000 #constraints=41654 785.60/785.80 c nbDecision=193500 #constraints=42082 809.10/809.33 c nbDecision=194000 #constraints=42470 833.59/833.87 c nbDecision=194500 #constraints=42863 858.49/858.71 c nbDecision=195000 #constraints=43266 881.99/882.25 c nbDecision=195500 #constraints=43638 906.18/906.43 c nbDecision=196000 #constraints=44022 929.77/930.07 c nbDecision=196500 #constraints=44404 949.57/949.88 c nbDecision=197000 #constraints=44738 971.96/972.24 c nbDecision=197500 #constraints=45091 996.45/996.77 c nbDecision=198000 #constraints=45447 1018.45/1018.70 c nbDecision=198500 #constraints=45751 1034.34/1034.67 c nbDecision=199000 #constraints=46000 1057.24/1057.53 c nbDecision=199500 #constraints=46300 1096.13/1096.49 c nbDecision=200000 #constraints=46732 1122.93/1123.22 c nbDecision=200500 #constraints=47114 1158.32/1158.62 c nbDecision=201000 #constraints=47511 1189.01/1189.38 c nbDecision=201500 #constraints=47900 1217.90/1218.20 c nbDecision=202000 #constraints=48274 1249.30/1249.64 c nbDecision=202500 #constraints=48655 1278.59/1278.95 c nbDecision=203000 #constraints=49008 1302.58/1302.94 c nbDecision=203500 #constraints=49295 1302.68/1303.07 c nbDecision=204000 #constraints=49295 1302.88/1303.20 c nbDecision=204500 #constraints=49296 1302.88/1303.27 c restart after 204801 decisions 1303.48/1303.86 c nbDecision=205000 #constraints=49297 1303.58/1303.99 c nbDecision=205500 #constraints=49297 1303.78/1304.12 c nbDecision=206000 #constraints=49297 1303.88/1304.25 c nbDecision=206500 #constraints=49302 1303.98/1304.36 c nbDecision=207000 #constraints=49302 1304.08/1304.47 c nbDecision=207500 #constraints=49302 1304.29/1304.61 c nbDecision=208000 #constraints=49313 1304.38/1304.73 c nbDecision=208500 #constraints=49313 1304.48/1304.83 c nbDecision=209000 #constraints=49314 1304.58/1304.94 c nbDecision=209500 #constraints=49318 1304.68/1305.04 c nbDecision=210000 #constraints=49318 1304.88/1305.28 c nbDecision=210500 #constraints=49377 1304.98/1305.38 c nbDecision=211000 #constraints=49377 1305.08/1305.48 c nbDecision=211500 #constraints=49379 1305.18/1305.59 c nbDecision=212000 #constraints=49382 1305.98/1306.31 c nbDecision=212500 #constraints=49678 1306.78/1307.14 c nbDecision=213000 #constraints=49988 1307.28/1307.63 c nbDecision=213500 #constraints=50146 1307.38/1307.76 c nbDecision=214000 #constraints=50146 1307.49/1307.87 c nbDecision=214500 #constraints=50146 1307.68/1308.01 c nbDecision=215000 #constraints=50162 1307.78/1308.18 c nbDecision=215500 #constraints=50189 1307.88/1308.29 c nbDecision=216000 #constraints=50189 1307.98/1308.39 c nbDecision=216500 #constraints=50189 1308.08/1308.49 c nbDecision=217000 #constraints=50191 1308.18/1308.59 c nbDecision=217500 #constraints=50193 1308.28/1308.70 c nbDecision=218000 #constraints=50199 1308.48/1308.80 c nbDecision=218500 #constraints=50199 1308.59/1308.91 c nbDecision=219000 #constraints=50200 1308.69/1309.01 c nbDecision=219500 #constraints=50200 1308.78/1309.10 c nbDecision=220000 #constraints=50200 1308.88/1309.21 c nbDecision=220500 #constraints=50203 1308.98/1309.31 c nbDecision=221000 #constraints=50203 1309.08/1309.40 c nbDecision=221500 #constraints=50204 1309.08/1309.49 c nbDecision=222000 #constraints=50204 1309.28/1309.60 c nbDecision=222500 #constraints=50205 1309.28/1309.69 c nbDecision=223000 #constraints=50205 1309.79/1310.17 c nbDecision=223500 #constraints=50244 1312.08/1312.46 c nbDecision=224000 #constraints=50481 1314.18/1314.58 c nbDecision=224500 #constraints=50689 1314.38/1314.76 c nbDecision=225000 #constraints=50690 1314.48/1314.89 c nbDecision=225500 #constraints=50690 1314.68/1315.00 c nbDecision=226000 #constraints=50690 1314.78/1315.11 c nbDecision=226500 #constraints=50690 1315.08/1315.47 c nbDecision=227000 #constraints=50716 1315.68/1316.08 c nbDecision=227500 #constraints=50767 1315.88/1316.21 c nbDecision=228000 #constraints=50767 1315.98/1316.33 c nbDecision=228500 #constraints=50767 1316.08/1316.44 c nbDecision=229000 #constraints=50767 1316.18/1316.53 c nbDecision=229500 #constraints=50767 1316.28/1316.62 c nbDecision=230000 #constraints=50768 1316.38/1316.71 c nbDecision=230500 #constraints=50769 1316.38/1316.80 c nbDecision=231000 #constraints=50770 1316.58/1316.90 c nbDecision=231500 #constraints=50772 1316.58/1316.98 c nbDecision=232000 #constraints=50772 1316.68/1317.09 c nbDecision=232500 #constraints=50779 1316.78/1317.18 c nbDecision=233000 #constraints=50781 1316.88/1317.27 c nbDecision=233500 #constraints=50781 1316.98/1317.37 c nbDecision=234000 #constraints=50784 1317.08/1317.45 c nbDecision=234500 #constraints=50784 1317.18/1317.53 c nbDecision=235000 #constraints=50786 1317.28/1317.62 c nbDecision=235500 #constraints=50787 1317.38/1317.78 c nbDecision=236000 #constraints=50822 1317.48/1317.89 c nbDecision=236500 #constraints=50822 1317.58/1318.00 c nbDecision=237000 #constraints=50825 1317.98/1318.36 c nbDecision=237500 #constraints=50950 1318.18/1318.59 c nbDecision=238000 #constraints=51011 1318.38/1318.70 c nbDecision=238500 #constraints=51011 1318.38/1318.80 c nbDecision=239000 #constraints=51011 1318.48/1318.88 c nbDecision=239500 #constraints=51011 1318.68/1319.01 c nbDecision=240000 #constraints=51017 1318.78/1319.11 c nbDecision=240500 #constraints=51017 1318.88/1319.20 c nbDecision=241000 #constraints=51017 1318.88/1319.28 c nbDecision=241500 #constraints=51017 1319.08/1319.41 c nbDecision=242000 #constraints=51022 1319.08/1319.50 c nbDecision=242500 #constraints=51022 1319.28/1319.62 c nbDecision=243000 #constraints=51042 1319.38/1319.71 c nbDecision=243500 #constraints=51047 1319.48/1319.84 c nbDecision=244000 #constraints=51074 1319.78/1320.12 c nbDecision=244500 #constraints=51174 1319.88/1320.25 c nbDecision=245000 #constraints=51193 1319.98/1320.37 c nbDecision=245500 #constraints=51193 1320.28/1320.61 c nbDecision=246000 #constraints=51251 1320.88/1321.28 c nbDecision=246500 #constraints=51479 1321.79/1322.14 c nbDecision=247000 #constraints=51764 1322.89/1323.25 c nbDecision=247500 #constraints=52106 1323.58/1323.95 c nbDecision=248000 #constraints=52298 1324.68/1325.03 c nbDecision=248500 #constraints=52649 1326.08/1326.45 c nbDecision=249000 #constraints=53015 1327.58/1327.92 c nbDecision=249500 #constraints=53361 1329.28/1329.60 c nbDecision=250000 #constraints=53722 1331.28/1331.62 c nbDecision=250500 #constraints=54130 1333.37/1333.78 c nbDecision=251000 #constraints=54488 1335.67/1336.03 c nbDecision=251500 #constraints=54868 1338.08/1338.41 c nbDecision=252000 #constraints=55200 1341.18/1341.50 c nbDecision=252500 #constraints=55560 1345.27/1345.64 c nbDecision=253000 #constraints=55970 1349.97/1350.36 c nbDecision=253500 #constraints=56371 1354.47/1354.85 c nbDecision=254000 #constraints=56750 1359.47/1359.80 c nbDecision=254500 #constraints=57120 1364.57/1364.91 c nbDecision=255000 #constraints=57529 1370.27/1370.61 c nbDecision=255500 #constraints=57904 1375.67/1376.07 c nbDecision=256000 #constraints=58273 1382.76/1383.15 c nbDecision=256500 #constraints=58682 1391.27/1391.63 c nbDecision=257000 #constraints=59115 1400.46/1400.86 c nbDecision=257500 #constraints=59575 1410.06/1410.45 c nbDecision=258000 #constraints=59979 1420.05/1420.40 c nbDecision=258500 #constraints=60416 1429.16/1429.57 c nbDecision=259000 #constraints=60814 1440.15/1440.56 c nbDecision=259500 #constraints=61234 1446.25/1446.64 c nbDecision=260000 #constraints=61570 1454.65/1455.00 c nbDecision=260500 #constraints=61959 1463.84/1464.26 c nbDecision=261000 #constraints=62322 1475.14/1475.50 c nbDecision=261500 #constraints=62691 1487.14/1487.54 c nbDecision=262000 #constraints=63071 1499.33/1499.74 c nbDecision=262500 #constraints=63451 1506.24/1506.68 c nbDecision=263000 #constraints=63747 1519.54/1519.91 c nbDecision=263500 #constraints=64150 1533.93/1534.31 c nbDecision=264000 #constraints=64588 1549.63/1550.00 c nbDecision=264500 #constraints=65009 1563.52/1563.96 c nbDecision=265000 #constraints=65422 1580.22/1580.67 c nbDecision=265500 #constraints=65872 1595.22/1595.64 c nbDecision=266000 #constraints=66273 1610.71/1611.17 c nbDecision=266500 #constraints=66655 1624.41/1624.89 c nbDecision=267000 #constraints=67050 1640.81/1641.21 c nbDecision=267500 #constraints=67459 1656.40/1656.87 c nbDecision=268000 #constraints=67849 1672.60/1673.06 c nbDecision=268500 #constraints=68238 1689.69/1690.13 c nbDecision=269000 #constraints=68650 1708.69/1709.19 c nbDecision=269500 #constraints=69051 1715.29/1715.80 c nbDecision=270000 #constraints=69431 1725.28/1725.71 c nbDecision=270500 #constraints=69844 1733.68/1734.15 c nbDecision=271000 #constraints=70212 1744.88/1745.34 c nbDecision=271500 #constraints=70609 1758.08/1758.58 c nbDecision=272000 #constraints=71029 1773.07/1773.55 c nbDecision=272500 #constraints=71419 1777.27/1777.70 c nbDecision=273000 #constraints=71494 1777.37/1777.82 c nbDecision=273500 #constraints=71494 1777.47/1777.93 c nbDecision=274000 #constraints=71494 1777.57/1778.05 c nbDecision=274500 #constraints=71496 1777.67/1778.17 c nbDecision=275000 #constraints=71496 1777.77/1778.27 c nbDecision=275500 #constraints=71496 1777.87/1778.37 c nbDecision=276000 #constraints=71498 1777.97/1778.45 c nbDecision=276500 #constraints=71498 1778.07/1778.54 c nbDecision=277000 #constraints=71499 1778.18/1778.68 c nbDecision=277500 #constraints=71519 1778.37/1778.81 c nbDecision=278000 #constraints=71519 1778.47/1778.92 c nbDecision=278500 #constraints=71519 1778.57/1779.03 c nbDecision=279000 #constraints=71520 1778.67/1779.14 c nbDecision=279500 #constraints=71522 1778.77/1779.25 c nbDecision=280000 #constraints=71522 1778.87/1779.36 c nbDecision=280500 #constraints=71523 1778.97/1779.46 c nbDecision=281000 #constraints=71523 1779.17/1779.62 c nbDecision=281500 #constraints=71551 1779.28/1779.72 c nbDecision=282000 #constraints=71551 1779.37/1779.82 c nbDecision=282500 #constraints=71553 1779.67/1780.10 c nbDecision=283000 #constraints=71631 1779.77/1780.21 c nbDecision=283500 #constraints=71631 1779.87/1780.30 c nbDecision=284000 #constraints=71631 1780.07/1780.51 c nbDecision=284500 #constraints=71675 1780.17/1780.62 c nbDecision=285000 #constraints=71675 1780.27/1780.72 c nbDecision=285500 #constraints=71676 1780.37/1780.82 c nbDecision=286000 #constraints=71678 1780.47/1780.90 c nbDecision=286500 #constraints=71678 1780.47/1780.98 c nbDecision=287000 #constraints=71678 1780.57/1781.08 c nbDecision=287500 #constraints=71680 1780.67/1781.17 c nbDecision=288000 #constraints=71680 1780.77/1781.27 c nbDecision=288500 #constraints=71688 1780.87/1781.36 c nbDecision=289000 #constraints=71688 1780.97/1781.45 c nbDecision=289500 #constraints=71689 1781.07/1781.53 c nbDecision=290000 #constraints=71690 1781.17/1781.61 c nbDecision=290500 #constraints=71690 1781.27/1781.71 c nbDecision=291000 #constraints=71699 1781.37/1781.88 c nbDecision=291500 #constraints=71738 1781.67/1782.13 c nbDecision=292000 #constraints=71805 1781.77/1782.24 c nbDecision=292500 #constraints=71805 1781.87/1782.35 c nbDecision=293000 #constraints=71805 1781.97/1782.45 c nbDecision=293500 #constraints=71806 1782.07/1782.57 c nbDecision=294000 #constraints=71807 1782.17/1782.69 c nbDecision=294500 #constraints=71807 1782.27/1782.80 c nbDecision=295000 #constraints=71807 1782.47/1782.96 c nbDecision=295500 #constraints=71825 1782.57/1783.07 c nbDecision=296000 #constraints=71825 1782.67/1783.17 c nbDecision=296500 #constraints=71825 1782.77/1783.26 c nbDecision=297000 #constraints=71825 1782.87/1783.37 c nbDecision=297500 #constraints=71828 1782.97/1783.49 c nbDecision=298000 #constraints=71828 1783.07/1783.59 c nbDecision=298500 #constraints=71828 1783.17/1783.69 c nbDecision=299000 #constraints=71828 1783.27/1783.76 c nbDecision=299500 #constraints=71828 1783.47/1783.91 c nbDecision=300000 #constraints=71844 1783.57/1784.04 c nbDecision=300500 #constraints=71850 1784.07/1784.56 c nbDecision=301000 #constraints=72029 1784.97/1785.44 c nbDecision=301500 #constraints=72314 1786.27/1786.74 c nbDecision=302000 #constraints=72699 1787.67/1788.18 c nbDecision=302500 #constraints=73094 1789.17/1789.69 c nbDecision=303000 #constraints=73459 1790.57/1791.03 c nbDecision=303500 #constraints=73775 1792.37/1792.80 c nbDecision=304000 #constraints=74174 1794.07/1794.52 c nbDecision=304500 #constraints=74513 1795.77/1796.24 c nbDecision=305000 #constraints=74814 1797.77/1798.22 c nbDecision=305500 #constraints=75142 1800.07/1800.50 Received signal 15 1800.07/1800.50 1800.07/1800.50 s UNKNOWN 1800.07/1800.50 1800.07/1800.50 c user time= 1799.87 s 1800.07/1800.50 c system time= 0.216967 s 1800.07/1800.50 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-420445-1177424677 -o ROOT/results/node65/solver-420445-1177424677 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420445-1177424677/instance-420445-1177424677.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.77 0.93 0.97 3/64 7920 /proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=1468 CPUtime=0 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 218457297 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 367 162 130 317 0 46 0 [startup+0.0919591 s] /proc/loadavg: 0.77 0.93 0.97 3/64 7920 /proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=3212 CPUtime=0.08 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 600 0 0 0 8 0 0 0 18 0 1 0 218457297 3289088 583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 803 583 130 317 0 482 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3212 [startup+0.101958 s] /proc/loadavg: 0.77 0.93 0.97 3/64 7920 /proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=3364 CPUtime=0.09 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 218457297 3444736 631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 841 631 130 317 0 520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301976 s] /proc/loadavg: 0.77 0.93 0.97 3/64 7920 /proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=5968 CPUtime=0.29 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1322 0 0 0 29 0 0 0 19 0 1 0 218457297 6111232 1305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1492 1305 138 317 0 1171 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5968 [startup+0.702008 s] /proc/loadavg: 0.77 0.93 0.97 3/64 7920 /proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=6096 CPUtime=0.69 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1323 0 0 0 69 0 0 0 22 0 1 0 218457297 6242304 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1524 1306 138 317 0 1203 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6096 [startup+1.50108 s] /proc/loadavg: 0.77 0.93 0.97 2/65 7921 /proc/meminfo: memFree=1827544/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=6708 CPUtime=1.49 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 149 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1677 1385 139 317 0 1356 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6708 [startup+3.10121 s] /proc/loadavg: 0.77 0.93 0.97 2/65 7921 /proc/meminfo: memFree=1827416/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=6708 CPUtime=3.09 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 309 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1677 1385 139 317 0 1356 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6708 [startup+6.30148 s] /proc/loadavg: 0.79 0.94 0.97 2/65 7921 /proc/meminfo: memFree=1827352/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=6708 CPUtime=6.29 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 629 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1677 1385 139 317 0 1356 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6708 [startup+12.702 s] /proc/loadavg: 0.81 0.94 0.97 2/65 7921 /proc/meminfo: memFree=1827288/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=6708 CPUtime=12.69 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1492 0 0 0 1269 0 0 0 25 0 1 0 218457297 6868992 1388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1677 1388 139 317 0 1356 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6708 [startup+25.5011 s] /proc/loadavg: 0.85 0.94 0.97 2/65 7921 /proc/meminfo: memFree=1826968/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=7236 CPUtime=25.48 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1628 0 0 0 2548 0 0 0 25 0 1 0 218457297 7409664 1524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 1809 1524 139 317 0 1488 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7236 [startup+51.1012 s] /proc/loadavg: 0.90 0.94 0.97 2/65 7921 /proc/meminfo: memFree=1821784/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=12400 CPUtime=51.08 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 2926 0 0 0 5106 2 0 0 25 0 1 0 218457297 12697600 2822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 3100 2822 139 317 0 2779 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12400 [startup+102.304 s] /proc/loadavg: 0.95 0.95 0.97 2/65 7921 /proc/meminfo: memFree=1817368/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=16840 CPUtime=102.27 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 4022 0 0 0 10224 3 0 0 25 0 1 0 218457297 17244160 3918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 4210 3918 139 317 0 3889 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16840 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/65 7921 /proc/meminfo: memFree=1814040/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=20824 CPUtime=162.25 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 5026 0 0 0 16221 4 0 0 25 0 1 0 218457297 21323776 4748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 5206 4748 139 317 0 4885 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20824 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.97 2/65 7921 /proc/meminfo: memFree=1811480/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=23476 CPUtime=222.23 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 5656 0 0 0 22219 4 0 0 25 0 1 0 218457297 24039424 5378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 5869 5378 139 317 0 5548 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 23476 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1809368/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=25512 CPUtime=282.23 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6173 0 0 0 28218 5 0 0 25 0 1 0 218457297 26124288 5895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 6378 5895 139 317 0 6057 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 25512 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1807704/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=27088 CPUtime=342.21 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6583 0 0 0 34216 5 0 0 25 0 1 0 218457297 27738112 6305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 6772 6305 139 317 0 6451 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 27088 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1806232/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=28792 CPUtime=402.19 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6980 0 0 0 40213 6 0 0 25 0 1 0 218457297 29483008 6669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 7198 6669 139 317 0 6877 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28792 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1804824/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=30184 CPUtime=462.18 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 7326 0 0 0 46212 6 0 0 25 0 1 0 218457297 30908416 7015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 7546 7015 139 317 0 7225 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 30184 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1803544/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=31752 CPUtime=522.17 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 7711 0 0 0 52210 7 0 0 25 0 1 0 218457297 32514048 7334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 7938 7334 139 317 0 7617 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 31752 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1802328/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=32924 CPUtime=582.15 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 8042 0 0 0 58208 7 0 0 25 0 1 0 218457297 33714176 7632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 8231 7632 139 317 0 7910 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 32924 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1801048/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=34240 CPUtime=642.15 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 8367 0 0 0 64207 8 0 0 25 0 1 0 218457297 35061760 7957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 8560 7957 139 317 0 8239 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 34240 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1796952/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=38068 CPUtime=882.09 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9390 0 0 0 88200 9 0 0 25 0 1 0 218457297 38981632 8947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 9517 8947 139 317 0 9196 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 38068 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7921 /proc/meminfo: memFree=1796120/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=38888 CPUtime=942.07 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9605 0 0 0 94198 9 0 0 25 0 1 0 218457297 39821312 9162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 9722 9162 139 317 0 9401 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 38888 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1795032/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=40016 CPUtime=1002.05 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9863 0 0 0 100196 9 0 0 25 0 1 0 218457297 40976384 9387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10004 9387 139 317 0 9683 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 40016 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1794392/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=40704 CPUtime=1062.04 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10040 0 0 0 106195 9 0 0 25 0 1 0 218457297 41680896 9564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10176 9564 139 317 0 9855 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 40704 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1793688/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=41420 CPUtime=1122.03 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10226 0 0 0 112193 10 0 0 25 0 1 0 218457297 42414080 9717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10355 9717 139 317 0 10034 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 41420 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1793112/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=42076 CPUtime=1182.01 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10424 0 0 0 118191 10 0 0 25 0 1 0 218457297 43085824 9882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10519 9882 139 317 0 10198 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 42076 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1792344/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=42732 CPUtime=1241.99 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10595 0 0 0 124189 10 0 0 25 0 1 0 218457297 43757568 10053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10683 10053 139 317 0 10362 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 42732 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1791768/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=43252 CPUtime=1301.99 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10751 0 0 0 130188 11 0 0 25 0 1 0 218457297 44290048 10209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 10813 10209 139 317 0 10492 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 43252 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1782232/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=54168 CPUtime=1361.97 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 13482 0 0 0 136183 14 0 0 25 0 1 0 218457297 55468032 12594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 13542 12594 139 317 0 13221 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 54168 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1777368/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=59004 CPUtime=1421.95 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 14673 0 0 0 142180 15 0 0 25 0 1 0 218457297 60420096 13785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 14751 13785 139 317 0 14430 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 59004 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1774168/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=62576 CPUtime=1481.94 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 15537 0 0 0 148178 16 0 0 25 0 1 0 218457297 64077824 14584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 15644 14584 139 317 0 15323 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 62576 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1771608/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=65264 CPUtime=1541.93 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 16177 0 0 0 154176 17 0 0 25 0 1 0 218457297 66830336 15224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711478 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 16316 15224 139 317 0 15995 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 65264 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1769304/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=68200 CPUtime=1601.92 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 16874 0 0 0 160174 18 0 0 25 0 1 0 218457297 69836800 15823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 17050 15823 139 317 0 16729 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 68200 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 3/65 7923 /proc/meminfo: memFree=1767128/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=70192 CPUtime=1661.9 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 17381 0 0 0 166172 18 0 0 25 0 1 0 218457297 71876608 16330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 17548 16330 139 317 0 17227 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 70192 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7923 /proc/meminfo: memFree=1764568/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=72724 CPUtime=1721.88 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 18064 0 0 0 172169 19 0 0 25 0 1 0 218457297 74469376 16980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 18181 16980 139 317 0 17860 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 72724 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.97 2/65 7923 /proc/meminfo: memFree=1761240/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=76060 CPUtime=1781.87 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 18900 0 0 0 178167 20 0 0 25 0 1 0 218457297 77885440 17783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 19015 17783 139 317 0 18694 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 76060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 0.99 0.97 2/65 7923 /proc/meminfo: memFree=1756824/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=80548 CPUtime=1800.07 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 20008 0 0 0 179986 21 0 0 25 0 1 0 218457297 82481152 18891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 20137 18891 139 317 0 19816 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 80548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.03 0.99 0.97 2/65 7923 /proc/meminfo: memFree=1756824/2055920 swapFree=4184072/4192956 [pid=7920] ppid=7918 vsize=80548 CPUtime=1800.07 /proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 20008 0 0 0 179986 21 0 0 25 0 1 0 218457297 82481152 18891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7920/statm: 20137 18891 139 317 0 19816 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 80548 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.11 CPU user time (s): 1799.88 CPU system time (s): 0.229965 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (KiB): 80548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.229965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20024 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= 2256 runsolver used 1.3228 second user time and 3.62145 second system time The end
Begin job on node65 on Tue Apr 24 14:24:37 UTC 2007 IDJOB= 420445 IDBENCH= 47845 IDSOLVER= 172 FILE ID= node65/420445-1177424677 PBS_JOBID= 4675721 Free space on /tmp= 66400 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420445-1177424677/instance-420445-1177424677.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-420445-1177424677 -o ROOT/results/node65/solver-420445-1177424677 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420445-1177424677/instance-420445-1177424677.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0e4dc07f3154684a7909848699c6c0b7 RANDOM SEED= 157856712 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1833208 kB Buffers: 14672 kB Cached: 152436 kB SwapCached: 2824 kB Active: 56960 kB Inactive: 119632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833208 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 2040 kB Writeback: 0 kB Mapped: 15452 kB Slab: 32084 kB Committed_AS: 2468780 kB PageTables: 1456 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= 66400 MiB End job on node65 on Tue Apr 24 14:54:39 UTC 2007