Trace number 357031

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.32 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
MD5SUM2ee0b4368a56ab3fadfc3737456bcd30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark799
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 799
Optimality of the best value was proved NO
Number of variables16224
Total number of constraints1488
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 10368
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 532440
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 532440
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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.18	c ...done
0.09/0.18	c #vars=16224 #constraints=1609 hasObjective=yes
0.19/0.29	c res. mode=mod
0.19/0.29	c VSIDS like heuristics
0.19/0.29	c complete search running
0.39/0.41	c restart after 401 decisions
0.39/0.44	c nbDecision=500 #constraints=1639
0.49/0.53	c restart after 801 decisions
0.59/0.60	c nbDecision=1000 #constraints=1759
0.69/0.77	c nbDecision=1500 #constraints=1895
0.79/0.81	c restart after 1601 decisions
0.89/0.93	c nbDecision=2000 #constraints=1966
1.09/1.10	c nbDecision=2500 #constraints=2103
1.19/1.29	c nbDecision=3000 #constraints=2254
1.29/1.37	c restart after 3201 decisions
1.39/1.47	c nbDecision=3500 #constraints=2371
1.59/1.68	c nbDecision=4000 #constraints=2563
1.79/1.86	c nbDecision=4500 #constraints=2672
2.10/2.10	c nbDecision=5000 #constraints=2961
2.29/2.33	c nbDecision=5500 #constraints=3201
2.49/2.58	c nbDecision=6000 #constraints=3455
2.69/2.76	c restart after 6401 decisions
2.69/2.79	c nbDecision=6500 #constraints=3620
2.99/3.04	c nbDecision=7000 #constraints=3849
3.19/3.30	c nbDecision=7500 #constraints=4059
3.49/3.57	c nbDecision=8000 #constraints=4304
3.79/3.85	c nbDecision=8500 #constraints=4520
4.08/4.11	c nbDecision=9000 #constraints=4723
4.30/4.38	c nbDecision=9500 #constraints=4913
4.59/4.67	c nbDecision=10000 #constraints=5113
4.89/4.95	c nbDecision=10500 #constraints=5276
5.19/5.22	c nbDecision=11000 #constraints=5439
5.39/5.50	c nbDecision=11500 #constraints=5589
5.69/5.75	c nbDecision=12000 #constraints=5719
5.99/6.01	c nbDecision=12500 #constraints=5846
6.09/6.16	c restart after 12801 decisions
6.19/6.28	c nbDecision=13000 #constraints=5956
6.59/6.64	c nbDecision=13500 #constraints=6170
6.89/6.98	c nbDecision=14000 #constraints=6398
7.29/7.34	c nbDecision=14500 #constraints=6586
7.59/7.67	c nbDecision=15000 #constraints=6776
7.89/7.97	c nbDecision=15500 #constraints=6913
8.19/8.29	c nbDecision=16000 #constraints=7053
8.59/8.62	c nbDecision=16500 #constraints=7214
8.89/8.92	c nbDecision=17000 #constraints=7350
9.19/9.26	c nbDecision=17500 #constraints=7502
9.49/9.59	c nbDecision=18000 #constraints=7636
9.79/9.88	c nbDecision=18500 #constraints=7764
10.19/10.21	c nbDecision=19000 #constraints=7894
10.39/10.48	c nbDecision=19500 #constraints=8000
10.69/10.80	c nbDecision=20000 #constraints=8117
11.00/11.09	c nbDecision=20500 #constraints=8224
11.39/11.41	c nbDecision=21000 #constraints=8327
11.69/11.70	c nbDecision=21500 #constraints=8433
11.89/11.95	c nbDecision=22000 #constraints=8492
12.19/12.26	c nbDecision=22500 #constraints=8591
12.49/12.54	c nbDecision=23000 #constraints=8682
12.79/12.81	c nbDecision=23500 #constraints=8745
13.09/13.12	c nbDecision=24000 #constraints=8846
13.39/13.43	c nbDecision=24500 #constraints=8932
13.69/13.74	c nbDecision=25000 #constraints=9025
13.98/14.04	c nbDecision=25500 #constraints=9089
14.08/14.10	c restart after 25601 decisions
14.38/14.41	c nbDecision=26000 #constraints=9189
14.79/14.86	c nbDecision=26500 #constraints=9423
15.29/15.31	c nbDecision=27000 #constraints=9602
15.69/15.74	c nbDecision=27500 #constraints=9787
16.09/16.16	c nbDecision=28000 #constraints=9967
16.49/16.54	c nbDecision=28500 #constraints=10097
16.89/16.95	c nbDecision=29000 #constraints=10234
17.29/17.36	c nbDecision=29500 #constraints=10377
17.69/17.76	c nbDecision=30000 #constraints=10509
18.08/18.18	c nbDecision=30500 #constraints=10640
18.59/18.62	c nbDecision=31000 #constraints=10788
18.89/18.99	c nbDecision=31500 #constraints=10905
19.29/19.36	c nbDecision=32000 #constraints=10992
19.59/19.68	c nbDecision=32500 #constraints=11069
19.99/20.08	c nbDecision=33000 #constraints=11197
20.39/20.44	c nbDecision=33500 #constraints=11280
20.79/20.82	c nbDecision=34000 #constraints=11371
21.19/21.26	c nbDecision=34500 #constraints=11488
21.59/21.60	c nbDecision=35000 #constraints=11569
21.89/21.99	c nbDecision=35500 #constraints=11673
22.28/22.33	c nbDecision=36000 #constraints=11741
22.58/22.69	c nbDecision=36500 #constraints=11820
22.99/23.07	c nbDecision=37000 #constraints=11899
23.38/23.43	c nbDecision=37500 #constraints=11984
23.68/23.78	c nbDecision=38000 #constraints=12054
24.19/24.26	c nbDecision=38500 #constraints=12177
24.69/24.70	c nbDecision=39000 #constraints=12270
24.99/25.05	c nbDecision=39500 #constraints=12327
25.39/25.46	c nbDecision=40000 #constraints=12413
25.79/25.86	c nbDecision=40500 #constraints=12508
26.19/26.23	c nbDecision=41000 #constraints=12582
26.58/26.66	c nbDecision=41500 #constraints=12695
26.98/27.09	c nbDecision=42000 #constraints=12786
27.39/27.47	c nbDecision=42500 #constraints=12870
27.78/27.82	c nbDecision=43000 #constraints=12929
28.08/28.17	c nbDecision=43500 #constraints=12994
28.49/28.57	c nbDecision=44000 #constraints=13083
28.88/28.93	c nbDecision=44500 #constraints=13155
29.28/29.34	c nbDecision=45000 #constraints=13244
29.58/29.70	c nbDecision=45500 #constraints=13306
29.98/30.03	c nbDecision=46000 #constraints=13343
30.38/30.45	c nbDecision=46500 #constraints=13413
30.68/30.79	c nbDecision=47000 #constraints=13460
31.09/31.16	c nbDecision=47500 #constraints=13520
31.49/31.50	c nbDecision=48000 #constraints=13568
31.89/31.93	c nbDecision=48500 #constraints=13662
32.19/32.29	c nbDecision=49000 #constraints=13717
32.58/32.68	c nbDecision=49500 #constraints=13772
32.99/33.06	c nbDecision=50000 #constraints=13833
33.38/33.42	c nbDecision=50500 #constraints=13887
33.78/33.81	c nbDecision=51000 #constraints=13950
33.88/33.99	c restart after 51201 decisions
34.28/34.31	c nbDecision=51500 #constraints=14029
34.99/35.03	c nbDecision=52000 #constraints=14255
35.68/35.79	c nbDecision=52500 #constraints=14482
36.29/36.39	c nbDecision=53000 #constraints=14632
36.98/37.01	c nbDecision=53500 #constraints=14809
37.58/37.66	c nbDecision=54000 #constraints=14981
38.18/38.23	c nbDecision=54500 #constraints=15105
38.68/38.77	c nbDecision=55000 #constraints=15221
39.18/39.23	c nbDecision=55500 #constraints=15317
39.68/39.75	c nbDecision=56000 #constraints=15413
40.17/40.28	c nbDecision=56500 #constraints=15522
40.77/40.88	c nbDecision=57000 #constraints=15657
41.17/41.29	c nbDecision=57500 #constraints=15715
41.78/41.86	c nbDecision=58000 #constraints=15842
42.28/42.34	c nbDecision=58500 #constraints=15929
42.78/42.87	c nbDecision=59000 #constraints=16020
43.28/43.35	c nbDecision=59500 #constraints=16112
43.78/43.82	c nbDecision=60000 #constraints=16200
44.18/44.28	c nbDecision=60500 #constraints=16275
44.78/44.80	c nbDecision=61000 #constraints=16366
45.18/45.27	c nbDecision=61500 #constraints=16442
45.68/45.78	c nbDecision=62000 #constraints=16531
46.28/46.31	c nbDecision=62500 #constraints=16613
46.78/46.85	c nbDecision=63000 #constraints=16709
47.38/47.40	c nbDecision=63500 #constraints=16800
47.88/47.92	c nbDecision=64000 #constraints=16884
48.38/48.44	c nbDecision=64500 #constraints=16971
48.87/48.98	c nbDecision=65000 #constraints=17058
49.48/49.52	c nbDecision=65500 #constraints=17145
50.07/50.11	c nbDecision=66000 #constraints=17237
50.48/50.60	c nbDecision=66500 #constraints=17307
50.97/51.05	c nbDecision=67000 #constraints=17353
51.47/51.60	c nbDecision=67500 #constraints=17440
51.97/52.03	c nbDecision=68000 #constraints=17490
52.47/52.56	c nbDecision=68500 #constraints=17580
52.98/53.03	c nbDecision=69000 #constraints=17636
53.38/53.47	c nbDecision=69500 #constraints=17684
53.88/53.94	c nbDecision=70000 #constraints=17737
54.28/54.39	c nbDecision=70500 #constraints=17782
54.68/54.77	c nbDecision=71000 #constraints=17810
55.18/55.25	c nbDecision=71500 #constraints=17872
55.58/55.62	c nbDecision=72000 #constraints=17897
55.98/56.08	c nbDecision=72500 #constraints=17951
56.48/56.52	c nbDecision=73000 #constraints=17984
56.98/57.02	c nbDecision=73500 #constraints=18050
57.48/57.51	c nbDecision=74000 #constraints=18109
57.88/57.92	c nbDecision=74500 #constraints=18148
58.28/58.38	c nbDecision=75000 #constraints=18198
58.78/58.81	c nbDecision=75500 #constraints=18238
59.18/59.24	c nbDecision=76000 #constraints=18282
59.58/59.68	c nbDecision=76500 #constraints=18314
60.08/60.12	c nbDecision=77000 #constraints=18356
60.48/60.57	c nbDecision=77500 #constraints=18402
60.97/61.00	c nbDecision=78000 #constraints=18442
61.37/61.42	c nbDecision=78500 #constraints=18485
61.87/61.94	c nbDecision=79000 #constraints=18555
62.37/62.40	c nbDecision=79500 #constraints=18593
62.87/62.96	c nbDecision=80000 #constraints=18677
63.37/63.47	c nbDecision=80500 #constraints=18743
63.87/63.92	c nbDecision=81000 #constraints=18781
64.27/64.35	c nbDecision=81500 #constraints=18821
64.78/64.84	c nbDecision=82000 #constraints=18874
65.37/65.43	c nbDecision=82500 #constraints=18950
65.98/66.01	c nbDecision=83000 #constraints=19026
66.47/66.58	c nbDecision=83500 #constraints=19095
66.98/67.02	c nbDecision=84000 #constraints=19137
67.37/67.48	c nbDecision=84500 #constraints=19186
67.87/67.93	c nbDecision=85000 #constraints=19228
68.47/68.51	c nbDecision=85500 #constraints=19288
68.97/69.02	c nbDecision=86000 #constraints=19348
69.47/69.52	c nbDecision=86500 #constraints=19404
69.97/70.08	c nbDecision=87000 #constraints=19482
70.47/70.55	c nbDecision=87500 #constraints=19512
71.17/71.20	c nbDecision=88000 #constraints=19592
71.67/71.73	c nbDecision=88500 #constraints=19653
72.17/72.26	c nbDecision=89000 #constraints=19709
72.67/72.78	c nbDecision=89500 #constraints=19753
73.17/73.25	c nbDecision=90000 #constraints=19807
73.68/73.77	c nbDecision=90500 #constraints=19858
74.17/74.27	c nbDecision=91000 #constraints=19916
74.68/74.79	c nbDecision=91500 #constraints=19957
75.17/75.24	c nbDecision=92000 #constraints=19994
75.67/75.78	c nbDecision=92500 #constraints=20046
76.17/76.26	c nbDecision=93000 #constraints=20094
76.67/76.73	c nbDecision=93500 #constraints=20136
77.07/77.18	c nbDecision=94000 #constraints=20170
77.57/77.62	c nbDecision=94500 #constraints=20199
77.98/78.05	c nbDecision=95000 #constraints=20224
78.47/78.58	c nbDecision=95500 #constraints=20284
79.17/79.23	c nbDecision=96000 #constraints=20366
79.77/79.81	c nbDecision=96500 #constraints=20444
80.17/80.30	c nbDecision=97000 #constraints=20487
80.57/80.61	c nbDecision=97500 #constraints=20583
81.17/81.25	c nbDecision=98000 #constraints=20642
81.77/81.83	c nbDecision=98500 #constraints=20710
82.27/82.32	c nbDecision=99000 #constraints=20742
82.87/82.92	c nbDecision=99500 #constraints=20811
83.37/83.49	c nbDecision=100000 #constraints=20866
83.86/83.99	c nbDecision=100500 #constraints=20903
84.46/84.53	c nbDecision=101000 #constraints=20952
84.96/85.07	c nbDecision=101500 #constraints=20996
85.47/85.53	c nbDecision=102000 #constraints=21021
85.87/85.95	c restart after 102401 decisions
85.97/86.06	c nbDecision=102500 #constraints=21047
87.07/87.13	c nbDecision=103000 #constraints=21254
87.97/88.01	c nbDecision=103500 #constraints=21441
88.87/88.94	c nbDecision=104000 #constraints=21626
89.77/89.88	c nbDecision=104500 #constraints=21791
90.67/90.73	c nbDecision=105000 #constraints=21954
91.37/91.46	c nbDecision=105500 #constraints=22066
92.27/92.31	c nbDecision=106000 #constraints=22215
92.96/93.06	c nbDecision=106500 #constraints=22343
93.76/93.88	c nbDecision=107000 #constraints=22464
94.57/94.65	c nbDecision=107500 #constraints=22567
95.26/95.39	c nbDecision=108000 #constraints=22676
96.06/96.12	c nbDecision=108500 #constraints=22773
96.67/96.75	c nbDecision=109000 #constraints=22848
97.47/97.52	c nbDecision=109500 #constraints=22962
98.17/98.22	c nbDecision=110000 #constraints=23053
98.77/98.86	c nbDecision=110500 #constraints=23138
99.56/99.63	c nbDecision=111000 #constraints=23242
100.26/100.34	c nbDecision=111500 #constraints=23321
100.96/101.00	c nbDecision=112000 #constraints=23394
101.66/101.74	c nbDecision=112500 #constraints=23482
102.27/102.33	c nbDecision=113000 #constraints=23527
102.86/102.97	c nbDecision=113500 #constraints=23585
103.46/103.58	c nbDecision=114000 #constraints=23647
104.06/104.19	c nbDecision=114500 #constraints=23707
104.76/104.89	c nbDecision=115000 #constraints=23784
105.36/105.50	c nbDecision=115500 #constraints=23851
105.96/106.06	c nbDecision=116000 #constraints=23898
106.66/106.74	c nbDecision=116500 #constraints=23964
107.37/107.43	c nbDecision=117000 #constraints=24027
107.97/108.02	c nbDecision=117500 #constraints=24065
108.57/108.67	c nbDecision=118000 #constraints=24124
109.16/109.25	c nbDecision=118500 #constraints=24168
109.87/109.93	c nbDecision=119000 #constraints=24232
110.46/110.56	c nbDecision=119500 #constraints=24279
111.07/111.19	c nbDecision=120000 #constraints=24331
111.76/111.84	c nbDecision=120500 #constraints=24387
112.36/112.44	c nbDecision=121000 #constraints=24433
112.96/113.05	c nbDecision=121500 #constraints=24485
113.56/113.66	c nbDecision=122000 #constraints=24533
114.16/114.29	c nbDecision=122500 #constraints=24571
114.86/114.92	c nbDecision=123000 #constraints=24614
115.56/115.63	c nbDecision=123500 #constraints=24679
116.16/116.25	c nbDecision=124000 #constraints=24740
116.76/116.88	c nbDecision=124500 #constraints=24795
117.46/117.53	c nbDecision=125000 #constraints=24845
118.16/118.23	c nbDecision=125500 #constraints=24902
118.77/118.81	c nbDecision=126000 #constraints=24947
119.36/119.41	c nbDecision=126500 #constraints=24989
119.96/120.00	c nbDecision=127000 #constraints=25023
120.46/120.57	c nbDecision=127500 #constraints=25054
121.16/121.27	c nbDecision=128000 #constraints=25115
121.86/121.90	c nbDecision=128500 #constraints=25166
122.46/122.53	c nbDecision=129000 #constraints=25205
123.06/123.16	c nbDecision=129500 #constraints=25250
123.66/123.74	c nbDecision=130000 #constraints=25290
124.26/124.35	c nbDecision=130500 #constraints=25328
124.96/125.01	c nbDecision=131000 #constraints=25379
125.46/125.56	c nbDecision=131500 #constraints=25411
126.06/126.17	c nbDecision=132000 #constraints=25436
126.76/126.80	c nbDecision=132500 #constraints=25476
127.25/127.34	c nbDecision=133000 #constraints=25503
127.85/127.99	c nbDecision=133500 #constraints=25547
128.56/128.64	c nbDecision=134000 #constraints=25594
129.15/129.22	c nbDecision=134500 #constraints=25628
129.76/129.88	c nbDecision=135000 #constraints=25664
130.45/130.52	c nbDecision=135500 #constraints=25714
130.95/131.05	c nbDecision=136000 #constraints=25734
131.65/131.75	c nbDecision=136500 #constraints=25780
132.35/132.43	c nbDecision=137000 #constraints=25833
133.16/133.22	c nbDecision=137500 #constraints=25914
133.76/133.86	c nbDecision=138000 #constraints=25946
134.46/134.53	c nbDecision=138500 #constraints=25992
135.16/135.21	c nbDecision=139000 #constraints=26031
135.76/135.84	c nbDecision=139500 #constraints=26062
136.36/136.48	c nbDecision=140000 #constraints=26098
137.06/137.10	c nbDecision=140500 #constraints=26134
137.75/137.80	c nbDecision=141000 #constraints=26181
138.35/138.42	c nbDecision=141500 #constraints=26223
138.95/139.04	c nbDecision=142000 #constraints=26269
139.66/139.77	c nbDecision=142500 #constraints=26328
140.55/140.65	c nbDecision=143000 #constraints=26414
141.25/141.34	c nbDecision=143500 #constraints=26467
142.05/142.15	c nbDecision=144000 #constraints=26530
142.75/142.80	c nbDecision=144500 #constraints=26564
143.45/143.51	c nbDecision=145000 #constraints=26607
144.05/144.16	c nbDecision=145500 #constraints=26644
144.65/144.76	c nbDecision=146000 #constraints=26683
145.35/145.47	c nbDecision=146500 #constraints=26738
146.05/146.14	c nbDecision=147000 #constraints=26771
146.75/146.80	c nbDecision=147500 #constraints=26877
147.45/147.58	c nbDecision=148000 #constraints=26946
148.25/148.35	c nbDecision=148500 #constraints=27002
148.85/148.98	c nbDecision=149000 #constraints=27043
149.65/149.71	c nbDecision=149500 #constraints=27083
150.45/150.51	c nbDecision=150000 #constraints=27151
151.05/151.14	c nbDecision=150500 #constraints=27185
151.66/151.79	c nbDecision=151000 #constraints=27226
152.35/152.45	c nbDecision=151500 #constraints=27279
153.15/153.23	c nbDecision=152000 #constraints=27336
153.95/154.01	c nbDecision=152500 #constraints=27391
154.75/154.82	c nbDecision=153000 #constraints=27455
155.45/155.50	c nbDecision=153500 #constraints=27494
156.25/156.31	c nbDecision=154000 #constraints=27560
156.75/156.87	c nbDecision=154500 #constraints=27577
157.45/157.52	c nbDecision=155000 #constraints=27607
158.15/158.22	c nbDecision=155500 #constraints=27650
158.75/158.85	c nbDecision=156000 #constraints=27671
159.45/159.50	c nbDecision=156500 #constraints=27713
160.05/160.17	c nbDecision=157000 #constraints=27742
160.85/160.92	c nbDecision=157500 #constraints=27795
161.65/161.75	c nbDecision=158000 #constraints=27856
162.35/162.40	c nbDecision=158500 #constraints=27881
162.95/163.06	c nbDecision=159000 #constraints=27911
163.65/163.72	c nbDecision=159500 #constraints=27947
164.34/164.44	c nbDecision=160000 #constraints=27987
164.95/165.06	c nbDecision=160500 #constraints=28007
165.64/165.71	c nbDecision=161000 #constraints=28039
166.24/166.30	c nbDecision=161500 #constraints=28068
166.74/166.84	c nbDecision=162000 #constraints=28211
167.55/167.60	c nbDecision=162500 #constraints=28359
167.95/168.09	c nbDecision=163000 #constraints=28427
168.65/168.79	c nbDecision=163500 #constraints=28479
169.35/169.49	c nbDecision=164000 #constraints=28590
170.15/170.20	c nbDecision=164500 #constraints=28632
170.75/170.89	c nbDecision=165000 #constraints=28675
171.55/171.68	c nbDecision=165500 #constraints=28729
172.34/172.41	c nbDecision=166000 #constraints=28773
173.04/173.13	c nbDecision=166500 #constraints=28808
173.75/173.84	c nbDecision=167000 #constraints=28840
174.44/174.55	c nbDecision=167500 #constraints=28870
175.04/175.17	c nbDecision=168000 #constraints=28896
175.74/175.90	c nbDecision=168500 #constraints=28925
176.54/176.61	c nbDecision=169000 #constraints=28963
177.24/177.30	c nbDecision=169500 #constraints=28999
177.94/178.03	c nbDecision=170000 #constraints=29045
178.64/178.74	c nbDecision=170500 #constraints=29070
179.34/179.42	c nbDecision=171000 #constraints=29085
179.94/180.08	c nbDecision=171500 #constraints=29103
180.64/180.73	c nbDecision=172000 #constraints=29125
181.34/181.49	c nbDecision=172500 #constraints=29170
181.94/182.09	c nbDecision=173000 #constraints=29182
182.64/182.72	c nbDecision=173500 #constraints=29207
183.34/183.47	c nbDecision=174000 #constraints=29243
184.04/184.18	c nbDecision=174500 #constraints=29282
184.84/184.90	c nbDecision=175000 #constraints=29313
185.55/185.61	c nbDecision=175500 #constraints=29344
186.24/186.35	c nbDecision=176000 #constraints=29375
187.04/187.11	c nbDecision=176500 #constraints=29425
187.64/187.73	c nbDecision=177000 #constraints=29499
188.34/188.48	c nbDecision=177500 #constraints=29579
189.05/189.17	c nbDecision=178000 #constraints=29604
189.64/189.79	c nbDecision=178500 #constraints=29718
190.44/190.58	c nbDecision=179000 #constraints=29767
191.24/191.34	c nbDecision=179500 #constraints=29804
192.04/192.10	c nbDecision=180000 #constraints=29844
192.74/192.83	c nbDecision=180500 #constraints=29879
193.44/193.54	c nbDecision=181000 #constraints=29913
194.04/194.16	c nbDecision=181500 #constraints=29927
194.74/194.86	c nbDecision=182000 #constraints=30012
195.54/195.65	c nbDecision=182500 #constraints=30059
196.14/196.24	c nbDecision=183000 #constraints=30122
196.74/196.81	c nbDecision=183500 #constraints=30213
197.53/197.64	c nbDecision=184000 #constraints=30345
198.13/198.21	c nbDecision=184500 #constraints=30450
198.83/198.92	c nbDecision=185000 #constraints=30556
199.23/199.32	c nbDecision=185500 #constraints=30594
200.23/200.31	c nbDecision=186000 #constraints=30677
200.84/200.97	c nbDecision=186500 #constraints=30757
201.54/201.69	c nbDecision=187000 #constraints=30776
202.24/202.39	c nbDecision=187500 #constraints=30802
203.04/203.11	c nbDecision=188000 #constraints=30823
203.74/203.80	c nbDecision=188500 #constraints=30845
204.54/204.60	c nbDecision=189000 #constraints=30877
205.24/205.34	c nbDecision=189500 #constraints=30916
205.84/205.93	c nbDecision=190000 #constraints=31006
206.44/206.57	c nbDecision=190500 #constraints=31095
207.14/207.26	c nbDecision=191000 #constraints=31146
207.84/207.97	c nbDecision=191500 #constraints=31169
208.63/208.72	c nbDecision=192000 #constraints=31205
209.33/209.47	c nbDecision=192500 #constraints=31239
210.23/210.30	c nbDecision=193000 #constraints=31287
210.93/211.06	c nbDecision=193500 #constraints=31322
211.73/211.85	c nbDecision=194000 #constraints=31356
212.43/212.58	c nbDecision=194500 #constraints=31373
213.23/213.33	c nbDecision=195000 #constraints=31405
213.94/214.09	c nbDecision=195500 #constraints=31434
214.84/214.97	c nbDecision=196000 #constraints=31480
215.64/215.77	c nbDecision=196500 #constraints=31516
216.34/216.48	c nbDecision=197000 #constraints=31552
217.04/217.15	c nbDecision=197500 #constraints=31673
217.94/218.04	c nbDecision=198000 #constraints=31771
218.53/218.66	c nbDecision=198500 #constraints=31833
219.23/219.32	c nbDecision=199000 #constraints=31924
219.84/219.96	c nbDecision=199500 #constraints=32006
220.43/220.55	c nbDecision=200000 #constraints=32074
221.04/221.15	c nbDecision=200500 #constraints=32161
221.63/221.76	c nbDecision=201000 #constraints=32254
222.43/222.50	c nbDecision=201500 #constraints=32346
223.03/223.19	c nbDecision=202000 #constraints=32424
223.63/223.75	c nbDecision=202500 #constraints=32491
224.23/224.31	c nbDecision=203000 #constraints=32584
224.93/225.01	c nbDecision=203500 #constraints=32625
225.43/225.57	c nbDecision=204000 #constraints=32685
226.23/226.33	c nbDecision=204500 #constraints=32773
226.53/226.62	c restart after 204801 decisions
226.83/226.91	c nbDecision=205000 #constraints=32815
227.93/228.03	c nbDecision=205500 #constraints=32963
228.83/228.92	c nbDecision=206000 #constraints=33085
229.84/229.98	c nbDecision=206500 #constraints=33243
230.93/231.04	c nbDecision=207000 #constraints=33404
231.83/231.96	c nbDecision=207500 #constraints=33514
232.73/232.84	c nbDecision=208000 #constraints=33625
233.42/233.54	c nbDecision=208500 #constraints=33715
234.24/234.36	c nbDecision=209000 #constraints=33849
235.13/235.24	c nbDecision=209500 #constraints=33928
235.93/236.04	c nbDecision=210000 #constraints=34033
236.73/236.88	c nbDecision=210500 #constraints=34129
237.43/237.59	c nbDecision=211000 #constraints=34215
238.63/238.78	c nbDecision=211500 #constraints=34343
240.02/240.16	c nbDecision=212000 #constraints=34505
241.12/241.22	c nbDecision=212500 #constraints=34590
242.32/242.49	c nbDecision=213000 #constraints=34716
243.42/243.54	c nbDecision=213500 #constraints=34791
244.52/244.63	c nbDecision=214000 #constraints=34882
245.53/245.69	c nbDecision=214500 #constraints=34962
246.73/246.83	c nbDecision=215000 #constraints=35070
247.83/247.92	c nbDecision=215500 #constraints=35139
248.73/248.89	c nbDecision=216000 #constraints=35205
249.53/249.70	c nbDecision=216500 #constraints=35302
250.23/250.30	c nbDecision=217000 #constraints=35389
251.02/251.16	c nbDecision=217500 #constraints=35461
251.63/251.80	c nbDecision=218000 #constraints=35519
252.22/252.33	c nbDecision=218500 #constraints=35578
253.02/253.17	c nbDecision=219000 #constraints=35654
253.82/253.97	c nbDecision=219500 #constraints=35724
254.52/254.67	c nbDecision=220000 #constraints=35804
255.12/255.28	c nbDecision=220500 #constraints=35895
255.72/255.81	c nbDecision=221000 #constraints=35953
256.42/256.59	c nbDecision=221500 #constraints=35991
256.92/257.09	c nbDecision=222000 #constraints=36038
257.82/257.94	c nbDecision=222500 #constraints=36113
258.53/258.61	c nbDecision=223000 #constraints=36162
259.12/259.22	c nbDecision=223500 #constraints=36219
259.92/260.07	c nbDecision=224000 #constraints=36293
260.73/260.84	c nbDecision=224500 #constraints=36359
261.32/261.47	c nbDecision=225000 #constraints=36430
262.12/262.20	c nbDecision=225500 #constraints=36496
262.83/262.97	c nbDecision=226000 #constraints=36567
263.62/263.75	c nbDecision=226500 #constraints=36621
264.32/264.41	c nbDecision=227000 #constraints=36680
264.92/265.08	c nbDecision=227500 #constraints=36736
265.62/265.71	c nbDecision=228000 #constraints=36792
266.32/266.41	c nbDecision=228500 #constraints=36874
266.72/266.89	c nbDecision=229000 #constraints=36902
267.42/267.56	c nbDecision=229500 #constraints=36982
268.52/268.68	c nbDecision=230000 #constraints=37052
269.61/269.71	c nbDecision=230500 #constraints=37101
270.52/270.62	c nbDecision=231000 #constraints=37145
271.52/271.62	c nbDecision=231500 #constraints=37196
272.41/272.60	c nbDecision=232000 #constraints=37239
273.61/273.74	c nbDecision=232500 #constraints=37303
274.61/274.76	c nbDecision=233000 #constraints=37352
275.71/275.85	c nbDecision=233500 #constraints=37416
276.71/276.84	c nbDecision=234000 #constraints=37465
277.81/277.91	c nbDecision=234500 #constraints=37533
278.81/278.92	c nbDecision=235000 #constraints=37578
279.81/279.95	c nbDecision=235500 #constraints=37616
280.91/281.01	c nbDecision=236000 #constraints=37670
282.01/282.18	c nbDecision=236500 #constraints=37750
283.11/283.25	c nbDecision=237000 #constraints=37803
284.21/284.33	c nbDecision=237500 #constraints=37865
285.31/285.42	c nbDecision=238000 #constraints=37932
286.21/286.34	c nbDecision=238500 #constraints=37979
287.41/287.52	c nbDecision=239000 #constraints=38054
288.41/288.52	c nbDecision=239500 #constraints=38109
289.41/289.51	c nbDecision=240000 #constraints=38144
290.50/290.61	c nbDecision=240500 #constraints=38199
291.50/291.61	c nbDecision=241000 #constraints=38255
292.41/292.55	c nbDecision=241500 #constraints=38302
293.41/293.59	c nbDecision=242000 #constraints=38340
294.51/294.61	c nbDecision=242500 #constraints=38389
295.51/295.65	c nbDecision=243000 #constraints=38427
296.61/296.72	c nbDecision=243500 #constraints=38479
297.71/297.81	c nbDecision=244000 #constraints=38551
298.71/298.80	c nbDecision=244500 #constraints=38583
299.81/299.90	c nbDecision=245000 #constraints=38633
300.31/300.43	c nbDecision=245500 #constraints=38686
301.11/301.21	c nbDecision=246000 #constraints=38742
301.71/301.82	c nbDecision=246500 #constraints=38802
302.31/302.46	c nbDecision=247000 #constraints=38893
302.91/303.08	c nbDecision=247500 #constraints=38982
303.71/303.87	c nbDecision=248000 #constraints=39065
304.41/304.54	c nbDecision=248500 #constraints=39105
305.31/305.48	c nbDecision=249000 #constraints=39149
306.31/306.47	c nbDecision=249500 #constraints=39179
307.50/307.67	c nbDecision=250000 #constraints=39246
308.70/308.84	c nbDecision=250500 #constraints=39304
309.90/310.01	c nbDecision=251000 #constraints=39353
310.80/310.93	c nbDecision=251500 #constraints=39392
311.80/311.98	c nbDecision=252000 #constraints=39433
312.80/312.96	c nbDecision=252500 #constraints=39460
313.90/314.02	c nbDecision=253000 #constraints=39503
314.80/314.97	c nbDecision=253500 #constraints=39531
315.80/315.90	c nbDecision=254000 #constraints=39564
316.80/316.94	c nbDecision=254500 #constraints=39598
317.80/317.95	c nbDecision=255000 #constraints=39643
319.00/319.14	c nbDecision=255500 #constraints=39696
320.10/320.20	c nbDecision=256000 #constraints=39727
321.00/321.19	c nbDecision=256500 #constraints=39757
322.10/322.21	c nbDecision=257000 #constraints=39788
322.99/323.17	c nbDecision=257500 #constraints=39811
323.99/324.18	c nbDecision=258000 #constraints=39846
325.09/325.21	c nbDecision=258500 #constraints=39876
326.09/326.27	c nbDecision=259000 #constraints=39901
326.99/327.18	c nbDecision=259500 #constraints=39916
328.09/328.29	c nbDecision=260000 #constraints=39952
329.19/329.30	c nbDecision=260500 #constraints=39998
330.19/330.39	c nbDecision=261000 #constraints=40040
331.39/331.51	c nbDecision=261500 #constraints=40074
332.10/332.20	c nbDecision=262000 #constraints=40100
332.80/332.92	c nbDecision=262500 #constraints=40147
333.50/333.63	c nbDecision=263000 #constraints=40291
334.00/334.19	c nbDecision=263500 #constraints=40345
334.80/334.90	c nbDecision=264000 #constraints=40396
335.40/335.59	c nbDecision=264500 #constraints=40535
336.00/336.16	c nbDecision=265000 #constraints=40617
336.90/337.06	c nbDecision=265500 #constraints=40679
337.60/337.73	c nbDecision=266000 #constraints=40791
338.39/338.54	c nbDecision=266500 #constraints=40896
339.09/339.28	c nbDecision=267000 #constraints=40949
339.89/340.09	c nbDecision=267500 #constraints=41018
340.59/340.80	c nbDecision=268000 #constraints=41054
341.39/341.59	c nbDecision=268500 #constraints=41160
342.00/342.18	c nbDecision=269000 #constraints=41221
342.79/342.99	c nbDecision=269500 #constraints=41289
343.59/343.71	c nbDecision=270000 #constraints=41418
344.20/344.32	c nbDecision=270500 #constraints=41487
345.20/345.39	c nbDecision=271000 #constraints=41602
346.19/346.36	c nbDecision=271500 #constraints=41629
347.29/347.47	c nbDecision=272000 #constraints=41666
348.19/348.35	c nbDecision=272500 #constraints=41692
348.89/349.02	c nbDecision=273000 #constraints=41758
349.69/349.85	c nbDecision=273500 #constraints=41853
350.29/350.49	c nbDecision=274000 #constraints=41904
350.99/351.12	c nbDecision=274500 #constraints=41953
351.59/351.77	c nbDecision=275000 #constraints=42012
352.39/352.53	c nbDecision=275500 #constraints=42068
353.08/353.26	c nbDecision=276000 #constraints=42110
353.58/353.73	c nbDecision=276500 #constraints=42145
354.69/354.81	c nbDecision=277000 #constraints=42280
355.38/355.57	c nbDecision=277500 #constraints=42361
356.08/356.28	c nbDecision=278000 #constraints=42422
357.09/357.24	c nbDecision=278500 #constraints=42563
357.79/357.99	c nbDecision=279000 #constraints=42604
358.49/358.62	c nbDecision=279500 #constraints=42645
359.19/359.38	c nbDecision=280000 #constraints=42729
359.79/359.97	c nbDecision=280500 #constraints=42746
360.59/360.79	c nbDecision=281000 #constraints=42803
361.29/361.44	c nbDecision=281500 #constraints=42871
362.18/362.36	c nbDecision=282000 #constraints=42991
363.28/363.49	c nbDecision=282500 #constraints=43215
364.18/364.31	c nbDecision=283000 #constraints=43260
364.88/365.03	c nbDecision=283500 #constraints=43323
365.48/365.65	c nbDecision=284000 #constraints=43393
366.49/366.60	c nbDecision=284500 #constraints=43446
367.19/367.31	c nbDecision=285000 #constraints=43488
367.99/368.11	c nbDecision=285500 #constraints=43578
368.78/368.95	c nbDecision=286000 #constraints=43648
369.58/369.77	c nbDecision=286500 #constraints=43722
370.28/370.45	c nbDecision=287000 #constraints=43784
371.18/371.38	c nbDecision=287500 #constraints=43836
372.28/372.43	c nbDecision=288000 #constraints=44018
373.58/373.76	c nbDecision=288500 #constraints=44226
374.48/374.66	c nbDecision=289000 #constraints=44264
375.27/375.40	c nbDecision=289500 #constraints=44313
376.17/376.37	c nbDecision=290000 #constraints=44389
376.87/377.06	c nbDecision=290500 #constraints=44419
377.57/377.73	c nbDecision=291000 #constraints=44458
378.37/378.53	c nbDecision=291500 #constraints=44552
379.47/379.68	c nbDecision=292000 #constraints=44640
380.28/380.50	c nbDecision=292500 #constraints=44702
381.68/381.84	c nbDecision=293000 #constraints=44861
382.28/382.40	c nbDecision=293500 #constraints=44889
383.38/383.58	c nbDecision=294000 #constraints=45033
384.48/384.67	c nbDecision=294500 #constraints=45127
385.18/385.33	c nbDecision=295000 #constraints=45154
386.28/386.43	c nbDecision=295500 #constraints=45228
386.98/387.14	c nbDecision=296000 #constraints=45268
387.68/387.82	c nbDecision=296500 #constraints=45313
388.58/388.79	c nbDecision=297000 #constraints=45363
389.57/389.70	c nbDecision=297500 #constraints=45449
390.47/390.60	c nbDecision=298000 #constraints=45521
391.38/391.59	c nbDecision=298500 #constraints=45585
392.17/392.32	c nbDecision=299000 #constraints=45610
392.77/392.96	c nbDecision=299500 #constraints=45659
393.97/394.12	c nbDecision=300000 #constraints=45749
394.87/395.08	c nbDecision=300500 #constraints=45812
395.57/395.73	c nbDecision=301000 #constraints=45844
396.57/396.70	c nbDecision=301500 #constraints=45905
397.17/397.31	c nbDecision=302000 #constraints=45930
397.87/398.05	c nbDecision=302500 #constraints=45975
399.17/399.36	c nbDecision=303000 #constraints=46096
399.97/400.16	c nbDecision=303500 #constraints=46153
400.77/400.92	c nbDecision=304000 #constraints=46210
401.57/401.74	c nbDecision=304500 #constraints=46248
402.27/402.47	c nbDecision=305000 #constraints=46271
403.17/403.38	c nbDecision=305500 #constraints=46337
403.97/404.20	c nbDecision=306000 #constraints=46365
404.97/405.17	c nbDecision=306500 #constraints=46425
405.77/405.97	c nbDecision=307000 #constraints=46464
406.57/406.72	c nbDecision=307500 #constraints=46500
407.27/407.49	c nbDecision=308000 #constraints=46565
408.66/408.82	c nbDecision=308500 #constraints=46672
409.56/409.75	c nbDecision=309000 #constraints=46740
410.46/410.60	c nbDecision=309500 #constraints=46801
411.36/411.52	c nbDecision=310000 #constraints=46865
412.27/412.41	c nbDecision=310500 #constraints=46912
412.86/413.05	c nbDecision=311000 #constraints=46948
413.86/414.03	c nbDecision=311500 #constraints=47013
414.86/415.00	c nbDecision=312000 #constraints=47061
416.26/416.43	c nbDecision=312500 #constraints=47126
417.06/417.27	c nbDecision=313000 #constraints=47142
417.86/418.02	c nbDecision=313500 #constraints=47163
418.56/418.71	c nbDecision=314000 #constraints=47200
419.87/420.10	c nbDecision=314500 #constraints=47316
420.77/420.98	c nbDecision=315000 #constraints=47364
421.66/421.85	c nbDecision=315500 #constraints=47423
422.36/422.55	c nbDecision=316000 #constraints=47461
423.66/423.87	c nbDecision=316500 #constraints=47553
424.66/424.87	c nbDecision=317000 #constraints=47606
425.66/425.87	c nbDecision=317500 #constraints=47669
426.46/426.63	c nbDecision=318000 #constraints=47703
427.16/427.38	c nbDecision=318500 #constraints=47733
428.16/428.35	c nbDecision=319000 #constraints=47788
428.86/429.09	c nbDecision=319500 #constraints=47822
429.76/429.95	c nbDecision=320000 #constraints=47892
430.56/430.77	c nbDecision=320500 #constraints=47918
431.46/431.66	c nbDecision=321000 #constraints=47974
432.26/432.46	c nbDecision=321500 #constraints=48014
433.06/433.26	c nbDecision=322000 #constraints=48033
433.76/433.90	c nbDecision=322500 #constraints=48064
434.75/434.90	c nbDecision=323000 #constraints=48107
435.55/435.73	c nbDecision=323500 #constraints=48138
436.35/436.59	c nbDecision=324000 #constraints=48184
437.35/437.56	c nbDecision=324500 #constraints=48238
438.05/438.28	c nbDecision=325000 #constraints=48280
439.05/439.26	c nbDecision=325500 #constraints=48324
439.86/440.03	c nbDecision=326000 #constraints=48377
440.65/440.86	c nbDecision=326500 #constraints=48426
441.85/442.00	c nbDecision=327000 #constraints=48494
442.65/442.80	c nbDecision=327500 #constraints=48536
443.55/443.74	c nbDecision=328000 #constraints=48590
444.25/444.43	c nbDecision=328500 #constraints=48614
444.85/445.03	c nbDecision=329000 #constraints=48632
445.95/446.14	c nbDecision=329500 #constraints=48701
446.85/447.07	c nbDecision=330000 #constraints=48743
447.66/447.85	c nbDecision=330500 #constraints=48806
448.66/448.87	c nbDecision=331000 #constraints=48875
449.56/449.72	c nbDecision=331500 #constraints=48911
450.15/450.31	c nbDecision=332000 #constraints=48934
451.15/451.39	c nbDecision=332500 #constraints=48994
452.15/452.35	c nbDecision=333000 #constraints=49049
452.96/453.11	c nbDecision=333500 #constraints=49087
453.85/454.06	c nbDecision=334000 #constraints=49116
454.45/454.68	c nbDecision=334500 #constraints=49144
455.35/455.58	c nbDecision=335000 #constraints=49210
456.36/456.51	c nbDecision=335500 #constraints=49234
457.36/457.59	c nbDecision=336000 #constraints=49285
458.35/458.52	c nbDecision=336500 #constraints=49315
459.45/459.67	c nbDecision=337000 #constraints=49370
460.95/461.20	c nbDecision=337500 #constraints=49459
462.25/462.46	c nbDecision=338000 #constraints=49530
463.05/463.28	c nbDecision=338500 #constraints=49545
464.24/464.47	c nbDecision=339000 #constraints=49589
465.15/465.38	c nbDecision=339500 #constraints=49624
466.54/466.79	c nbDecision=340000 #constraints=49703
467.54/467.75	c nbDecision=340500 #constraints=49750
468.64/468.80	c nbDecision=341000 #constraints=49804
469.14/469.38	c nbDecision=341500 #constraints=49833
470.84/471.00	c nbDecision=342000 #constraints=49887
472.04/472.28	c nbDecision=342500 #constraints=49917
473.44/473.60	c nbDecision=343000 #constraints=49945
474.64/474.85	c nbDecision=343500 #constraints=49978
475.94/476.15	c nbDecision=344000 #constraints=50011
477.64/477.89	c nbDecision=344500 #constraints=50099
479.24/479.44	c nbDecision=345000 #constraints=50210
480.44/480.60	c nbDecision=345500 #constraints=50260
482.64/482.83	c nbDecision=346000 #constraints=50423
483.75/483.95	c nbDecision=346500 #constraints=50497
484.65/484.88	c nbDecision=347000 #constraints=50549
485.44/485.62	c nbDecision=347500 #constraints=50592
486.54/486.78	c nbDecision=348000 #constraints=50650
487.44/487.65	c nbDecision=348500 #constraints=50688
488.04/488.30	c nbDecision=349000 #constraints=50711
489.14/489.36	c nbDecision=349500 #constraints=50749
491.64/491.85	c nbDecision=350000 #constraints=50903
492.54/492.78	c nbDecision=350500 #constraints=50947
493.94/494.14	c nbDecision=351000 #constraints=50999
494.84/495.08	c nbDecision=351500 #constraints=51040
496.04/496.20	c nbDecision=352000 #constraints=51102
499.14/499.35	c nbDecision=352500 #constraints=51325
500.34/500.53	c nbDecision=353000 #constraints=51397
501.63/501.81	c nbDecision=353500 #constraints=51453
502.54/502.77	c nbDecision=354000 #constraints=51495
503.73/503.93	c nbDecision=354500 #constraints=51561
504.93/505.16	c nbDecision=355000 #constraints=51609
507.03/507.25	c nbDecision=355500 #constraints=51725
507.84/508.06	c nbDecision=356000 #constraints=51752
510.73/510.97	c nbDecision=356500 #constraints=51944
512.23/512.45	c nbDecision=357000 #constraints=52024
513.73/513.94	c nbDecision=357500 #constraints=52104
514.63/514.87	c nbDecision=358000 #constraints=52143
516.63/516.81	c nbDecision=358500 #constraints=52241
518.83/519.01	c nbDecision=359000 #constraints=52349
519.73/519.97	c nbDecision=359500 #constraints=52380
520.83/521.05	c nbDecision=360000 #constraints=52421
521.92/522.15	c nbDecision=360500 #constraints=52468
523.22/523.45	c nbDecision=361000 #constraints=52543
524.43/524.65	c nbDecision=361500 #constraints=52595
525.43/525.60	c nbDecision=362000 #constraints=52638
526.22/526.43	c nbDecision=362500 #constraints=52679
527.43/527.61	c nbDecision=363000 #constraints=52738
529.33/529.51	c nbDecision=363500 #constraints=52847
530.13/530.35	c nbDecision=364000 #constraints=52884
531.14/531.32	c nbDecision=364500 #constraints=52935
532.43/532.63	c nbDecision=365000 #constraints=53001
533.13/533.36	c nbDecision=365500 #constraints=53023
534.53/534.76	c nbDecision=366000 #constraints=53108
535.73/535.96	c nbDecision=366500 #constraints=53142
537.13/537.32	c nbDecision=367000 #constraints=53209
538.33/538.52	c nbDecision=367500 #constraints=53254
539.33/539.57	c nbDecision=368000 #constraints=53301
540.33/540.56	c nbDecision=368500 #constraints=53332
541.23/541.47	c nbDecision=369000 #constraints=53361
542.13/542.31	c nbDecision=369500 #constraints=53405
543.33/543.57	c nbDecision=370000 #constraints=53447
544.13/544.39	c nbDecision=370500 #constraints=53486
545.12/545.37	c nbDecision=371000 #constraints=53515
546.12/546.31	c nbDecision=371500 #constraints=53552
546.72/546.92	c nbDecision=372000 #constraints=53568
547.82/548.04	c nbDecision=372500 #constraints=53619
548.52/548.74	c nbDecision=373000 #constraints=53633
549.22/549.48	c nbDecision=373500 #constraints=53674
550.42/550.62	c nbDecision=374000 #constraints=53721
551.23/551.47	c nbDecision=374500 #constraints=53756
552.53/552.71	c nbDecision=375000 #constraints=53809
553.33/553.50	c nbDecision=375500 #constraints=53827
554.43/554.69	c nbDecision=376000 #constraints=53865
555.13/555.38	c nbDecision=376500 #constraints=53879
556.02/556.25	c nbDecision=377000 #constraints=53918
557.02/557.23	c nbDecision=377500 #constraints=53941
558.12/558.35	c nbDecision=378000 #constraints=54003
559.12/559.35	c nbDecision=378500 #constraints=54023
559.72/559.99	c nbDecision=379000 #constraints=54033
560.92/561.11	c nbDecision=379500 #constraints=54065
561.72/561.91	c nbDecision=380000 #constraints=54096
563.62/563.80	c nbDecision=380500 #constraints=54195
564.32/564.51	c nbDecision=381000 #constraints=54205
565.12/565.37	c nbDecision=381500 #constraints=54224
566.02/566.26	c nbDecision=382000 #constraints=54252
567.01/567.28	c nbDecision=382500 #constraints=54308
568.21/568.43	c nbDecision=383000 #constraints=54359
568.91/569.18	c nbDecision=383500 #constraints=54382
570.01/570.28	c nbDecision=384000 #constraints=54430
570.81/571.00	c nbDecision=384500 #constraints=54440
571.82/572.06	c nbDecision=385000 #constraints=54479
572.61/572.84	c nbDecision=385500 #constraints=54498
573.31/573.55	c nbDecision=386000 #constraints=54531
574.31/574.60	c nbDecision=386500 #constraints=54565
575.01/575.23	c nbDecision=387000 #constraints=54573
576.11/576.39	c nbDecision=387500 #constraints=54604
577.01/577.23	c nbDecision=388000 #constraints=54627
578.31/578.60	c nbDecision=388500 #constraints=54672
579.31/579.57	c nbDecision=389000 #constraints=54718
580.21/580.42	c nbDecision=389500 #constraints=54752
581.41/581.60	c nbDecision=390000 #constraints=54789
582.11/582.34	c nbDecision=390500 #constraints=54814
583.82/584.09	c nbDecision=391000 #constraints=54899
584.71/584.92	c nbDecision=391500 #constraints=54928
585.52/585.78	c nbDecision=392000 #constraints=54958
586.91/587.14	c nbDecision=392500 #constraints=55009
587.71/587.92	c nbDecision=393000 #constraints=55028
591.41/591.69	c nbDecision=393500 #constraints=55182
592.71/592.91	c nbDecision=394000 #constraints=55223
593.61/593.89	c nbDecision=394500 #constraints=55251
596.61/596.81	c nbDecision=395000 #constraints=55383
599.81/600.04	c nbDecision=395500 #constraints=55532
601.70/601.98	c nbDecision=396000 #constraints=55616
603.80/604.06	c nbDecision=396500 #constraints=55701
604.71/605.00	c nbDecision=397000 #constraints=55729
606.10/606.32	c nbDecision=397500 #constraints=55792
608.20/608.44	c nbDecision=398000 #constraints=55847
609.11/609.35	c nbDecision=398500 #constraints=55865
613.70/613.92	c nbDecision=399000 #constraints=56081
614.60/614.85	c nbDecision=399500 #constraints=56132
616.11/616.37	c nbDecision=400000 #constraints=56184
616.91/617.11	c nbDecision=400500 #constraints=56197
619.40/619.69	c nbDecision=401000 #constraints=56325
620.90/621.16	c nbDecision=401500 #constraints=56371
622.00/622.28	c nbDecision=402000 #constraints=56404
624.30/624.60	c nbDecision=402500 #constraints=56485
626.30/626.50	c nbDecision=403000 #constraints=56560
627.50/627.76	c nbDecision=403500 #constraints=56603
628.80/629.07	c nbDecision=404000 #constraints=56635
630.50/630.74	c nbDecision=404500 #constraints=56690
631.60/631.83	c nbDecision=405000 #constraints=56722
632.90/633.15	c nbDecision=405500 #constraints=56756
633.80/634.03	c nbDecision=406000 #constraints=56781
635.90/636.10	c nbDecision=406500 #constraints=56877
637.99/638.28	c nbDecision=407000 #constraints=56944
638.90/639.10	c nbDecision=407500 #constraints=56963
640.79/641.01	c nbDecision=408000 #constraints=57056
641.89/642.12	c nbDecision=408500 #constraints=57102
643.99/644.20	c nbDecision=409000 #constraints=57200
644.99/645.30	c nbDecision=409500 #constraints=57234
645.39/645.69	c restart after 409601 decisions
647.30/647.57	c nbDecision=410000 #constraints=57326
650.30/650.58	c nbDecision=410500 #constraints=57520
652.60/652.89	c nbDecision=411000 #constraints=57647
654.69/654.96	c nbDecision=411500 #constraints=57743
656.29/656.57	c nbDecision=412000 #constraints=57794
658.09/658.35	c nbDecision=412500 #constraints=57863
659.99/660.22	c nbDecision=413000 #constraints=57938
662.00/662.29	c nbDecision=413500 #constraints=58013
663.99/664.29	c nbDecision=414000 #constraints=58106
666.09/666.32	c nbDecision=414500 #constraints=58201
667.79/668.07	c nbDecision=415000 #constraints=58262
669.49/669.78	c nbDecision=415500 #constraints=58326
671.29/671.54	c nbDecision=416000 #constraints=58391
672.89/673.16	c nbDecision=416500 #constraints=58441
674.78/675.08	c nbDecision=417000 #constraints=58521
676.78/677.02	c nbDecision=417500 #constraints=58598
678.49/678.70	c nbDecision=418000 #constraints=58639
680.08/680.32	c nbDecision=418500 #constraints=58689
681.69/681.95	c nbDecision=419000 #constraints=58739
683.29/683.56	c nbDecision=419500 #constraints=58790
684.99/685.21	c nbDecision=420000 #constraints=58834
686.49/686.74	c nbDecision=420500 #constraints=58879
688.09/688.39	c nbDecision=421000 #constraints=58921
689.78/690.06	c nbDecision=421500 #constraints=58977
691.38/691.69	c nbDecision=422000 #constraints=59015
693.18/693.45	c nbDecision=422500 #constraints=59063
694.98/695.23	c nbDecision=423000 #constraints=59110
696.68/696.97	c nbDecision=423500 #constraints=59177
698.68/698.95	c nbDecision=424000 #constraints=59236
700.38/700.63	c nbDecision=424500 #constraints=59282
702.28/702.54	c nbDecision=425000 #constraints=59353
703.88/704.10	c nbDecision=425500 #constraints=59398
705.48/705.73	c nbDecision=426000 #constraints=59440
707.18/707.43	c nbDecision=426500 #constraints=59493
708.57/708.87	c nbDecision=427000 #constraints=59523
710.07/710.38	c nbDecision=427500 #constraints=59564
711.77/712.09	c nbDecision=428000 #constraints=59607
713.37/713.66	c nbDecision=428500 #constraints=59636
714.68/714.98	c nbDecision=429000 #constraints=59652
716.47/716.79	c nbDecision=429500 #constraints=59701
717.97/718.28	c nbDecision=430000 #constraints=59729
719.57/719.84	c nbDecision=430500 #constraints=59757
721.27/721.52	c nbDecision=431000 #constraints=59806
722.97/723.24	c nbDecision=431500 #constraints=59845
724.58/724.81	c nbDecision=432000 #constraints=59878
726.08/726.32	c nbDecision=432500 #constraints=59912
727.58/727.83	c nbDecision=433000 #constraints=59936
729.17/729.45	c nbDecision=433500 #constraints=59967
730.67/730.92	c nbDecision=434000 #constraints=60002
732.17/732.47	c nbDecision=434500 #constraints=60039
733.77/734.01	c nbDecision=435000 #constraints=60061
735.47/735.75	c nbDecision=435500 #constraints=60103
737.17/737.41	c nbDecision=436000 #constraints=60150
738.67/738.95	c nbDecision=436500 #constraints=60175
740.37/740.67	c nbDecision=437000 #constraints=60228
741.87/742.13	c nbDecision=437500 #constraints=60245
743.27/743.58	c nbDecision=438000 #constraints=60268
744.87/745.13	c nbDecision=438500 #constraints=60291
746.27/746.52	c nbDecision=439000 #constraints=60319
747.97/748.24	c nbDecision=439500 #constraints=60356
749.57/749.85	c nbDecision=440000 #constraints=60389
750.97/751.24	c nbDecision=440500 #constraints=60411
752.66/752.91	c nbDecision=441000 #constraints=60449
754.16/754.47	c nbDecision=441500 #constraints=60471
755.86/756.12	c nbDecision=442000 #constraints=60501
757.26/757.52	c nbDecision=442500 #constraints=60522
758.86/759.16	c nbDecision=443000 #constraints=60550
760.46/760.78	c nbDecision=443500 #constraints=60594
762.06/762.35	c nbDecision=444000 #constraints=60617
763.46/763.76	c nbDecision=444500 #constraints=60641
765.07/765.36	c nbDecision=445000 #constraints=60669
766.37/766.66	c nbDecision=445500 #constraints=60704
767.36/767.61	c nbDecision=446000 #constraints=60735
768.67/768.96	c nbDecision=446500 #constraints=60767
769.56/769.87	c nbDecision=447000 #constraints=60781
770.77/771.09	c nbDecision=447500 #constraints=60814
771.56/771.87	c nbDecision=448000 #constraints=60834
773.07/773.37	c nbDecision=448500 #constraints=60865
774.17/774.49	c nbDecision=449000 #constraints=60890
775.46/775.76	c nbDecision=449500 #constraints=60924
776.46/776.76	c nbDecision=450000 #constraints=60943
777.46/777.75	c nbDecision=450500 #constraints=60956
778.56/778.84	c nbDecision=451000 #constraints=60993
779.36/779.66	c nbDecision=451500 #constraints=61020
780.66/780.92	c nbDecision=452000 #constraints=61039
781.46/781.74	c nbDecision=452500 #constraints=61067
783.06/783.38	c nbDecision=453000 #constraints=61112
784.06/784.33	c nbDecision=453500 #constraints=61135
785.26/785.54	c nbDecision=454000 #constraints=61168
786.36/786.63	c nbDecision=454500 #constraints=61200
787.55/787.89	c nbDecision=455000 #constraints=61231
788.75/789.08	c nbDecision=455500 #constraints=61287
789.85/790.13	c nbDecision=456000 #constraints=61323
791.16/791.43	c nbDecision=456500 #constraints=61350
792.06/792.31	c nbDecision=457000 #constraints=61371
793.36/793.63	c nbDecision=457500 #constraints=61401
794.26/794.60	c nbDecision=458000 #constraints=61436
795.36/795.69	c nbDecision=458500 #constraints=61461
796.36/796.67	c nbDecision=459000 #constraints=61474
797.46/797.73	c nbDecision=459500 #constraints=61487
798.45/798.76	c nbDecision=460000 #constraints=61511
800.05/800.32	c nbDecision=460500 #constraints=61560
801.15/801.43	c nbDecision=461000 #constraints=61596
802.45/802.75	c nbDecision=461500 #constraints=61617
803.45/803.74	c nbDecision=462000 #constraints=61637
804.45/804.72	c nbDecision=462500 #constraints=61651
805.25/805.59	c nbDecision=463000 #constraints=61659
806.25/806.57	c nbDecision=463500 #constraints=61679
807.25/807.50	c nbDecision=464000 #constraints=61700
807.85/808.17	c nbDecision=464500 #constraints=61709
809.05/809.36	c nbDecision=465000 #constraints=61730
809.75/810.06	c nbDecision=465500 #constraints=61738
810.95/811.29	c nbDecision=466000 #constraints=61765
811.85/812.19	c nbDecision=466500 #constraints=61777
813.15/813.40	c nbDecision=467000 #constraints=61812
814.35/814.62	c nbDecision=467500 #constraints=61832
815.25/815.59	c nbDecision=468000 #constraints=61845
816.45/816.76	c nbDecision=468500 #constraints=61859
817.35/817.65	c nbDecision=469000 #constraints=61874
818.55/818.87	c nbDecision=469500 #constraints=61891
819.45/819.76	c nbDecision=470000 #constraints=61906
820.85/821.17	c nbDecision=470500 #constraints=61939
821.64/821.96	c nbDecision=471000 #constraints=61950
823.04/823.34	c nbDecision=471500 #constraints=61992
823.84/824.15	c nbDecision=472000 #constraints=62016
825.04/825.33	c nbDecision=472500 #constraints=62051
825.94/826.23	c nbDecision=473000 #constraints=62068
827.24/827.51	c nbDecision=473500 #constraints=62089
828.05/828.38	c nbDecision=474000 #constraints=62107
829.34/829.63	c nbDecision=474500 #constraints=62135
830.25/830.58	c nbDecision=475000 #constraints=62160
831.14/831.50	c nbDecision=475500 #constraints=62194
832.24/832.53	c nbDecision=476000 #constraints=62203
833.35/833.60	c nbDecision=476500 #constraints=62218
834.15/834.42	c nbDecision=477000 #constraints=62230
835.45/835.73	c nbDecision=477500 #constraints=62261
836.35/836.68	c nbDecision=478000 #constraints=62276
837.45/837.74	c nbDecision=478500 #constraints=62297
838.35/838.63	c nbDecision=479000 #constraints=62322
839.45/839.74	c nbDecision=479500 #constraints=62350
840.55/840.81	c nbDecision=480000 #constraints=62385
841.55/841.87	c nbDecision=480500 #constraints=62403
842.54/842.90	c nbDecision=481000 #constraints=62427
843.84/844.10	c nbDecision=481500 #constraints=62452
844.74/845.03	c nbDecision=482000 #constraints=62470
845.74/846.00	c nbDecision=482500 #constraints=62500
847.14/847.44	c nbDecision=483000 #constraints=62548
847.94/848.24	c nbDecision=483500 #constraints=62560
849.04/849.35	c nbDecision=484000 #constraints=62584
849.74/850.07	c nbDecision=484500 #constraints=62592
850.84/851.12	c nbDecision=485000 #constraints=62597
851.74/852.07	c nbDecision=485500 #constraints=62626
853.14/853.50	c nbDecision=486000 #constraints=62648
854.34/854.66	c nbDecision=486500 #constraints=62680
855.44/855.80	c nbDecision=487000 #constraints=62696
856.34/856.64	c nbDecision=487500 #constraints=62709
857.44/857.72	c nbDecision=488000 #constraints=62758
858.64/858.99	c nbDecision=488500 #constraints=62789
859.84/860.16	c nbDecision=489000 #constraints=62835
860.84/861.13	c nbDecision=489500 #constraints=62851
862.04/862.39	c nbDecision=490000 #constraints=62885
863.14/863.45	c nbDecision=490500 #constraints=62904
864.04/864.35	c nbDecision=491000 #constraints=62929
864.94/865.26	c nbDecision=491500 #constraints=62952
865.84/866.14	c nbDecision=492000 #constraints=62975
866.74/867.05	c nbDecision=492500 #constraints=62995
867.93/868.26	c nbDecision=493000 #constraints=63020
868.74/869.09	c nbDecision=493500 #constraints=63043
869.93/870.26	c nbDecision=494000 #constraints=63058
870.93/871.21	c nbDecision=494500 #constraints=63089
872.04/872.33	c nbDecision=495000 #constraints=63110
872.84/873.15	c nbDecision=495500 #constraints=63121
873.94/874.20	c nbDecision=496000 #constraints=63146
874.84/875.11	c nbDecision=496500 #constraints=63169
875.64/875.99	c nbDecision=497000 #constraints=63173
876.74/877.06	c nbDecision=497500 #constraints=63198
877.93/878.23	c nbDecision=498000 #constraints=63243
878.73/879.05	c nbDecision=498500 #constraints=63254
879.74/880.08	c nbDecision=499000 #constraints=63289
880.53/880.85	c nbDecision=499500 #constraints=63295
881.53/881.83	c nbDecision=500000 #constraints=63311
882.73/883.01	c nbDecision=500500 #constraints=63326
884.04/884.38	c nbDecision=501000 #constraints=63348
885.14/885.44	c nbDecision=501500 #constraints=63362
886.73/887.05	c nbDecision=502000 #constraints=63401
887.83/888.16	c nbDecision=502500 #constraints=63432
889.03/889.36	c nbDecision=503000 #constraints=63467
889.83/890.15	c nbDecision=503500 #constraints=63479
890.93/891.26	c nbDecision=504000 #constraints=63496
892.23/892.59	c nbDecision=504500 #constraints=63519
893.03/893.32	c nbDecision=505000 #constraints=63531
894.53/894.81	c nbDecision=505500 #constraints=63562
895.53/895.84	c nbDecision=506000 #constraints=63577
896.73/897.03	c nbDecision=506500 #constraints=63601
897.73/898.03	c nbDecision=507000 #constraints=63637
899.03/899.39	c nbDecision=507500 #constraints=63685
899.83/900.18	c nbDecision=508000 #constraints=63690
901.03/901.39	c nbDecision=508500 #constraints=63719
902.03/902.39	c nbDecision=509000 #constraints=63743
903.32/903.60	c nbDecision=509500 #constraints=63766
904.32/904.60	c nbDecision=510000 #constraints=63791
905.12/905.45	c nbDecision=510500 #constraints=63801
905.92/906.29	c nbDecision=511000 #constraints=63813
907.32/907.64	c nbDecision=511500 #constraints=63834
908.42/908.73	c nbDecision=512000 #constraints=63866
909.12/909.46	c nbDecision=512500 #constraints=63882
910.62/910.91	c nbDecision=513000 #constraints=63909
911.42/911.73	c nbDecision=513500 #constraints=63924
913.12/913.49	c nbDecision=514000 #constraints=63962
914.12/914.45	c nbDecision=514500 #constraints=63989
915.22/915.57	c nbDecision=515000 #constraints=64024
916.22/916.53	c nbDecision=515500 #constraints=64042
917.63/917.94	c nbDecision=516000 #constraints=64076
918.63/918.99	c nbDecision=516500 #constraints=64101
919.73/920.06	c nbDecision=517000 #constraints=64115
920.63/921.00	c nbDecision=517500 #constraints=64122
921.93/922.23	c nbDecision=518000 #constraints=64147
922.83/923.11	c nbDecision=518500 #constraints=64157
923.83/924.13	c nbDecision=519000 #constraints=64171
924.92/925.25	c nbDecision=519500 #constraints=64196
926.12/926.46	c nbDecision=520000 #constraints=64217
927.03/927.39	c nbDecision=520500 #constraints=64221
928.22/928.58	c nbDecision=521000 #constraints=64239
929.32/929.65	c nbDecision=521500 #constraints=64270
930.33/930.61	c nbDecision=522000 #constraints=64283
931.43/931.78	c nbDecision=522500 #constraints=64301
932.22/932.54	c nbDecision=523000 #constraints=64314
933.32/933.65	c nbDecision=523500 #constraints=64338
934.52/934.86	c nbDecision=524000 #constraints=64374
935.83/936.13	c nbDecision=524500 #constraints=64399
936.93/937.26	c nbDecision=525000 #constraints=64424
938.12/938.45	c nbDecision=525500 #constraints=64437
938.92/939.25	c nbDecision=526000 #constraints=64446
939.92/940.27	c nbDecision=526500 #constraints=64465
940.92/941.24	c nbDecision=527000 #constraints=64478
941.92/942.27	c nbDecision=527500 #constraints=64498
942.82/943.19	c nbDecision=528000 #constraints=64518
944.02/944.34	c nbDecision=528500 #constraints=64547
944.92/945.24	c nbDecision=529000 #constraints=64559
946.02/946.34	c nbDecision=529500 #constraints=64586
947.22/947.52	c nbDecision=530000 #constraints=64624
948.11/948.40	c nbDecision=530500 #constraints=64627
948.92/949.29	c nbDecision=531000 #constraints=64645
950.02/950.34	c nbDecision=531500 #constraints=64664
950.71/951.10	c nbDecision=532000 #constraints=64666
952.01/952.35	c nbDecision=532500 #constraints=64708
953.02/953.32	c nbDecision=533000 #constraints=64729
953.91/954.25	c nbDecision=533500 #constraints=64737
954.91/955.24	c nbDecision=534000 #constraints=64769
955.62/955.99	c nbDecision=534500 #constraints=64781
956.72/957.04	c nbDecision=535000 #constraints=64788
958.01/958.32	c nbDecision=535500 #constraints=64805
959.01/959.39	c nbDecision=536000 #constraints=64817
960.11/960.45	c nbDecision=536500 #constraints=64828
960.91/961.27	c nbDecision=537000 #constraints=64842
962.11/962.41	c nbDecision=537500 #constraints=64880
963.61/963.94	c nbDecision=538000 #constraints=64909
964.41/964.76	c nbDecision=538500 #constraints=64931
965.61/965.94	c nbDecision=539000 #constraints=64944
966.51/966.87	c nbDecision=539500 #constraints=64959
967.51/967.89	c nbDecision=540000 #constraints=64966
968.41/968.72	c nbDecision=540500 #constraints=64981
969.41/969.78	c nbDecision=541000 #constraints=64995
970.31/970.62	c nbDecision=541500 #constraints=65015
971.30/971.63	c nbDecision=542000 #constraints=65025
972.20/972.58	c nbDecision=542500 #constraints=65040
973.60/973.99	c nbDecision=543000 #constraints=65064
974.60/974.99	c nbDecision=543500 #constraints=65085
975.90/976.22	c nbDecision=544000 #constraints=65098
976.80/977.12	c nbDecision=544500 #constraints=65116
977.90/978.25	c nbDecision=545000 #constraints=65127
979.20/979.53	c nbDecision=545500 #constraints=65148
980.01/980.34	c nbDecision=546000 #constraints=65154
981.21/981.56	c nbDecision=546500 #constraints=65186
982.01/982.32	c nbDecision=547000 #constraints=65193
983.11/983.45	c nbDecision=547500 #constraints=65204
984.01/984.34	c nbDecision=548000 #constraints=65219
985.01/985.36	c nbDecision=548500 #constraints=65232
985.91/986.23	c nbDecision=549000 #constraints=65250
986.81/987.17	c nbDecision=549500 #constraints=65276
988.21/988.58	c nbDecision=550000 #constraints=65305
989.01/989.39	c nbDecision=550500 #constraints=65320
990.30/990.62	c nbDecision=551000 #constraints=65344
991.40/991.73	c nbDecision=551500 #constraints=65360
992.20/992.59	c nbDecision=552000 #constraints=65379
993.01/993.36	c nbDecision=552500 #constraints=65388
994.20/994.59	c nbDecision=553000 #constraints=65410
995.00/995.31	c nbDecision=553500 #constraints=65420
996.20/996.59	c nbDecision=554000 #constraints=65452
997.00/997.32	c nbDecision=554500 #constraints=65454
998.20/998.54	c nbDecision=555000 #constraints=65490
999.00/999.38	c nbDecision=555500 #constraints=65505
1000.20/1000.58	c nbDecision=556000 #constraints=65530
1001.20/1001.56	c nbDecision=556500 #constraints=65554
1002.30/1002.69	c nbDecision=557000 #constraints=65564
1003.10/1003.46	c nbDecision=557500 #constraints=65574
1004.10/1004.43	c nbDecision=558000 #constraints=65580
1004.90/1005.26	c nbDecision=558500 #constraints=65596
1006.10/1006.48	c nbDecision=559000 #constraints=65613
1006.99/1007.32	c nbDecision=559500 #constraints=65635
1008.40/1008.70	c nbDecision=560000 #constraints=65658
1009.40/1009.78	c nbDecision=560500 #constraints=65683
1010.60/1010.95	c nbDecision=561000 #constraints=65707
1011.49/1011.81	c nbDecision=561500 #constraints=65717
1012.81/1013.14	c nbDecision=562000 #constraints=65759
1013.60/1013.97	c nbDecision=562500 #constraints=65769
1014.80/1015.16	c nbDecision=563000 #constraints=65783
1015.80/1016.11	c nbDecision=563500 #constraints=65798
1016.90/1017.27	c nbDecision=564000 #constraints=65816
1017.70/1018.04	c nbDecision=564500 #constraints=65818
1018.70/1019.05	c nbDecision=565000 #constraints=65836
1019.70/1020.08	c nbDecision=565500 #constraints=65860
1020.60/1020.96	c nbDecision=566000 #constraints=65877
1022.00/1022.31	c nbDecision=566500 #constraints=65899
1022.70/1023.06	c nbDecision=567000 #constraints=65901
1023.70/1024.05	c nbDecision=567500 #constraints=65904
1024.80/1025.18	c nbDecision=568000 #constraints=65925
1025.80/1026.19	c nbDecision=568500 #constraints=65953
1026.90/1027.26	c nbDecision=569000 #constraints=65965
1027.80/1028.16	c nbDecision=569500 #constraints=65983
1028.99/1029.32	c nbDecision=570000 #constraints=65994
1029.90/1030.23	c nbDecision=570500 #constraints=66011
1030.79/1031.11	c nbDecision=571000 #constraints=66029
1032.09/1032.41	c nbDecision=571500 #constraints=66063
1032.99/1033.35	c nbDecision=572000 #constraints=66090
1035.09/1035.40	c nbDecision=572500 #constraints=66135
1036.79/1037.11	c nbDecision=573000 #constraints=66161
1038.59/1038.93	c nbDecision=573500 #constraints=66190
1040.39/1040.73	c nbDecision=574000 #constraints=66216
1042.19/1042.55	c nbDecision=574500 #constraints=66244
1043.79/1044.18	c nbDecision=575000 #constraints=66271
1045.69/1046.02	c nbDecision=575500 #constraints=66301
1047.29/1047.67	c nbDecision=576000 #constraints=66320
1048.89/1049.27	c nbDecision=576500 #constraints=66331
1050.49/1050.86	c nbDecision=577000 #constraints=66350
1052.29/1052.62	c nbDecision=577500 #constraints=66378
1053.98/1054.39	c nbDecision=578000 #constraints=66407
1055.59/1055.95	c nbDecision=578500 #constraints=66425
1057.48/1057.84	c nbDecision=579000 #constraints=66461
1058.99/1059.37	c nbDecision=579500 #constraints=66480
1060.98/1061.32	c nbDecision=580000 #constraints=66515
1062.58/1062.90	c nbDecision=580500 #constraints=66536
1064.18/1064.52	c nbDecision=581000 #constraints=66550
1065.88/1066.25	c nbDecision=581500 #constraints=66568
1067.58/1067.99	c nbDecision=582000 #constraints=66595
1069.18/1069.59	c nbDecision=582500 #constraints=66605
1070.78/1071.11	c nbDecision=583000 #constraints=66623
1072.38/1072.78	c nbDecision=583500 #constraints=66639
1074.19/1074.55	c nbDecision=584000 #constraints=66664
1075.99/1076.38	c nbDecision=584500 #constraints=66695
1077.59/1077.93	c nbDecision=585000 #constraints=66709
1079.28/1079.69	c nbDecision=585500 #constraints=66735
1081.08/1081.44	c nbDecision=586000 #constraints=66760
1082.88/1083.21	c nbDecision=586500 #constraints=66786
1084.38/1084.78	c nbDecision=587000 #constraints=66806
1086.08/1086.43	c nbDecision=587500 #constraints=66823
1087.68/1088.06	c nbDecision=588000 #constraints=66840
1089.28/1089.69	c nbDecision=588500 #constraints=66855
1090.78/1091.12	c nbDecision=589000 #constraints=66863
1092.48/1092.88	c nbDecision=589500 #constraints=66890
1094.18/1094.54	c nbDecision=590000 #constraints=66904
1095.88/1096.20	c nbDecision=590500 #constraints=66933
1097.58/1097.95	c nbDecision=591000 #constraints=66958
1099.07/1099.48	c nbDecision=591500 #constraints=66973
1100.78/1101.13	c nbDecision=592000 #constraints=66990
1102.47/1102.83	c nbDecision=592500 #constraints=67025
1104.17/1104.53	c nbDecision=593000 #constraints=67042
1105.87/1106.26	c nbDecision=593500 #constraints=67063
1107.57/1107.93	c nbDecision=594000 #constraints=67084
1109.17/1109.56	c nbDecision=594500 #constraints=67107
1110.87/1111.27	c nbDecision=595000 #constraints=67132
1112.67/1113.09	c nbDecision=595500 #constraints=67159
1114.37/1114.74	c nbDecision=596000 #constraints=67184
1115.97/1116.39	c nbDecision=596500 #constraints=67207
1117.87/1118.22	c nbDecision=597000 #constraints=67237
1119.57/1119.95	c nbDecision=597500 #constraints=67259
1121.27/1121.63	c nbDecision=598000 #constraints=67287
1122.97/1123.37	c nbDecision=598500 #constraints=67307
1124.77/1125.15	c nbDecision=599000 #constraints=67337
1126.66/1127.08	c nbDecision=599500 #constraints=67372
1128.36/1128.76	c nbDecision=600000 #constraints=67385
1130.06/1130.48	c nbDecision=600500 #constraints=67419
1131.57/1131.99	c nbDecision=601000 #constraints=67436
1133.37/1133.71	c nbDecision=601500 #constraints=67455
1135.17/1135.59	c nbDecision=602000 #constraints=67491
1136.77/1137.16	c nbDecision=602500 #constraints=67511
1138.47/1138.88	c nbDecision=603000 #constraints=67527
1140.17/1140.51	c nbDecision=603500 #constraints=67537
1141.97/1142.31	c nbDecision=604000 #constraints=67562
1143.87/1144.26	c nbDecision=604500 #constraints=67598
1145.77/1146.12	c nbDecision=605000 #constraints=67639
1147.46/1147.84	c nbDecision=605500 #constraints=67661
1149.26/1149.63	c nbDecision=606000 #constraints=67695
1150.86/1151.24	c nbDecision=606500 #constraints=67710
1152.36/1152.78	c nbDecision=607000 #constraints=67727
1154.26/1154.60	c nbDecision=607500 #constraints=67752
1156.06/1156.40	c nbDecision=608000 #constraints=67776
1157.76/1158.12	c nbDecision=608500 #constraints=67805
1159.66/1160.07	c nbDecision=609000 #constraints=67839
1161.36/1161.71	c nbDecision=609500 #constraints=67851
1163.26/1163.60	c nbDecision=610000 #constraints=67879
1164.86/1165.25	c nbDecision=610500 #constraints=67903
1166.76/1167.16	c nbDecision=611000 #constraints=67938
1168.35/1168.71	c nbDecision=611500 #constraints=67961
1169.85/1170.27	c nbDecision=612000 #constraints=67979
1171.75/1172.14	c nbDecision=612500 #constraints=68009
1173.55/1173.90	c nbDecision=613000 #constraints=68033
1175.15/1175.57	c nbDecision=613500 #constraints=68057
1176.95/1177.37	c nbDecision=614000 #constraints=68085
1178.65/1179.10	c nbDecision=614500 #constraints=68113
1180.26/1180.67	c nbDecision=615000 #constraints=68132
1182.06/1182.47	c nbDecision=615500 #constraints=68154
1183.86/1184.24	c nbDecision=616000 #constraints=68170
1185.66/1186.04	c nbDecision=616500 #constraints=68190
1187.15/1187.55	c nbDecision=617000 #constraints=68203
1188.35/1188.70	c nbDecision=617500 #constraints=68212
1189.15/1189.50	c nbDecision=618000 #constraints=68224
1190.35/1190.78	c nbDecision=618500 #constraints=68242
1191.25/1191.65	c nbDecision=619000 #constraints=68256
1192.75/1193.19	c nbDecision=619500 #constraints=68295
1193.85/1194.28	c nbDecision=620000 #constraints=68315
1195.05/1195.45	c nbDecision=620500 #constraints=68335
1196.35/1196.72	c nbDecision=621000 #constraints=68365
1197.55/1197.97	c nbDecision=621500 #constraints=68378
1198.45/1198.87	c nbDecision=622000 #constraints=68392
1199.75/1200.12	c nbDecision=622500 #constraints=68409
1200.75/1201.18	c nbDecision=623000 #constraints=68434
1201.75/1202.18	c nbDecision=623500 #constraints=68443
1202.65/1203.08	c nbDecision=624000 #constraints=68457
1203.95/1204.31	c nbDecision=624500 #constraints=68484
1204.74/1205.12	c nbDecision=625000 #constraints=68490
1206.04/1206.43	c nbDecision=625500 #constraints=68500
1207.14/1207.55	c nbDecision=626000 #constraints=68542
1208.24/1208.69	c nbDecision=626500 #constraints=68553
1209.34/1209.75	c nbDecision=627000 #constraints=68583
1210.54/1210.92	c nbDecision=627500 #constraints=68607
1211.45/1211.84	c nbDecision=628000 #constraints=68621
1213.05/1213.41	c nbDecision=628500 #constraints=68650
1214.75/1215.13	c nbDecision=629000 #constraints=68661
1216.45/1216.83	c nbDecision=629500 #constraints=68680
1218.45/1218.83	c nbDecision=630000 #constraints=68711
1220.25/1220.65	c nbDecision=630500 #constraints=68734
1221.85/1222.23	c nbDecision=631000 #constraints=68751
1223.25/1223.64	c nbDecision=631500 #constraints=68771
1224.25/1224.64	c nbDecision=632000 #constraints=68781
1225.44/1225.83	c nbDecision=632500 #constraints=68813
1226.44/1226.86	c nbDecision=633000 #constraints=68836
1227.74/1228.10	c nbDecision=633500 #constraints=68873
1228.64/1229.00	c nbDecision=634000 #constraints=68880
1229.84/1230.21	c nbDecision=634500 #constraints=68899
1230.84/1231.23	c nbDecision=635000 #constraints=68919
1231.64/1232.02	c nbDecision=635500 #constraints=68933
1232.74/1233.13	c nbDecision=636000 #constraints=68941
1233.74/1234.15	c nbDecision=636500 #constraints=68952
1234.74/1235.10	c nbDecision=637000 #constraints=68969
1235.94/1236.35	c nbDecision=637500 #constraints=68992
1237.14/1237.51	c nbDecision=638000 #constraints=69018
1238.03/1238.41	c nbDecision=638500 #constraints=69035
1239.13/1239.59	c nbDecision=639000 #constraints=69043
1240.23/1240.68	c nbDecision=639500 #constraints=69061
1241.33/1241.70	c nbDecision=640000 #constraints=69081
1242.54/1242.93	c nbDecision=640500 #constraints=69097
1243.64/1244.06	c nbDecision=641000 #constraints=69126
1244.74/1245.17	c nbDecision=641500 #constraints=69145
1245.84/1246.25	c nbDecision=642000 #constraints=69165
1246.63/1247.05	c nbDecision=642500 #constraints=69175
1247.73/1248.16	c nbDecision=643000 #constraints=69182
1248.53/1248.97	c nbDecision=643500 #constraints=69198
1249.73/1250.19	c nbDecision=644000 #constraints=69216
1251.43/1251.86	c nbDecision=644500 #constraints=69238
1253.33/1253.78	c nbDecision=645000 #constraints=69254
1255.13/1255.53	c nbDecision=645500 #constraints=69283
1256.83/1257.24	c nbDecision=646000 #constraints=69293
1258.53/1258.93	c nbDecision=646500 #constraints=69305
1260.33/1260.74	c nbDecision=647000 #constraints=69329
1262.13/1262.58	c nbDecision=647500 #constraints=69364
1264.03/1264.48	c nbDecision=648000 #constraints=69392
1265.63/1266.08	c nbDecision=648500 #constraints=69409
1267.43/1267.84	c nbDecision=649000 #constraints=69427
1269.13/1269.58	c nbDecision=649500 #constraints=69446
1270.93/1271.31	c nbDecision=650000 #constraints=69469
1272.73/1273.11	c nbDecision=650500 #constraints=69493
1274.53/1274.97	c nbDecision=651000 #constraints=69514
1276.32/1276.80	c nbDecision=651500 #constraints=69537
1278.22/1278.63	c nbDecision=652000 #constraints=69557
1280.03/1280.41	c nbDecision=652500 #constraints=69587
1281.82/1282.28	c nbDecision=653000 #constraints=69614
1283.62/1284.05	c nbDecision=653500 #constraints=69642
1285.42/1285.82	c nbDecision=654000 #constraints=69659
1287.22/1287.66	c nbDecision=654500 #constraints=69680
1288.12/1288.58	c nbDecision=655000 #constraints=69688
1289.92/1290.31	c nbDecision=655500 #constraints=69708
1290.72/1291.18	c nbDecision=656000 #constraints=69718
1292.22/1292.61	c nbDecision=656500 #constraints=69749
1293.22/1293.64	c nbDecision=657000 #constraints=69771
1294.72/1295.14	c nbDecision=657500 #constraints=69793
1295.52/1295.99	c nbDecision=658000 #constraints=69799
1296.72/1297.13	c nbDecision=658500 #constraints=69807
1297.92/1298.34	c nbDecision=659000 #constraints=69826
1299.22/1299.66	c nbDecision=659500 #constraints=69847
1300.22/1300.62	c nbDecision=660000 #constraints=69855
1301.32/1301.77	c nbDecision=660500 #constraints=69865
1302.62/1303.03	c nbDecision=661000 #constraints=69886
1303.61/1304.09	c nbDecision=661500 #constraints=69905
1304.61/1305.07	c nbDecision=662000 #constraints=69928
1305.81/1306.22	c nbDecision=662500 #constraints=69937
1306.61/1307.02	c nbDecision=663000 #constraints=69947
1308.21/1308.65	c nbDecision=663500 #constraints=69977
1310.01/1310.49	c nbDecision=664000 #constraints=70016
1312.32/1312.70	c nbDecision=664500 #constraints=70079
1314.22/1314.67	c nbDecision=665000 #constraints=70128
1316.22/1316.62	c nbDecision=665500 #constraints=70173
1318.01/1318.48	c nbDecision=666000 #constraints=70216
1319.81/1320.22	c nbDecision=666500 #constraints=70247
1321.41/1321.89	c nbDecision=667000 #constraints=70270
1323.31/1323.75	c nbDecision=667500 #constraints=70301
1325.11/1325.52	c nbDecision=668000 #constraints=70342
1326.71/1327.19	c nbDecision=668500 #constraints=70372
1328.41/1328.85	c nbDecision=669000 #constraints=70401
1330.41/1330.87	c nbDecision=669500 #constraints=70454
1332.20/1332.60	c nbDecision=670000 #constraints=70491
1333.81/1334.22	c nbDecision=670500 #constraints=70514
1335.40/1335.83	c nbDecision=671000 #constraints=70535
1337.30/1337.72	c nbDecision=671500 #constraints=70566
1339.10/1339.58	c nbDecision=672000 #constraints=70603
1340.80/1341.21	c nbDecision=672500 #constraints=70623
1342.50/1342.91	c nbDecision=673000 #constraints=70654
1344.40/1344.85	c nbDecision=673500 #constraints=70698
1346.20/1346.61	c nbDecision=674000 #constraints=70731
1348.20/1348.63	c nbDecision=674500 #constraints=70786
1350.01/1350.45	c nbDecision=675000 #constraints=70823
1351.71/1352.10	c nbDecision=675500 #constraints=70850
1353.61/1354.07	c nbDecision=676000 #constraints=70885
1355.41/1355.81	c nbDecision=676500 #constraints=70916
1357.20/1357.60	c nbDecision=677000 #constraints=70941
1358.90/1359.38	c nbDecision=677500 #constraints=70974
1360.70/1361.17	c nbDecision=678000 #constraints=71005
1362.51/1362.98	c nbDecision=678500 #constraints=71031
1364.10/1364.59	c nbDecision=679000 #constraints=71049
1366.10/1366.51	c nbDecision=679500 #constraints=71091
1368.00/1368.45	c nbDecision=680000 #constraints=71127
1369.70/1370.14	c nbDecision=680500 #constraints=71156
1370.80/1371.25	c nbDecision=681000 #constraints=71165
1372.10/1372.57	c nbDecision=681500 #constraints=71180
1373.00/1373.44	c nbDecision=682000 #constraints=71191
1374.20/1374.61	c nbDecision=682500 #constraints=71203
1375.10/1375.59	c nbDecision=683000 #constraints=71228
1376.60/1377.07	c nbDecision=683500 #constraints=71237
1377.50/1377.94	c nbDecision=684000 #constraints=71247
1378.60/1379.05	c nbDecision=684500 #constraints=71257
1379.59/1380.08	c nbDecision=685000 #constraints=71271
1380.70/1381.17	c nbDecision=685500 #constraints=71286
1381.69/1382.17	c nbDecision=686000 #constraints=71297
1382.89/1383.36	c nbDecision=686500 #constraints=71303
1383.79/1384.27	c nbDecision=687000 #constraints=71313
1385.09/1385.54	c nbDecision=687500 #constraints=71323
1386.09/1386.55	c nbDecision=688000 #constraints=71338
1387.39/1387.81	c nbDecision=688500 #constraints=71348
1388.29/1388.72	c nbDecision=689000 #constraints=71368
1389.59/1390.08	c nbDecision=689500 #constraints=71382
1390.59/1391.06	c nbDecision=690000 #constraints=71404
1391.80/1392.22	c nbDecision=690500 #constraints=71420
1392.70/1393.14	c nbDecision=691000 #constraints=71428
1393.90/1394.32	c nbDecision=691500 #constraints=71453
1395.00/1395.44	c nbDecision=692000 #constraints=71463
1396.29/1396.71	c nbDecision=692500 #constraints=71477
1397.29/1397.78	c nbDecision=693000 #constraints=71495
1398.09/1398.50	c nbDecision=693500 #constraints=71498
1399.29/1399.73	c nbDecision=694000 #constraints=71508
1400.39/1400.85	c nbDecision=694500 #constraints=71521
1401.49/1401.92	c nbDecision=695000 #constraints=71539
1402.59/1403.03	c nbDecision=695500 #constraints=71557
1403.59/1404.04	c nbDecision=696000 #constraints=71570
1404.99/1405.43	c nbDecision=696500 #constraints=71594
1405.89/1406.39	c nbDecision=697000 #constraints=71608
1406.99/1407.47	c nbDecision=697500 #constraints=71620
1408.09/1408.53	c nbDecision=698000 #constraints=71658
1408.99/1409.42	c nbDecision=698500 #constraints=71664
1410.29/1410.79	c nbDecision=699000 #constraints=71680
1411.29/1411.70	c nbDecision=699500 #constraints=71687
1412.59/1413.00	c nbDecision=700000 #constraints=71703
1413.48/1413.95	c nbDecision=700500 #constraints=71710
1414.68/1415.11	c nbDecision=701000 #constraints=71718
1415.68/1416.16	c nbDecision=701500 #constraints=71730
1416.78/1417.25	c nbDecision=702000 #constraints=71746
1417.68/1418.12	c nbDecision=702500 #constraints=71752
1418.88/1419.37	c nbDecision=703000 #constraints=71773
1419.78/1420.24	c nbDecision=703500 #constraints=71778
1421.18/1421.62	c nbDecision=704000 #constraints=71800
1421.98/1422.49	c nbDecision=704500 #constraints=71805
1423.28/1423.70	c nbDecision=705000 #constraints=71822
1424.18/1424.69	c nbDecision=705500 #constraints=71845
1425.48/1425.96	c nbDecision=706000 #constraints=71867
1426.38/1426.89	c nbDecision=706500 #constraints=71877
1427.98/1428.48	c nbDecision=707000 #constraints=71892
1429.18/1429.69	c nbDecision=707500 #constraints=71903
1430.18/1430.63	c nbDecision=708000 #constraints=71911
1431.38/1431.84	c nbDecision=708500 #constraints=71926
1432.28/1432.73	c nbDecision=709000 #constraints=71930
1433.58/1434.06	c nbDecision=709500 #constraints=71949
1434.68/1435.17	c nbDecision=710000 #constraints=71966
1435.88/1436.32	c nbDecision=710500 #constraints=71987
1436.88/1437.34	c nbDecision=711000 #constraints=71994
1438.18/1438.65	c nbDecision=711500 #constraints=72002
1439.18/1439.65	c nbDecision=712000 #constraints=72009
1440.48/1440.98	c nbDecision=712500 #constraints=72033
1441.38/1441.82	c nbDecision=713000 #constraints=72046
1442.58/1443.00	c nbDecision=713500 #constraints=72067
1443.37/1443.85	c nbDecision=714000 #constraints=72071
1444.67/1445.18	c nbDecision=714500 #constraints=72080
1445.87/1446.31	c nbDecision=715000 #constraints=72090
1446.97/1447.49	c nbDecision=715500 #constraints=72105
1448.18/1448.62	c nbDecision=716000 #constraints=72121
1449.47/1449.92	c nbDecision=716500 #constraints=72137
1450.38/1450.87	c nbDecision=717000 #constraints=72153
1451.58/1452.09	c nbDecision=717500 #constraints=72163
1452.47/1452.94	c nbDecision=718000 #constraints=72173
1453.67/1454.16	c nbDecision=718500 #constraints=72184
1454.47/1454.98	c nbDecision=719000 #constraints=72191
1456.07/1456.59	c nbDecision=719500 #constraints=72218
1456.97/1457.46	c nbDecision=720000 #constraints=72233
1458.37/1458.87	c nbDecision=720500 #constraints=72248
1459.67/1460.11	c nbDecision=721000 #constraints=72261
1460.57/1461.09	c nbDecision=721500 #constraints=72264
1461.67/1462.10	c nbDecision=722000 #constraints=72270
1462.67/1463.13	c nbDecision=722500 #constraints=72289
1463.77/1464.20	c nbDecision=723000 #constraints=72318
1465.07/1465.56	c nbDecision=723500 #constraints=72336
1465.87/1466.40	c nbDecision=724000 #constraints=72352
1467.17/1467.62	c nbDecision=724500 #constraints=72362
1467.97/1468.48	c nbDecision=725000 #constraints=72373
1469.36/1469.85	c nbDecision=725500 #constraints=72389
1470.27/1470.79	c nbDecision=726000 #constraints=72406
1471.66/1472.17	c nbDecision=726500 #constraints=72427
1472.76/1473.28	c nbDecision=727000 #constraints=72437
1473.96/1474.42	c nbDecision=727500 #constraints=72461
1474.96/1475.47	c nbDecision=728000 #constraints=72477
1475.86/1476.32	c nbDecision=728500 #constraints=72478
1477.26/1477.78	c nbDecision=729000 #constraints=72500
1478.56/1479.03	c nbDecision=729500 #constraints=72517
1479.66/1480.14	c nbDecision=730000 #constraints=72530
1480.86/1481.35	c nbDecision=730500 #constraints=72546
1482.16/1482.63	c nbDecision=731000 #constraints=72556
1483.16/1483.67	c nbDecision=731500 #constraints=72572
1483.96/1484.48	c nbDecision=732000 #constraints=72577
1485.26/1485.76	c nbDecision=732500 #constraints=72586
1486.36/1486.86	c nbDecision=733000 #constraints=72595
1487.47/1487.95	c nbDecision=733500 #constraints=72616
1488.17/1488.67	c nbDecision=734000 #constraints=72626
1489.67/1490.17	c nbDecision=734500 #constraints=72646
1490.46/1490.96	c nbDecision=735000 #constraints=72651
1491.76/1492.21	c nbDecision=735500 #constraints=72670
1492.76/1493.27	c nbDecision=736000 #constraints=72687
1494.06/1494.52	c nbDecision=736500 #constraints=72715
1494.96/1495.47	c nbDecision=737000 #constraints=72724
1496.26/1496.72	c nbDecision=737500 #constraints=72741
1497.16/1497.60	c nbDecision=738000 #constraints=72745
1498.26/1498.73	c nbDecision=738500 #constraints=72762
1499.46/1499.92	c nbDecision=739000 #constraints=72784
1500.66/1501.19	c nbDecision=739500 #constraints=72796
1501.76/1502.24	c nbDecision=740000 #constraints=72809
1502.96/1503.48	c nbDecision=740500 #constraints=72824
1503.86/1504.35	c nbDecision=741000 #constraints=72829
1505.06/1505.55	c nbDecision=741500 #constraints=72846
1505.86/1506.36	c nbDecision=742000 #constraints=72855
1507.15/1507.60	c nbDecision=742500 #constraints=72872
1507.95/1508.41	c nbDecision=743000 #constraints=72874
1509.36/1509.82	c nbDecision=743500 #constraints=72898
1510.45/1510.93	c nbDecision=744000 #constraints=72919
1511.96/1512.48	c nbDecision=744500 #constraints=72947
1512.85/1513.32	c nbDecision=745000 #constraints=72954
1514.16/1514.66	c nbDecision=745500 #constraints=72969
1515.26/1515.72	c nbDecision=746000 #constraints=72981
1516.35/1516.86	c nbDecision=746500 #constraints=72997
1517.45/1517.98	c nbDecision=747000 #constraints=73021
1518.65/1519.17	c nbDecision=747500 #constraints=73029
1519.65/1520.18	c nbDecision=748000 #constraints=73041
1520.85/1521.37	c nbDecision=748500 #constraints=73057
1521.85/1522.31	c nbDecision=749000 #constraints=73066
1523.05/1523.55	c nbDecision=749500 #constraints=73084
1523.95/1524.49	c nbDecision=750000 #constraints=73094
1525.25/1525.79	c nbDecision=750500 #constraints=73117
1526.15/1526.62	c nbDecision=751000 #constraints=73127
1527.25/1527.72	c nbDecision=751500 #constraints=73133
1528.35/1528.81	c nbDecision=752000 #constraints=73154
1529.45/1529.98	c nbDecision=752500 #constraints=73168
1530.76/1531.21	c nbDecision=753000 #constraints=73188
1532.15/1532.62	c nbDecision=753500 #constraints=73209
1533.05/1533.50	c nbDecision=754000 #constraints=73212
1534.15/1534.69	c nbDecision=754500 #constraints=73222
1535.25/1535.71	c nbDecision=755000 #constraints=73232
1536.45/1536.99	c nbDecision=755500 #constraints=73246
1537.65/1538.13	c nbDecision=756000 #constraints=73276
1538.75/1539.23	c nbDecision=756500 #constraints=73280
1539.55/1540.07	c nbDecision=757000 #constraints=73285
1540.85/1541.39	c nbDecision=757500 #constraints=73295
1541.65/1542.15	c nbDecision=758000 #constraints=73296
1542.85/1543.31	c nbDecision=758500 #constraints=73311
1543.75/1544.23	c nbDecision=759000 #constraints=73317
1544.85/1545.32	c nbDecision=759500 #constraints=73323
1545.85/1546.31	c nbDecision=760000 #constraints=73336
1546.94/1547.48	c nbDecision=760500 #constraints=73353
1547.94/1548.42	c nbDecision=761000 #constraints=73363
1549.04/1549.50	c nbDecision=761500 #constraints=73380
1549.94/1550.48	c nbDecision=762000 #constraints=73395
1550.94/1551.46	c nbDecision=762500 #constraints=73400
1552.04/1552.52	c nbDecision=763000 #constraints=73410
1553.04/1553.54	c nbDecision=763500 #constraints=73416
1554.04/1554.57	c nbDecision=764000 #constraints=73429
1555.34/1555.81	c nbDecision=764500 #constraints=73444
1556.14/1556.61	c nbDecision=765000 #constraints=73445
1557.74/1558.21	c nbDecision=765500 #constraints=73463
1559.04/1559.59	c nbDecision=766000 #constraints=73488
1560.44/1560.94	c nbDecision=766500 #constraints=73501
1561.44/1561.94	c nbDecision=767000 #constraints=73516
1562.84/1563.37	c nbDecision=767500 #constraints=73539
1563.74/1564.27	c nbDecision=768000 #constraints=73547
1565.03/1565.54	c nbDecision=768500 #constraints=73561
1566.03/1566.59	c nbDecision=769000 #constraints=73569
1567.23/1567.79	c nbDecision=769500 #constraints=73579
1568.14/1568.63	c nbDecision=770000 #constraints=73586
1569.43/1570.00	c nbDecision=770500 #constraints=73599
1570.63/1571.11	c nbDecision=771000 #constraints=73619
1571.84/1572.38	c nbDecision=771500 #constraints=73640
1572.74/1573.22	c nbDecision=772000 #constraints=73648
1573.84/1574.36	c nbDecision=772500 #constraints=73666
1575.14/1575.65	c nbDecision=773000 #constraints=73683
1576.54/1577.04	c nbDecision=773500 #constraints=73705
1577.54/1578.01	c nbDecision=774000 #constraints=73714
1578.84/1579.34	c nbDecision=774500 #constraints=73730
1579.74/1580.30	c nbDecision=775000 #constraints=73735
1580.94/1581.46	c nbDecision=775500 #constraints=73744
1581.94/1582.47	c nbDecision=776000 #constraints=73756
1583.33/1583.81	c nbDecision=776500 #constraints=73774
1584.33/1584.82	c nbDecision=777000 #constraints=73793
1585.53/1586.02	c nbDecision=777500 #constraints=73815
1586.53/1587.06	c nbDecision=778000 #constraints=73833
1587.73/1588.24	c nbDecision=778500 #constraints=73857
1589.04/1589.51	c nbDecision=779000 #constraints=73869
1589.83/1590.38	c nbDecision=779500 #constraints=73879
1591.24/1591.71	c nbDecision=780000 #constraints=73887
1592.03/1592.51	c nbDecision=780500 #constraints=73893
1593.23/1593.70	c nbDecision=781000 #constraints=73908
1594.13/1594.68	c nbDecision=781500 #constraints=73924
1595.33/1595.89	c nbDecision=782000 #constraints=73936
1596.33/1596.81	c nbDecision=782500 #constraints=73948
1597.93/1598.44	c nbDecision=783000 #constraints=73965
1599.83/1600.35	c nbDecision=783500 #constraints=74002
1601.93/1602.46	c nbDecision=784000 #constraints=74052
1603.53/1604.02	c nbDecision=784500 #constraints=74064
1605.22/1605.71	c nbDecision=785000 #constraints=74085
1606.93/1607.49	c nbDecision=785500 #constraints=74104
1608.63/1609.15	c nbDecision=786000 #constraints=74120
1610.63/1611.10	c nbDecision=786500 #constraints=74152
1612.53/1613.07	c nbDecision=787000 #constraints=74198
1613.83/1614.39	c nbDecision=787500 #constraints=74213
1615.03/1615.58	c nbDecision=788000 #constraints=74224
1616.23/1616.70	c nbDecision=788500 #constraints=74232
1617.23/1617.78	c nbDecision=789000 #constraints=74250
1618.33/1618.87	c nbDecision=789500 #constraints=74254
1619.33/1619.82	c nbDecision=790000 #constraints=74266
1620.33/1620.86	c nbDecision=790500 #constraints=74270
1621.33/1621.84	c nbDecision=791000 #constraints=74288
1622.13/1622.69	c nbDecision=791500 #constraints=74300
1623.63/1624.17	c nbDecision=792000 #constraints=74334
1624.53/1625.06	c nbDecision=792500 #constraints=74336
1625.63/1626.13	c nbDecision=793000 #constraints=74349
1626.82/1627.34	c nbDecision=793500 #constraints=74366
1628.42/1628.93	c nbDecision=794000 #constraints=74389
1629.42/1629.95	c nbDecision=794500 #constraints=74393
1630.83/1631.32	c nbDecision=795000 #constraints=74401
1631.72/1632.28	c nbDecision=795500 #constraints=74413
1632.92/1633.47	c nbDecision=796000 #constraints=74425
1634.02/1634.54	c nbDecision=796500 #constraints=74442
1635.32/1635.89	c nbDecision=797000 #constraints=74478
1636.42/1636.91	c nbDecision=797500 #constraints=74494
1637.52/1638.06	c nbDecision=798000 #constraints=74501
1638.42/1638.95	c nbDecision=798500 #constraints=74503
1639.62/1640.16	c nbDecision=799000 #constraints=74508
1640.51/1641.05	c nbDecision=799500 #constraints=74510
1641.72/1642.26	c nbDecision=800000 #constraints=74520
1642.71/1643.25	c nbDecision=800500 #constraints=74533
1644.02/1644.50	c nbDecision=801000 #constraints=74543
1644.91/1645.49	c nbDecision=801500 #constraints=74555
1646.22/1646.78	c nbDecision=802000 #constraints=74576
1647.22/1647.77	c nbDecision=802500 #constraints=74592
1648.51/1649.06	c nbDecision=803000 #constraints=74603
1649.52/1650.04	c nbDecision=803500 #constraints=74618
1650.81/1651.30	c nbDecision=804000 #constraints=74637
1651.71/1652.29	c nbDecision=804500 #constraints=74654
1653.01/1653.51	c nbDecision=805000 #constraints=74658
1654.11/1654.64	c nbDecision=805500 #constraints=74668
1655.11/1655.60	c nbDecision=806000 #constraints=74675
1656.01/1656.55	c nbDecision=806500 #constraints=74691
1657.11/1657.66	c nbDecision=807000 #constraints=74694
1658.01/1658.57	c nbDecision=807500 #constraints=74701
1659.31/1659.80	c nbDecision=808000 #constraints=74714
1660.51/1661.09	c nbDecision=808500 #constraints=74731
1661.91/1662.44	c nbDecision=809000 #constraints=74750
1662.81/1663.38	c nbDecision=809500 #constraints=74757
1664.31/1664.84	c nbDecision=810000 #constraints=74769
1665.31/1665.88	c nbDecision=810500 #constraints=74790
1666.71/1667.20	c nbDecision=811000 #constraints=74808
1667.60/1668.14	c nbDecision=811500 #constraints=74815
1668.80/1669.37	c nbDecision=812000 #constraints=74824
1669.70/1670.27	c nbDecision=812500 #constraints=74832
1671.00/1671.58	c nbDecision=813000 #constraints=74857
1672.10/1672.65	c nbDecision=813500 #constraints=74874
1673.30/1673.83	c nbDecision=814000 #constraints=74888
1674.30/1674.85	c nbDecision=814500 #constraints=74905
1675.50/1676.07	c nbDecision=815000 #constraints=74925
1676.50/1677.00	c nbDecision=815500 #constraints=74929
1677.50/1678.09	c nbDecision=816000 #constraints=74937
1678.50/1679.00	c nbDecision=816500 #constraints=74947
1679.60/1680.19	c nbDecision=817000 #constraints=74950
1680.80/1681.32	c nbDecision=817500 #constraints=74957
1681.70/1682.25	c nbDecision=818000 #constraints=74959
1682.90/1683.47	c nbDecision=818500 #constraints=74966
1683.80/1684.33	c nbDecision=819000 #constraints=74981
1684.30/1684.84	c restart after 819201 decisions
1686.20/1686.71	c nbDecision=819500 #constraints=75024
1688.01/1688.54	c nbDecision=820000 #constraints=75096
1689.70/1690.24	c nbDecision=820500 #constraints=75144
1691.80/1692.34	c nbDecision=821000 #constraints=75233
1693.30/1693.87	c nbDecision=821500 #constraints=75293
1695.00/1695.57	c nbDecision=822000 #constraints=75324
1696.40/1696.91	c nbDecision=822500 #constraints=75367
1698.20/1698.74	c nbDecision=823000 #constraints=75426
1699.90/1700.47	c nbDecision=823500 #constraints=75491
1701.50/1702.01	c nbDecision=824000 #constraints=75540
1703.30/1703.85	c nbDecision=824500 #constraints=75583
1704.90/1705.43	c nbDecision=825000 #constraints=75630
1706.10/1706.69	c nbDecision=825500 #constraints=75654
1707.39/1707.94	c nbDecision=826000 #constraints=75689
1708.69/1709.24	c nbDecision=826500 #constraints=75708
1710.29/1710.80	c nbDecision=827000 #constraints=75748
1711.59/1712.18	c nbDecision=827500 #constraints=75778
1713.49/1714.03	c nbDecision=828000 #constraints=75819
1714.99/1715.58	c nbDecision=828500 #constraints=75861
1716.39/1716.94	c nbDecision=829000 #constraints=75881
1717.69/1718.24	c nbDecision=829500 #constraints=75907
1719.09/1719.62	c nbDecision=830000 #constraints=75932
1720.39/1721.00	c nbDecision=830500 #constraints=75960
1721.69/1722.27	c nbDecision=831000 #constraints=75982
1723.09/1723.69	c nbDecision=831500 #constraints=76017
1724.49/1725.08	c nbDecision=832000 #constraints=76046
1725.99/1726.54	c nbDecision=832500 #constraints=76058
1727.19/1727.76	c nbDecision=833000 #constraints=76085
1728.59/1729.14	c nbDecision=833500 #constraints=76112
1730.19/1730.75	c nbDecision=834000 #constraints=76144
1731.68/1732.22	c nbDecision=834500 #constraints=76172
1732.78/1733.36	c nbDecision=835000 #constraints=76184
1734.19/1734.77	c nbDecision=835500 #constraints=76208
1735.29/1735.82	c nbDecision=836000 #constraints=76217
1736.58/1737.18	c nbDecision=836500 #constraints=76239
1737.78/1738.32	c nbDecision=837000 #constraints=76258
1739.08/1739.61	c nbDecision=837500 #constraints=76273
1740.28/1740.81	c nbDecision=838000 #constraints=76309
1741.28/1741.88	c nbDecision=838500 #constraints=76325
1742.68/1743.27	c nbDecision=839000 #constraints=76349
1743.88/1744.49	c nbDecision=839500 #constraints=76378
1745.09/1745.69	c nbDecision=840000 #constraints=76397
1746.58/1747.13	c nbDecision=840500 #constraints=76436
1748.28/1748.90	c nbDecision=841000 #constraints=76476
1749.68/1750.29	c nbDecision=841500 #constraints=76509
1751.08/1751.61	c nbDecision=842000 #constraints=76532
1752.18/1752.78	c nbDecision=842500 #constraints=76564
1753.28/1753.83	c nbDecision=843000 #constraints=76585
1754.78/1755.37	c nbDecision=843500 #constraints=76607
1756.18/1756.73	c nbDecision=844000 #constraints=76649
1757.78/1758.36	c nbDecision=844500 #constraints=76684
1758.98/1759.59	c nbDecision=845000 #constraints=76713
1760.38/1760.93	c nbDecision=845500 #constraints=76735
1761.68/1762.23	c nbDecision=846000 #constraints=76758
1763.08/1763.66	c nbDecision=846500 #constraints=76792
1764.38/1764.92	c nbDecision=847000 #constraints=76823
1765.28/1765.84	c nbDecision=847500 #constraints=76836
1766.67/1767.24	c nbDecision=848000 #constraints=76851
1767.67/1768.25	c nbDecision=848500 #constraints=76860
1768.87/1769.47	c nbDecision=849000 #constraints=76869
1769.77/1770.36	c nbDecision=849500 #constraints=76878
1770.97/1771.59	c nbDecision=850000 #constraints=76892
1772.27/1772.81	c nbDecision=850500 #constraints=76915
1773.67/1774.24	c nbDecision=851000 #constraints=76949
1774.77/1775.37	c nbDecision=851500 #constraints=76968
1776.17/1776.76	c nbDecision=852000 #constraints=77000
1777.27/1777.86	c nbDecision=852500 #constraints=77018
1778.57/1779.10	c nbDecision=853000 #constraints=77040
1779.77/1780.39	c nbDecision=853500 #constraints=77072
1780.87/1781.48	c nbDecision=854000 #constraints=77087
1782.37/1782.94	c nbDecision=854500 #constraints=77104
1783.57/1784.16	c nbDecision=855000 #constraints=77115
1785.06/1785.62	c nbDecision=855500 #constraints=77149
1785.96/1786.57	c nbDecision=856000 #constraints=77169
1787.47/1788.01	c nbDecision=856500 #constraints=77186
1788.47/1789.05	c nbDecision=857000 #constraints=77206
1789.87/1790.47	c nbDecision=857500 #constraints=77231
1790.87/1791.48	c nbDecision=858000 #constraints=77245
1792.27/1792.80	c nbDecision=858500 #constraints=77255
1793.67/1794.28	c nbDecision=859000 #constraints=77299
1795.17/1795.72	c nbDecision=859500 #constraints=77324
1796.17/1796.78	c nbDecision=860000 #constraints=77341
1797.57/1798.14	c nbDecision=860500 #constraints=77366
1798.87/1799.45	c nbDecision=861000 #constraints=77381
1800.07/1800.61	Received signal 15
1800.17/1800.79	
1800.17/1800.79	s UNKNOWN
1800.17/1800.79	
1800.17/1800.79	c user time= 1799.6 s
1800.17/1800.79	c system time= 0.664898 s
1800.17/1800.79	c wall clock time=1800.79

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-357031-1176852238 -o ROOT/results/node41/solver-357031-1176852238 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.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: 1.00 1.00 1.00 3/77 5326
/proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=1620 CPUtime=0
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 133135682 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 405 175 126 317 0 84 0

[startup+0.0497841 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 5326
/proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=2300 CPUtime=0.04
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 405 0 0 0 4 0 0 0 18 0 1 0 133135682 2355200 354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 575 355 131 317 0 254 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2300

[startup+0.101789 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 5326
/proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=3364 CPUtime=0.09
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 659 0 0 0 9 0 0 0 18 0 1 0 133135682 3444736 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 841 609 131 317 0 520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3364

[startup+0.301805 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 5326
/proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=6976 CPUtime=0.29
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 1558 0 0 0 29 0 0 0 19 0 1 0 133135682 7143424 1507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 1744 1507 137 317 0 1423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6976

[startup+0.70184 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 5326
/proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=7492 CPUtime=0.69
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 1681 0 0 0 69 0 0 0 22 0 1 0 133135682 7671808 1630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 1873 1630 139 317 0 1552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7492

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1736064/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=8772 CPUtime=1.49
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 2002 0 0 0 149 0 0 0 25 0 1 0 133135682 8982528 1951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 2193 1951 139 317 0 1872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8772

[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1733824/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=12468 CPUtime=3.09
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 2945 0 0 0 308 1 0 0 25 0 1 0 133135682 12767232 2894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 3117 2894 170 317 0 2796 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12468

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1727104/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=17852 CPUtime=6.29
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 4324 0 0 0 627 2 0 0 25 0 1 0 133135682 18280448 4273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 4463 4273 170 317 0 4142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17852

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1719168/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=25132 CPUtime=12.69
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 6157 0 0 0 1265 4 0 0 25 0 1 0 133135682 25735168 6063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 6283 6063 170 317 0 5962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25132

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1708608/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=35880 CPUtime=25.49
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 8873 0 0 0 2542 7 0 0 25 0 1 0 133135682 36741120 8694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 8970 8694 170 317 0 8649 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35880

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1694528/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=49492 CPUtime=51.07
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 12310 0 0 0 5097 10 0 0 25 0 1 0 133135682 50679808 12131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 12373 12131 170 317 0 12052 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49492

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1675968/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=68296 CPUtime=102.27
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 16911 0 0 0 10212 15 0 0 25 0 1 0 133135682 69935104 16732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 17074 16732 170 317 0 16753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 68296

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1663488/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=81420 CPUtime=162.25
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 20206 0 0 0 16206 19 0 0 25 0 1 0 133135682 83374080 19857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 20355 19857 170 317 0 20034 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81420

[startup+222.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 5327
/proc/meminfo: memFree=1650560/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=93936 CPUtime=222.23
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 23433 0 0 0 22200 23 0 0 25 0 1 0 133135682 96190464 23084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 23484 23084 170 317 0 23163 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93936

[startup+282.301 s]
/proc/loadavg: 1.09 1.04 1.01 2/78 5327
/proc/meminfo: memFree=1637568/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=107212 CPUtime=282.21
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 26779 0 0 0 28194 27 0 0 25 0 1 0 133135682 109785088 26397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 26803 26397 170 317 0 26482 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 107212

[startup+342.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 5327
/proc/meminfo: memFree=1627648/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=117024 CPUtime=342.19
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 29209 0 0 0 34190 29 0 0 25 0 1 0 133135682 119832576 28827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 29256 28827 170 317 0 28935 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 117024

[startup+402.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 5327
/proc/meminfo: memFree=1613440/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=131536 CPUtime=402.17
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 32733 0 0 0 40184 33 0 0 25 0 1 0 133135682 134692864 32351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 32884 32351 170 317 0 32563 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 131536

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 5327
/proc/meminfo: memFree=1603200/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=143024 CPUtime=462.15
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 35569 0 0 0 46180 35 0 0 25 0 1 0 133135682 146456576 34849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 35756 34849 170 317 0 35435 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 143024

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 5327
/proc/meminfo: memFree=1596736/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=149508 CPUtime=522.12
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 37267 0 0 0 52175 37 0 0 25 0 1 0 133135682 153096192 36547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 37377 36547 170 317 0 37056 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 149508

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1588800/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=158564 CPUtime=582.11
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 39225 0 0 0 58172 39 0 0 25 0 1 0 133135682 162369536 38505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 39641 38505 170 317 0 39320 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 158564

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5327
/proc/meminfo: memFree=1582464/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=165276 CPUtime=642.1
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 40806 0 0 0 64169 41 0 0 25 0 1 0 133135682 169242624 40086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 41319 40086 170 317 0 40998 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 165276


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1565760/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=182336 CPUtime=882.03
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 44966 0 0 0 88155 48 0 0 25 0 1 0 133135682 186712064 44246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 45584 44246 170 317 0 45263 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 182336

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1562816/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=185272 CPUtime=942.02
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 45710 0 0 0 94153 49 0 0 25 0 1 0 133135682 189718528 44990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 46318 44990 170 317 0 45997 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 185272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1559744/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=188408 CPUtime=1002
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 46483 0 0 0 100150 50 0 0 25 0 1 0 133135682 192929792 45698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 47102 45698 170 317 0 46781 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 188408

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1556992/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=191520 CPUtime=1061.98
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 47221 0 0 0 106147 51 0 0 25 0 1 0 133135682 196116480 46436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 47880 46436 170 317 0 47559 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 191520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1554816/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=193824 CPUtime=1121.97
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 47777 0 0 0 112145 52 0 0 25 0 1 0 133135682 198475776 46992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 48456 46992 170 317 0 48135 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 193824

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1552576/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=195948 CPUtime=1181.96
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 48331 0 0 0 118142 54 0 0 25 0 1 0 133135682 200650752 47546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 48987 47546 170 317 0 48666 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 195948

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1550080/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=198332 CPUtime=1241.93
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 48942 0 0 0 124138 55 0 0 25 0 1 0 133135682 203091968 48157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 49583 48157 170 317 0 49262 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 198332

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1548288/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=200188 CPUtime=1301.92
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 49394 0 0 0 130136 56 0 0 25 0 1 0 133135682 204992512 48609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 50047 48609 170 317 0 49726 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 200188

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1544192/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=204188 CPUtime=1361.9
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 50405 0 0 0 136132 58 0 0 25 0 1 0 133135682 209088512 49620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 51047 49620 170 317 0 50726 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 204188

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1541696/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=206704 CPUtime=1421.89
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51049 0 0 0 142130 59 0 0 25 0 1 0 133135682 211664896 50264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 51676 50264 170 317 0 51355 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 206704

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1539904/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=208552 CPUtime=1481.86
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51506 0 0 0 148127 59 0 0 25 0 1 0 133135682 213557248 50721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 52138 50721 170 317 0 51817 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 208552

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1538240/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=210116 CPUtime=1541.85
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51934 0 0 0 154124 61 0 0 25 0 1 0 133135682 215158784 51149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 52529 51149 170 317 0 52208 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 210116

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1536128/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=211956 CPUtime=1601.83
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 52460 0 0 0 160121 62 0 0 25 0 1 0 133135682 217042944 51675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 52989 51675 170 317 0 52668 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 211956

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1534336/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=213652 CPUtime=1661.81
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 52916 0 0 0 166118 63 0 0 25 0 1 0 133135682 218779648 52131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 53413 52131 170 317 0 53092 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 213652

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1530752/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=217668 CPUtime=1721.79
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 53823 0 0 0 172115 64 0 0 25 0 1 0 133135682 222892032 53038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 54417 53038 170 317 0 54096 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 217668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5329
/proc/meminfo: memFree=1527808/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=220664 CPUtime=1781.77
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54545 0 0 0 178112 65 0 0 25 0 1 0 133135682 225959936 53760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 55166 53760 170 317 0 54845 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 220664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 5329
/proc/meminfo: memFree=1526976/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=221320 CPUtime=1800.07
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54740 0 0 0 179941 66 0 0 25 0 1 0 133135682 226631680 53955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 55330 53955 170 317 0 55009 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 221320

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 5329
/proc/meminfo: memFree=1526976/2055920 swapFree=4184436/4192956
[pid=5326] ppid=5324 vsize=218616 CPUtime=1800.26
/proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54756 0 0 0 179960 66 0 0 25 0 1 0 133135682 223862784 53441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266212 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5326/statm: 54654 53441 186 317 0 54333 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 218616

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.32
CPU user time (s): 1799.62
CPU system time (s): 0.701893
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 221320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.701893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54756
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= 4068

runsolver used 2.10568 second user time and 4.53031 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue Apr 17 23:23:58 UTC 2007

IDJOB= 357031
IDBENCH= 1796
IDSOLVER= 172
FILE ID= node41/357031-1176852238

PBS_JOBID= 4590196

Free space on /tmp= 66498 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-o.opb
COMMAND LINE= oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-357031-1176852238 -o ROOT/results/node41/solver-357031-1176852238 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  2ee0b4368a56ab3fadfc3737456bcd30

RANDOM SEED= 583496356

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1742944 kB
Buffers:         28268 kB
Cached:          99720 kB
SwapCached:       2980 kB
Active:          75000 kB
Inactive:       184880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742944 kB
SwapTotal:     4192956 kB
SwapFree:      4184436 kB
Dirty:            1988 kB
Writeback:           0 kB
Mapped:         146456 kB
Slab:            38300 kB
Committed_AS:  2556988 kB
PageTables:       2012 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= 66498 MiB

End job on node41 on Tue Apr 17 23:54:01 UTC 2007