Trace number 356971

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.28 1800.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
MD5SUM7a90d6f729b5a7cbedbc2000a888cf36
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables46097
Total number of constraints1706
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1706
Minimum length of a constraint13
Maximum length of a constraint1432
Number of terms in the objective function 2309
Biggest coefficient in the objective function 19879
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525883
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525883
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.59/0.60	c ...done
0.59/0.60	c #vars=46097 #constraints=2991 hasObjective=yes
0.69/0.78	c res. mode=mod
0.69/0.78	c VSIDS like heuristics
0.69/0.78	c complete search running
1.00/1.09	c restart after 401 decisions
1.10/1.15	c nbDecision=500 #constraints=2996
1.29/1.31	c restart after 801 decisions
1.39/1.43	c nbDecision=1000 #constraints=2996
1.79/1.82	c nbDecision=1500 #constraints=3009
1.89/1.96	c restart after 1601 decisions
2.10/2.19	c nbDecision=2000 #constraints=3009
2.69/2.73	c nbDecision=2500 #constraints=3009
3.39/3.40	c nbDecision=3000 #constraints=3009
3.59/3.67	c restart after 3201 decisions
3.79/3.84	c nbDecision=3500 #constraints=3009
4.30/4.30	c nbDecision=4000 #constraints=3009
4.89/4.97	c nbDecision=4500 #constraints=3009
5.59/5.62	c nbDecision=5000 #constraints=3009
5.89/5.99	c nbDecision=5500 #constraints=3025
6.59/6.66	c nbDecision=6000 #constraints=3025
7.09/7.18	c restart after 6401 decisions
7.19/7.24	c nbDecision=6500 #constraints=3025
7.49/7.54	c nbDecision=7000 #constraints=3025
8.19/8.22	c nbDecision=7500 #constraints=3032
8.79/8.87	c nbDecision=8000 #constraints=3032
9.29/9.34	c nbDecision=8500 #constraints=3042
9.79/9.89	c nbDecision=9000 #constraints=3042
10.49/10.54	c nbDecision=9500 #constraints=3042
11.08/11.16	c nbDecision=10000 #constraints=3058
11.48/11.56	c nbDecision=10500 #constraints=3058
12.18/12.23	c nbDecision=11000 #constraints=3058
12.78/12.87	c nbDecision=11500 #constraints=3058
13.19/13.24	c nbDecision=12000 #constraints=3069
13.88/13.91	c nbDecision=12500 #constraints=3074
14.29/14.31	c restart after 12801 decisions
14.38/14.43	c nbDecision=13000 #constraints=3074
14.78/14.80	c nbDecision=13500 #constraints=3074
15.39/15.47	c nbDecision=14000 #constraints=3074
16.08/16.12	c nbDecision=14500 #constraints=3074
16.39/16.48	c nbDecision=15000 #constraints=3075
17.08/17.15	c nbDecision=15500 #constraints=3075
17.78/17.81	c nbDecision=16000 #constraints=3075
18.18/18.30	c nbDecision=16500 #constraints=3077
18.78/18.82	c nbDecision=17000 #constraints=3077
19.38/19.49	c nbDecision=17500 #constraints=3077
20.08/20.19	c nbDecision=18000 #constraints=3116
20.48/20.56	c nbDecision=18500 #constraints=3116
21.18/21.23	c nbDecision=19000 #constraints=3116
21.78/21.88	c nbDecision=19500 #constraints=3116
22.28/22.33	c nbDecision=20000 #constraints=3138
22.88/22.94	c nbDecision=20500 #constraints=3138
23.58/23.60	c nbDecision=21000 #constraints=3138
24.08/24.15	c nbDecision=21500 #constraints=3141
24.58/24.62	c nbDecision=22000 #constraints=3141
25.18/25.28	c nbDecision=22500 #constraints=3141
25.88/25.98	c nbDecision=23000 #constraints=3168
26.38/26.40	c nbDecision=23500 #constraints=3199
26.98/27.05	c nbDecision=24000 #constraints=3199
27.68/27.70	c nbDecision=24500 #constraints=3199
28.18/28.20	c nbDecision=25000 #constraints=3202
28.68/28.71	c nbDecision=25500 #constraints=3202
28.78/28.85	c restart after 25601 decisions
28.98/29.08	c nbDecision=26000 #constraints=3202
29.58/29.61	c nbDecision=26500 #constraints=3202
30.18/30.27	c nbDecision=27000 #constraints=3202
30.78/30.86	c nbDecision=27500 #constraints=3203
31.18/31.28	c nbDecision=28000 #constraints=3203
31.88/31.94	c nbDecision=28500 #constraints=3203
32.47/32.59	c nbDecision=29000 #constraints=3203
32.88/32.97	c nbDecision=29500 #constraints=3218
33.57/33.64	c nbDecision=30000 #constraints=3218
34.17/34.29	c nbDecision=30500 #constraints=3218
34.78/34.86	c nbDecision=31000 #constraints=3254
35.28/35.35	c nbDecision=31500 #constraints=3254
35.98/36.02	c nbDecision=32000 #constraints=3254
36.58/36.67	c nbDecision=32500 #constraints=3254
36.98/37.03	c nbDecision=33000 #constraints=3255
37.68/37.70	c nbDecision=33500 #constraints=3255
38.28/38.36	c nbDecision=34000 #constraints=3255
38.78/38.80	c nbDecision=34500 #constraints=3264
39.38/39.40	c nbDecision=35000 #constraints=3264
39.98/40.07	c nbDecision=35500 #constraints=3264
40.58/40.65	c nbDecision=36000 #constraints=3280
41.08/41.11	c nbDecision=36500 #constraints=3280
41.68/41.78	c nbDecision=37000 #constraints=3280
42.38/42.47	c nbDecision=37500 #constraints=3301
42.78/42.84	c nbDecision=38000 #constraints=3301
43.48/43.51	c nbDecision=38500 #constraints=3301
44.08/44.16	c nbDecision=39000 #constraints=3301
44.68/44.79	c nbDecision=39500 #constraints=3375
45.28/45.33	c nbDecision=40000 #constraints=3375
45.88/45.99	c nbDecision=40500 #constraints=3375
46.58/46.66	c nbDecision=41000 #constraints=3379
46.98/47.02	c nbDecision=41500 #constraints=3381
47.48/47.56	c nbDecision=42000 #constraints=3381
48.18/48.22	c nbDecision=42500 #constraints=3381
48.77/48.87	c nbDecision=43000 #constraints=3383
49.17/49.26	c nbDecision=43500 #constraints=3419
49.77/49.81	c nbDecision=44000 #constraints=3419
50.37/50.47	c nbDecision=44500 #constraints=3419
51.07/51.11	c nbDecision=45000 #constraints=3419
51.37/51.45	c nbDecision=45500 #constraints=3420
51.97/52.02	c nbDecision=46000 #constraints=3420
52.57/52.67	c nbDecision=46500 #constraints=3420
53.27/53.32	c nbDecision=47000 #constraints=3420
53.57/53.68	c nbDecision=47500 #constraints=3434
54.17/54.24	c nbDecision=48000 #constraints=3434
54.77/54.90	c nbDecision=48500 #constraints=3434
55.47/55.55	c nbDecision=49000 #constraints=3434
55.87/55.98	c nbDecision=49500 #constraints=3470
56.37/56.49	c nbDecision=50000 #constraints=3470
57.07/57.16	c nbDecision=50500 #constraints=3470
57.87/57.99	c nbDecision=51000 #constraints=3541
58.47/58.58	c restart after 51201 decisions
58.67/58.77	c nbDecision=51500 #constraints=3676
59.17/59.23	c nbDecision=52000 #constraints=3676
59.87/59.90	c nbDecision=52500 #constraints=3676
60.47/60.56	c nbDecision=53000 #constraints=3676
61.07/61.11	c nbDecision=53500 #constraints=3734
61.47/61.53	c nbDecision=54000 #constraints=3734
62.17/62.20	c nbDecision=54500 #constraints=3734
62.77/62.86	c nbDecision=55000 #constraints=3734
64.27/64.30	c nbDecision=55500 #constraints=4015
64.77/64.89	c nbDecision=56000 #constraints=4044
65.17/65.26	c nbDecision=56500 #constraints=4044
65.87/65.93	c nbDecision=57000 #constraints=4044
66.46/66.58	c nbDecision=57500 #constraints=4044
67.16/67.28	c nbDecision=58000 #constraints=4096
67.46/67.57	c nbDecision=58500 #constraints=4096
68.17/68.27	c nbDecision=59000 #constraints=4118
68.86/68.92	c nbDecision=59500 #constraints=4118
69.56/69.62	c nbDecision=60000 #constraints=4141
69.97/70.01	c nbDecision=60500 #constraints=4180
70.47/70.58	c nbDecision=61000 #constraints=4180
71.17/71.24	c nbDecision=61500 #constraints=4180
71.87/71.90	c nbDecision=62000 #constraints=4182
72.37/72.42	c nbDecision=62500 #constraints=4229
72.77/72.86	c nbDecision=63000 #constraints=4229
73.47/73.53	c nbDecision=63500 #constraints=4229
74.07/74.19	c nbDecision=64000 #constraints=4230
74.77/74.85	c nbDecision=64500 #constraints=4296
75.07/75.17	c nbDecision=65000 #constraints=4296
75.77/75.85	c nbDecision=65500 #constraints=4296
76.47/76.50	c nbDecision=66000 #constraints=4296
77.17/77.21	c nbDecision=66500 #constraints=4324
77.57/77.66	c nbDecision=67000 #constraints=4379
78.17/78.20	c nbDecision=67500 #constraints=4379
78.77/78.86	c nbDecision=68000 #constraints=4379
79.47/79.56	c nbDecision=68500 #constraints=4392
80.27/80.31	c nbDecision=69000 #constraints=4476
80.67/80.78	c nbDecision=69500 #constraints=4508
81.17/81.27	c nbDecision=70000 #constraints=4508
81.87/81.94	c nbDecision=70500 #constraints=4508
82.57/82.61	c nbDecision=71000 #constraints=4508
83.27/83.39	c nbDecision=71500 #constraints=4613
84.27/84.31	c nbDecision=72000 #constraints=4830
84.97/85.03	c nbDecision=72500 #constraints=4882
85.77/85.87	c nbDecision=73000 #constraints=5035
86.66/86.72	c nbDecision=73500 #constraints=5205
87.36/87.44	c nbDecision=74000 #constraints=5275
88.06/88.15	c nbDecision=74500 #constraints=5334
88.76/88.89	c nbDecision=75000 #constraints=5433
89.56/89.60	c nbDecision=75500 #constraints=5512
90.26/90.35	c nbDecision=76000 #constraints=5597
90.97/91.08	c nbDecision=76500 #constraints=5659
91.67/91.79	c nbDecision=77000 #constraints=5723
92.57/92.60	c nbDecision=77500 #constraints=5855
93.27/93.35	c nbDecision=78000 #constraints=5945
94.07/94.12	c nbDecision=78500 #constraints=6073
94.77/94.84	c nbDecision=79000 #constraints=6155
95.46/95.59	c nbDecision=79500 #constraints=6261
95.86/95.96	c nbDecision=80000 #constraints=6287
96.46/96.55	c nbDecision=80500 #constraints=6287
97.16/97.22	c nbDecision=81000 #constraints=6287
97.87/97.92	c nbDecision=81500 #constraints=6295
98.66/98.73	c nbDecision=82000 #constraints=6371
99.36/99.49	c nbDecision=82500 #constraints=6442
100.16/100.26	c nbDecision=83000 #constraints=6529
100.96/101.02	c nbDecision=83500 #constraints=6620
101.66/101.77	c nbDecision=84000 #constraints=6706
102.06/102.16	c nbDecision=84500 #constraints=6720
102.66/102.72	c nbDecision=85000 #constraints=6720
103.26/103.39	c nbDecision=85500 #constraints=6721
104.06/104.18	c nbDecision=86000 #constraints=6751
104.86/104.93	c nbDecision=86500 #constraints=6805
105.66/105.74	c nbDecision=87000 #constraints=6922
106.35/106.45	c nbDecision=87500 #constraints=7065
106.75/106.81	c nbDecision=88000 #constraints=7065
107.35/107.48	c nbDecision=88500 #constraints=7065
108.05/108.13	c nbDecision=89000 #constraints=7065
108.76/108.82	c nbDecision=89500 #constraints=7075
109.56/109.62	c nbDecision=90000 #constraints=7143
110.36/110.45	c nbDecision=90500 #constraints=7275
110.96/111.10	c nbDecision=91000 #constraints=7356
111.36/111.46	c nbDecision=91500 #constraints=7356
112.06/112.13	c nbDecision=92000 #constraints=7356
112.66/112.78	c nbDecision=92500 #constraints=7356
113.46/113.53	c nbDecision=93000 #constraints=7394
114.26/114.34	c nbDecision=93500 #constraints=7499
115.05/115.16	c nbDecision=94000 #constraints=7645
115.65/115.77	c nbDecision=94500 #constraints=7743
116.15/116.23	c nbDecision=95000 #constraints=7743
116.85/116.90	c nbDecision=95500 #constraints=7743
117.66/117.78	c nbDecision=96000 #constraints=7788
119.76/119.85	c nbDecision=96500 #constraints=8076
120.65/120.70	c nbDecision=97000 #constraints=8154
121.35/121.44	c nbDecision=97500 #constraints=8211
122.05/122.11	c nbDecision=98000 #constraints=8292
122.35/122.48	c nbDecision=98500 #constraints=8292
123.05/123.15	c nbDecision=99000 #constraints=8292
123.75/123.81	c nbDecision=99500 #constraints=8292
124.45/124.56	c nbDecision=100000 #constraints=8316
125.15/125.24	c nbDecision=100500 #constraints=8332
125.85/125.90	c nbDecision=101000 #constraints=8411
126.15/126.28	c nbDecision=101500 #constraints=8411
126.86/126.94	c nbDecision=102000 #constraints=8411
127.36/127.47	c restart after 102401 decisions
127.46/127.53	c nbDecision=102500 #constraints=8411
127.76/127.86	c nbDecision=103000 #constraints=8411
128.46/128.52	c nbDecision=103500 #constraints=8411
129.06/129.18	c nbDecision=104000 #constraints=8411
131.15/131.21	c nbDecision=104500 #constraints=8659
134.35/134.47	c nbDecision=105000 #constraints=9047
137.45/137.51	c nbDecision=105500 #constraints=9360
139.04/139.14	c nbDecision=106000 #constraints=9489
139.85/139.95	c nbDecision=106500 #constraints=9554
140.66/140.79	c nbDecision=107000 #constraints=9681
141.05/141.14	c nbDecision=107500 #constraints=9681
141.76/141.82	c nbDecision=108000 #constraints=9681
142.35/142.48	c nbDecision=108500 #constraints=9681
143.15/143.28	c nbDecision=109000 #constraints=9696
143.96/144.08	c nbDecision=109500 #constraints=9760
144.55/144.62	c nbDecision=110000 #constraints=9775
144.95/145.10	c nbDecision=110500 #constraints=9775
145.65/145.77	c nbDecision=111000 #constraints=9775
146.35/146.44	c nbDecision=111500 #constraints=9775
147.15/147.24	c nbDecision=112000 #constraints=9818
147.95/148.03	c nbDecision=112500 #constraints=9906
148.35/148.48	c nbDecision=113000 #constraints=9924
148.95/149.05	c nbDecision=113500 #constraints=9924
149.65/149.71	c nbDecision=114000 #constraints=9924
150.35/150.50	c nbDecision=114500 #constraints=9940
151.25/151.39	c nbDecision=115000 #constraints=10036
152.25/152.30	c nbDecision=115500 #constraints=10187
152.65/152.79	c nbDecision=116000 #constraints=10223
153.25/153.36	c nbDecision=116500 #constraints=10223
153.95/154.02	c nbDecision=117000 #constraints=10223
154.65/154.80	c nbDecision=117500 #constraints=10236
155.54/155.67	c nbDecision=118000 #constraints=10317
156.44/156.52	c nbDecision=118500 #constraints=10431
157.04/157.14	c nbDecision=119000 #constraints=10509
157.54/157.66	c nbDecision=119500 #constraints=10509
158.25/158.33	c nbDecision=120000 #constraints=10509
159.14/159.24	c nbDecision=120500 #constraints=10527
159.94/160.04	c nbDecision=121000 #constraints=10573
160.84/160.94	c nbDecision=121500 #constraints=10701
161.44/161.54	c nbDecision=122000 #constraints=10756
161.94/162.04	c nbDecision=122500 #constraints=10756
162.64/162.71	c nbDecision=123000 #constraints=10756
163.34/163.40	c nbDecision=123500 #constraints=10756
164.14/164.21	c nbDecision=124000 #constraints=10807
164.94/165.03	c nbDecision=124500 #constraints=10890
165.95/166.06	c nbDecision=125000 #constraints=11086
166.25/166.40	c nbDecision=125500 #constraints=11086
166.95/167.06	c nbDecision=126000 #constraints=11086
167.65/167.72	c nbDecision=126500 #constraints=11086
168.45/168.50	c nbDecision=127000 #constraints=11113
169.25/169.38	c nbDecision=127500 #constraints=11216
170.35/170.48	c nbDecision=128000 #constraints=11429
170.65/170.79	c nbDecision=128500 #constraints=11429
171.34/171.46	c nbDecision=129000 #constraints=11429
172.04/172.11	c nbDecision=129500 #constraints=11429
172.74/172.88	c nbDecision=130000 #constraints=11440
173.65/173.74	c nbDecision=130500 #constraints=11515
174.44/174.58	c nbDecision=131000 #constraints=11619
175.04/175.13	c nbDecision=131500 #constraints=11660
175.54/175.64	c nbDecision=132000 #constraints=11660
176.24/176.31	c nbDecision=132500 #constraints=11660
176.84/176.99	c nbDecision=133000 #constraints=11660
177.74/177.90	c nbDecision=133500 #constraints=11736
178.64/178.72	c nbDecision=134000 #constraints=11811
178.94/179.08	c nbDecision=134500 #constraints=11811
179.64/179.75	c nbDecision=135000 #constraints=11811
180.34/180.41	c nbDecision=135500 #constraints=11811
181.04/181.17	c nbDecision=136000 #constraints=11823
182.04/182.15	c nbDecision=136500 #constraints=11946
182.93/183.06	c nbDecision=137000 #constraints=12062
183.33/183.49	c nbDecision=137500 #constraints=12073
184.03/184.10	c nbDecision=138000 #constraints=12073
184.64/184.77	c nbDecision=138500 #constraints=12073
185.43/185.52	c nbDecision=139000 #constraints=12093
186.23/186.36	c nbDecision=139500 #constraints=12156
187.23/187.37	c nbDecision=140000 #constraints=12305
187.83/187.93	c nbDecision=140500 #constraints=12360
188.33/188.48	c nbDecision=141000 #constraints=12360
189.04/189.14	c nbDecision=141500 #constraints=12360
189.74/189.89	c nbDecision=142000 #constraints=12370
190.74/190.80	c nbDecision=142500 #constraints=12448
191.54/191.66	c nbDecision=143000 #constraints=12543
192.23/192.40	c nbDecision=143500 #constraints=12632
192.73/192.83	c nbDecision=144000 #constraints=12632
193.33/193.49	c nbDecision=144500 #constraints=12632
194.13/194.23	c nbDecision=145000 #constraints=12641
195.13/195.29	c nbDecision=145500 #constraints=12704
195.93/196.07	c nbDecision=146000 #constraints=12760
196.84/196.99	c nbDecision=146500 #constraints=12888
197.23/197.31	c nbDecision=147000 #constraints=12888
197.84/197.98	c nbDecision=147500 #constraints=12888
198.53/198.64	c nbDecision=148000 #constraints=12888
199.33/199.43	c nbDecision=148500 #constraints=12900
200.23/200.32	c nbDecision=149000 #constraints=12982
201.14/201.29	c nbDecision=149500 #constraints=13129
201.63/201.73	c nbDecision=150000 #constraints=13137
202.24/202.33	c nbDecision=150500 #constraints=13137
202.83/203.00	c nbDecision=151000 #constraints=13137
203.63/203.72	c nbDecision=151500 #constraints=13146
204.43/204.56	c nbDecision=152000 #constraints=13195
205.43/205.58	c nbDecision=152500 #constraints=13348
206.03/206.16	c nbDecision=153000 #constraints=13389
206.53/206.66	c nbDecision=153500 #constraints=13389
207.33/207.41	c nbDecision=154000 #constraints=13409
208.03/208.10	c nbDecision=154500 #constraints=13409
208.83/208.91	c nbDecision=155000 #constraints=13450
209.73/209.82	c nbDecision=155500 #constraints=13556
210.53/210.69	c nbDecision=156000 #constraints=13663
210.93/211.06	c nbDecision=156500 #constraints=13663
211.62/211.73	c nbDecision=157000 #constraints=13663
212.23/212.38	c nbDecision=157500 #constraints=13663
213.02/213.12	c nbDecision=158000 #constraints=13674
213.82/213.92	c nbDecision=158500 #constraints=13721
214.82/214.91	c nbDecision=159000 #constraints=13874
215.32/215.42	c nbDecision=159500 #constraints=13909
215.82/215.98	c nbDecision=160000 #constraints=13909
216.53/216.65	c nbDecision=160500 #constraints=13909
217.32/217.46	c nbDecision=161000 #constraints=13923
218.12/218.28	c nbDecision=161500 #constraints=13965
219.12/219.26	c nbDecision=162000 #constraints=14093
219.92/220.02	c nbDecision=162500 #constraints=14162
220.42/220.53	c nbDecision=163000 #constraints=14163
220.92/221.04	c nbDecision=163500 #constraints=14163
221.62/221.70	c nbDecision=164000 #constraints=14163
222.32/222.46	c nbDecision=164500 #constraints=14168
223.33/223.41	c nbDecision=165000 #constraints=14242
224.33/224.41	c nbDecision=165500 #constraints=14364
224.93/225.05	c nbDecision=166000 #constraints=14383
225.53/225.64	c nbDecision=166500 #constraints=14388
225.93/226.05	c nbDecision=167000 #constraints=14388
226.63/226.71	c nbDecision=167500 #constraints=14388
227.23/227.37	c nbDecision=168000 #constraints=14388
228.22/228.33	c nbDecision=168500 #constraints=14440
229.32/229.41	c nbDecision=169000 #constraints=14579
230.22/230.36	c nbDecision=169500 #constraints=14720
230.93/231.03	c nbDecision=170000 #constraints=14760
231.32/231.41	c nbDecision=170500 #constraints=14760
231.93/232.08	c nbDecision=171000 #constraints=14760
232.62/232.73	c nbDecision=171500 #constraints=14760
233.42/233.52	c nbDecision=172000 #constraints=14778
234.22/234.37	c nbDecision=172500 #constraints=14843
235.22/235.30	c nbDecision=173000 #constraints=14963
235.92/236.04	c nbDecision=173500 #constraints=15007
236.22/236.36	c nbDecision=174000 #constraints=15007
236.92/237.03	c nbDecision=174500 #constraints=15007
237.52/237.69	c nbDecision=175000 #constraints=15007
238.32/238.44	c nbDecision=175500 #constraints=15017
239.22/239.36	c nbDecision=176000 #constraints=15082
240.22/240.39	c nbDecision=176500 #constraints=15205
240.92/241.02	c nbDecision=177000 #constraints=15217
241.31/241.47	c nbDecision=177500 #constraints=15218
241.92/242.05	c nbDecision=178000 #constraints=15218
242.61/242.72	c nbDecision=178500 #constraints=15218
243.41/243.53	c nbDecision=179000 #constraints=15232
244.31/244.40	c nbDecision=179500 #constraints=15282
245.12/245.28	c nbDecision=180000 #constraints=15364
246.01/246.11	c nbDecision=180500 #constraints=15460
246.51/246.66	c nbDecision=181000 #constraints=15475
247.01/247.14	c nbDecision=181500 #constraints=15475
247.71/247.83	c nbDecision=182000 #constraints=15481
248.61/248.77	c nbDecision=182500 #constraints=15502
249.51/249.66	c nbDecision=183000 #constraints=15555
250.41/250.59	c nbDecision=183500 #constraints=15655
251.22/251.32	c nbDecision=184000 #constraints=15708
251.92/252.01	c nbDecision=184500 #constraints=15764
252.32/252.41	c nbDecision=185000 #constraints=15764
252.92/253.07	c nbDecision=185500 #constraints=15764
253.71/253.83	c nbDecision=186000 #constraints=15769
254.91/255.09	c nbDecision=186500 #constraints=15849
255.81/255.97	c nbDecision=187000 #constraints=15910
256.91/257.03	c nbDecision=187500 #constraints=16048
257.61/257.78	c nbDecision=188000 #constraints=16081
258.01/258.11	c nbDecision=188500 #constraints=16081
258.61/258.76	c nbDecision=189000 #constraints=16081
259.31/259.42	c nbDecision=189500 #constraints=16081
260.11/260.27	c nbDecision=190000 #constraints=16100
261.11/261.23	c nbDecision=190500 #constraints=16181
262.11/262.28	c nbDecision=191000 #constraints=16311
262.81/262.99	c nbDecision=191500 #constraints=16365
263.31/263.49	c nbDecision=192000 #constraints=16374
263.91/264.04	c nbDecision=192500 #constraints=16374
264.61/264.70	c nbDecision=193000 #constraints=16374
265.31/265.42	c nbDecision=193500 #constraints=16376
266.11/266.29	c nbDecision=194000 #constraints=16424
266.91/267.04	c nbDecision=194500 #constraints=16457
267.81/267.96	c nbDecision=195000 #constraints=16569
268.51/268.68	c nbDecision=195500 #constraints=16635
269.31/269.40	c nbDecision=196000 #constraints=16669
269.90/270.07	c nbDecision=196500 #constraints=16669
270.60/270.73	c nbDecision=197000 #constraints=16669
271.51/271.63	c nbDecision=197500 #constraints=16707
272.40/272.59	c nbDecision=198000 #constraints=16794
273.50/273.65	c nbDecision=198500 #constraints=16945
274.10/274.24	c nbDecision=199000 #constraints=16945
274.60/274.75	c nbDecision=199500 #constraints=16965
275.20/275.30	c nbDecision=200000 #constraints=16965
275.80/275.96	c nbDecision=200500 #constraints=16965
276.70/276.85	c nbDecision=201000 #constraints=16983
277.60/277.74	c nbDecision=201500 #constraints=17030
278.60/278.79	c nbDecision=202000 #constraints=17137
279.40/279.59	c nbDecision=202500 #constraints=17200
280.10/280.26	c nbDecision=203000 #constraints=17235
280.50/280.68	c nbDecision=203500 #constraints=17235
281.20/281.35	c nbDecision=204000 #constraints=17235
281.90/282.03	c nbDecision=204500 #constraints=17235
283.30/283.42	c restart after 204801 decisions
283.50/283.65	c nbDecision=205000 #constraints=17307
283.90/284.03	c nbDecision=205500 #constraints=17307
284.60/284.70	c nbDecision=206000 #constraints=17307
285.20/285.38	c nbDecision=206500 #constraints=17307
286.91/287.01	c nbDecision=207000 #constraints=17389
287.90/288.04	c nbDecision=207500 #constraints=17495
289.00/289.11	c nbDecision=208000 #constraints=17644
289.80/289.92	c nbDecision=208500 #constraints=17699
290.10/290.25	c nbDecision=209000 #constraints=17699
290.70/290.87	c nbDecision=209500 #constraints=17699
291.40/291.53	c nbDecision=210000 #constraints=17699
292.40/292.59	c nbDecision=210500 #constraints=17728
293.30/293.47	c nbDecision=211000 #constraints=17771
294.30/294.47	c nbDecision=211500 #constraints=17874
295.10/295.23	c nbDecision=212000 #constraints=17920
295.80/295.96	c nbDecision=212500 #constraints=17984
296.99/297.14	c nbDecision=213000 #constraints=18202
298.09/298.24	c nbDecision=213500 #constraints=18329
298.79/298.90	c nbDecision=214000 #constraints=18329
299.59/299.77	c nbDecision=214500 #constraints=18345
300.49/300.69	c nbDecision=215000 #constraints=18405
301.49/301.69	c nbDecision=215500 #constraints=18504
302.19/302.34	c nbDecision=216000 #constraints=18523
302.89/303.02	c nbDecision=216500 #constraints=18566
304.60/304.71	c nbDecision=217000 #constraints=18869
306.49/306.67	c nbDecision=217500 #constraints=19249
308.39/308.51	c nbDecision=218000 #constraints=19602
309.49/309.61	c nbDecision=218500 #constraints=19771
310.59/310.77	c nbDecision=219000 #constraints=19934
312.89/313.01	c nbDecision=219500 #constraints=20332
313.79/313.92	c nbDecision=220000 #constraints=20406
314.59/314.72	c nbDecision=220500 #constraints=20446
315.89/316.06	c nbDecision=221000 #constraints=20586
316.69/316.83	c nbDecision=221500 #constraints=20615
317.39/317.59	c nbDecision=222000 #constraints=20641
318.19/318.31	c nbDecision=222500 #constraints=20657
318.89/319.02	c nbDecision=223000 #constraints=20672
319.59/319.76	c nbDecision=223500 #constraints=20691
320.29/320.46	c nbDecision=224000 #constraints=20705
320.99/321.18	c nbDecision=224500 #constraints=20719
321.79/321.91	c nbDecision=225000 #constraints=20737
322.49/322.63	c nbDecision=225500 #constraints=20751
323.19/323.36	c nbDecision=226000 #constraints=20767
323.89/324.09	c nbDecision=226500 #constraints=20784
324.69/324.81	c nbDecision=227000 #constraints=20799
325.39/325.55	c nbDecision=227500 #constraints=20816
326.09/326.28	c nbDecision=228000 #constraints=20830
326.89/327.00	c nbDecision=228500 #constraints=20846
327.59/327.71	c nbDecision=229000 #constraints=20860
328.29/328.43	c nbDecision=229500 #constraints=20877
328.99/329.14	c nbDecision=230000 #constraints=20891
329.69/329.84	c nbDecision=230500 #constraints=20905
330.39/330.56	c nbDecision=231000 #constraints=20920
331.09/331.29	c nbDecision=231500 #constraints=20935
331.88/332.09	c nbDecision=232000 #constraints=20946
332.58/332.75	c nbDecision=232500 #constraints=20946
333.88/334.01	c nbDecision=233000 #constraints=20983
334.58/334.78	c nbDecision=233500 #constraints=21000
335.48/335.61	c nbDecision=234000 #constraints=21044
336.28/336.48	c nbDecision=234500 #constraints=21102
336.98/337.17	c nbDecision=235000 #constraints=21132
337.68/337.84	c nbDecision=235500 #constraints=21145
338.68/338.89	c nbDecision=236000 #constraints=21226
339.79/339.92	c nbDecision=236500 #constraints=21301
340.69/340.83	c nbDecision=237000 #constraints=21345
341.39/341.59	c nbDecision=237500 #constraints=21361
342.48/342.69	c nbDecision=238000 #constraints=21455
343.28/343.44	c nbDecision=238500 #constraints=21469
344.08/344.27	c nbDecision=239000 #constraints=21480
344.78/344.94	c nbDecision=239500 #constraints=21480
345.58/345.74	c nbDecision=240000 #constraints=21494
346.48/346.60	c nbDecision=240500 #constraints=21528
347.58/347.78	c nbDecision=241000 #constraints=21653
348.48/348.68	c nbDecision=241500 #constraints=21726
349.28/349.41	c nbDecision=242000 #constraints=21776
350.87/351.08	c nbDecision=242500 #constraints=21932
351.57/351.75	c nbDecision=243000 #constraints=21932
352.27/352.42	c nbDecision=243500 #constraints=21932
353.17/353.38	c nbDecision=244000 #constraints=21966
354.17/354.33	c nbDecision=244500 #constraints=22031
355.58/355.75	c nbDecision=245000 #constraints=22199
356.28/356.45	c nbDecision=245500 #constraints=22230
357.08/357.20	c nbDecision=246000 #constraints=22280
358.28/358.50	c nbDecision=246500 #constraints=22387
359.98/360.15	c nbDecision=247000 #constraints=22560
360.68/360.82	c nbDecision=247500 #constraints=22560
361.38/361.53	c nbDecision=248000 #constraints=22561
362.38/362.50	c nbDecision=248500 #constraints=22604
363.27/363.46	c nbDecision=249000 #constraints=22668
364.27/364.40	c nbDecision=249500 #constraints=22749
364.98/365.15	c nbDecision=250000 #constraints=22797
366.08/366.25	c nbDecision=250500 #constraints=22868
366.77/366.92	c nbDecision=251000 #constraints=22868
367.37/367.58	c nbDecision=251500 #constraints=22868
368.37/368.55	c nbDecision=252000 #constraints=22898
369.27/369.47	c nbDecision=252500 #constraints=22946
370.37/370.57	c nbDecision=253000 #constraints=23040
371.17/371.33	c nbDecision=253500 #constraints=23088
371.87/372.07	c nbDecision=254000 #constraints=23132
375.97/376.12	c nbDecision=254500 #constraints=23498
381.27/381.43	c nbDecision=255000 #constraints=23932
383.27/383.42	c nbDecision=255500 #constraints=24082
384.37/384.59	c nbDecision=256000 #constraints=24153
385.66/385.88	c nbDecision=256500 #constraints=24248
386.56/386.70	c nbDecision=257000 #constraints=24263
387.36/387.57	c nbDecision=257500 #constraints=24284
388.17/388.37	c nbDecision=258000 #constraints=24297
389.06/389.23	c nbDecision=258500 #constraints=24315
389.86/390.04	c nbDecision=259000 #constraints=24330
390.66/390.89	c nbDecision=259500 #constraints=24348
391.56/391.75	c nbDecision=260000 #constraints=24369
392.46/392.63	c nbDecision=260500 #constraints=24390
393.26/393.48	c nbDecision=261000 #constraints=24408
394.16/394.32	c nbDecision=261500 #constraints=24423
394.96/395.13	c nbDecision=262000 #constraints=24438
395.96/396.11	c nbDecision=262500 #constraints=24465
396.76/396.97	c nbDecision=263000 #constraints=24484
397.66/397.82	c nbDecision=263500 #constraints=24501
398.56/398.72	c nbDecision=264000 #constraints=24525
399.46/399.63	c nbDecision=264500 #constraints=24546
400.36/400.50	c nbDecision=265000 #constraints=24564
401.26/401.42	c nbDecision=265500 #constraints=24585
402.05/402.29	c nbDecision=266000 #constraints=24606
403.05/403.21	c nbDecision=266500 #constraints=24627
403.95/404.10	c nbDecision=267000 #constraints=24648
404.75/404.98	c nbDecision=267500 #constraints=24666
405.76/405.92	c nbDecision=268000 #constraints=24690
406.65/406.83	c nbDecision=268500 #constraints=24711
407.55/407.70	c nbDecision=269000 #constraints=24730
408.36/408.56	c nbDecision=269500 #constraints=24748
409.26/409.45	c nbDecision=270000 #constraints=24768
410.16/410.31	c nbDecision=270500 #constraints=24783
410.96/411.17	c nbDecision=271000 #constraints=24798
411.86/412.07	c nbDecision=271500 #constraints=24816
412.76/412.94	c nbDecision=272000 #constraints=24834
413.66/413.83	c nbDecision=272500 #constraints=24852
414.66/414.80	c nbDecision=273000 #constraints=24867
415.25/415.48	c nbDecision=273500 #constraints=24869
415.95/416.15	c nbDecision=274000 #constraints=24869
416.76/416.99	c nbDecision=274500 #constraints=24884
417.95/418.14	c nbDecision=275000 #constraints=24976
418.75/418.97	c nbDecision=275500 #constraints=25014
419.45/419.66	c nbDecision=276000 #constraints=25038
422.35/422.55	c nbDecision=276500 #constraints=25189
423.65/423.82	c nbDecision=277000 #constraints=25231
424.25/424.48	c nbDecision=277500 #constraints=25231
425.15/425.31	c nbDecision=278000 #constraints=25240
426.05/426.28	c nbDecision=278500 #constraints=25293
427.15/427.32	c nbDecision=279000 #constraints=25363
427.85/428.02	c nbDecision=279500 #constraints=25389
428.45/428.68	c nbDecision=280000 #constraints=25393
429.45/429.65	c nbDecision=280500 #constraints=25434
430.55/430.71	c nbDecision=281000 #constraints=25479
431.35/431.56	c nbDecision=281500 #constraints=25489
432.05/432.21	c nbDecision=282000 #constraints=25489
433.25/433.41	c nbDecision=282500 #constraints=25538
434.35/434.54	c nbDecision=283000 #constraints=25626
435.45/435.61	c nbDecision=283500 #constraints=25723
436.15/436.37	c nbDecision=284000 #constraints=25765
437.05/437.22	c nbDecision=284500 #constraints=25814
439.44/439.68	c nbDecision=285000 #constraints=26060
440.24/440.48	c nbDecision=285500 #constraints=26064
440.94/441.15	c nbDecision=286000 #constraints=26064
441.94/442.13	c nbDecision=286500 #constraints=26098
442.84/443.03	c nbDecision=287000 #constraints=26142
443.95/444.11	c nbDecision=287500 #constraints=26240
444.65/444.83	c nbDecision=288000 #constraints=26277
445.45/445.60	c nbDecision=288500 #constraints=26287
446.05/446.27	c nbDecision=289000 #constraints=26287
446.75/446.93	c nbDecision=289500 #constraints=26287
447.75/447.90	c nbDecision=290000 #constraints=26325
448.65/448.82	c nbDecision=290500 #constraints=26372
449.85/450.01	c nbDecision=291000 #constraints=26479
450.55/450.71	c nbDecision=291500 #constraints=26507
452.24/452.42	c nbDecision=292000 #constraints=26589
455.64/455.80	c nbDecision=292500 #constraints=26757
456.24/456.46	c nbDecision=293000 #constraints=26757
457.34/457.52	c nbDecision=293500 #constraints=26791
458.34/458.56	c nbDecision=294000 #constraints=26853
459.54/459.73	c nbDecision=294500 #constraints=26941
460.24/460.40	c nbDecision=295000 #constraints=26959
461.24/461.44	c nbDecision=295500 #constraints=26994
465.93/466.18	c nbDecision=296000 #constraints=27333
467.03/467.29	c nbDecision=296500 #constraints=27371
469.44/469.69	c nbDecision=297000 #constraints=27476
474.43/474.67	c nbDecision=297500 #constraints=27725
482.24/482.48	c nbDecision=298000 #constraints=28085
483.14/483.32	c nbDecision=298500 #constraints=28090
483.74/483.98	c nbDecision=299000 #constraints=28090
484.94/485.13	c nbDecision=299500 #constraints=28120
485.73/485.98	c nbDecision=300000 #constraints=28148
486.94/487.17	c nbDecision=300500 #constraints=28240
487.73/487.99	c nbDecision=301000 #constraints=28290
488.43/488.67	c nbDecision=301500 #constraints=28299
491.03/491.29	c nbDecision=302000 #constraints=28505
492.73/492.99	c nbDecision=302500 #constraints=28587
494.73/494.99	c nbDecision=303000 #constraints=28696
496.43/496.63	c nbDecision=303500 #constraints=28780
498.53/498.79	c nbDecision=304000 #constraints=28915
500.23/500.47	c nbDecision=304500 #constraints=28998
502.12/502.36	c nbDecision=305000 #constraints=29107
503.53/503.72	c nbDecision=305500 #constraints=29161
505.12/505.34	c nbDecision=306000 #constraints=29243
506.82/507.08	c nbDecision=306500 #constraints=29326
507.92/508.18	c nbDecision=307000 #constraints=29346
508.92/509.19	c nbDecision=307500 #constraints=29360
510.12/510.38	c nbDecision=308000 #constraints=29380
511.33/511.50	c nbDecision=308500 #constraints=29400
512.33/512.57	c nbDecision=309000 #constraints=29417
513.43/513.68	c nbDecision=309500 #constraints=29435
514.42/514.67	c nbDecision=310000 #constraints=29448
515.62/515.82	c nbDecision=310500 #constraints=29468
516.62/516.90	c nbDecision=311000 #constraints=29485
517.82/518.01	c nbDecision=311500 #constraints=29504
518.82/519.07	c nbDecision=312000 #constraints=29520
519.92/520.17	c nbDecision=312500 #constraints=29538
521.12/521.34	c nbDecision=313000 #constraints=29559
522.12/522.39	c nbDecision=313500 #constraints=29574
523.12/523.39	c nbDecision=314000 #constraints=29581
523.82/524.05	c nbDecision=314500 #constraints=29581
524.52/524.77	c nbDecision=315000 #constraints=29584
525.72/525.90	c nbDecision=315500 #constraints=29643
526.92/527.12	c nbDecision=316000 #constraints=29723
527.52/527.76	c nbDecision=316500 #constraints=29731
528.32/528.53	c nbDecision=317000 #constraints=29765
530.71/530.98	c nbDecision=317500 #constraints=29909
533.42/533.60	c nbDecision=318000 #constraints=30041
535.92/536.10	c nbDecision=318500 #constraints=30181
538.91/539.15	c nbDecision=319000 #constraints=30352
541.91/542.13	c nbDecision=319500 #constraints=30516
546.12/546.37	c nbDecision=320000 #constraints=30736
549.41/549.69	c nbDecision=320500 #constraints=30901
553.91/554.16	c nbDecision=321000 #constraints=31143
557.61/557.83	c nbDecision=321500 #constraints=31320
560.01/560.26	c nbDecision=322000 #constraints=31426
563.91/564.17	c nbDecision=322500 #constraints=31619
569.21/569.43	c nbDecision=323000 #constraints=31852
572.41/572.65	c nbDecision=323500 #constraints=32023
574.20/574.40	c nbDecision=324000 #constraints=32068
576.50/576.70	c nbDecision=324500 #constraints=32147
578.31/578.57	c nbDecision=325000 #constraints=32193
579.00/579.24	c nbDecision=325500 #constraints=32193
579.70/579.94	c nbDecision=326000 #constraints=32193
580.70/580.98	c nbDecision=326500 #constraints=32235
581.90/582.14	c nbDecision=327000 #constraints=32303
582.50/582.79	c nbDecision=327500 #constraints=32310
583.50/583.78	c nbDecision=328000 #constraints=32380
586.90/587.19	c nbDecision=328500 #constraints=32486
589.90/590.10	c nbDecision=329000 #constraints=32608
591.80/592.02	c nbDecision=329500 #constraints=32673
592.40/592.67	c nbDecision=330000 #constraints=32673
593.20/593.45	c nbDecision=330500 #constraints=32680
594.29/594.51	c nbDecision=331000 #constraints=32737
595.49/595.72	c nbDecision=331500 #constraints=32819
596.09/596.38	c nbDecision=332000 #constraints=32832
597.19/597.40	c nbDecision=332500 #constraints=32857
597.79/598.07	c nbDecision=333000 #constraints=32857
598.49/598.77	c nbDecision=333500 #constraints=32857
599.59/599.88	c nbDecision=334000 #constraints=32901
600.99/601.28	c nbDecision=334500 #constraints=33001
601.89/602.16	c nbDecision=335000 #constraints=33036
602.59/602.83	c nbDecision=335500 #constraints=33049
605.19/605.44	c nbDecision=336000 #constraints=33128
609.60/609.89	c nbDecision=336500 #constraints=33314
611.50/611.72	c nbDecision=337000 #constraints=33342
613.29/613.56	c nbDecision=337500 #constraints=33371
614.89/615.13	c nbDecision=338000 #constraints=33394
616.80/617.05	c nbDecision=338500 #constraints=33426
618.59/618.89	c nbDecision=339000 #constraints=33454
620.39/620.61	c nbDecision=339500 #constraints=33480
622.29/622.57	c nbDecision=340000 #constraints=33510
624.19/624.41	c nbDecision=340500 #constraints=33540
625.99/626.28	c nbDecision=341000 #constraints=33570
627.89/628.12	c nbDecision=341500 #constraints=33597
629.59/629.85	c nbDecision=342000 #constraints=33624
631.58/631.82	c nbDecision=342500 #constraints=33655
633.29/633.50	c nbDecision=343000 #constraints=33680
635.08/635.39	c nbDecision=343500 #constraints=33708
636.88/637.16	c nbDecision=344000 #constraints=33733
638.79/639.10	c nbDecision=344500 #constraints=33763
640.89/641.10	c nbDecision=345000 #constraints=33798
642.79/643.05	c nbDecision=345500 #constraints=33830
644.59/644.84	c nbDecision=346000 #constraints=33855
646.59/646.83	c nbDecision=346500 #constraints=33889
648.48/648.72	c nbDecision=347000 #constraints=33919
650.38/650.67	c nbDecision=347500 #constraints=33949
652.48/652.77	c nbDecision=348000 #constraints=33985
654.38/654.66	c nbDecision=348500 #constraints=34015
656.18/656.48	c nbDecision=349000 #constraints=34043
658.08/658.40	c nbDecision=349500 #constraints=34075
659.97/660.24	c nbDecision=350000 #constraints=34102
661.87/662.13	c nbDecision=350500 #constraints=34132
663.65/663.95	c nbDecision=351000 #constraints=34158
665.65/665.97	c nbDecision=351500 #constraints=34191
667.64/667.91	c nbDecision=352000 #constraints=34221
669.44/669.79	c nbDecision=352500 #constraints=34250
671.44/671.76	c nbDecision=353000 #constraints=34281
673.54/673.80	c nbDecision=353500 #constraints=34314
675.42/675.74	c nbDecision=354000 #constraints=34344
677.42/677.76	c nbDecision=354500 #constraints=34377
679.32/679.62	c nbDecision=355000 #constraints=34404
681.31/681.60	c nbDecision=355500 #constraints=34436
683.21/683.50	c nbDecision=356000 #constraints=34463
685.30/685.63	c nbDecision=356500 #constraints=34500
686.99/687.35	c nbDecision=357000 #constraints=34524
689.09/689.40	c nbDecision=357500 #constraints=34554
690.98/691.32	c nbDecision=358000 #constraints=34581
693.08/693.42	c nbDecision=358500 #constraints=34613
694.78/695.19	c nbDecision=359000 #constraints=34639
696.58/696.98	c nbDecision=359500 #constraints=34663
698.48/698.82	c nbDecision=360000 #constraints=34689
700.38/700.76	c nbDecision=360500 #constraints=34720
702.37/702.78	c nbDecision=361000 #constraints=34749
703.97/704.38	c nbDecision=361500 #constraints=34768
706.07/706.41	c nbDecision=362000 #constraints=34799
707.97/708.40	c nbDecision=362500 #constraints=34829
709.97/710.37	c nbDecision=363000 #constraints=34859
712.16/712.52	c nbDecision=363500 #constraints=34894
714.06/714.42	c nbDecision=364000 #constraints=34925
715.95/716.30	c nbDecision=364500 #constraints=34951
718.05/718.48	c nbDecision=365000 #constraints=34986
719.85/720.26	c nbDecision=365500 #constraints=35012
721.75/722.16	c nbDecision=366000 #constraints=35039
723.75/724.19	c nbDecision=366500 #constraints=35068
725.75/726.19	c nbDecision=367000 #constraints=35097
727.75/728.17	c nbDecision=367500 #constraints=35128
730.05/730.47	c nbDecision=368000 #constraints=35168
731.95/732.38	c nbDecision=368500 #constraints=35195
733.95/734.33	c nbDecision=369000 #constraints=35224
735.85/736.26	c nbDecision=369500 #constraints=35252
737.75/738.19	c nbDecision=370000 #constraints=35280
739.75/740.14	c nbDecision=370500 #constraints=35308
741.65/742.06	c nbDecision=371000 #constraints=35335
743.65/744.05	c nbDecision=371500 #constraints=35364
745.45/745.88	c nbDecision=372000 #constraints=35387
747.14/747.57	c nbDecision=372500 #constraints=35409
749.24/749.61	c nbDecision=373000 #constraints=35441
751.24/751.66	c nbDecision=373500 #constraints=35473
753.24/753.64	c nbDecision=374000 #constraints=35500
755.24/755.63	c nbDecision=374500 #constraints=35529
757.14/757.52	c nbDecision=375000 #constraints=35557
759.04/759.50	c nbDecision=375500 #constraints=35584
761.14/761.55	c nbDecision=376000 #constraints=35614
763.34/763.77	c nbDecision=376500 #constraints=35647
765.34/765.78	c nbDecision=377000 #constraints=35676
767.35/767.74	c nbDecision=377500 #constraints=35703
769.55/769.93	c nbDecision=378000 #constraints=35737
771.64/772.06	c nbDecision=378500 #constraints=35772
773.64/774.07	c nbDecision=379000 #constraints=35801
775.64/776.10	c nbDecision=379500 #constraints=35830
777.64/778.01	c nbDecision=380000 #constraints=35856
779.74/780.14	c nbDecision=380500 #constraints=35888
781.54/781.97	c nbDecision=381000 #constraints=35914
783.73/784.20	c nbDecision=381500 #constraints=35948
785.83/786.21	c nbDecision=382000 #constraints=35977
787.83/788.27	c nbDecision=382500 #constraints=36006
789.83/790.26	c nbDecision=383000 #constraints=36035
791.83/792.25	c nbDecision=383500 #constraints=36064
793.53/793.96	c nbDecision=384000 #constraints=36085
795.63/796.01	c nbDecision=384500 #constraints=36115
797.62/798.02	c nbDecision=385000 #constraints=36144
799.82/800.22	c nbDecision=385500 #constraints=36173
801.72/802.11	c nbDecision=386000 #constraints=36198
804.02/804.40	c nbDecision=386500 #constraints=36232
805.83/806.26	c nbDecision=387000 #constraints=36254
808.03/808.48	c nbDecision=387500 #constraints=36285
809.82/810.24	c nbDecision=388000 #constraints=36308
811.82/812.28	c nbDecision=388500 #constraints=36338
813.82/814.25	c nbDecision=389000 #constraints=36365
815.82/816.29	c nbDecision=389500 #constraints=36395
818.12/818.50	c nbDecision=390000 #constraints=36429
820.12/820.58	c nbDecision=390500 #constraints=36459
822.12/822.58	c nbDecision=391000 #constraints=36487
824.12/824.53	c nbDecision=391500 #constraints=36513
826.32/826.71	c nbDecision=392000 #constraints=36544
828.52/828.93	c nbDecision=392500 #constraints=36576
830.52/830.93	c nbDecision=393000 #constraints=36604
832.72/833.15	c nbDecision=393500 #constraints=36634
834.72/835.11	c nbDecision=394000 #constraints=36661
836.72/837.19	c nbDecision=394500 #constraints=36688
838.82/839.24	c nbDecision=395000 #constraints=36716
840.91/841.32	c nbDecision=395500 #constraints=36745
843.01/843.40	c nbDecision=396000 #constraints=36774
845.11/845.57	c nbDecision=396500 #constraints=36804
846.91/847.36	c nbDecision=397000 #constraints=36826
849.11/849.59	c nbDecision=397500 #constraints=36858
851.01/851.45	c nbDecision=398000 #constraints=36883
853.32/853.71	c nbDecision=398500 #constraints=36916
855.22/855.65	c nbDecision=399000 #constraints=36941
857.11/857.53	c nbDecision=399500 #constraints=36964
859.31/859.79	c nbDecision=400000 #constraints=36998
861.51/861.97	c nbDecision=400500 #constraints=37028
863.41/863.80	c nbDecision=401000 #constraints=37050
865.51/865.97	c nbDecision=401500 #constraints=37079
867.71/868.15	c nbDecision=402000 #constraints=37107
869.71/870.17	c nbDecision=402500 #constraints=37134
871.91/872.40	c nbDecision=403000 #constraints=37165
873.70/874.19	c nbDecision=403500 #constraints=37186
875.60/876.09	c nbDecision=404000 #constraints=37208
877.80/878.23	c nbDecision=404500 #constraints=37237
879.90/880.31	c nbDecision=405000 #constraints=37264
883.30/883.79	c nbDecision=405500 #constraints=37316
885.70/886.12	c nbDecision=406000 #constraints=37361
888.20/888.66	c nbDecision=406500 #constraints=37409
890.51/890.97	c nbDecision=407000 #constraints=37447
892.91/893.30	c nbDecision=407500 #constraints=37491
895.30/895.80	c nbDecision=408000 #constraints=37537
898.21/898.60	c nbDecision=408500 #constraints=37596
900.80/901.22	c nbDecision=409000 #constraints=37647
903.10/903.54	c nbDecision=409500 #constraints=37689
903.70/904.18	c restart after 409601 decisions
904.40/904.83	c nbDecision=410000 #constraints=37702
905.10/905.52	c nbDecision=410500 #constraints=37702
905.70/906.18	c nbDecision=411000 #constraints=37702
906.40/906.88	c nbDecision=411500 #constraints=37702
907.40/907.83	c nbDecision=412000 #constraints=37730
908.39/908.86	c nbDecision=412500 #constraints=37774
909.49/909.91	c nbDecision=413000 #constraints=37823
910.09/910.58	c nbDecision=413500 #constraints=37836
911.69/912.15	c nbDecision=414000 #constraints=37852
913.99/914.46	c nbDecision=414500 #constraints=37885
916.70/917.13	c nbDecision=415000 #constraints=37927
919.20/919.65	c nbDecision=415500 #constraints=37965
921.30/921.76	c nbDecision=416000 #constraints=37992
923.60/924.01	c nbDecision=416500 #constraints=38024
925.79/926.23	c nbDecision=417000 #constraints=38056
928.09/928.56	c nbDecision=417500 #constraints=38092
930.19/930.62	c nbDecision=418000 #constraints=38119
932.49/933.00	c nbDecision=418500 #constraints=38151
935.39/935.85	c nbDecision=419000 #constraints=38198
937.89/938.31	c nbDecision=419500 #constraints=38237
940.39/940.83	c nbDecision=420000 #constraints=38275
942.89/943.31	c nbDecision=420500 #constraints=38313
945.39/945.90	c nbDecision=421000 #constraints=38354
947.88/948.30	c nbDecision=421500 #constraints=38391
950.18/950.62	c nbDecision=422000 #constraints=38424
952.48/952.94	c nbDecision=422500 #constraints=38458
954.88/955.36	c nbDecision=423000 #constraints=38492
957.48/957.93	c nbDecision=423500 #constraints=38531
959.88/960.37	c nbDecision=424000 #constraints=38565
962.28/962.70	c nbDecision=424500 #constraints=38599
964.68/965.17	c nbDecision=425000 #constraints=38634
967.17/967.65	c nbDecision=425500 #constraints=38669
969.79/970.30	c nbDecision=426000 #constraints=38712
972.28/972.76	c nbDecision=426500 #constraints=38749
974.88/975.32	c nbDecision=427000 #constraints=38788
977.28/977.76	c nbDecision=427500 #constraints=38825
979.88/980.34	c nbDecision=428000 #constraints=38864
982.17/982.64	c nbDecision=428500 #constraints=38895
984.77/985.28	c nbDecision=429000 #constraints=38934
987.07/987.55	c nbDecision=429500 #constraints=38964
989.27/989.76	c nbDecision=430000 #constraints=38994
991.57/992.01	c nbDecision=430500 #constraints=39025
993.87/994.38	c nbDecision=431000 #constraints=39059
996.17/996.63	c nbDecision=431500 #constraints=39089
998.47/998.95	c nbDecision=432000 #constraints=39119
1000.67/1001.11	c nbDecision=432500 #constraints=39144
1002.87/1003.39	c nbDecision=433000 #constraints=39175
1005.37/1005.85	c nbDecision=433500 #constraints=39211
1007.66/1008.12	c nbDecision=434000 #constraints=39242
1009.96/1010.41	c nbDecision=434500 #constraints=39273
1012.46/1012.95	c nbDecision=435000 #constraints=39311
1014.77/1015.28	c nbDecision=435500 #constraints=39342
1017.26/1017.76	c nbDecision=436000 #constraints=39377
1019.76/1020.21	c nbDecision=436500 #constraints=39413
1022.26/1022.74	c nbDecision=437000 #constraints=39448
1024.56/1025.06	c nbDecision=437500 #constraints=39479
1027.26/1027.73	c nbDecision=438000 #constraints=39517
1029.86/1030.34	c nbDecision=438500 #constraints=39556
1032.06/1032.59	c nbDecision=439000 #constraints=39586
1034.45/1034.98	c nbDecision=439500 #constraints=39620
1036.86/1037.39	c nbDecision=440000 #constraints=39651
1039.45/1039.96	c nbDecision=440500 #constraints=39683
1042.05/1042.54	c nbDecision=441000 #constraints=39718
1044.45/1044.93	c nbDecision=441500 #constraints=39751
1047.26/1047.71	c nbDecision=442000 #constraints=39790
1049.26/1049.74	c nbDecision=442500 #constraints=39815
1051.56/1052.01	c nbDecision=443000 #constraints=39845
1053.95/1054.41	c nbDecision=443500 #constraints=39878
1056.25/1056.72	c nbDecision=444000 #constraints=39910
1058.95/1059.48	c nbDecision=444500 #constraints=39950
1061.55/1062.01	c nbDecision=445000 #constraints=39986
1064.25/1064.70	c nbDecision=445500 #constraints=40024
1066.45/1066.93	c nbDecision=446000 #constraints=40052
1069.04/1069.52	c nbDecision=446500 #constraints=40086
1071.74/1072.23	c nbDecision=447000 #constraints=40125
1073.84/1074.33	c nbDecision=447500 #constraints=40149
1076.35/1076.81	c nbDecision=448000 #constraints=40181
1079.44/1079.92	c nbDecision=448500 #constraints=40232
1082.65/1083.16	c nbDecision=449000 #constraints=40296
1085.65/1086.20	c nbDecision=449500 #constraints=40351
1088.45/1088.92	c nbDecision=450000 #constraints=40399
1091.44/1091.94	c nbDecision=450500 #constraints=40454
1093.94/1094.48	c nbDecision=451000 #constraints=40498
1096.84/1097.35	c nbDecision=451500 #constraints=40547
1099.64/1100.17	c nbDecision=452000 #constraints=40596
1102.74/1103.22	c nbDecision=452500 #constraints=40653
1105.63/1106.15	c nbDecision=453000 #constraints=40708
1108.83/1109.38	c nbDecision=453500 #constraints=40770
1111.93/1112.47	c nbDecision=454000 #constraints=40826
1114.84/1115.38	c nbDecision=454500 #constraints=40877
1118.04/1118.58	c nbDecision=455000 #constraints=40937
1121.13/1121.67	c nbDecision=455500 #constraints=40989
1123.74/1124.23	c nbDecision=456000 #constraints=41030
1126.73/1127.25	c nbDecision=456500 #constraints=41083
1129.33/1129.86	c nbDecision=457000 #constraints=41123
1132.53/1133.08	c nbDecision=457500 #constraints=41180
1135.63/1136.12	c nbDecision=458000 #constraints=41232
1138.32/1138.81	c nbDecision=458500 #constraints=41276
1141.72/1142.23	c nbDecision=459000 #constraints=41332
1145.02/1145.54	c nbDecision=459500 #constraints=41390
1148.33/1148.87	c nbDecision=460000 #constraints=41445
1151.43/1151.94	c nbDecision=460500 #constraints=41496
1154.82/1155.38	c nbDecision=461000 #constraints=41559
1158.02/1158.52	c nbDecision=461500 #constraints=41612
1161.22/1161.73	c nbDecision=462000 #constraints=41668
1164.72/1165.24	c nbDecision=462500 #constraints=41730
1168.02/1168.59	c nbDecision=463000 #constraints=41784
1170.72/1171.20	c nbDecision=463500 #constraints=41824
1174.01/1174.54	c nbDecision=464000 #constraints=41884
1177.52/1178.07	c nbDecision=464500 #constraints=41938
1180.41/1180.99	c nbDecision=465000 #constraints=41976
1182.81/1183.35	c nbDecision=465500 #constraints=42003
1185.31/1185.86	c nbDecision=466000 #constraints=42033
1187.91/1188.40	c nbDecision=466500 #constraints=42066
1190.51/1191.04	c nbDecision=467000 #constraints=42102
1193.11/1193.65	c nbDecision=467500 #constraints=42133
1195.82/1196.33	c nbDecision=468000 #constraints=42167
1198.31/1198.90	c nbDecision=468500 #constraints=42200
1200.72/1201.29	c nbDecision=469000 #constraints=42229
1203.21/1203.77	c nbDecision=469500 #constraints=42259
1205.81/1206.35	c nbDecision=470000 #constraints=42289
1208.11/1208.63	c nbDecision=470500 #constraints=42317
1211.01/1211.50	c nbDecision=471000 #constraints=42354
1213.21/1213.78	c nbDecision=471500 #constraints=42380
1216.51/1217.04	c nbDecision=472000 #constraints=42424
1219.20/1219.72	c nbDecision=472500 #constraints=42456
1222.20/1222.74	c nbDecision=473000 #constraints=42497
1225.00/1225.60	c nbDecision=473500 #constraints=42533
1227.80/1228.40	c nbDecision=474000 #constraints=42568
1230.60/1231.11	c nbDecision=474500 #constraints=42604
1233.31/1233.88	c nbDecision=475000 #constraints=42641
1235.81/1236.37	c nbDecision=475500 #constraints=42671
1238.60/1239.17	c nbDecision=476000 #constraints=42707
1241.50/1242.09	c nbDecision=476500 #constraints=42744
1244.40/1244.91	c nbDecision=477000 #constraints=42778
1247.60/1248.13	c nbDecision=477500 #constraints=42821
1250.50/1251.02	c nbDecision=478000 #constraints=42856
1253.00/1253.59	c nbDecision=478500 #constraints=42888
1255.40/1255.90	c nbDecision=479000 #constraints=42913
1258.10/1258.69	c nbDecision=479500 #constraints=42948
1261.29/1261.90	c nbDecision=480000 #constraints=42990
1264.09/1264.69	c nbDecision=480500 #constraints=43032
1267.89/1268.46	c nbDecision=481000 #constraints=43099
1270.99/1271.58	c nbDecision=481500 #constraints=43147
1274.59/1275.17	c nbDecision=482000 #constraints=43205
1277.70/1278.22	c nbDecision=482500 #constraints=43253
1280.90/1281.49	c nbDecision=483000 #constraints=43304
1284.39/1284.92	c nbDecision=483500 #constraints=43357
1287.79/1288.37	c nbDecision=484000 #constraints=43414
1292.28/1292.86	c nbDecision=484500 #constraints=43474
1294.88/1295.41	c nbDecision=485000 #constraints=43503
1297.28/1297.83	c nbDecision=485500 #constraints=43531
1300.18/1300.76	c nbDecision=486000 #constraints=43566
1303.08/1303.63	c nbDecision=486500 #constraints=43602
1305.88/1306.46	c nbDecision=487000 #constraints=43635
1308.67/1309.22	c nbDecision=487500 #constraints=43667
1311.48/1312.03	c nbDecision=488000 #constraints=43701
1314.48/1315.03	c nbDecision=488500 #constraints=43738
1317.08/1317.63	c nbDecision=489000 #constraints=43769
1319.78/1320.37	c nbDecision=489500 #constraints=43803
1322.98/1323.55	c nbDecision=490000 #constraints=43840
1325.58/1326.19	c nbDecision=490500 #constraints=43869
1328.18/1328.78	c nbDecision=491000 #constraints=43897
1330.27/1330.88	c nbDecision=491500 #constraints=43920
1333.07/1333.65	c nbDecision=492000 #constraints=43952
1335.47/1336.09	c nbDecision=492500 #constraints=43979
1338.57/1339.19	c nbDecision=493000 #constraints=44014
1341.77/1342.32	c nbDecision=493500 #constraints=44050
1345.07/1345.63	c nbDecision=494000 #constraints=44102
1348.17/1348.74	c nbDecision=494500 #constraints=44144
1349.47/1350.07	c nbDecision=495000 #constraints=44154
1350.17/1350.72	c nbDecision=495500 #constraints=44154
1351.76/1352.33	c nbDecision=496000 #constraints=44207
1352.76/1353.36	c nbDecision=496500 #constraints=44240
1354.67/1355.26	c nbDecision=497000 #constraints=44362
1355.36/1355.91	c nbDecision=497500 #constraints=44368
1356.46/1357.04	c nbDecision=498000 #constraints=44432
1372.16/1372.77	c nbDecision=498500 #constraints=44629
1376.95/1377.59	c nbDecision=499000 #constraints=44744
1381.46/1382.09	c nbDecision=499500 #constraints=44845
1386.46/1387.07	c nbDecision=500000 #constraints=44955
1387.96/1388.52	c nbDecision=500500 #constraints=44967
1388.56/1389.19	c nbDecision=501000 #constraints=44967
1389.66/1390.22	c nbDecision=501500 #constraints=44993
1391.36/1391.96	c nbDecision=502000 #constraints=45094
1392.66/1393.27	c nbDecision=502500 #constraints=45161
1393.36/1393.95	c nbDecision=503000 #constraints=45171
1402.45/1403.02	c nbDecision=503500 #constraints=45269
1423.14/1423.76	c nbDecision=504000 #constraints=45503
1423.85/1424.42	c nbDecision=504500 #constraints=45503
1424.84/1425.41	c nbDecision=505000 #constraints=45518
1426.05/1426.65	c nbDecision=505500 #constraints=45568
1427.84/1428.44	c nbDecision=506000 #constraints=45663
1428.54/1429.18	c nbDecision=506500 #constraints=45678
1429.44/1430.06	c nbDecision=507000 #constraints=45709
1447.24/1447.86	c nbDecision=507500 #constraints=45916
1447.94/1448.52	c nbDecision=508000 #constraints=45916
1448.64/1449.21	c nbDecision=508500 #constraints=45916
1449.94/1450.59	c nbDecision=509000 #constraints=45974
1451.94/1452.59	c nbDecision=509500 #constraints=46095
1452.74/1453.30	c nbDecision=510000 #constraints=46108
1453.34/1453.98	c nbDecision=510500 #constraints=46119
1464.13/1464.70	c nbDecision=511000 #constraints=46237
1464.73/1465.36	c nbDecision=511500 #constraints=46237
1466.13/1466.72	c nbDecision=512000 #constraints=46269
1467.03/1467.66	c nbDecision=512500 #constraints=46293
1469.53/1470.11	c nbDecision=513000 #constraints=46452
1470.23/1470.81	c nbDecision=513500 #constraints=46463
1471.03/1471.64	c nbDecision=514000 #constraints=46490
1477.53/1478.11	c nbDecision=514500 #constraints=46571
1478.12/1478.77	c nbDecision=515000 #constraints=46571
1479.33/1479.92	c nbDecision=515500 #constraints=46606
1480.43/1481.01	c nbDecision=516000 #constraints=46643
1482.33/1482.90	c nbDecision=516500 #constraints=46762
1483.03/1483.68	c nbDecision=517000 #constraints=46782
1486.13/1486.77	c nbDecision=517500 #constraints=46812
1487.43/1488.01	c nbDecision=518000 #constraints=46817
1488.03/1488.70	c nbDecision=518500 #constraints=46817
1489.23/1489.86	c nbDecision=519000 #constraints=46855
1491.13/1491.77	c nbDecision=519500 #constraints=46966
1492.22/1492.87	c nbDecision=520000 #constraints=47004
1493.02/1493.64	c nbDecision=520500 #constraints=47023
1495.32/1495.92	c nbDecision=521000 #constraints=47062
1495.92/1496.59	c nbDecision=521500 #constraints=47062
1496.72/1497.39	c nbDecision=522000 #constraints=47069
1497.92/1498.53	c nbDecision=522500 #constraints=47108
1499.32/1499.96	c nbDecision=523000 #constraints=47176
1499.92/1500.56	c nbDecision=523500 #constraints=47176
1501.02/1501.65	c nbDecision=524000 #constraints=47229
1502.42/1503.09	c nbDecision=524500 #constraints=47235
1503.12/1503.78	c nbDecision=525000 #constraints=47235
1504.72/1505.38	c nbDecision=525500 #constraints=47288
1505.92/1506.54	c nbDecision=526000 #constraints=47331
1507.11/1507.75	c nbDecision=526500 #constraints=47389
1507.72/1508.40	c nbDecision=527000 #constraints=47395
1509.32/1509.97	c nbDecision=527500 #constraints=47419
1510.02/1510.63	c nbDecision=528000 #constraints=47419
1510.73/1511.33	c nbDecision=528500 #constraints=47419
1511.83/1512.42	c nbDecision=529000 #constraints=47453
1513.32/1513.91	c nbDecision=529500 #constraints=47525
1514.02/1514.63	c nbDecision=530000 #constraints=47539
1514.72/1515.39	c nbDecision=530500 #constraints=47559
1517.62/1518.25	c nbDecision=531000 #constraints=47582
1518.52/1519.15	c nbDecision=531500 #constraints=47592
1519.32/1519.98	c nbDecision=532000 #constraints=47602
1520.42/1521.06	c nbDecision=532500 #constraints=47637
1521.82/1522.48	c nbDecision=533000 #constraints=47706
1522.82/1523.41	c nbDecision=533500 #constraints=47742
1525.12/1525.79	c nbDecision=534000 #constraints=47764
1525.82/1526.45	c nbDecision=534500 #constraints=47764
1526.61/1527.25	c nbDecision=535000 #constraints=47770
1527.91/1528.58	c nbDecision=535500 #constraints=47825
1529.71/1530.31	c nbDecision=536000 #constraints=47918
1530.31/1530.91	c nbDecision=536500 #constraints=47918
1530.91/1531.53	c nbDecision=537000 #constraints=47922
1535.21/1535.81	c nbDecision=537500 #constraints=47955
1535.81/1536.47	c nbDecision=538000 #constraints=47955
1536.81/1537.47	c nbDecision=538500 #constraints=47969
1538.41/1539.03	c nbDecision=539000 #constraints=48045
1539.51/1540.19	c nbDecision=539500 #constraints=48091
1540.31/1540.99	c nbDecision=540000 #constraints=48113
1542.81/1543.42	c nbDecision=540500 #constraints=48130
1543.41/1544.08	c nbDecision=541000 #constraints=48130
1544.11/1544.79	c nbDecision=541500 #constraints=48130
1545.31/1545.93	c nbDecision=542000 #constraints=48165
1546.70/1547.32	c nbDecision=542500 #constraints=48225
1547.40/1548.01	c nbDecision=543000 #constraints=48233
1548.21/1548.89	c nbDecision=543500 #constraints=48264
1550.70/1551.36	c nbDecision=544000 #constraints=48282
1551.41/1552.02	c nbDecision=544500 #constraints=48282
1552.20/1552.88	c nbDecision=545000 #constraints=48293
1553.50/1554.18	c nbDecision=545500 #constraints=48347
1555.11/1555.71	c nbDecision=546000 #constraints=48416
1555.81/1556.47	c nbDecision=546500 #constraints=48433
1557.31/1557.93	c nbDecision=547000 #constraints=48439
1557.91/1558.60	c nbDecision=547500 #constraints=48439
1559.31/1559.94	c nbDecision=548000 #constraints=48466
1560.61/1561.29	c nbDecision=548500 #constraints=48519
1562.60/1563.23	c nbDecision=549000 #constraints=48627
1563.20/1563.84	c nbDecision=549500 #constraints=48627
1564.00/1564.66	c nbDecision=550000 #constraints=48651
1565.00/1565.69	c nbDecision=550500 #constraints=48665
1565.71/1566.36	c nbDecision=551000 #constraints=48665
1567.40/1568.04	c nbDecision=551500 #constraints=48720
1568.40/1569.06	c nbDecision=552000 #constraints=48749
1569.60/1570.20	c nbDecision=552500 #constraints=48793
1570.30/1570.90	c nbDecision=553000 #constraints=48805
1571.10/1571.79	c nbDecision=553500 #constraints=48807
1571.80/1572.44	c nbDecision=554000 #constraints=48807
1572.50/1573.16	c nbDecision=554500 #constraints=48807
1573.40/1574.03	c nbDecision=555000 #constraints=48823
1575.10/1575.72	c nbDecision=555500 #constraints=48907
1575.80/1576.41	c nbDecision=556000 #constraints=48916
1576.50/1577.19	c nbDecision=556500 #constraints=48936
1577.70/1578.33	c nbDecision=557000 #constraints=48939
1579.29/1580.00	c nbDecision=557500 #constraints=48978
1588.30/1588.90	c nbDecision=558000 #constraints=49305
1598.79/1599.43	c nbDecision=558500 #constraints=49674
1600.59/1601.20	c nbDecision=559000 #constraints=49732
1601.99/1602.69	c nbDecision=559500 #constraints=49800
1603.29/1603.92	c nbDecision=560000 #constraints=49846
1603.88/1604.53	c nbDecision=560500 #constraints=49846
1605.08/1605.70	c nbDecision=561000 #constraints=49857
1605.68/1606.37	c nbDecision=561500 #constraints=49857
1606.68/1607.37	c nbDecision=562000 #constraints=49871
1607.68/1608.37	c nbDecision=562500 #constraints=49893
1608.78/1609.40	c nbDecision=563000 #constraints=49922
1609.79/1610.43	c nbDecision=563500 #constraints=49959
1610.38/1611.09	c nbDecision=564000 #constraints=49967
1612.38/1613.00	c nbDecision=564500 #constraints=49977
1612.98/1613.65	c nbDecision=565000 #constraints=49977
1613.88/1614.50	c nbDecision=565500 #constraints=49986
1615.18/1615.85	c nbDecision=566000 #constraints=50039
1616.68/1617.39	c nbDecision=566500 #constraints=50106
1617.38/1618.08	c nbDecision=567000 #constraints=50114
1618.18/1618.80	c nbDecision=567500 #constraints=50127
1620.59/1621.27	c nbDecision=568000 #constraints=50141
1621.29/1621.96	c nbDecision=568500 #constraints=50141
1623.48/1624.10	c nbDecision=569000 #constraints=50221
1624.68/1625.34	c nbDecision=569500 #constraints=50270
1626.08/1626.74	c nbDecision=570000 #constraints=50330
1626.78/1627.42	c nbDecision=570500 #constraints=50339
1627.88/1628.51	c nbDecision=571000 #constraints=50366
1628.48/1629.17	c nbDecision=571500 #constraints=50366
1629.38/1630.10	c nbDecision=572000 #constraints=50375
1630.28/1630.91	c nbDecision=572500 #constraints=50384
1632.08/1632.77	c nbDecision=573000 #constraints=50481
1633.28/1633.93	c nbDecision=573500 #constraints=50525
1634.08/1634.78	c nbDecision=574000 #constraints=50551
1635.68/1636.37	c nbDecision=574500 #constraints=50565
1636.37/1637.03	c nbDecision=575000 #constraints=50565
1637.47/1638.10	c nbDecision=575500 #constraints=50581
1638.67/1639.36	c nbDecision=576000 #constraints=50627
1640.57/1641.20	c nbDecision=576500 #constraints=50729
1641.17/1641.81	c nbDecision=577000 #constraints=50729
1642.27/1642.94	c nbDecision=577500 #constraints=50736
1642.97/1643.61	c nbDecision=578000 #constraints=50736
1645.78/1646.46	c nbDecision=578500 #constraints=50819
1656.87/1657.57	c nbDecision=579000 #constraints=51265
1667.86/1668.59	c nbDecision=579500 #constraints=51704
1672.57/1673.28	c nbDecision=580000 #constraints=51870
1674.27/1674.90	c nbDecision=580500 #constraints=51942
1675.96/1676.64	c nbDecision=581000 #constraints=52026
1676.66/1677.34	c nbDecision=581500 #constraints=52035
1677.36/1678.04	c nbDecision=582000 #constraints=52045
1678.56/1679.28	c nbDecision=582500 #constraints=52049
1679.26/1679.94	c nbDecision=583000 #constraints=52049
1680.36/1681.04	c nbDecision=583500 #constraints=52072
1681.76/1682.49	c nbDecision=584000 #constraints=52134
1683.96/1684.68	c nbDecision=584500 #constraints=52251
1684.56/1685.28	c nbDecision=585000 #constraints=52251
1685.66/1686.33	c nbDecision=585500 #constraints=52269
1686.36/1687.00	c nbDecision=586000 #constraints=52269
1687.46/1688.15	c nbDecision=586500 #constraints=52284
1688.26/1688.97	c nbDecision=587000 #constraints=52293
1689.26/1689.90	c nbDecision=587500 #constraints=52314
1690.56/1691.21	c nbDecision=588000 #constraints=52369
1691.36/1692.02	c nbDecision=588500 #constraints=52391
1692.36/1693.07	c nbDecision=589000 #constraints=52393
1693.06/1693.72	c nbDecision=589500 #constraints=52393
1694.06/1694.76	c nbDecision=590000 #constraints=52405
1695.26/1695.93	c nbDecision=590500 #constraints=52443
1697.36/1698.06	c nbDecision=591000 #constraints=52554
1698.16/1698.81	c nbDecision=591500 #constraints=52568
1699.16/1699.85	c nbDecision=592000 #constraints=52585
1701.07/1701.75	c nbDecision=592500 #constraints=52594
1702.07/1702.74	c nbDecision=593000 #constraints=52604
1703.36/1704.00	c nbDecision=593500 #constraints=52644
1704.56/1705.29	c nbDecision=594000 #constraints=52690
1705.26/1705.97	c nbDecision=594500 #constraints=52696
1705.96/1706.69	c nbDecision=595000 #constraints=52708
1707.16/1707.90	c nbDecision=595500 #constraints=52711
1707.86/1708.56	c nbDecision=596000 #constraints=52711
1709.76/1710.46	c nbDecision=596500 #constraints=52765
1710.76/1711.48	c nbDecision=597000 #constraints=52791
1712.06/1712.79	c nbDecision=597500 #constraints=52852
1712.86/1713.54	c nbDecision=598000 #constraints=52869
1714.16/1714.85	c nbDecision=598500 #constraints=52875
1714.86/1715.51	c nbDecision=599000 #constraints=52875
1717.35/1718.04	c nbDecision=599500 #constraints=52961
1718.15/1718.89	c nbDecision=600000 #constraints=52973
1719.45/1720.19	c nbDecision=600500 #constraints=53025
1720.25/1720.91	c nbDecision=601000 #constraints=53037
1721.25/1721.93	c nbDecision=601500 #constraints=53039
1721.86/1722.60	c nbDecision=602000 #constraints=53039
1722.65/1723.35	c nbDecision=602500 #constraints=53039
1723.85/1724.52	c nbDecision=603000 #constraints=53073
1725.45/1726.10	c nbDecision=603500 #constraints=53146
1726.05/1726.76	c nbDecision=604000 #constraints=53152
1726.95/1727.62	c nbDecision=604500 #constraints=53179
1728.65/1729.37	c nbDecision=605000 #constraints=53197
1729.35/1730.03	c nbDecision=605500 #constraints=53197
1730.35/1731.04	c nbDecision=606000 #constraints=53207
1731.95/1732.61	c nbDecision=606500 #constraints=53273
1733.35/1734.07	c nbDecision=607000 #constraints=53335
1734.05/1734.75	c nbDecision=607500 #constraints=53343
1734.74/1735.45	c nbDecision=608000 #constraints=53354
1737.45/1738.17	c nbDecision=608500 #constraints=53373
1738.15/1738.83	c nbDecision=609000 #constraints=53373
1739.35/1740.00	c nbDecision=609500 #constraints=53394
1740.56/1741.24	c nbDecision=610000 #constraints=53437
1742.55/1743.24	c nbDecision=610500 #constraints=53541
1743.35/1744.03	c nbDecision=611000 #constraints=53558
1750.05/1750.75	c nbDecision=611500 #constraints=53628
1788.03/1788.79	c nbDecision=612000 #constraints=54081
1792.63/1793.35	c nbDecision=612500 #constraints=54122
1793.23/1794.00	c nbDecision=613000 #constraints=54122
1794.63/1795.39	c nbDecision=613500 #constraints=54146
1795.74/1796.47	c nbDecision=614000 #constraints=54176
1797.43/1798.13	c nbDecision=614500 #constraints=54258
1798.03/1798.78	c nbDecision=615000 #constraints=54263
1798.73/1799.47	c nbDecision=615500 #constraints=54272
1800.04/1800.71	Received signal 15
1800.14/1800.89	
1800.14/1800.89	s UNKNOWN
1800.14/1800.89	
1800.14/1800.89	c user time= 1799.64 s
1800.14/1800.89	c system time= 0.59091 s
1800.14/1800.89	c wall clock time=1800.89

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/node1/watcher-356971-1176850201 -o ROOT/results/node1/solver-356971-1176850201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 20161
/proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=1468 CPUtime=0
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161057946 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830965 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 405 163 126 317 0 84 0

[startup+0.0447499 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 20161
/proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=2280 CPUtime=0.04
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 366 0 0 0 4 0 0 0 18 0 1 0 161057946 2334720 348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 570 348 131 317 0 249 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2280

[startup+0.101757 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 20161
/proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=3600 CPUtime=0.1
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 694 0 0 0 10 0 0 0 18 0 1 0 161057946 3686400 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 900 676 131 317 0 579 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3600

[startup+0.30178 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 20161
/proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=8220 CPUtime=0.29
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 1863 0 0 0 28 1 0 0 19 0 1 0 161057946 8417280 1845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 2055 1845 131 317 0 1734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8220

[startup+0.701828 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 20161
/proc/meminfo: memFree=1788976/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=20276 CPUtime=0.69
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 4826 0 0 0 67 2 0 0 23 0 1 0 161057946 20762624 4808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5069 4809 137 317 0 4748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20276

[startup+1.50192 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1768616/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=22024 CPUtime=1.49
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 147 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5506 5251 139 317 0 5185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22024

[startup+3.10111 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1768296/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=22024 CPUtime=3.09
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 307 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5506 5251 139 317 0 5185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22024

[startup+6.30149 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1768104/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=22024 CPUtime=6.29
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5269 0 0 0 627 2 0 0 25 0 1 0 161057946 22552576 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5506 5251 139 317 0 5185 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22024

[startup+12.7012 s]
/proc/loadavg: 0.83 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1767912/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=22156 CPUtime=12.68
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5301 0 0 0 1266 2 0 0 25 0 1 0 161057946 22687744 5283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5539 5283 139 317 0 5218 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22156

[startup+25.5027 s]
/proc/loadavg: 0.85 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1767656/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=22552 CPUtime=25.48
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5422 0 0 0 2546 2 0 0 25 0 1 0 161057946 23093248 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5638 5404 170 317 0 5317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22552

[startup+51.1027 s]
/proc/loadavg: 0.90 0.94 0.95 2/78 20162
/proc/meminfo: memFree=1766504/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=23724 CPUtime=51.07
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 5725 0 0 0 5104 3 0 0 25 0 1 0 161057946 24293376 5707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 5931 5707 170 317 0 5610 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23724

[startup+102.307 s]
/proc/loadavg: 0.96 0.95 0.95 2/78 20162
/proc/meminfo: memFree=1759016/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=31372 CPUtime=102.26
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 7643 0 0 0 10221 5 0 0 25 0 1 0 161057946 32124928 7585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 7843 7585 170 317 0 7522 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31372

[startup+162.303 s]
/proc/loadavg: 0.98 0.96 0.95 2/78 20162
/proc/meminfo: memFree=1746792/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=43616 CPUtime=162.24
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 10688 0 0 0 16215 9 0 0 25 0 1 0 161057946 44662784 10630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 10904 10630 170 317 0 10583 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 43616

[startup+222.303 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 20162
/proc/meminfo: memFree=1739688/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=50956 CPUtime=222.22
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 12533 0 0 0 22211 11 0 0 25 0 1 0 161057946 52178944 12396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 12739 12396 170 317 0 12418 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 50956

[startup+282.303 s]
/proc/loadavg: 1.06 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1733736/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=56884 CPUtime=282.2
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 14031 0 0 0 28207 13 0 0 25 0 1 0 161057946 58249216 13894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 14221 13894 170 317 0 13900 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 56884

[startup+342.302 s]
/proc/loadavg: 1.02 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1718056/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=72484 CPUtime=342.19
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 17965 0 0 0 34202 17 0 0 25 0 1 0 161057946 74223616 17828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 18121 17828 170 317 0 17800 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 72484

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1707176/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=84132 CPUtime=402.15
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 20828 0 0 0 40196 19 0 0 25 0 1 0 161057946 86151168 20535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 21033 20535 170 317 0 20712 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 84132

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1700584/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=90432 CPUtime=462.14
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 22458 0 0 0 46192 22 0 0 25 0 1 0 161057946 92602368 22165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 22608 22165 170 317 0 22287 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 90432

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1689512/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=102416 CPUtime=522.12
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 25199 0 0 0 52187 25 0 0 25 0 1 0 161057946 104873984 24906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 25604 24906 170 317 0 25283 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 102416

[startup+582.302 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1678056/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=114432 CPUtime=582.1
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 28076 0 0 0 58182 28 0 0 25 0 1 0 161057946 117178368 27783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 28608 27783 170 317 0 28287 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 114432

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20162
/proc/meminfo: memFree=1672872/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=119280 CPUtime=642.09
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 29344 0 0 0 64179 30 0 0 25 0 1 0 161057946 122142720 29051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 29820 29051 170 317 0 29499 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 119280


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

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20360
/proc/meminfo: memFree=1654568/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=138648 CPUtime=941.89
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 33871 0 0 0 94151 38 0 0 25 0 1 0 161057946 141975552 33578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 34662 33578 170 317 0 34341 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 138648

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.96 2/78 20360
/proc/meminfo: memFree=1651112/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=141840 CPUtime=1001.87
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 34697 0 0 0 100148 39 0 0 25 0 1 0 161057946 145244160 34404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 35460 34404 170 317 0 35139 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 141840

[startup+1062.3 s]
/proc/loadavg: 1.04 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1647912/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=144744 CPUtime=1061.85
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 35490 0 0 0 106145 40 0 0 25 0 1 0 161057946 148217856 35197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 36186 35197 170 317 0 35865 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 144744

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1644008/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=148372 CPUtime=1121.83
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 36470 0 0 0 112141 42 0 0 25 0 1 0 161057946 151932928 36177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 37093 36177 170 317 0 36772 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 148372

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1640168/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=152008 CPUtime=1181.81
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 37432 0 0 0 118138 43 0 0 25 0 1 0 161057946 155656192 37139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 38002 37139 170 317 0 37681 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 152008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1637288/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=154772 CPUtime=1241.8
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 38166 0 0 0 124135 45 0 0 25 0 1 0 161057946 158486528 37873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 38693 37873 170 317 0 38372 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 154772

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1633960/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=157880 CPUtime=1301.78
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 38974 0 0 0 130132 46 0 0 25 0 1 0 161057946 161669120 38681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 39470 38681 170 317 0 39149 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 157880

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1630888/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=160764 CPUtime=1361.76
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 39748 0 0 0 136129 47 0 0 25 0 1 0 161057946 164622336 39455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 40191 39455 170 317 0 39870 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 160764

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 3/78 20360
/proc/meminfo: memFree=1625128/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=170312 CPUtime=1421.75
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 42008 0 0 0 142127 48 0 0 25 0 1 0 161057946 174399488 40843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 42578 40843 170 317 0 42257 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 170312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1622312/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=175800 CPUtime=1481.73
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 43292 0 0 0 148123 50 0 0 25 0 1 0 161057946 180019200 41632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 43950 41632 170 317 0 43629 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 175800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1618856/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=179080 CPUtime=1541.71
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 44116 0 0 0 154120 51 0 0 25 0 1 0 161057946 183377920 42456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 44770 42456 170 317 0 44449 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 179080

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1613096/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=184900 CPUtime=1601.69
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 45584 0 0 0 160116 53 0 0 25 0 1 0 161057946 189337600 43924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 46225 43924 170 317 0 45904 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 184900

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1606632/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=191820 CPUtime=1661.67
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 47178 0 0 0 166112 55 0 0 25 0 1 0 161057946 196423680 45518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 47955 45518 170 317 0 47634 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 191820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1601448/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=197064 CPUtime=1721.65
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 48468 0 0 0 172108 57 0 0 25 0 1 0 161057946 201793536 46808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 49266 46808 170 317 0 48945 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 197064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1598568/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=199952 CPUtime=1781.63
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49215 0 0 0 178105 58 0 0 25 0 1 0 161057946 204750848 47522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 49988 47522 170 317 0 49667 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 199952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=200736 CPUtime=1800.04
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49410 0 0 0 179945 59 0 0 25 0 1 0 161057946 205553664 47717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 50184 47717 170 317 0 49863 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 200736

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=200736 CPUtime=1800.14
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49411 0 0 0 179955 59 0 0 25 0 1 0 161057946 205553664 47718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 50184 47718 170 317 0 49863 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 200736

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 20360
/proc/meminfo: memFree=1597736/2055920 swapFree=4145928/4192956
[pid=20161] ppid=20159 vsize=197336 CPUtime=1800.23
/proc/20161/stat : 20161 (oree) R 20159 20161 20104 0 -1 4194304 49428 0 0 0 179964 59 0 0 25 0 1 0 161057946 202072064 47134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20161/statm: 49334 47134 186 317 0 49013 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 197336

Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.28
CPU user time (s): 1799.65
CPU system time (s): 0.621905
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 200736

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

runsolver used 2.22066 second user time and 4.40533 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Apr 17 22:50:01 UTC 2007

IDJOB= 356971
IDBENCH= 1708
IDSOLVER= 172
FILE ID= node1/356971-1176850201

PBS_JOBID= 4590236

Free space on /tmp= 66398 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
COMMAND LINE= oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-356971-1176850201 -o ROOT/results/node1/solver-356971-1176850201 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356971-1176850201/instance-356971-1176850201.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7a90d6f729b5a7cbedbc2000a888cf36

RANDOM SEED= 580941956

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1789384 kB
Buffers:         29728 kB
Cached:         170080 kB
SwapCached:      14460 kB
Active:          63268 kB
Inactive:       159148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789384 kB
SwapTotal:     4192956 kB
SwapFree:      4145928 kB
Dirty:            3336 kB
Writeback:           0 kB
Mapped:          29760 kB
Slab:            29584 kB
Committed_AS:  4916924 kB
PageTables:       1832 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66398 MiB

End job on node1 on Tue Apr 17 23:20:04 UTC 2007