Trace number 357498

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.09 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
MD5SUMa849a24692bdc034ba3174a2ba23709e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark177.361
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved YES
Number of variables601
Total number of constraints1089
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 36
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 99
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 682
Number of bits of the biggest sum of numbers10
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.01/0.06	c ...done
0.01/0.06	c #vars=601 #constraints=1090 hasObjective=yes
0.01/0.07	c res. mode=mod
0.01/0.07	c VSIDS like heuristics
0.01/0.07	c complete search running
0.01/0.08	c restart after 401 decisions
0.01/0.09	c nbDecision=500 #constraints=1091
0.01/0.09	c restart after 801 decisions
0.09/0.10	c nbDecision=1000 #constraints=1092
0.09/0.11	c nbDecision=1500 #constraints=1094
0.09/0.11	c restart after 1601 decisions
0.09/0.12	c nbDecision=2000 #constraints=1096
0.09/0.13	c nbDecision=2500 #constraints=1097
0.09/0.14	c nbDecision=3000 #constraints=1099
0.09/0.14	c restart after 3201 decisions
0.09/0.15	c nbDecision=3500 #constraints=1100
0.09/0.16	c nbDecision=4000 #constraints=1102
0.09/0.17	c nbDecision=4500 #constraints=1105
0.09/0.18	c nbDecision=5000 #constraints=1106
0.09/0.19	c nbDecision=5500 #constraints=1108
0.19/0.20	c nbDecision=6000 #constraints=1109
0.19/0.21	c restart after 6401 decisions
0.19/0.22	c nbDecision=6500 #constraints=1111
0.19/0.23	c nbDecision=7000 #constraints=1112
0.19/0.24	c nbDecision=7500 #constraints=1114
0.19/0.25	c nbDecision=8000 #constraints=1116
0.19/0.26	c nbDecision=8500 #constraints=1118
0.19/0.27	c nbDecision=9000 #constraints=1120
0.19/0.28	c nbDecision=9500 #constraints=1123
0.19/0.29	c nbDecision=10000 #constraints=1124
0.29/0.30	c nbDecision=10500 #constraints=1126
0.29/0.31	c nbDecision=11000 #constraints=1128
0.29/0.36	c nbDecision=11500 #constraints=1165
0.29/0.37	c nbDecision=12000 #constraints=1168
0.29/0.38	c nbDecision=12500 #constraints=1171
0.29/0.39	c restart after 12801 decisions
0.29/0.40	c nbDecision=13000 #constraints=1172
0.39/0.42	c nbDecision=13500 #constraints=1182
0.39/0.43	c nbDecision=14000 #constraints=1191
0.39/0.44	c nbDecision=14500 #constraints=1195
0.39/0.45	c nbDecision=15000 #constraints=1197
0.39/0.47	c nbDecision=15500 #constraints=1205
0.39/0.48	c nbDecision=16000 #constraints=1209
0.49/0.50	c nbDecision=16500 #constraints=1221
0.49/0.52	c nbDecision=17000 #constraints=1227
0.49/0.53	c nbDecision=17500 #constraints=1235
0.49/0.54	c nbDecision=18000 #constraints=1240
0.49/0.57	c nbDecision=18500 #constraints=1261
0.59/0.60	c nbDecision=19000 #constraints=1286
0.59/0.65	c nbDecision=19500 #constraints=1330
0.69/0.73	c nbDecision=20000 #constraints=1382
0.69/0.75	c nbDecision=20500 #constraints=1399
0.69/0.79	c nbDecision=21000 #constraints=1423
0.79/0.82	c nbDecision=21500 #constraints=1443
0.79/0.83	c nbDecision=22000 #constraints=1451
0.79/0.89	c nbDecision=22500 #constraints=1506
0.89/0.94	c nbDecision=23000 #constraints=1551
0.89/0.97	c nbDecision=23500 #constraints=1573
0.89/0.99	c nbDecision=24000 #constraints=1583
1.00/1.00	c nbDecision=24500 #constraints=1585
1.00/1.01	c nbDecision=25000 #constraints=1587
1.00/1.02	c nbDecision=25500 #constraints=1592
1.00/1.02	c restart after 25601 decisions
1.00/1.03	c nbDecision=26000 #constraints=1593
1.00/1.04	c nbDecision=26500 #constraints=1596
1.00/1.06	c nbDecision=27000 #constraints=1598
1.00/1.07	c nbDecision=27500 #constraints=1602
1.00/1.08	c nbDecision=28000 #constraints=1605
1.00/1.09	c nbDecision=28500 #constraints=1606
1.00/1.10	c nbDecision=29000 #constraints=1608
1.10/1.11	c nbDecision=29500 #constraints=1610
1.10/1.12	c nbDecision=30000 #constraints=1614
1.10/1.13	c nbDecision=30500 #constraints=1619
1.10/1.14	c nbDecision=31000 #constraints=1623
1.10/1.15	c nbDecision=31500 #constraints=1628
1.19/1.20	c nbDecision=32000 #constraints=1667
1.19/1.24	c nbDecision=32500 #constraints=1699
1.19/1.26	c nbDecision=33000 #constraints=1705
1.19/1.28	c nbDecision=33500 #constraints=1717
1.29/1.34	c nbDecision=34000 #constraints=1757
1.29/1.38	c nbDecision=34500 #constraints=1793
1.39/1.41	c nbDecision=35000 #constraints=1806
1.39/1.44	c nbDecision=35500 #constraints=1822
1.49/1.53	c nbDecision=36000 #constraints=1877
1.49/1.57	c nbDecision=36500 #constraints=1897
1.59/1.61	c nbDecision=37000 #constraints=1922
1.59/1.66	c nbDecision=37500 #constraints=1959
1.69/1.72	c nbDecision=38000 #constraints=2003
1.69/1.78	c nbDecision=38500 #constraints=2040
1.79/1.88	c nbDecision=39000 #constraints=2095
1.89/1.97	c nbDecision=39500 #constraints=2145
1.99/2.07	c nbDecision=40000 #constraints=2203
2.10/2.13	c nbDecision=40500 #constraints=2228
2.20/2.23	c nbDecision=41000 #constraints=2267
2.29/2.33	c nbDecision=41500 #constraints=2321
2.39/2.43	c nbDecision=42000 #constraints=2372
2.49/2.52	c nbDecision=42500 #constraints=2418
2.59/2.63	c nbDecision=43000 #constraints=2466
2.69/2.77	c nbDecision=43500 #constraints=2531
2.79/2.87	c nbDecision=44000 #constraints=2575
2.89/2.95	c nbDecision=44500 #constraints=2602
2.99/3.05	c nbDecision=45000 #constraints=2637
3.19/3.21	c nbDecision=45500 #constraints=2704
3.29/3.39	c nbDecision=46000 #constraints=2784
3.49/3.53	c nbDecision=46500 #constraints=2840
3.59/3.69	c nbDecision=47000 #constraints=2902
3.79/3.87	c nbDecision=47500 #constraints=2970
3.99/4.03	c nbDecision=48000 #constraints=3018
4.09/4.18	c nbDecision=48500 #constraints=3068
4.19/4.28	c nbDecision=49000 #constraints=3106
4.49/4.50	c nbDecision=49500 #constraints=3176
4.59/4.68	c nbDecision=50000 #constraints=3230
4.69/4.79	c nbDecision=50500 #constraints=3262
4.89/4.96	c nbDecision=51000 #constraints=3307
5.09/5.11	c restart after 51201 decisions
5.09/5.15	c nbDecision=51500 #constraints=3354
5.39/5.42	c nbDecision=52000 #constraints=3430
5.79/5.86	c nbDecision=52500 #constraints=3542
6.09/6.13	c nbDecision=53000 #constraints=3616
6.39/6.42	c nbDecision=53500 #constraints=3678
6.39/6.45	c nbDecision=54000 #constraints=3680
6.49/6.57	c nbDecision=54500 #constraints=3709
6.78/6.88	c nbDecision=55000 #constraints=3782
7.08/7.17	c nbDecision=55500 #constraints=3844
7.48/7.58	c nbDecision=56000 #constraints=3938
8.09/8.16	c nbDecision=56500 #constraints=4054
8.39/8.40	c nbDecision=57000 #constraints=4099
8.80/8.85	c nbDecision=57500 #constraints=4189
9.49/9.53	c nbDecision=58000 #constraints=4312
9.99/10.05	c nbDecision=58500 #constraints=4405
10.39/10.45	c nbDecision=59000 #constraints=4478
10.99/11.06	c nbDecision=59500 #constraints=4592
11.79/11.82	c nbDecision=60000 #constraints=4730
12.29/12.38	c nbDecision=60500 #constraints=4828
13.19/13.23	c nbDecision=61000 #constraints=4935
14.29/14.35	c nbDecision=61500 #constraints=5111
15.09/15.18	c nbDecision=62000 #constraints=5224
16.18/16.21	c nbDecision=62500 #constraints=5364
16.78/16.87	c nbDecision=63000 #constraints=5437
17.28/17.35	c nbDecision=63500 #constraints=5491
18.38/18.41	c nbDecision=64000 #constraints=5618
19.28/19.33	c nbDecision=64500 #constraints=5736
20.29/20.39	c nbDecision=65000 #constraints=5859
21.79/21.83	c nbDecision=65500 #constraints=6028
22.59/22.69	c nbDecision=66000 #constraints=6130
23.59/23.62	c nbDecision=66500 #constraints=6227
24.89/24.92	c nbDecision=67000 #constraints=6370
25.89/25.96	c nbDecision=67500 #constraints=6473
27.58/27.67	c nbDecision=68000 #constraints=6653
29.28/29.34	c nbDecision=68500 #constraints=6833
31.08/31.15	c nbDecision=69000 #constraints=7011
33.28/33.38	c nbDecision=69500 #constraints=7195
35.68/35.71	c nbDecision=70000 #constraints=7383
36.78/36.80	c nbDecision=70500 #constraints=7478
38.39/38.40	c nbDecision=71000 #constraints=7610
40.18/40.29	c nbDecision=71500 #constraints=7776
42.28/42.38	c nbDecision=72000 #constraints=7936
42.68/42.77	c nbDecision=72500 #constraints=7960
44.68/44.74	c nbDecision=73000 #constraints=8106
46.88/46.99	c nbDecision=73500 #constraints=8269
48.38/48.40	c nbDecision=74000 #constraints=8362
49.38/49.41	c nbDecision=74500 #constraints=8436
51.88/51.93	c nbDecision=75000 #constraints=8607
53.98/54.00	c nbDecision=75500 #constraints=8755
56.48/56.59	c nbDecision=76000 #constraints=8939
58.28/58.34	c nbDecision=76500 #constraints=9064
59.58/59.65	c nbDecision=77000 #constraints=9143
62.47/62.54	c nbDecision=77500 #constraints=9304
63.37/63.50	c nbDecision=78000 #constraints=9360
63.78/63.82	c nbDecision=78500 #constraints=9372
63.97/64.05	c nbDecision=79000 #constraints=9377
64.07/64.12	c nbDecision=79500 #constraints=9380
64.17/64.25	c nbDecision=80000 #constraints=9384
64.27/64.33	c nbDecision=80500 #constraints=9387
64.37/64.47	c nbDecision=81000 #constraints=9391
64.47/64.55	c nbDecision=81500 #constraints=9394
65.07/65.13	c nbDecision=82000 #constraints=9432
65.98/66.05	c nbDecision=82500 #constraints=9489
67.57/67.67	c nbDecision=83000 #constraints=9599
68.37/68.40	c nbDecision=83500 #constraints=9631
68.47/68.59	c nbDecision=84000 #constraints=9643
68.67/68.72	c nbDecision=84500 #constraints=9649
68.87/68.92	c nbDecision=85000 #constraints=9667
68.97/69.07	c nbDecision=85500 #constraints=9674
69.17/69.21	c nbDecision=86000 #constraints=9680
69.27/69.39	c nbDecision=86500 #constraints=9692
69.47/69.53	c nbDecision=87000 #constraints=9696
69.57/69.68	c nbDecision=87500 #constraints=9701
69.77/69.81	c nbDecision=88000 #constraints=9705
69.77/69.88	c nbDecision=88500 #constraints=9708
69.87/69.95	c nbDecision=89000 #constraints=9713
69.97/70.02	c nbDecision=89500 #constraints=9716
69.97/70.08	c nbDecision=90000 #constraints=9719
70.07/70.19	c nbDecision=90500 #constraints=9724
70.17/70.25	c nbDecision=91000 #constraints=9726
70.27/70.34	c nbDecision=91500 #constraints=9730
70.37/70.44	c nbDecision=92000 #constraints=9735
70.47/70.52	c nbDecision=92500 #constraints=9738
70.57/70.61	c nbDecision=93000 #constraints=9742
70.57/70.69	c nbDecision=93500 #constraints=9745
70.67/70.77	c nbDecision=94000 #constraints=9748
71.07/71.14	c nbDecision=94500 #constraints=9769
71.27/71.32	c nbDecision=95000 #constraints=9777
71.47/71.58	c nbDecision=95500 #constraints=9790
71.77/71.87	c nbDecision=96000 #constraints=9805
72.27/72.38	c nbDecision=96500 #constraints=9834
72.77/72.83	c nbDecision=97000 #constraints=9861
73.17/73.24	c nbDecision=97500 #constraints=9889
74.07/74.17	c nbDecision=98000 #constraints=9957
75.38/75.44	c nbDecision=98500 #constraints=10047
75.68/75.72	c nbDecision=99000 #constraints=10063
77.67/77.76	c nbDecision=99500 #constraints=10204
78.47/78.57	c nbDecision=100000 #constraints=10251
78.87/78.90	c nbDecision=100500 #constraints=10264
79.37/79.40	c nbDecision=101000 #constraints=10301
79.87/79.97	c nbDecision=101500 #constraints=10335
80.18/80.27	c nbDecision=102000 #constraints=10344
80.28/80.36	c restart after 102401 decisions
80.57/80.61	c nbDecision=102500 #constraints=10347
80.67/80.72	c nbDecision=103000 #constraints=10351
80.97/81.00	c nbDecision=103500 #constraints=10370
81.17/81.23	c nbDecision=104000 #constraints=10380
81.38/81.44	c nbDecision=104500 #constraints=10390
81.57/81.63	c nbDecision=105000 #constraints=10398
81.77/81.81	c nbDecision=105500 #constraints=10409
82.17/82.23	c nbDecision=106000 #constraints=10434
82.27/82.37	c nbDecision=106500 #constraints=10438
82.48/82.53	c nbDecision=107000 #constraints=10445
82.57/82.65	c nbDecision=107500 #constraints=10452
82.77/82.85	c nbDecision=108000 #constraints=10463
83.48/83.57	c nbDecision=108500 #constraints=10506
84.47/84.52	c nbDecision=109000 #constraints=10566
85.07/85.11	c nbDecision=109500 #constraints=10599
85.57/85.63	c nbDecision=110000 #constraints=10629
85.67/85.79	c nbDecision=110500 #constraints=10634
85.97/86.09	c nbDecision=111000 #constraints=10652
86.27/86.32	c nbDecision=111500 #constraints=10658
86.47/86.51	c nbDecision=112000 #constraints=10664
86.57/86.69	c nbDecision=112500 #constraints=10671
86.77/86.87	c nbDecision=113000 #constraints=10678
86.97/87.00	c nbDecision=113500 #constraints=10682
87.17/87.25	c nbDecision=114000 #constraints=10689
87.37/87.45	c nbDecision=114500 #constraints=10695
87.67/87.77	c nbDecision=115000 #constraints=10704
87.87/87.91	c nbDecision=115500 #constraints=10708
87.87/87.99	c nbDecision=116000 #constraints=10714
87.97/88.09	c nbDecision=116500 #constraints=10720
88.07/88.18	c nbDecision=117000 #constraints=10724
88.27/88.39	c nbDecision=117500 #constraints=10736
88.47/88.54	c nbDecision=118000 #constraints=10745
88.67/88.72	c nbDecision=118500 #constraints=10755
88.77/88.89	c nbDecision=119000 #constraints=10762
88.97/89.05	c nbDecision=119500 #constraints=10769
89.17/89.23	c nbDecision=120000 #constraints=10776
89.37/89.44	c nbDecision=120500 #constraints=10782
89.57/89.67	c nbDecision=121000 #constraints=10792
89.87/89.90	c nbDecision=121500 #constraints=10803
90.17/90.22	c nbDecision=122000 #constraints=10830
90.57/90.62	c nbDecision=122500 #constraints=10852
90.57/90.68	c nbDecision=123000 #constraints=10855
90.67/90.75	c nbDecision=123500 #constraints=10859
90.77/90.83	c nbDecision=124000 #constraints=10863
90.97/91.01	c nbDecision=124500 #constraints=10874
91.27/91.38	c nbDecision=125000 #constraints=10898
91.67/91.74	c nbDecision=125500 #constraints=10921
92.17/92.29	c nbDecision=126000 #constraints=10960
92.67/92.71	c nbDecision=126500 #constraints=10986
92.77/92.84	c nbDecision=127000 #constraints=10990
92.87/92.94	c nbDecision=127500 #constraints=10994
92.97/93.09	c nbDecision=128000 #constraints=10999
93.07/93.19	c nbDecision=128500 #constraints=11004
93.37/93.45	c nbDecision=129000 #constraints=11024
93.67/93.76	c nbDecision=129500 #constraints=11047
93.97/94.07	c nbDecision=130000 #constraints=11062
94.17/94.29	c nbDecision=130500 #constraints=11071
94.37/94.43	c nbDecision=131000 #constraints=11078
94.57/94.69	c nbDecision=131500 #constraints=11089
94.87/94.97	c nbDecision=132000 #constraints=11105
95.07/95.15	c nbDecision=132500 #constraints=11117
95.37/95.44	c nbDecision=133000 #constraints=11132
95.77/95.87	c nbDecision=133500 #constraints=11157
96.07/96.12	c nbDecision=134000 #constraints=11171
96.27/96.39	c nbDecision=134500 #constraints=11186
96.46/96.55	c nbDecision=135000 #constraints=11195
96.67/96.73	c nbDecision=135500 #constraints=11203
96.86/96.97	c nbDecision=136000 #constraints=11215
97.06/97.17	c nbDecision=136500 #constraints=11225
97.26/97.39	c nbDecision=137000 #constraints=11236
97.77/97.86	c nbDecision=137500 #constraints=11261
97.96/98.05	c nbDecision=138000 #constraints=11271
98.26/98.36	c nbDecision=138500 #constraints=11287
98.46/98.51	c nbDecision=139000 #constraints=11294
98.76/98.84	c nbDecision=139500 #constraints=11311
98.87/98.99	c nbDecision=140000 #constraints=11318
99.16/99.22	c nbDecision=140500 #constraints=11329
99.46/99.50	c nbDecision=141000 #constraints=11343
99.66/99.72	c nbDecision=141500 #constraints=11353
99.97/100.09	c nbDecision=142000 #constraints=11371
100.36/100.40	c nbDecision=142500 #constraints=11385
100.46/100.55	c nbDecision=143000 #constraints=11392
100.86/100.92	c nbDecision=143500 #constraints=11410
101.17/101.23	c nbDecision=144000 #constraints=11425
101.36/101.46	c nbDecision=144500 #constraints=11436
101.56/101.66	c nbDecision=145000 #constraints=11445
101.96/102.02	c nbDecision=145500 #constraints=11463
102.27/102.38	c nbDecision=146000 #constraints=11480
102.56/102.64	c nbDecision=146500 #constraints=11492
102.76/102.86	c nbDecision=147000 #constraints=11505
103.06/103.14	c nbDecision=147500 #constraints=11520
103.37/103.49	c nbDecision=148000 #constraints=11540
103.66/103.75	c nbDecision=148500 #constraints=11554
103.86/103.98	c nbDecision=149000 #constraints=11566
104.16/104.27	c nbDecision=149500 #constraints=11579
104.37/104.49	c nbDecision=150000 #constraints=11589
104.66/104.71	c nbDecision=150500 #constraints=11601
104.96/105.01	c nbDecision=151000 #constraints=11617
105.16/105.22	c nbDecision=151500 #constraints=11627
105.36/105.40	c nbDecision=152000 #constraints=11636
105.56/105.67	c nbDecision=152500 #constraints=11649
105.86/105.96	c nbDecision=153000 #constraints=11663
106.06/106.17	c nbDecision=153500 #constraints=11674
106.26/106.36	c nbDecision=154000 #constraints=11684
106.46/106.59	c nbDecision=154500 #constraints=11696
106.76/106.83	c nbDecision=155000 #constraints=11708
106.96/107.08	c nbDecision=155500 #constraints=11722
107.26/107.39	c nbDecision=156000 #constraints=11739
107.56/107.63	c nbDecision=156500 #constraints=11751
107.86/107.98	c nbDecision=157000 #constraints=11767
108.16/108.25	c nbDecision=157500 #constraints=11779
108.36/108.46	c nbDecision=158000 #constraints=11791
108.67/108.73	c nbDecision=158500 #constraints=11806
108.97/109.00	c nbDecision=159000 #constraints=11819
109.27/109.33	c nbDecision=159500 #constraints=11837
109.67/109.74	c nbDecision=160000 #constraints=11862
109.87/109.97	c nbDecision=160500 #constraints=11874
110.27/110.33	c nbDecision=161000 #constraints=11894
110.57/110.66	c nbDecision=161500 #constraints=11911
110.87/110.98	c nbDecision=162000 #constraints=11927
111.07/111.16	c nbDecision=162500 #constraints=11935
111.27/111.37	c nbDecision=163000 #constraints=11944
111.47/111.57	c nbDecision=163500 #constraints=11953
111.67/111.79	c nbDecision=164000 #constraints=11963
112.07/112.14	c nbDecision=164500 #constraints=11979
112.37/112.43	c nbDecision=165000 #constraints=11993
112.67/112.71	c nbDecision=165500 #constraints=12006
112.86/112.97	c nbDecision=166000 #constraints=12019
113.06/113.17	c nbDecision=166500 #constraints=12029
113.27/113.39	c nbDecision=167000 #constraints=12041
113.56/113.63	c nbDecision=167500 #constraints=12053
113.76/113.83	c nbDecision=168000 #constraints=12063
113.96/114.05	c nbDecision=168500 #constraints=12075
114.27/114.30	c nbDecision=169000 #constraints=12089
114.66/114.71	c nbDecision=169500 #constraints=12111
114.96/115.08	c nbDecision=170000 #constraints=12132
115.37/115.43	c nbDecision=170500 #constraints=12151
115.76/115.85	c nbDecision=171000 #constraints=12175
116.16/116.20	c nbDecision=171500 #constraints=12195
116.66/116.73	c nbDecision=172000 #constraints=12224
117.26/117.37	c nbDecision=172500 #constraints=12260
117.67/117.79	c nbDecision=173000 #constraints=12283
118.26/118.30	c nbDecision=173500 #constraints=12310
118.46/118.57	c nbDecision=174000 #constraints=12324
118.86/118.98	c nbDecision=174500 #constraints=12347
119.36/119.47	c nbDecision=175000 #constraints=12373
119.76/119.86	c nbDecision=175500 #constraints=12393
120.16/120.28	c nbDecision=176000 #constraints=12413
120.66/120.72	c nbDecision=176500 #constraints=12435
121.16/121.28	c nbDecision=177000 #constraints=12464
121.66/121.75	c nbDecision=177500 #constraints=12488
122.26/122.30	c nbDecision=178000 #constraints=12516
122.86/122.98	c nbDecision=178500 #constraints=12550
123.86/123.92	c nbDecision=179000 #constraints=12598
124.16/124.27	c nbDecision=179500 #constraints=12614
124.56/124.69	c nbDecision=180000 #constraints=12634
125.06/125.12	c nbDecision=180500 #constraints=12653
125.46/125.58	c nbDecision=181000 #constraints=12675
126.06/126.13	c nbDecision=181500 #constraints=12701
126.56/126.62	c nbDecision=182000 #constraints=12722
126.96/127.04	c nbDecision=182500 #constraints=12741
127.65/127.70	c nbDecision=183000 #constraints=12772
128.05/128.16	c nbDecision=183500 #constraints=12792
128.66/128.73	c nbDecision=184000 #constraints=12819
129.25/129.38	c nbDecision=184500 #constraints=12848
129.76/129.85	c nbDecision=185000 #constraints=12866
130.35/130.46	c nbDecision=185500 #constraints=12897
130.65/130.75	c nbDecision=186000 #constraints=12911
131.05/131.15	c nbDecision=186500 #constraints=12931
131.35/131.45	c nbDecision=187000 #constraints=12946
131.55/131.68	c nbDecision=187500 #constraints=12956
131.86/131.96	c nbDecision=188000 #constraints=12968
132.25/132.35	c nbDecision=188500 #constraints=12987
132.55/132.62	c nbDecision=189000 #constraints=12998
132.85/132.92	c nbDecision=189500 #constraints=13010
133.35/133.45	c nbDecision=190000 #constraints=13033
133.65/133.72	c nbDecision=190500 #constraints=13043
134.06/134.14	c nbDecision=191000 #constraints=13061
134.35/134.41	c nbDecision=191500 #constraints=13072
134.65/134.77	c nbDecision=192000 #constraints=13088
135.05/135.16	c nbDecision=192500 #constraints=13104
135.35/135.46	c nbDecision=193000 #constraints=13117
135.75/135.81	c nbDecision=193500 #constraints=13133
135.96/136.09	c nbDecision=194000 #constraints=13145
136.26/136.37	c nbDecision=194500 #constraints=13157
136.56/136.67	c nbDecision=195000 #constraints=13169
137.26/137.32	c nbDecision=195500 #constraints=13198
137.76/137.86	c nbDecision=196000 #constraints=13221
138.16/138.20	c nbDecision=196500 #constraints=13234
138.46/138.59	c nbDecision=197000 #constraints=13252
138.96/139.01	c nbDecision=197500 #constraints=13271
139.26/139.36	c nbDecision=198000 #constraints=13286
139.66/139.77	c nbDecision=198500 #constraints=13303
140.06/140.13	c nbDecision=199000 #constraints=13319
140.36/140.46	c nbDecision=199500 #constraints=13333
140.86/140.90	c nbDecision=200000 #constraints=13352
141.26/141.37	c nbDecision=200500 #constraints=13373
141.66/141.76	c nbDecision=201000 #constraints=13389
142.16/142.24	c nbDecision=201500 #constraints=13409
142.66/142.76	c nbDecision=202000 #constraints=13432
143.36/143.40	c nbDecision=202500 #constraints=13459
143.96/144.09	c nbDecision=203000 #constraints=13488
144.66/144.76	c nbDecision=203500 #constraints=13516
145.35/145.41	c nbDecision=204000 #constraints=13543
145.95/146.06	c nbDecision=204500 #constraints=13570
146.45/146.52	c restart after 204801 decisions
146.85/146.92	c nbDecision=205000 #constraints=13589
147.55/147.68	c nbDecision=205500 #constraints=13620
148.46/148.57	c nbDecision=206000 #constraints=13656
149.46/149.53	c nbDecision=206500 #constraints=13702
149.85/149.95	c nbDecision=207000 #constraints=13723
150.25/150.33	c nbDecision=207500 #constraints=13741
150.66/150.78	c nbDecision=208000 #constraints=13763
151.05/151.12	c nbDecision=208500 #constraints=13779
151.55/151.64	c nbDecision=209000 #constraints=13803
152.05/152.19	c nbDecision=209500 #constraints=13826
152.75/152.85	c nbDecision=210000 #constraints=13854
153.25/153.39	c nbDecision=210500 #constraints=13875
153.65/153.72	c nbDecision=211000 #constraints=13890
154.05/154.19	c nbDecision=211500 #constraints=13913
154.35/154.50	c nbDecision=212000 #constraints=13927
154.85/154.95	c nbDecision=212500 #constraints=13949
155.25/155.36	c nbDecision=213000 #constraints=13968
155.85/155.92	c nbDecision=213500 #constraints=13992
156.15/156.30	c nbDecision=214000 #constraints=14009
156.55/156.64	c nbDecision=214500 #constraints=14026
156.95/157.06	c nbDecision=215000 #constraints=14047
157.35/157.41	c nbDecision=215500 #constraints=14063
157.65/157.79	c nbDecision=216000 #constraints=14080
158.25/158.33	c nbDecision=216500 #constraints=14104
158.75/158.89	c nbDecision=217000 #constraints=14127
159.36/159.48	c nbDecision=217500 #constraints=14150
159.95/160.08	c nbDecision=218000 #constraints=14174
160.56/160.64	c nbDecision=218500 #constraints=14198
160.95/161.01	c nbDecision=219000 #constraints=14215
161.45/161.54	c nbDecision=219500 #constraints=14241
161.85/161.96	c nbDecision=220000 #constraints=14260
162.35/162.41	c nbDecision=220500 #constraints=14280
162.95/163.02	c nbDecision=221000 #constraints=14305
163.35/163.44	c nbDecision=221500 #constraints=14324
163.76/163.83	c nbDecision=222000 #constraints=14342
164.25/164.34	c nbDecision=222500 #constraints=14366
164.75/164.82	c nbDecision=223000 #constraints=14388
165.25/165.30	c nbDecision=223500 #constraints=14407
165.85/165.97	c nbDecision=224000 #constraints=14434
166.35/166.49	c nbDecision=224500 #constraints=14455
166.85/166.92	c nbDecision=225000 #constraints=14475
167.35/167.40	c nbDecision=225500 #constraints=14497
167.75/167.83	c nbDecision=226000 #constraints=14515
168.35/168.40	c nbDecision=226500 #constraints=14540
168.85/168.98	c nbDecision=227000 #constraints=14566
169.26/169.34	c nbDecision=227500 #constraints=14581
169.95/170.08	c nbDecision=228000 #constraints=14616
170.35/170.48	c nbDecision=228500 #constraints=14633
170.65/170.70	c nbDecision=229000 #constraints=14640
170.85/170.94	c nbDecision=229500 #constraints=14648
171.15/171.26	c nbDecision=230000 #constraints=14660
171.85/171.96	c nbDecision=230500 #constraints=14693
172.25/172.33	c nbDecision=231000 #constraints=14708
172.55/172.69	c nbDecision=231500 #constraints=14723
173.35/173.45	c nbDecision=232000 #constraints=14757
173.75/173.87	c nbDecision=232500 #constraints=14774
174.15/174.27	c nbDecision=233000 #constraints=14789
174.55/174.69	c nbDecision=233500 #constraints=14805
175.25/175.36	c nbDecision=234000 #constraints=14835
175.74/175.84	c nbDecision=234500 #constraints=14856
176.24/176.38	c nbDecision=235000 #constraints=14879
176.54/176.65	c nbDecision=235500 #constraints=14887
176.84/176.94	c nbDecision=236000 #constraints=14899
177.14/177.27	c nbDecision=236500 #constraints=14913
177.44/177.58	c nbDecision=237000 #constraints=14925
177.74/177.87	c nbDecision=237500 #constraints=14937
178.05/178.16	c nbDecision=238000 #constraints=14949
178.44/178.51	c nbDecision=238500 #constraints=14962
178.74/178.86	c nbDecision=239000 #constraints=14975
179.14/179.26	c nbDecision=239500 #constraints=14991
179.54/179.66	c nbDecision=240000 #constraints=15006
179.84/179.99	c nbDecision=240500 #constraints=15019
180.24/180.37	c nbDecision=241000 #constraints=15033
180.84/180.93	c nbDecision=241500 #constraints=15057
181.34/181.42	c nbDecision=242000 #constraints=15078
181.94/182.00	c nbDecision=242500 #constraints=15104
182.54/182.62	c nbDecision=243000 #constraints=15131
183.14/183.28	c nbDecision=243500 #constraints=15160
183.74/183.80	c nbDecision=244000 #constraints=15182
184.24/184.35	c nbDecision=244500 #constraints=15205
184.64/184.74	c nbDecision=245000 #constraints=15221
185.25/185.32	c nbDecision=245500 #constraints=15245
185.65/185.72	c nbDecision=246000 #constraints=15262
186.15/186.28	c nbDecision=246500 #constraints=15286
186.85/186.97	c nbDecision=247000 #constraints=15315
187.35/187.44	c nbDecision=247500 #constraints=15334
187.55/187.69	c nbDecision=248000 #constraints=15342
187.95/188.05	c nbDecision=248500 #constraints=15355
188.45/188.51	c nbDecision=249000 #constraints=15373
188.95/189.09	c nbDecision=249500 #constraints=15397
189.55/189.66	c nbDecision=250000 #constraints=15420
190.15/190.23	c nbDecision=250500 #constraints=15442
190.55/190.60	c nbDecision=251000 #constraints=15455
190.94/191.09	c nbDecision=251500 #constraints=15474
191.54/191.69	c nbDecision=252000 #constraints=15497
191.94/192.06	c nbDecision=252500 #constraints=15512
192.45/192.52	c nbDecision=253000 #constraints=15531
192.94/193.02	c nbDecision=253500 #constraints=15552
193.34/193.50	c nbDecision=254000 #constraints=15572
193.94/194.03	c nbDecision=254500 #constraints=15594
194.65/194.72	c nbDecision=255000 #constraints=15623
195.14/195.29	c nbDecision=255500 #constraints=15647
195.44/195.56	c nbDecision=256000 #constraints=15656
195.84/195.96	c nbDecision=256500 #constraints=15671
196.34/196.43	c nbDecision=257000 #constraints=15690
196.84/196.91	c nbDecision=257500 #constraints=15709
197.54/197.65	c nbDecision=258000 #constraints=15739
198.04/198.10	c nbDecision=258500 #constraints=15756
198.34/198.46	c nbDecision=259000 #constraints=15769
198.94/199.04	c nbDecision=259500 #constraints=15792
199.54/199.64	c nbDecision=260000 #constraints=15817
200.04/200.15	c nbDecision=260500 #constraints=15837
200.44/200.53	c nbDecision=261000 #constraints=15851
201.04/201.11	c nbDecision=261500 #constraints=15874
201.64/201.71	c nbDecision=262000 #constraints=15898
202.44/202.51	c nbDecision=262500 #constraints=15931
203.04/203.12	c nbDecision=263000 #constraints=15956
203.34/203.48	c nbDecision=263500 #constraints=15969
203.94/204.01	c nbDecision=264000 #constraints=15990
204.33/204.49	c nbDecision=264500 #constraints=16009
204.93/205.07	c nbDecision=265000 #constraints=16032
205.64/205.74	c nbDecision=265500 #constraints=16060
206.43/206.54	c nbDecision=266000 #constraints=16093
207.03/207.14	c nbDecision=266500 #constraints=16116
207.43/207.59	c nbDecision=267000 #constraints=16132
207.93/208.07	c nbDecision=267500 #constraints=16149
208.53/208.65	c nbDecision=268000 #constraints=16171
209.13/209.22	c nbDecision=268500 #constraints=16193
209.73/209.82	c nbDecision=269000 #constraints=16216
210.33/210.47	c nbDecision=269500 #constraints=16240
210.83/210.97	c nbDecision=270000 #constraints=16256
211.23/211.38	c nbDecision=270500 #constraints=16270
211.63/211.76	c nbDecision=271000 #constraints=16284
212.14/212.26	c nbDecision=271500 #constraints=16303
212.43/212.57	c nbDecision=272000 #constraints=16313
212.73/212.90	c nbDecision=272500 #constraints=16323
213.13/213.30	c nbDecision=273000 #constraints=16337
213.53/213.67	c nbDecision=273500 #constraints=16350
214.03/214.16	c nbDecision=274000 #constraints=16368
214.34/214.49	c nbDecision=274500 #constraints=16379
214.74/214.88	c nbDecision=275000 #constraints=16393
215.24/215.34	c nbDecision=275500 #constraints=16411
215.74/215.88	c nbDecision=276000 #constraints=16432
216.34/216.48	c nbDecision=276500 #constraints=16456
216.84/216.99	c nbDecision=277000 #constraints=16475
217.44/217.56	c nbDecision=277500 #constraints=16497
218.04/218.17	c nbDecision=278000 #constraints=16520
218.64/218.77	c nbDecision=278500 #constraints=16543
219.14/219.25	c nbDecision=279000 #constraints=16560
219.84/219.94	c nbDecision=279500 #constraints=16586
220.44/220.55	c nbDecision=280000 #constraints=16610
221.04/221.14	c nbDecision=280500 #constraints=16633
221.54/221.62	c nbDecision=281000 #constraints=16651
222.14/222.21	c nbDecision=281500 #constraints=16673
222.84/222.96	c nbDecision=282000 #constraints=16703
224.13/224.27	c nbDecision=282500 #constraints=16758
224.53/224.67	c nbDecision=283000 #constraints=16771
224.83/224.98	c nbDecision=283500 #constraints=16780
225.34/225.40	c nbDecision=284000 #constraints=16794
225.63/225.74	c nbDecision=284500 #constraints=16805
226.03/226.12	c nbDecision=285000 #constraints=16818
226.54/226.64	c nbDecision=285500 #constraints=16837
226.93/227.06	c nbDecision=286000 #constraints=16851
227.43/227.57	c nbDecision=286500 #constraints=16870
228.13/228.22	c nbDecision=287000 #constraints=16896
228.93/229.04	c nbDecision=287500 #constraints=16928
229.43/229.58	c nbDecision=288000 #constraints=16948
230.03/230.15	c nbDecision=288500 #constraints=16968
230.53/230.62	c nbDecision=289000 #constraints=16985
231.13/231.29	c nbDecision=289500 #constraints=17009
231.83/231.95	c nbDecision=290000 #constraints=17034
232.33/232.45	c nbDecision=290500 #constraints=17051
232.63/232.76	c nbDecision=291000 #constraints=17060
233.03/233.16	c nbDecision=291500 #constraints=17073
233.43/233.55	c nbDecision=292000 #constraints=17085
233.83/233.97	c nbDecision=292500 #constraints=17100
234.33/234.48	c nbDecision=293000 #constraints=17118
234.73/234.85	c nbDecision=293500 #constraints=17130
235.33/235.46	c nbDecision=294000 #constraints=17154
236.03/236.19	c nbDecision=294500 #constraints=17182
236.63/236.73	c nbDecision=295000 #constraints=17201
237.03/237.13	c nbDecision=295500 #constraints=17214
237.72/237.86	c nbDecision=296000 #constraints=17241
238.22/238.38	c nbDecision=296500 #constraints=17259
238.82/238.97	c nbDecision=297000 #constraints=17279
239.12/239.28	c nbDecision=297500 #constraints=17289
239.82/239.90	c nbDecision=298000 #constraints=17314
240.12/240.22	c nbDecision=298500 #constraints=17323
240.52/240.61	c nbDecision=299000 #constraints=17338
240.73/240.87	c nbDecision=299500 #constraints=17345
241.02/241.15	c nbDecision=300000 #constraints=17353
241.32/241.46	c nbDecision=300500 #constraints=17362
241.83/241.91	c nbDecision=301000 #constraints=17376
242.12/242.24	c nbDecision=301500 #constraints=17386
242.52/242.64	c nbDecision=302000 #constraints=17398
243.02/243.12	c nbDecision=302500 #constraints=17415
243.32/243.45	c nbDecision=303000 #constraints=17427
243.82/243.92	c nbDecision=303500 #constraints=17445
244.12/244.27	c nbDecision=304000 #constraints=17457
244.52/244.66	c nbDecision=304500 #constraints=17471
244.92/245.04	c nbDecision=305000 #constraints=17485
245.22/245.38	c nbDecision=305500 #constraints=17497
245.62/245.78	c nbDecision=306000 #constraints=17511
246.22/246.32	c nbDecision=306500 #constraints=17533
246.82/246.92	c nbDecision=307000 #constraints=17558
247.42/247.54	c nbDecision=307500 #constraints=17584
248.02/248.17	c nbDecision=308000 #constraints=17610
248.82/248.96	c nbDecision=308500 #constraints=17644
249.52/249.64	c nbDecision=309000 #constraints=17672
250.02/250.19	c nbDecision=309500 #constraints=17694
250.52/250.66	c nbDecision=310000 #constraints=17712
251.02/251.19	c nbDecision=310500 #constraints=17732
251.62/251.74	c nbDecision=311000 #constraints=17754
252.32/252.46	c nbDecision=311500 #constraints=17784
253.12/253.27	c nbDecision=312000 #constraints=17818
253.72/253.88	c nbDecision=312500 #constraints=17842
254.42/254.59	c nbDecision=313000 #constraints=17870
255.12/255.29	c nbDecision=313500 #constraints=17898
255.72/255.87	c nbDecision=314000 #constraints=17920
256.12/256.28	c nbDecision=314500 #constraints=17935
256.51/256.69	c nbDecision=315000 #constraints=17949
256.91/257.08	c nbDecision=315500 #constraints=17963
257.32/257.48	c nbDecision=316000 #constraints=17977
257.81/257.98	c nbDecision=316500 #constraints=17995
258.32/258.43	c nbDecision=317000 #constraints=18011
258.81/258.97	c nbDecision=317500 #constraints=18031
259.42/259.51	c nbDecision=318000 #constraints=18050
260.11/260.21	c nbDecision=318500 #constraints=18077
260.71/260.84	c nbDecision=319000 #constraints=18100
261.51/261.63	c nbDecision=319500 #constraints=18129
262.61/262.72	c nbDecision=320000 #constraints=18170
263.11/263.28	c nbDecision=320500 #constraints=18189
263.71/263.88	c nbDecision=321000 #constraints=18210
264.22/264.37	c nbDecision=321500 #constraints=18227
264.62/264.79	c nbDecision=322000 #constraints=18241
265.12/265.22	c nbDecision=322500 #constraints=18255
265.52/265.63	c nbDecision=323000 #constraints=18269
265.92/266.05	c nbDecision=323500 #constraints=18283
266.42/266.51	c nbDecision=324000 #constraints=18299
266.92/267.06	c nbDecision=324500 #constraints=18317
267.52/267.68	c nbDecision=325000 #constraints=18339
267.92/268.10	c nbDecision=325500 #constraints=18351
268.32/268.41	c nbDecision=326000 #constraints=18360
268.62/268.77	c nbDecision=326500 #constraints=18372
269.02/269.15	c nbDecision=327000 #constraints=18384
269.42/269.58	c nbDecision=327500 #constraints=18400
269.92/270.10	c nbDecision=328000 #constraints=18418
270.32/270.42	c nbDecision=328500 #constraints=18428
270.72/270.81	c nbDecision=329000 #constraints=18442
271.21/271.31	c nbDecision=329500 #constraints=18460
271.62/271.79	c nbDecision=330000 #constraints=18478
272.41/272.50	c nbDecision=330500 #constraints=18506
273.01/273.14	c nbDecision=331000 #constraints=18530
273.72/273.88	c nbDecision=331500 #constraints=18558
274.21/274.35	c nbDecision=332000 #constraints=18574
274.71/274.84	c nbDecision=332500 #constraints=18592
275.21/275.30	c nbDecision=333000 #constraints=18608
275.61/275.74	c nbDecision=333500 #constraints=18623
276.11/276.28	c nbDecision=334000 #constraints=18643
276.61/276.70	c nbDecision=334500 #constraints=18657
277.31/277.44	c nbDecision=335000 #constraints=18687
278.11/278.24	c nbDecision=335500 #constraints=18719
279.11/279.26	c nbDecision=336000 #constraints=18761
279.81/279.96	c nbDecision=336500 #constraints=18787
280.71/280.82	c nbDecision=337000 #constraints=18819
281.41/281.52	c nbDecision=337500 #constraints=18845
282.01/282.14	c nbDecision=338000 #constraints=18867
282.41/282.57	c nbDecision=338500 #constraints=18881
282.81/282.99	c nbDecision=339000 #constraints=18895
283.30/283.46	c nbDecision=339500 #constraints=18911
283.80/283.94	c nbDecision=340000 #constraints=18927
284.30/284.45	c nbDecision=340500 #constraints=18945
284.81/284.93	c nbDecision=341000 #constraints=18961
285.40/285.51	c nbDecision=341500 #constraints=18981
285.91/286.05	c nbDecision=342000 #constraints=18999
286.20/286.37	c nbDecision=342500 #constraints=19007
286.60/286.72	c nbDecision=343000 #constraints=19018
286.91/287.02	c nbDecision=343500 #constraints=19027
287.20/287.38	c nbDecision=344000 #constraints=19038
287.50/287.65	c nbDecision=344500 #constraints=19046
287.80/287.96	c nbDecision=345000 #constraints=19056
288.20/288.36	c nbDecision=345500 #constraints=19070
288.60/288.71	c nbDecision=346000 #constraints=19082
288.90/289.02	c nbDecision=346500 #constraints=19091
289.30/289.49	c nbDecision=347000 #constraints=19107
289.70/289.89	c nbDecision=347500 #constraints=19119
290.21/290.39	c nbDecision=348000 #constraints=19137
290.60/290.78	c nbDecision=348500 #constraints=19149
291.00/291.18	c nbDecision=349000 #constraints=19161
291.50/291.61	c nbDecision=349500 #constraints=19175
291.90/292.00	c nbDecision=350000 #constraints=19187
292.40/292.50	c nbDecision=350500 #constraints=19205
292.70/292.89	c nbDecision=351000 #constraints=19217
293.20/293.33	c nbDecision=351500 #constraints=19231
293.60/293.76	c nbDecision=352000 #constraints=19245
294.00/294.15	c nbDecision=352500 #constraints=19257
294.50/294.62	c nbDecision=353000 #constraints=19272
294.90/295.05	c nbDecision=353500 #constraints=19286
295.30/295.45	c nbDecision=354000 #constraints=19298
295.71/295.88	c nbDecision=354500 #constraints=19312
296.31/296.45	c nbDecision=355000 #constraints=19332
296.71/296.83	c nbDecision=355500 #constraints=19344
297.21/297.33	c nbDecision=356000 #constraints=19360
297.61/297.74	c nbDecision=356500 #constraints=19372
298.01/298.19	c nbDecision=357000 #constraints=19386
298.51/298.65	c nbDecision=357500 #constraints=19400
298.91/299.10	c nbDecision=358000 #constraints=19414
299.41/299.55	c nbDecision=358500 #constraints=19428
299.91/300.08	c nbDecision=359000 #constraints=19446
300.41/300.53	c nbDecision=359500 #constraints=19460
300.81/300.94	c nbDecision=360000 #constraints=19472
301.21/301.40	c nbDecision=360500 #constraints=19486
301.71/301.86	c nbDecision=361000 #constraints=19500
302.11/302.28	c nbDecision=361500 #constraints=19512
302.61/302.74	c nbDecision=362000 #constraints=19528
303.10/303.21	c nbDecision=362500 #constraints=19544
303.41/303.59	c nbDecision=363000 #constraints=19556
303.90/304.02	c nbDecision=363500 #constraints=19570
304.30/304.49	c nbDecision=364000 #constraints=19586
304.70/304.82	c nbDecision=364500 #constraints=19596
305.10/305.24	c nbDecision=365000 #constraints=19610
305.50/305.62	c nbDecision=365500 #constraints=19622
306.00/306.10	c nbDecision=366000 #constraints=19638
306.40/306.52	c nbDecision=366500 #constraints=19652
306.81/306.97	c nbDecision=367000 #constraints=19666
307.30/307.45	c nbDecision=367500 #constraints=19682
307.81/307.93	c nbDecision=368000 #constraints=19698
308.50/308.68	c nbDecision=368500 #constraints=19726
309.20/309.37	c nbDecision=369000 #constraints=19750
310.01/310.14	c nbDecision=369500 #constraints=19778
310.70/310.84	c nbDecision=370000 #constraints=19802
311.30/311.46	c nbDecision=370500 #constraints=19822
311.90/312.00	c nbDecision=371000 #constraints=19838
312.40/312.57	c nbDecision=371500 #constraints=19856
312.90/313.03	c nbDecision=372000 #constraints=19870
313.50/313.61	c nbDecision=372500 #constraints=19890
314.10/314.25	c nbDecision=373000 #constraints=19912
314.90/315.03	c nbDecision=373500 #constraints=19940
315.80/315.94	c nbDecision=374000 #constraints=19973
316.70/316.88	c nbDecision=374500 #constraints=20007
317.49/317.64	c nbDecision=375000 #constraints=20033
318.29/318.44	c nbDecision=375500 #constraints=20061
319.19/319.34	c nbDecision=376000 #constraints=20093
319.79/319.91	c nbDecision=376500 #constraints=20111
320.19/320.38	c nbDecision=377000 #constraints=20125
320.79/320.90	c nbDecision=377500 #constraints=20141
321.29/321.44	c nbDecision=378000 #constraints=20159
322.10/322.21	c nbDecision=378500 #constraints=20187
322.69/322.87	c nbDecision=379000 #constraints=20209
323.49/323.64	c nbDecision=379500 #constraints=20237
324.09/324.21	c nbDecision=380000 #constraints=20255
324.59/324.79	c nbDecision=380500 #constraints=20273
325.19/325.31	c nbDecision=381000 #constraints=20289
325.69/325.86	c nbDecision=381500 #constraints=20305
326.29/326.46	c nbDecision=382000 #constraints=20325
326.99/327.14	c nbDecision=382500 #constraints=20347
327.79/327.91	c nbDecision=383000 #constraints=20375
328.59/328.79	c nbDecision=383500 #constraints=20406
329.59/329.72	c nbDecision=384000 #constraints=20440
330.30/330.45	c nbDecision=384500 #constraints=20464
331.20/331.31	c nbDecision=385000 #constraints=20494
332.19/332.38	c nbDecision=385500 #constraints=20532
332.79/332.91	c nbDecision=386000 #constraints=20548
333.29/333.41	c nbDecision=386500 #constraints=20562
333.79/333.91	c nbDecision=387000 #constraints=20576
334.49/334.62	c nbDecision=387500 #constraints=20598
334.89/335.07	c nbDecision=388000 #constraints=20610
335.40/335.58	c nbDecision=388500 #constraints=20624
335.99/336.13	c nbDecision=389000 #constraints=20640
336.59/336.73	c nbDecision=389500 #constraints=20658
337.29/337.41	c nbDecision=390000 #constraints=20679
338.09/338.25	c nbDecision=390500 #constraints=20707
338.99/339.13	c nbDecision=391000 #constraints=20737
339.79/339.97	c nbDecision=391500 #constraints=20765
340.39/340.57	c nbDecision=392000 #constraints=20783
341.19/341.33	c nbDecision=392500 #constraints=20807
342.09/342.28	c nbDecision=393000 #constraints=20839
342.89/343.03	c nbDecision=393500 #constraints=20863
343.59/343.75	c nbDecision=394000 #constraints=20885
344.49/344.63	c nbDecision=394500 #constraints=20913
345.39/345.55	c nbDecision=395000 #constraints=20943
346.39/346.51	c nbDecision=395500 #constraints=20975
347.39/347.57	c nbDecision=396000 #constraints=21011
348.79/348.96	c nbDecision=396500 #constraints=21059
349.49/349.67	c nbDecision=397000 #constraints=21081
349.98/350.17	c nbDecision=397500 #constraints=21095
350.58/350.71	c nbDecision=398000 #constraints=21111
351.18/351.32	c nbDecision=398500 #constraints=21131
351.88/352.09	c nbDecision=399000 #constraints=21157
352.66/352.86	c nbDecision=399500 #constraints=21181
353.46/353.67	c nbDecision=400000 #constraints=21209
354.06/354.22	c nbDecision=400500 #constraints=21225
354.66/354.89	c nbDecision=401000 #constraints=21245
355.26/355.46	c nbDecision=401500 #constraints=21261
355.85/356.07	c nbDecision=402000 #constraints=21279
356.55/356.71	c nbDecision=402500 #constraints=21299
357.15/357.30	c nbDecision=403000 #constraints=21317
357.95/358.12	c nbDecision=403500 #constraints=21345
358.85/359.04	c nbDecision=404000 #constraints=21375
359.95/360.12	c nbDecision=404500 #constraints=21413
360.85/361.09	c nbDecision=405000 #constraints=21445
361.75/361.91	c nbDecision=405500 #constraints=21471
362.85/363.08	c nbDecision=406000 #constraints=21510
363.44/363.62	c nbDecision=406500 #constraints=21526
363.95/364.16	c nbDecision=407000 #constraints=21540
364.54/364.70	c nbDecision=407500 #constraints=21554
365.24/365.45	c nbDecision=408000 #constraints=21576
365.74/365.94	c nbDecision=408500 #constraints=21588
366.24/366.48	c nbDecision=409000 #constraints=21602
366.94/367.13	c nbDecision=409500 #constraints=21620
367.14/367.32	c restart after 409601 decisions
368.03/368.26	c nbDecision=410000 #constraints=21633
368.73/368.96	c nbDecision=410500 #constraints=21657
369.33/369.52	c nbDecision=411000 #constraints=21674
370.23/370.47	c nbDecision=411500 #constraints=21711
370.82/371.08	c nbDecision=412000 #constraints=21731
371.63/371.83	c nbDecision=412500 #constraints=21756
371.92/372.17	c nbDecision=413000 #constraints=21763
372.32/372.56	c nbDecision=413500 #constraints=21772
372.82/373.04	c nbDecision=414000 #constraints=21784
373.32/373.53	c nbDecision=414500 #constraints=21799
373.82/374.09	c nbDecision=415000 #constraints=21814
374.51/374.70	c nbDecision=415500 #constraints=21832
374.92/375.15	c nbDecision=416000 #constraints=21842
375.51/375.72	c nbDecision=416500 #constraints=21859
376.11/376.31	c nbDecision=417000 #constraints=21877
376.61/376.85	c nbDecision=417500 #constraints=21891
377.20/377.41	c nbDecision=418000 #constraints=21907
377.70/377.99	c nbDecision=418500 #constraints=21923
378.21/378.47	c nbDecision=419000 #constraints=21936
378.80/379.00	c nbDecision=419500 #constraints=21950
379.50/379.76	c nbDecision=420000 #constraints=21972
380.00/380.24	c nbDecision=420500 #constraints=21984
380.70/380.95	c nbDecision=421000 #constraints=22004
381.30/381.54	c nbDecision=421500 #constraints=22020
382.00/382.27	c nbDecision=422000 #constraints=22042
382.99/383.22	c nbDecision=422500 #constraints=22072
383.99/384.26	c nbDecision=423000 #constraints=22106
384.89/385.15	c nbDecision=423500 #constraints=22134
385.60/385.85	c nbDecision=424000 #constraints=22154
386.49/386.76	c nbDecision=424500 #constraints=22182
387.59/387.87	c nbDecision=425000 #constraints=22218
388.69/388.93	c nbDecision=425500 #constraints=22252
389.99/390.27	c nbDecision=426000 #constraints=22296
390.99/391.21	c nbDecision=426500 #constraints=22324
391.79/392.07	c nbDecision=427000 #constraints=22350
392.39/392.70	c nbDecision=427500 #constraints=22367
392.99/393.25	c nbDecision=428000 #constraints=22380
393.39/393.66	c nbDecision=428500 #constraints=22388
393.89/394.16	c nbDecision=429000 #constraints=22402
394.49/394.70	c nbDecision=429500 #constraints=22416
395.08/395.31	c nbDecision=430000 #constraints=22432
395.48/395.79	c nbDecision=430500 #constraints=22444
396.18/396.41	c nbDecision=431000 #constraints=22460
396.69/396.90	c nbDecision=431500 #constraints=22472
397.29/397.50	c nbDecision=432000 #constraints=22488
397.90/398.18	c nbDecision=432500 #constraints=22506
398.59/398.80	c nbDecision=433000 #constraints=22522
399.19/399.43	c nbDecision=433500 #constraints=22538
399.79/400.09	c nbDecision=434000 #constraints=22556
400.89/401.12	c nbDecision=434500 #constraints=22588
401.98/402.22	c nbDecision=435000 #constraints=22622
402.49/402.72	c nbDecision=435500 #constraints=22636
403.08/403.33	c nbDecision=436000 #constraints=22654
403.78/404.08	c nbDecision=436500 #constraints=22676
404.77/405.06	c nbDecision=437000 #constraints=22705
405.47/405.76	c nbDecision=437500 #constraints=22723
406.37/406.64	c nbDecision=438000 #constraints=22749
407.47/407.75	c nbDecision=438500 #constraints=22783
408.77/409.00	c nbDecision=439000 #constraints=22823
410.07/410.36	c nbDecision=439500 #constraints=22867
410.87/411.15	c nbDecision=440000 #constraints=22889
411.87/412.16	c nbDecision=440500 #constraints=22919
412.47/412.76	c nbDecision=441000 #constraints=22933
412.87/413.13	c nbDecision=441500 #constraints=22940
413.27/413.59	c nbDecision=442000 #constraints=22951
413.77/414.08	c nbDecision=442500 #constraints=22962
414.37/414.63	c nbDecision=443000 #constraints=22975
415.17/415.50	c nbDecision=443500 #constraints=23003
415.57/415.88	c nbDecision=444000 #constraints=23010
416.07/416.36	c nbDecision=444500 #constraints=23020
416.57/416.86	c nbDecision=445000 #constraints=23032
417.07/417.32	c nbDecision=445500 #constraints=23043
417.67/417.93	c nbDecision=446000 #constraints=23059
418.47/418.76	c nbDecision=446500 #constraints=23085
419.08/419.31	c nbDecision=447000 #constraints=23101
419.88/420.17	c nbDecision=447500 #constraints=23130
420.68/420.92	c nbDecision=448000 #constraints=23153
421.57/421.86	c nbDecision=448500 #constraints=23183
422.57/422.89	c nbDecision=449000 #constraints=23217
423.37/423.64	c nbDecision=449500 #constraints=23239
424.38/424.64	c nbDecision=450000 #constraints=23269
425.57/425.85	c nbDecision=450500 #constraints=23309
426.77/427.07	c nbDecision=451000 #constraints=23349
428.07/428.33	c nbDecision=451500 #constraints=23390
429.27/429.51	c nbDecision=452000 #constraints=23429
430.97/431.24	c nbDecision=452500 #constraints=23492
432.47/432.72	c nbDecision=453000 #constraints=23544
433.27/433.59	c nbDecision=453500 #constraints=23571
434.07/434.39	c nbDecision=454000 #constraints=23596
434.57/434.86	c nbDecision=454500 #constraints=23606
435.67/435.93	c nbDecision=455000 #constraints=23643
436.37/436.68	c nbDecision=455500 #constraints=23665
436.87/437.14	c nbDecision=456000 #constraints=23674
437.47/437.73	c nbDecision=456500 #constraints=23689
438.06/438.36	c nbDecision=457000 #constraints=23705
438.86/439.15	c nbDecision=457500 #constraints=23727
439.26/439.59	c nbDecision=458000 #constraints=23737
439.96/440.24	c nbDecision=458500 #constraints=23754
440.96/441.20	c nbDecision=459000 #constraints=23783
442.07/442.37	c nbDecision=459500 #constraints=23818
442.87/443.12	c nbDecision=460000 #constraints=23838
443.87/444.11	c nbDecision=460500 #constraints=23866
444.87/445.12	c nbDecision=461000 #constraints=23896
445.77/446.05	c nbDecision=461500 #constraints=23922
446.47/446.78	c nbDecision=462000 #constraints=23944
447.26/447.57	c nbDecision=462500 #constraints=23968
447.86/448.14	c nbDecision=463000 #constraints=23979
448.57/448.82	c nbDecision=463500 #constraints=23998
449.16/449.42	c nbDecision=464000 #constraints=24013
449.76/450.01	c nbDecision=464500 #constraints=24028
450.36/450.69	c nbDecision=465000 #constraints=24047
451.26/451.53	c nbDecision=465500 #constraints=24072
452.06/452.31	c nbDecision=466000 #constraints=24094
452.76/453.00	c nbDecision=466500 #constraints=24113
453.26/453.58	c nbDecision=467000 #constraints=24128
453.97/454.24	c nbDecision=467500 #constraints=24148
454.56/454.86	c nbDecision=468000 #constraints=24164
455.56/455.84	c nbDecision=468500 #constraints=24195
456.06/456.40	c nbDecision=469000 #constraints=24208
456.86/457.18	c nbDecision=469500 #constraints=24230
457.76/458.03	c nbDecision=470000 #constraints=24254
458.66/458.90	c nbDecision=470500 #constraints=24281
459.46/459.79	c nbDecision=471000 #constraints=24308
460.46/460.73	c nbDecision=471500 #constraints=24338
461.56/461.87	c nbDecision=472000 #constraints=24375
462.36/462.65	c nbDecision=472500 #constraints=24395
463.55/463.80	c nbDecision=473000 #constraints=24429
464.45/464.71	c nbDecision=473500 #constraints=24454
465.25/465.51	c nbDecision=474000 #constraints=24477
466.25/466.58	c nbDecision=474500 #constraints=24510
467.35/467.65	c nbDecision=475000 #constraints=24542
468.26/468.54	c nbDecision=475500 #constraints=24568
468.75/469.07	c nbDecision=476000 #constraints=24579
470.05/470.30	c nbDecision=476500 #constraints=24617
471.66/471.98	c nbDecision=477000 #constraints=24676
473.35/473.60	c nbDecision=477500 #constraints=24731
474.05/474.35	c nbDecision=478000 #constraints=24750
474.65/474.91	c nbDecision=478500 #constraints=24762
475.25/475.53	c nbDecision=479000 #constraints=24777
475.85/476.19	c nbDecision=479500 #constraints=24793
476.75/477.06	c nbDecision=480000 #constraints=24817
477.55/477.88	c nbDecision=480500 #constraints=24839
478.25/478.59	c nbDecision=481000 #constraints=24858
479.15/479.41	c nbDecision=481500 #constraints=24880
479.85/480.15	c nbDecision=482000 #constraints=24899
480.54/480.83	c nbDecision=482500 #constraints=24915
481.35/481.66	c nbDecision=483000 #constraints=24937
482.05/482.33	c nbDecision=483500 #constraints=24952
482.56/482.84	c nbDecision=484000 #constraints=24963
483.05/483.37	c nbDecision=484500 #constraints=24974
483.55/483.88	c nbDecision=485000 #constraints=24985
484.15/484.43	c nbDecision=485500 #constraints=24998
485.15/485.41	c nbDecision=486000 #constraints=25024
486.05/486.32	c nbDecision=486500 #constraints=25049
486.85/487.19	c nbDecision=487000 #constraints=25073
487.45/487.72	c nbDecision=487500 #constraints=25084
488.15/488.45	c nbDecision=488000 #constraints=25105
488.75/489.04	c nbDecision=488500 #constraints=25120
489.35/489.60	c nbDecision=489000 #constraints=25134
490.05/490.34	c nbDecision=489500 #constraints=25155
491.15/491.47	c nbDecision=490000 #constraints=25189
492.15/492.42	c nbDecision=490500 #constraints=25217
492.75/493.07	c nbDecision=491000 #constraints=25233
493.35/493.65	c nbDecision=491500 #constraints=25247
494.05/494.37	c nbDecision=492000 #constraints=25267
494.75/495.01	c nbDecision=492500 #constraints=25284
495.45/495.79	c nbDecision=493000 #constraints=25306
496.24/496.51	c nbDecision=493500 #constraints=25326
496.95/497.29	c nbDecision=494000 #constraints=25349
498.24/498.51	c nbDecision=494500 #constraints=25391
499.24/499.54	c nbDecision=495000 #constraints=25419
500.04/500.33	c nbDecision=495500 #constraints=25441
500.74/501.09	c nbDecision=496000 #constraints=25462
501.74/502.09	c nbDecision=496500 #constraints=25491
502.34/502.67	c nbDecision=497000 #constraints=25502
503.04/503.32	c nbDecision=497500 #constraints=25515
503.54/503.86	c nbDecision=498000 #constraints=25527
504.24/504.53	c nbDecision=498500 #constraints=25543
505.04/505.37	c nbDecision=499000 #constraints=25564
505.84/506.18	c nbDecision=499500 #constraints=25585
507.04/507.31	c nbDecision=500000 #constraints=25616
508.34/508.63	c nbDecision=500500 #constraints=25653
508.94/509.24	c nbDecision=501000 #constraints=25668
509.53/509.82	c nbDecision=501500 #constraints=25681
510.33/510.61	c nbDecision=502000 #constraints=25701
511.24/511.52	c nbDecision=502500 #constraints=25725
512.24/512.51	c nbDecision=503000 #constraints=25751
513.23/513.60	c nbDecision=503500 #constraints=25780
514.84/515.16	c nbDecision=504000 #constraints=25824
515.54/515.89	c nbDecision=504500 #constraints=25842
516.44/516.71	c nbDecision=505000 #constraints=25863
517.34/517.64	c nbDecision=505500 #constraints=25887
518.54/518.84	c nbDecision=506000 #constraints=25919
520.04/520.38	c nbDecision=506500 #constraints=25962
521.44/521.76	c nbDecision=507000 #constraints=26000
522.14/522.50	c nbDecision=507500 #constraints=26018
523.04/523.36	c nbDecision=508000 #constraints=26040
524.14/524.46	c nbDecision=508500 #constraints=26069
525.54/525.82	c nbDecision=509000 #constraints=26107
526.64/526.99	c nbDecision=509500 #constraints=26140
527.83/528.12	c nbDecision=510000 #constraints=26169
529.03/529.31	c nbDecision=510500 #constraints=26201
530.23/530.58	c nbDecision=511000 #constraints=26235
531.83/532.10	c nbDecision=511500 #constraints=26278
533.63/533.97	c nbDecision=512000 #constraints=26331
534.53/534.89	c nbDecision=512500 #constraints=26355
535.33/535.63	c nbDecision=513000 #constraints=26372
536.13/536.47	c nbDecision=513500 #constraints=26394
537.43/537.76	c nbDecision=514000 #constraints=26427
538.53/538.87	c nbDecision=514500 #constraints=26457
539.83/540.16	c nbDecision=515000 #constraints=26493
540.72/541.01	c nbDecision=515500 #constraints=26514
541.32/541.67	c nbDecision=516000 #constraints=26529
542.13/542.43	c nbDecision=516500 #constraints=26546
543.03/543.32	c nbDecision=517000 #constraints=26568
544.33/544.60	c nbDecision=517500 #constraints=26602
545.63/545.96	c nbDecision=518000 #constraints=26637
547.13/547.41	c nbDecision=518500 #constraints=26676
547.83/548.18	c nbDecision=519000 #constraints=26694
548.53/548.87	c nbDecision=519500 #constraints=26709
549.43/549.76	c nbDecision=520000 #constraints=26730
550.42/550.74	c nbDecision=520500 #constraints=26754
551.62/551.98	c nbDecision=521000 #constraints=26786
552.93/553.24	c nbDecision=521500 #constraints=26819
554.03/554.35	c nbDecision=522000 #constraints=26848
554.72/555.07	c nbDecision=522500 #constraints=26865
555.32/555.68	c nbDecision=523000 #constraints=26878
556.23/556.54	c nbDecision=523500 #constraints=26898
557.22/557.57	c nbDecision=524000 #constraints=26923
557.92/558.28	c nbDecision=524500 #constraints=26939
558.82/559.11	c nbDecision=525000 #constraints=26959
559.92/560.25	c nbDecision=525500 #constraints=26988
561.02/561.33	c nbDecision=526000 #constraints=27015
562.32/562.65	c nbDecision=526500 #constraints=27049
563.82/564.18	c nbDecision=527000 #constraints=27090
565.12/565.45	c nbDecision=527500 #constraints=27123
566.52/566.90	c nbDecision=528000 #constraints=27160
568.22/568.58	c nbDecision=528500 #constraints=27204
569.82/570.10	c nbDecision=529000 #constraints=27245
571.32/571.65	c nbDecision=529500 #constraints=27286
572.02/572.31	c nbDecision=530000 #constraints=27300
572.82/573.18	c nbDecision=530500 #constraints=27320
573.82/574.13	c nbDecision=531000 #constraints=27342
574.61/574.97	c nbDecision=531500 #constraints=27362
576.12/576.48	c nbDecision=532000 #constraints=27400
577.71/578.04	c nbDecision=532500 #constraints=27441
578.71/579.01	c nbDecision=533000 #constraints=27465
579.21/579.57	c nbDecision=533500 #constraints=27476
579.81/580.10	c nbDecision=534000 #constraints=27486
580.41/580.75	c nbDecision=534500 #constraints=27500
581.11/581.50	c nbDecision=535000 #constraints=27518
581.91/582.26	c nbDecision=535500 #constraints=27535
583.01/583.33	c nbDecision=536000 #constraints=27562
583.61/583.98	c nbDecision=536500 #constraints=27577
584.22/584.58	c nbDecision=537000 #constraints=27589
585.02/585.30	c nbDecision=537500 #constraints=27605
585.92/586.27	c nbDecision=538000 #constraints=27630
586.92/587.20	c nbDecision=538500 #constraints=27653
587.71/588.05	c nbDecision=539000 #constraints=27672
588.61/588.92	c nbDecision=539500 #constraints=27693
589.22/589.55	c nbDecision=540000 #constraints=27706
589.81/590.12	c nbDecision=540500 #constraints=27717
590.42/590.76	c nbDecision=541000 #constraints=27730
591.01/591.37	c nbDecision=541500 #constraints=27743
591.61/591.91	c nbDecision=542000 #constraints=27753
592.31/592.63	c nbDecision=542500 #constraints=27768
592.91/593.27	c nbDecision=543000 #constraints=27780
593.72/594.02	c nbDecision=543500 #constraints=27796
594.51/594.81	c nbDecision=544000 #constraints=27813
595.01/595.39	c nbDecision=544500 #constraints=27825
595.71/596.05	c nbDecision=545000 #constraints=27839
596.31/596.68	c nbDecision=545500 #constraints=27852
596.92/597.29	c nbDecision=546000 #constraints=27865
597.51/597.88	c nbDecision=546500 #constraints=27877
598.21/598.51	c nbDecision=547000 #constraints=27891
598.81/599.14	c nbDecision=547500 #constraints=27905
599.51/599.86	c nbDecision=548000 #constraints=27922
600.51/600.84	c nbDecision=548500 #constraints=27947
601.31/601.63	c nbDecision=549000 #constraints=27966
602.11/602.41	c nbDecision=549500 #constraints=27982
602.61/602.98	c nbDecision=550000 #constraints=27993
603.41/603.75	c nbDecision=550500 #constraints=28011
604.11/604.41	c nbDecision=551000 #constraints=28025
604.91/605.20	c nbDecision=551500 #constraints=28042
605.81/606.15	c nbDecision=552000 #constraints=28066
606.41/606.78	c nbDecision=552500 #constraints=28080
607.11/607.44	c nbDecision=553000 #constraints=28094
607.81/608.15	c nbDecision=553500 #constraints=28110
608.70/609.03	c nbDecision=554000 #constraints=28131
609.70/610.04	c nbDecision=554500 #constraints=28157
610.60/610.96	c nbDecision=555000 #constraints=28181
611.31/611.65	c nbDecision=555500 #constraints=28198
611.90/612.23	c nbDecision=556000 #constraints=28209
612.70/613.05	c nbDecision=556500 #constraints=28228
613.50/613.85	c nbDecision=557000 #constraints=28247
614.60/614.91	c nbDecision=557500 #constraints=28273
615.60/615.92	c nbDecision=558000 #constraints=28298
616.20/616.54	c nbDecision=558500 #constraints=28312
617.10/617.42	c nbDecision=559000 #constraints=28332
618.10/618.40	c nbDecision=559500 #constraints=28355
619.40/619.75	c nbDecision=560000 #constraints=28389
620.50/620.81	c nbDecision=560500 #constraints=28414
621.20/621.56	c nbDecision=561000 #constraints=28431
622.00/622.34	c nbDecision=561500 #constraints=28448
623.20/623.54	c nbDecision=562000 #constraints=28477
624.10/624.46	c nbDecision=562500 #constraints=28498
624.70/625.00	c nbDecision=563000 #constraints=28508
625.40/625.71	c nbDecision=563500 #constraints=28523
626.10/626.40	c nbDecision=564000 #constraints=28537
626.90/627.27	c nbDecision=564500 #constraints=28557
627.71/628.04	c nbDecision=565000 #constraints=28574
628.50/628.88	c nbDecision=565500 #constraints=28594
629.50/629.81	c nbDecision=566000 #constraints=28617
630.40/630.71	c nbDecision=566500 #constraints=28639
630.90/631.27	c nbDecision=567000 #constraints=28650
632.30/632.66	c nbDecision=567500 #constraints=28686
633.80/634.11	c nbDecision=568000 #constraints=28724
635.30/635.60	c nbDecision=568500 #constraints=28764
636.40/636.78	c nbDecision=569000 #constraints=28794
638.10/638.42	c nbDecision=569500 #constraints=28838
638.70/639.06	c nbDecision=570000 #constraints=28851
639.50/639.80	c nbDecision=570500 #constraints=28868
640.30/640.69	c nbDecision=571000 #constraints=28889
641.10/641.42	c nbDecision=571500 #constraints=28904
641.90/642.29	c nbDecision=572000 #constraints=28922
642.79/643.14	c nbDecision=572500 #constraints=28941
643.49/643.89	c nbDecision=573000 #constraints=28959
644.30/644.63	c nbDecision=573500 #constraints=28975
645.30/645.62	c nbDecision=574000 #constraints=28999
646.09/646.47	c nbDecision=574500 #constraints=29020
646.89/647.26	c nbDecision=575000 #constraints=29039
647.69/648.09	c nbDecision=575500 #constraints=29058
648.70/649.01	c nbDecision=576000 #constraints=29080
649.39/649.78	c nbDecision=576500 #constraints=29099
650.29/650.60	c nbDecision=577000 #constraints=29118
650.99/651.33	c nbDecision=577500 #constraints=29134
651.69/652.04	c nbDecision=578000 #constraints=29150
652.69/653.04	c nbDecision=578500 #constraints=29174
653.39/653.78	c nbDecision=579000 #constraints=29190
654.29/654.65	c nbDecision=579500 #constraints=29209
655.19/655.54	c nbDecision=580000 #constraints=29230
655.99/656.33	c nbDecision=580500 #constraints=29249
656.59/656.98	c nbDecision=581000 #constraints=29262
657.39/657.73	c nbDecision=581500 #constraints=29279
658.29/658.69	c nbDecision=582000 #constraints=29301
659.29/659.66	c nbDecision=582500 #constraints=29324
660.29/660.64	c nbDecision=583000 #constraints=29347
660.99/661.38	c nbDecision=583500 #constraints=29363
661.89/662.25	c nbDecision=584000 #constraints=29385
662.69/663.09	c nbDecision=584500 #constraints=29404
663.69/664.05	c nbDecision=585000 #constraints=29427
664.29/664.65	c nbDecision=585500 #constraints=29441
664.99/665.34	c nbDecision=586000 #constraints=29456
665.89/666.21	c nbDecision=586500 #constraints=29476
666.59/666.91	c nbDecision=587000 #constraints=29490
667.29/667.67	c nbDecision=587500 #constraints=29506
668.09/668.47	c nbDecision=588000 #constraints=29523
668.89/669.29	c nbDecision=588500 #constraints=29540
669.69/670.02	c nbDecision=589000 #constraints=29553
670.49/670.81	c nbDecision=589500 #constraints=29568
671.18/671.51	c nbDecision=590000 #constraints=29580
671.79/672.13	c nbDecision=590500 #constraints=29591
672.38/672.77	c nbDecision=591000 #constraints=29602
673.08/673.47	c nbDecision=591500 #constraints=29616
673.68/674.09	c nbDecision=592000 #constraints=29627
674.28/674.70	c nbDecision=592500 #constraints=29638
675.09/675.44	c nbDecision=593000 #constraints=29652
675.98/676.37	c nbDecision=593500 #constraints=29672
676.68/677.04	c nbDecision=594000 #constraints=29684
677.48/677.84	c nbDecision=594500 #constraints=29700
678.48/678.81	c nbDecision=595000 #constraints=29722
679.28/679.61	c nbDecision=595500 #constraints=29737
679.98/680.39	c nbDecision=596000 #constraints=29751
680.88/681.23	c nbDecision=596500 #constraints=29768
682.08/682.45	c nbDecision=597000 #constraints=29796
683.58/683.98	c nbDecision=597500 #constraints=29832
684.78/685.15	c nbDecision=598000 #constraints=29858
685.78/686.11	c nbDecision=598500 #constraints=29880
686.78/687.10	c nbDecision=599000 #constraints=29904
687.67/688.03	c nbDecision=599500 #constraints=29926
688.87/689.21	c nbDecision=600000 #constraints=29952
689.57/689.91	c nbDecision=600500 #constraints=29964
690.17/690.57	c nbDecision=601000 #constraints=29976
690.87/691.23	c nbDecision=601500 #constraints=29988
691.48/691.86	c nbDecision=602000 #constraints=30000
692.07/692.44	c nbDecision=602500 #constraints=30009
692.68/693.08	c nbDecision=603000 #constraints=30021
693.37/693.79	c nbDecision=603500 #constraints=30035
694.28/694.64	c nbDecision=604000 #constraints=30053
695.18/695.53	c nbDecision=604500 #constraints=30073
695.88/696.24	c nbDecision=605000 #constraints=30086
696.58/696.97	c nbDecision=605500 #constraints=30100
697.68/698.01	c nbDecision=606000 #constraints=30122
698.48/698.82	c nbDecision=606500 #constraints=30138
699.18/699.50	c nbDecision=607000 #constraints=30152
700.08/700.45	c nbDecision=607500 #constraints=30172
700.98/701.34	c nbDecision=608000 #constraints=30190
701.88/702.22	c nbDecision=608500 #constraints=30209
702.58/702.94	c nbDecision=609000 #constraints=30223
703.78/704.13	c nbDecision=609500 #constraints=30249
704.68/705.07	c nbDecision=610000 #constraints=30269
705.58/705.97	c nbDecision=610500 #constraints=30289
706.28/706.65	c nbDecision=611000 #constraints=30303
707.58/707.90	c nbDecision=611500 #constraints=30333
708.68/709.09	c nbDecision=612000 #constraints=30359
709.38/709.74	c nbDecision=612500 #constraints=30373
710.07/710.41	c nbDecision=613000 #constraints=30384
710.77/711.18	c nbDecision=613500 #constraints=30398
711.77/712.18	c nbDecision=614000 #constraints=30420
712.67/713.03	c nbDecision=614500 #constraints=30436
713.37/713.76	c nbDecision=615000 #constraints=30449
714.17/714.57	c nbDecision=615500 #constraints=30463
714.97/715.38	c nbDecision=616000 #constraints=30479
716.67/717.01	c nbDecision=616500 #constraints=30517
718.27/718.69	c nbDecision=617000 #constraints=30557
719.37/719.76	c nbDecision=617500 #constraints=30579
720.47/720.83	c nbDecision=618000 #constraints=30602
721.17/721.51	c nbDecision=618500 #constraints=30612
721.87/722.23	c nbDecision=619000 #constraints=30626
722.57/722.90	c nbDecision=619500 #constraints=30638
723.57/723.91	c nbDecision=620000 #constraints=30660
724.26/724.66	c nbDecision=620500 #constraints=30674
725.16/725.50	c nbDecision=621000 #constraints=30690
725.86/726.24	c nbDecision=621500 #constraints=30706
726.56/726.97	c nbDecision=622000 #constraints=30720
727.46/727.80	c nbDecision=622500 #constraints=30736
728.46/728.88	c nbDecision=623000 #constraints=30760
729.66/730.06	c nbDecision=623500 #constraints=30786
730.96/731.39	c nbDecision=624000 #constraints=30816
731.96/732.32	c nbDecision=624500 #constraints=30834
732.56/732.91	c nbDecision=625000 #constraints=30844
733.26/733.65	c nbDecision=625500 #constraints=30858
734.26/734.65	c nbDecision=626000 #constraints=30880
735.16/735.54	c nbDecision=626500 #constraints=30898
735.96/736.32	c nbDecision=627000 #constraints=30913
736.76/737.13	c nbDecision=627500 #constraints=30929
737.76/738.18	c nbDecision=628000 #constraints=30951
738.77/739.12	c nbDecision=628500 #constraints=30971
739.66/740.07	c nbDecision=629000 #constraints=30991
741.07/741.44	c nbDecision=629500 #constraints=31023
742.46/742.86	c nbDecision=630000 #constraints=31056
743.17/743.51	c nbDecision=630500 #constraints=31066
743.96/744.32	c nbDecision=631000 #constraints=31080
744.86/745.21	c nbDecision=631500 #constraints=31096
745.86/746.24	c nbDecision=632000 #constraints=31116
747.26/747.65	c nbDecision=632500 #constraints=31147
748.67/749.06	c nbDecision=633000 #constraints=31178
750.16/750.51	c nbDecision=633500 #constraints=31210
751.56/751.91	c nbDecision=634000 #constraints=31240
752.26/752.62	c nbDecision=634500 #constraints=31252
752.96/753.37	c nbDecision=635000 #constraints=31266
753.76/754.11	c nbDecision=635500 #constraints=31279
754.46/754.81	c nbDecision=636000 #constraints=31291
755.26/755.60	c nbDecision=636500 #constraints=31306
755.96/756.35	c nbDecision=637000 #constraints=31320
756.76/757.14	c nbDecision=637500 #constraints=31336
757.65/758.10	c nbDecision=638000 #constraints=31356
758.85/759.23	c nbDecision=638500 #constraints=31380
759.66/760.03	c nbDecision=639000 #constraints=31397
760.35/760.72	c nbDecision=639500 #constraints=31409
761.15/761.56	c nbDecision=640000 #constraints=31425
762.15/762.52	c nbDecision=640500 #constraints=31445
762.85/763.21	c nbDecision=641000 #constraints=31457
763.55/763.94	c nbDecision=641500 #constraints=31471
764.55/764.95	c nbDecision=642000 #constraints=31491
765.95/766.38	c nbDecision=642500 #constraints=31524
766.75/767.17	c nbDecision=643000 #constraints=31540
768.15/768.55	c nbDecision=643500 #constraints=31570
769.15/769.50	c nbDecision=644000 #constraints=31590
770.25/770.63	c nbDecision=644500 #constraints=31614
771.45/771.87	c nbDecision=645000 #constraints=31642
772.65/773.05	c nbDecision=645500 #constraints=31669
773.55/773.93	c nbDecision=646000 #constraints=31686
774.45/774.86	c nbDecision=646500 #constraints=31707
775.55/775.92	c nbDecision=647000 #constraints=31731
776.55/776.99	c nbDecision=647500 #constraints=31755
777.85/778.21	c nbDecision=648000 #constraints=31784
779.15/779.51	c nbDecision=648500 #constraints=31815
780.55/780.98	c nbDecision=649000 #constraints=31850
781.94/782.32	c nbDecision=649500 #constraints=31880
783.14/783.54	c nbDecision=650000 #constraints=31907
784.24/784.60	c nbDecision=650500 #constraints=31930
785.54/785.90	c nbDecision=651000 #constraints=31960
786.74/787.13	c nbDecision=651500 #constraints=31988
787.84/788.20	c nbDecision=652000 #constraints=32013
789.15/789.50	c nbDecision=652500 #constraints=32044
789.95/790.36	c nbDecision=653000 #constraints=32063
791.15/791.52	c nbDecision=653500 #constraints=32090
792.45/792.87	c nbDecision=654000 #constraints=32121
793.35/793.79	c nbDecision=654500 #constraints=32139
794.55/794.98	c nbDecision=655000 #constraints=32166
795.65/796.02	c nbDecision=655500 #constraints=32189
796.35/796.70	c nbDecision=656000 #constraints=32202
797.35/797.75	c nbDecision=656500 #constraints=32226
798.54/798.94	c nbDecision=657000 #constraints=32253
799.74/800.20	c nbDecision=657500 #constraints=32282
800.64/801.00	c nbDecision=658000 #constraints=32298
801.55/801.96	c nbDecision=658500 #constraints=32320
802.74/803.17	c nbDecision=659000 #constraints=32347
804.04/804.46	c nbDecision=659500 #constraints=32377
805.14/805.53	c nbDecision=660000 #constraints=32401
806.54/806.93	c nbDecision=660500 #constraints=32433
807.74/808.12	c nbDecision=661000 #constraints=32458
808.64/809.00	c nbDecision=661500 #constraints=32476
809.64/810.08	c nbDecision=662000 #constraints=32500
810.54/810.92	c nbDecision=662500 #constraints=32516
811.64/812.03	c nbDecision=663000 #constraints=32540
812.94/813.32	c nbDecision=663500 #constraints=32570
814.44/814.82	c nbDecision=664000 #constraints=32604
815.43/815.88	c nbDecision=664500 #constraints=32625
816.23/816.61	c nbDecision=665000 #constraints=32642
816.94/817.35	c nbDecision=665500 #constraints=32657
817.73/818.18	c nbDecision=666000 #constraints=32677
818.33/818.76	c nbDecision=666500 #constraints=32687
819.13/819.54	c nbDecision=667000 #constraints=32706
820.03/820.41	c nbDecision=667500 #constraints=32725
820.73/821.18	c nbDecision=668000 #constraints=32741
821.33/821.77	c nbDecision=668500 #constraints=32751
822.13/822.53	c nbDecision=669000 #constraints=32766
822.93/823.39	c nbDecision=669500 #constraints=32786
823.83/824.28	c nbDecision=670000 #constraints=32804
824.83/825.26	c nbDecision=670500 #constraints=32826
825.83/826.23	c nbDecision=671000 #constraints=32850
827.03/827.41	c nbDecision=671500 #constraints=32881
828.03/828.44	c nbDecision=672000 #constraints=32907
828.73/829.15	c nbDecision=672500 #constraints=32921
829.33/829.73	c nbDecision=673000 #constraints=32931
830.04/830.40	c nbDecision=673500 #constraints=32944
830.83/831.29	c nbDecision=674000 #constraints=32963
831.93/832.31	c nbDecision=674500 #constraints=32987
832.83/833.27	c nbDecision=675000 #constraints=33011
833.73/834.18	c nbDecision=675500 #constraints=33033
835.13/835.53	c nbDecision=676000 #constraints=33072
835.73/836.19	c nbDecision=676500 #constraints=33083
836.53/836.94	c nbDecision=677000 #constraints=33095
837.43/837.81	c nbDecision=677500 #constraints=33111
838.23/838.61	c nbDecision=678000 #constraints=33124
839.33/839.75	c nbDecision=678500 #constraints=33146
840.23/840.69	c nbDecision=679000 #constraints=33166
841.43/841.89	c nbDecision=679500 #constraints=33196
842.72/843.20	c nbDecision=680000 #constraints=33229
843.52/843.99	c nbDecision=680500 #constraints=33244
844.33/844.76	c nbDecision=681000 #constraints=33258
845.22/845.62	c nbDecision=681500 #constraints=33276
845.92/846.33	c nbDecision=682000 #constraints=33288
847.02/847.41	c nbDecision=682500 #constraints=33311
847.82/848.22	c nbDecision=683000 #constraints=33326
848.73/849.10	c nbDecision=683500 #constraints=33345
849.42/849.83	c nbDecision=684000 #constraints=33362
850.22/850.68	c nbDecision=684500 #constraints=33381
851.02/851.40	c nbDecision=685000 #constraints=33394
851.82/852.25	c nbDecision=685500 #constraints=33411
852.52/852.96	c nbDecision=686000 #constraints=33422
853.32/853.72	c nbDecision=686500 #constraints=33437
854.12/854.60	c nbDecision=687000 #constraints=33456
854.72/855.16	c nbDecision=687500 #constraints=33465
855.62/856.02	c nbDecision=688000 #constraints=33483
856.42/856.81	c nbDecision=688500 #constraints=33499
857.42/857.86	c nbDecision=689000 #constraints=33527
858.52/858.92	c nbDecision=689500 #constraints=33556
859.22/859.66	c nbDecision=690000 #constraints=33572
860.21/860.66	c nbDecision=690500 #constraints=33597
861.21/861.61	c nbDecision=691000 #constraints=33621
862.11/862.55	c nbDecision=691500 #constraints=33645
862.91/863.36	c nbDecision=692000 #constraints=33663
863.71/864.14	c nbDecision=692500 #constraints=33680
864.82/865.28	c nbDecision=693000 #constraints=33712
866.12/866.53	c nbDecision=693500 #constraints=33749
867.12/867.59	c nbDecision=694000 #constraints=33779
868.22/868.65	c nbDecision=694500 #constraints=33810
869.02/869.48	c nbDecision=695000 #constraints=33830
869.72/870.14	c nbDecision=695500 #constraints=33839
870.42/870.89	c nbDecision=696000 #constraints=33852
871.42/871.89	c nbDecision=696500 #constraints=33878
872.32/872.72	c nbDecision=697000 #constraints=33898
873.12/873.59	c nbDecision=697500 #constraints=33916
874.12/874.55	c nbDecision=698000 #constraints=33941
874.81/875.23	c nbDecision=698500 #constraints=33953
875.81/876.25	c nbDecision=699000 #constraints=33980
876.81/877.24	c nbDecision=699500 #constraints=34005
877.61/878.03	c nbDecision=700000 #constraints=34023
878.71/879.16	c nbDecision=700500 #constraints=34054
879.91/880.30	c nbDecision=701000 #constraints=34089
880.51/880.98	c nbDecision=701500 #constraints=34103
881.51/881.93	c nbDecision=702000 #constraints=34127
882.51/882.91	c nbDecision=702500 #constraints=34153
883.31/883.71	c nbDecision=703000 #constraints=34171
884.11/884.51	c nbDecision=703500 #constraints=34190
884.81/885.20	c nbDecision=704000 #constraints=34207
885.51/885.99	c nbDecision=704500 #constraints=34226
886.41/886.86	c nbDecision=705000 #constraints=34247
887.31/887.72	c nbDecision=705500 #constraints=34265
888.00/888.42	c nbDecision=706000 #constraints=34280
888.70/889.10	c nbDecision=706500 #constraints=34295
889.51/889.90	c nbDecision=707000 #constraints=34313
890.30/890.70	c nbDecision=707500 #constraints=34332
891.20/891.65	c nbDecision=708000 #constraints=34356
892.00/892.49	c nbDecision=708500 #constraints=34377
893.20/893.63	c nbDecision=709000 #constraints=34407
894.00/894.47	c nbDecision=709500 #constraints=34428
895.10/895.50	c nbDecision=710000 #constraints=34456
896.10/896.52	c nbDecision=710500 #constraints=34482
896.90/897.39	c nbDecision=711000 #constraints=34504
898.00/898.48	c nbDecision=711500 #constraints=34532
899.41/899.87	c nbDecision=712000 #constraints=34571
900.51/900.98	c nbDecision=712500 #constraints=34599
901.70/902.13	c nbDecision=713000 #constraints=34629
903.00/903.46	c nbDecision=713500 #constraints=34666
903.90/904.35	c nbDecision=714000 #constraints=34686
904.91/905.31	c nbDecision=714500 #constraints=34708
906.10/906.56	c nbDecision=715000 #constraints=34742
906.80/907.27	c nbDecision=715500 #constraints=34755
907.50/907.97	c nbDecision=716000 #constraints=34767
908.30/908.78	c nbDecision=716500 #constraints=34782
909.40/909.80	c nbDecision=717000 #constraints=34805
910.40/910.86	c nbDecision=717500 #constraints=34834
911.00/911.41	c nbDecision=718000 #constraints=34843
911.70/912.19	c nbDecision=718500 #constraints=34858
912.70/913.14	c nbDecision=719000 #constraints=34881
913.60/914.05	c nbDecision=719500 #constraints=34904
914.40/914.87	c nbDecision=720000 #constraints=34923
915.50/915.94	c nbDecision=720500 #constraints=34950
916.20/916.68	c nbDecision=721000 #constraints=34963
917.40/917.87	c nbDecision=721500 #constraints=34998
918.89/919.34	c nbDecision=722000 #constraints=35043
920.59/921.02	c nbDecision=722500 #constraints=35095
921.59/922.07	c nbDecision=723000 #constraints=35120
922.40/922.90	c nbDecision=723500 #constraints=35137
923.19/923.66	c nbDecision=724000 #constraints=35151
924.19/924.60	c nbDecision=724500 #constraints=35171
925.19/925.61	c nbDecision=725000 #constraints=35194
925.99/926.43	c nbDecision=725500 #constraints=35212
926.79/927.28	c nbDecision=726000 #constraints=35230
927.59/928.06	c nbDecision=726500 #constraints=35246
928.59/929.00	c nbDecision=727000 #constraints=35267
929.89/930.37	c nbDecision=727500 #constraints=35305
931.29/931.72	c nbDecision=728000 #constraints=35343
932.09/932.54	c nbDecision=728500 #constraints=35358
932.79/933.25	c nbDecision=729000 #constraints=35371
933.90/934.30	c nbDecision=729500 #constraints=35395
934.69/935.13	c nbDecision=730000 #constraints=35413
935.49/935.94	c nbDecision=730500 #constraints=35432
936.19/936.66	c nbDecision=731000 #constraints=35446
936.99/937.47	c nbDecision=731500 #constraints=35463
937.90/938.32	c nbDecision=732000 #constraints=35482
939.00/939.48	c nbDecision=732500 #constraints=35514
940.59/941.01	c nbDecision=733000 #constraints=35559
941.39/941.87	c nbDecision=733500 #constraints=35576
942.39/942.83	c nbDecision=734000 #constraints=35595
943.09/943.55	c nbDecision=734500 #constraints=35608
943.89/944.34	c nbDecision=735000 #constraints=35625
944.79/945.24	c nbDecision=735500 #constraints=35645
945.79/946.25	c nbDecision=736000 #constraints=35669
946.59/947.03	c nbDecision=736500 #constraints=35682
947.29/947.75	c nbDecision=737000 #constraints=35695
948.29/948.74	c nbDecision=737500 #constraints=35719
949.19/949.63	c nbDecision=738000 #constraints=35739
950.09/950.59	c nbDecision=738500 #constraints=35762
951.39/951.82	c nbDecision=739000 #constraints=35795
952.29/952.78	c nbDecision=739500 #constraints=35818
953.29/953.73	c nbDecision=740000 #constraints=35837
954.48/954.97	c nbDecision=740500 #constraints=35870
955.49/955.98	c nbDecision=741000 #constraints=35893
957.08/957.52	c nbDecision=741500 #constraints=35940
958.38/958.86	c nbDecision=742000 #constraints=35977
959.48/960.00	c nbDecision=742500 #constraints=36007
960.68/961.19	c nbDecision=743000 #constraints=36039
961.68/962.10	c nbDecision=743500 #constraints=36059
962.58/963.09	c nbDecision=744000 #constraints=36082
963.58/964.04	c nbDecision=744500 #constraints=36105
964.88/965.34	c nbDecision=745000 #constraints=36137
966.28/966.72	c nbDecision=745500 #constraints=36174
967.28/967.73	c nbDecision=746000 #constraints=36197
968.78/969.23	c nbDecision=746500 #constraints=36239
969.98/970.47	c nbDecision=747000 #constraints=36271
970.88/971.37	c nbDecision=747500 #constraints=36289
972.17/972.62	c nbDecision=748000 #constraints=36318
973.17/973.65	c nbDecision=748500 #constraints=36342
974.08/974.56	c nbDecision=749000 #constraints=36361
974.98/975.49	c nbDecision=749500 #constraints=36380
975.98/976.48	c nbDecision=750000 #constraints=36399
977.28/977.71	c nbDecision=750500 #constraints=36428
978.58/979.07	c nbDecision=751000 #constraints=36461
980.08/980.57	c nbDecision=751500 #constraints=36496
981.68/982.18	c nbDecision=752000 #constraints=36534
983.37/983.82	c nbDecision=752500 #constraints=36575
984.97/985.46	c nbDecision=753000 #constraints=36617
986.67/987.10	c nbDecision=753500 #constraints=36657
988.07/988.59	c nbDecision=754000 #constraints=36694
989.67/990.10	c nbDecision=754500 #constraints=36730
991.07/991.54	c nbDecision=755000 #constraints=36763
992.88/993.32	c nbDecision=755500 #constraints=36808
994.17/994.66	c nbDecision=756000 #constraints=36837
995.87/996.35	c nbDecision=756500 #constraints=36882
997.47/997.94	c nbDecision=757000 #constraints=36922
999.37/999.81	c nbDecision=757500 #constraints=36970
1001.57/1002.06	c nbDecision=758000 #constraints=37034
1002.67/1003.14	c nbDecision=758500 #constraints=37058
1003.77/1004.20	c nbDecision=759000 #constraints=37083
1004.66/1005.11	c nbDecision=759500 #constraints=37102
1005.66/1006.19	c nbDecision=760000 #constraints=37128
1006.86/1007.30	c nbDecision=760500 #constraints=37153
1007.86/1008.31	c nbDecision=761000 #constraints=37173
1009.06/1009.55	c nbDecision=761500 #constraints=37200
1009.96/1010.46	c nbDecision=762000 #constraints=37215
1010.76/1011.28	c nbDecision=762500 #constraints=37228
1011.76/1012.24	c nbDecision=763000 #constraints=37245
1012.46/1012.99	c nbDecision=763500 #constraints=37256
1013.66/1014.10	c nbDecision=764000 #constraints=37277
1014.86/1015.33	c nbDecision=764500 #constraints=37302
1016.26/1016.72	c nbDecision=765000 #constraints=37334
1017.26/1017.76	c nbDecision=765500 #constraints=37354
1017.96/1018.47	c nbDecision=766000 #constraints=37363
1018.86/1019.31	c nbDecision=766500 #constraints=37376
1019.96/1020.45	c nbDecision=767000 #constraints=37397
1021.26/1021.70	c nbDecision=767500 #constraints=37420
1022.76/1023.24	c nbDecision=768000 #constraints=37449
1023.96/1024.46	c nbDecision=768500 #constraints=37474
1025.46/1025.97	c nbDecision=769000 #constraints=37510
1026.56/1027.08	c nbDecision=769500 #constraints=37531
1027.56/1028.00	c nbDecision=770000 #constraints=37544
1028.86/1029.33	c nbDecision=770500 #constraints=37569
1030.66/1031.11	c nbDecision=771000 #constraints=37605
1032.26/1032.75	c nbDecision=771500 #constraints=37637
1033.96/1034.41	c nbDecision=772000 #constraints=37670
1035.76/1036.28	c nbDecision=772500 #constraints=37708
1037.66/1038.19	c nbDecision=773000 #constraints=37748
1039.36/1039.84	c nbDecision=773500 #constraints=37782
1040.85/1041.37	c nbDecision=774000 #constraints=37812
1042.26/1042.73	c nbDecision=774500 #constraints=37840
1043.75/1044.27	c nbDecision=775000 #constraints=37877
1044.95/1045.42	c nbDecision=775500 #constraints=37902
1047.05/1047.51	c nbDecision=776000 #constraints=37962
1048.75/1049.22	c nbDecision=776500 #constraints=38008
1049.96/1050.47	c nbDecision=777000 #constraints=38036
1051.25/1051.71	c nbDecision=777500 #constraints=38064
1052.65/1053.14	c nbDecision=778000 #constraints=38099
1054.45/1054.97	c nbDecision=778500 #constraints=38149
1056.55/1057.04	c nbDecision=779000 #constraints=38208
1057.95/1058.40	c nbDecision=779500 #constraints=38239
1058.95/1059.45	c nbDecision=780000 #constraints=38257
1060.25/1060.73	c nbDecision=780500 #constraints=38283
1061.55/1062.00	c nbDecision=781000 #constraints=38309
1062.75/1063.23	c nbDecision=781500 #constraints=38336
1063.65/1064.18	c nbDecision=782000 #constraints=38353
1064.74/1065.22	c nbDecision=782500 #constraints=38370
1066.24/1066.72	c nbDecision=783000 #constraints=38402
1067.65/1068.15	c nbDecision=783500 #constraints=38436
1069.14/1069.61	c nbDecision=784000 #constraints=38472
1070.85/1071.32	c nbDecision=784500 #constraints=38516
1072.45/1072.99	c nbDecision=785000 #constraints=38561
1073.95/1074.42	c nbDecision=785500 #constraints=38595
1075.05/1075.55	c nbDecision=786000 #constraints=38617
1076.85/1077.35	c nbDecision=786500 #constraints=38664
1078.55/1079.06	c nbDecision=787000 #constraints=38712
1080.24/1080.77	c nbDecision=787500 #constraints=38755
1082.14/1082.69	c nbDecision=788000 #constraints=38807
1083.64/1084.18	c nbDecision=788500 #constraints=38841
1084.84/1085.34	c nbDecision=789000 #constraints=38861
1085.84/1086.35	c nbDecision=789500 #constraints=38878
1087.04/1087.57	c nbDecision=790000 #constraints=38902
1088.54/1089.08	c nbDecision=790500 #constraints=38934
1089.84/1090.31	c nbDecision=791000 #constraints=38960
1091.34/1091.83	c nbDecision=791500 #constraints=38993
1092.54/1093.01	c nbDecision=792000 #constraints=39017
1094.14/1094.61	c nbDecision=792500 #constraints=39054
1095.34/1095.81	c nbDecision=793000 #constraints=39079
1096.73/1097.22	c nbDecision=793500 #constraints=39112
1097.73/1098.28	c nbDecision=794000 #constraints=39132
1098.73/1099.24	c nbDecision=794500 #constraints=39149
1099.93/1100.45	c nbDecision=795000 #constraints=39173
1101.43/1101.95	c nbDecision=795500 #constraints=39207
1102.74/1103.22	c nbDecision=796000 #constraints=39234
1104.34/1104.89	c nbDecision=796500 #constraints=39273
1105.64/1106.19	c nbDecision=797000 #constraints=39299
1107.04/1107.60	c nbDecision=797500 #constraints=39328
1108.34/1108.84	c nbDecision=798000 #constraints=39353
1109.74/1110.26	c nbDecision=798500 #constraints=39385
1111.24/1111.75	c nbDecision=799000 #constraints=39420
1112.64/1113.17	c nbDecision=799500 #constraints=39452
1114.13/1114.60	c nbDecision=800000 #constraints=39484
1115.53/1116.03	c nbDecision=800500 #constraints=39515
1116.93/1117.42	c nbDecision=801000 #constraints=39544
1118.24/1118.73	c nbDecision=801500 #constraints=39568
1119.43/1119.96	c nbDecision=802000 #constraints=39590
1120.63/1121.17	c nbDecision=802500 #constraints=39612
1121.93/1122.45	c nbDecision=803000 #constraints=39635
1123.43/1123.93	c nbDecision=803500 #constraints=39663
1124.93/1125.48	c nbDecision=804000 #constraints=39696
1126.73/1127.21	c nbDecision=804500 #constraints=39734
1128.23/1128.79	c nbDecision=805000 #constraints=39770
1129.23/1129.78	c nbDecision=805500 #constraints=39787
1130.63/1131.15	c nbDecision=806000 #constraints=39816
1132.23/1132.73	c nbDecision=806500 #constraints=39852
1133.73/1134.25	c nbDecision=807000 #constraints=39889
1135.03/1135.59	c nbDecision=807500 #constraints=39914
1136.43/1136.91	c nbDecision=808000 #constraints=39937
1137.72/1138.20	c nbDecision=808500 #constraints=39959
1138.82/1139.36	c nbDecision=809000 #constraints=39980
1140.32/1140.89	c nbDecision=809500 #constraints=40012
1141.92/1142.44	c nbDecision=810000 #constraints=40043
1143.82/1144.39	c nbDecision=810500 #constraints=40086
1145.22/1145.75	c nbDecision=811000 #constraints=40117
1146.72/1147.24	c nbDecision=811500 #constraints=40148
1148.12/1148.67	c nbDecision=812000 #constraints=40178
1149.62/1150.11	c nbDecision=812500 #constraints=40209
1150.82/1151.32	c nbDecision=813000 #constraints=40231
1152.33/1152.83	c nbDecision=813500 #constraints=40261
1153.62/1154.16	c nbDecision=814000 #constraints=40289
1155.12/1155.60	c nbDecision=814500 #constraints=40320
1156.62/1157.18	c nbDecision=815000 #constraints=40353
1158.02/1158.56	c nbDecision=815500 #constraints=40380
1159.82/1160.36	c nbDecision=816000 #constraints=40420
1161.62/1162.10	c nbDecision=816500 #constraints=40460
1163.42/1163.92	c nbDecision=817000 #constraints=40499
1164.62/1165.11	c nbDecision=817500 #constraints=40521
1166.12/1166.68	c nbDecision=818000 #constraints=40558
1167.41/1167.96	c nbDecision=818500 #constraints=40585
1168.72/1169.26	c nbDecision=819000 #constraints=40613
1168.91/1169.47	c restart after 819201 decisions
1170.51/1171.04	c nbDecision=819500 #constraints=40616
1171.41/1171.91	c nbDecision=820000 #constraints=40631
1172.41/1172.94	c nbDecision=820500 #constraints=40650
1173.31/1173.89	c nbDecision=821000 #constraints=40668
1174.22/1174.72	c nbDecision=821500 #constraints=40683
1175.32/1175.81	c nbDecision=822000 #constraints=40706
1176.21/1176.72	c nbDecision=822500 #constraints=40723
1177.11/1177.64	c nbDecision=823000 #constraints=40739
1178.01/1178.55	c nbDecision=823500 #constraints=40756
1179.11/1179.67	c nbDecision=824000 #constraints=40780
1179.91/1180.48	c nbDecision=824500 #constraints=40793
1181.21/1181.79	c nbDecision=825000 #constraints=40823
1182.21/1182.76	c nbDecision=825500 #constraints=40839
1183.31/1183.84	c nbDecision=826000 #constraints=40862
1184.21/1184.72	c nbDecision=826500 #constraints=40878
1185.11/1185.70	c nbDecision=827000 #constraints=40899
1186.01/1186.57	c nbDecision=827500 #constraints=40917
1187.10/1187.61	c nbDecision=828000 #constraints=40938
1187.80/1188.39	c nbDecision=828500 #constraints=40951
1188.51/1189.03	c nbDecision=829000 #constraints=40960
1189.41/1189.98	c nbDecision=829500 #constraints=40978
1190.50/1191.06	c nbDecision=830000 #constraints=41002
1191.60/1192.15	c nbDecision=830500 #constraints=41026
1192.70/1193.21	c nbDecision=831000 #constraints=41051
1193.80/1194.36	c nbDecision=831500 #constraints=41077
1194.80/1195.39	c nbDecision=832000 #constraints=41097
1195.50/1196.02	c nbDecision=832500 #constraints=41106
1196.50/1197.02	c nbDecision=833000 #constraints=41125
1197.50/1198.03	c nbDecision=833500 #constraints=41145
1198.70/1199.23	c nbDecision=834000 #constraints=41171
1199.80/1200.39	c nbDecision=834500 #constraints=41197
1200.80/1201.40	c nbDecision=835000 #constraints=41218
1201.70/1202.20	c nbDecision=835500 #constraints=41232
1202.40/1202.97	c nbDecision=836000 #constraints=41244
1203.40/1203.92	c nbDecision=836500 #constraints=41260
1204.30/1204.82	c nbDecision=837000 #constraints=41274
1205.40/1205.90	c nbDecision=837500 #constraints=41296
1206.81/1207.34	c nbDecision=838000 #constraints=41330
1208.01/1208.53	c nbDecision=838500 #constraints=41358
1209.01/1209.54	c nbDecision=839000 #constraints=41379
1210.01/1210.56	c nbDecision=839500 #constraints=41400
1210.90/1211.45	c nbDecision=840000 #constraints=41417
1212.10/1212.61	c nbDecision=840500 #constraints=41438
1213.00/1213.53	c nbDecision=841000 #constraints=41448
1213.91/1214.43	c nbDecision=841500 #constraints=41460
1215.01/1215.55	c nbDecision=842000 #constraints=41479
1216.10/1216.69	c nbDecision=842500 #constraints=41499
1217.10/1217.68	c nbDecision=843000 #constraints=41512
1218.20/1218.78	c nbDecision=843500 #constraints=41531
1219.40/1219.93	c nbDecision=844000 #constraints=41549
1220.80/1221.32	c nbDecision=844500 #constraints=41576
1222.50/1223.02	c nbDecision=845000 #constraints=41615
1223.90/1224.45	c nbDecision=845500 #constraints=41643
1224.80/1225.37	c nbDecision=846000 #constraints=41655
1226.29/1226.81	c nbDecision=846500 #constraints=41685
1227.99/1228.51	c nbDecision=847000 #constraints=41721
1229.49/1230.02	c nbDecision=847500 #constraints=41753
1230.89/1231.43	c nbDecision=848000 #constraints=41783
1232.60/1233.15	c nbDecision=848500 #constraints=41820
1234.19/1234.80	c nbDecision=849000 #constraints=41855
1236.09/1236.64	c nbDecision=849500 #constraints=41895
1237.79/1238.37	c nbDecision=850000 #constraints=41931
1239.39/1239.96	c nbDecision=850500 #constraints=41963
1241.19/1241.76	c nbDecision=851000 #constraints=42001
1243.09/1243.61	c nbDecision=851500 #constraints=42042
1244.89/1245.42	c nbDecision=852000 #constraints=42081
1245.99/1246.58	c nbDecision=852500 #constraints=42098
1247.29/1247.80	c nbDecision=853000 #constraints=42116
1248.59/1249.12	c nbDecision=853500 #constraints=42138
1249.79/1250.36	c nbDecision=854000 #constraints=42159
1251.09/1251.69	c nbDecision=854500 #constraints=42183
1252.29/1252.87	c nbDecision=855000 #constraints=42204
1253.28/1253.89	c nbDecision=855500 #constraints=42219
1254.59/1255.10	c nbDecision=856000 #constraints=42239
1255.59/1256.18	c nbDecision=856500 #constraints=42255
1256.69/1257.21	c nbDecision=857000 #constraints=42268
1257.68/1258.26	c nbDecision=857500 #constraints=42284
1258.59/1259.15	c nbDecision=858000 #constraints=42294
1259.49/1260.09	c nbDecision=858500 #constraints=42307
1260.59/1261.16	c nbDecision=859000 #constraints=42321
1261.49/1262.09	c nbDecision=859500 #constraints=42333
1262.79/1263.34	c nbDecision=860000 #constraints=42354
1264.09/1264.63	c nbDecision=860500 #constraints=42378
1265.19/1265.78	c nbDecision=861000 #constraints=42396
1266.39/1266.96	c nbDecision=861500 #constraints=42414
1267.59/1268.14	c nbDecision=862000 #constraints=42432
1269.09/1269.60	c nbDecision=862500 #constraints=42459
1270.29/1270.85	c nbDecision=863000 #constraints=42481
1271.49/1272.05	c nbDecision=863500 #constraints=42498
1272.68/1273.27	c nbDecision=864000 #constraints=42519
1274.08/1274.61	c nbDecision=864500 #constraints=42541
1275.08/1275.65	c nbDecision=865000 #constraints=42557
1276.49/1277.02	c nbDecision=865500 #constraints=42582
1277.58/1278.11	c nbDecision=866000 #constraints=42601
1279.78/1280.30	c nbDecision=866500 #constraints=42653
1281.58/1282.13	c nbDecision=867000 #constraints=42695
1283.48/1284.01	c nbDecision=867500 #constraints=42739
1285.08/1285.61	c nbDecision=868000 #constraints=42773
1286.38/1286.97	c nbDecision=868500 #constraints=42798
1287.78/1288.38	c nbDecision=869000 #constraints=42827
1288.78/1289.38	c nbDecision=869500 #constraints=42841
1289.98/1290.53	c nbDecision=870000 #constraints=42860
1291.18/1291.73	c nbDecision=870500 #constraints=42880
1292.38/1292.94	c nbDecision=871000 #constraints=42901
1293.58/1294.14	c nbDecision=871500 #constraints=42920
1295.37/1295.92	c nbDecision=872000 #constraints=42955
1296.87/1297.48	c nbDecision=872500 #constraints=42981
1298.58/1299.17	c nbDecision=873000 #constraints=43014
1299.97/1300.53	c nbDecision=873500 #constraints=43036
1301.27/1301.82	c nbDecision=874000 #constraints=43056
1303.27/1303.82	c nbDecision=874500 #constraints=43099
1305.17/1305.72	c nbDecision=875000 #constraints=43137
1307.17/1307.76	c nbDecision=875500 #constraints=43181
1309.27/1309.86	c nbDecision=876000 #constraints=43230
1310.47/1311.01	c nbDecision=876500 #constraints=43248
1311.37/1311.98	c nbDecision=877000 #constraints=43261
1312.47/1313.06	c nbDecision=877500 #constraints=43280
1313.67/1314.21	c nbDecision=878000 #constraints=43297
1314.87/1315.42	c nbDecision=878500 #constraints=43317
1316.07/1316.62	c nbDecision=879000 #constraints=43337
1317.27/1317.84	c nbDecision=879500 #constraints=43358
1318.47/1319.09	c nbDecision=880000 #constraints=43380
1319.57/1320.11	c nbDecision=880500 #constraints=43395
1320.87/1321.43	c nbDecision=881000 #constraints=43416
1322.27/1322.88	c nbDecision=881500 #constraints=43443
1323.16/1323.79	c nbDecision=882000 #constraints=43453
1324.26/1324.80	c nbDecision=882500 #constraints=43467
1325.26/1325.90	c nbDecision=883000 #constraints=43484
1326.56/1327.12	c nbDecision=883500 #constraints=43501
1327.66/1328.29	c nbDecision=884000 #constraints=43519
1329.06/1329.66	c nbDecision=884500 #constraints=43542
1330.76/1331.32	c nbDecision=885000 #constraints=43574
1332.16/1332.71	c nbDecision=885500 #constraints=43597
1333.26/1333.83	c nbDecision=886000 #constraints=43614
1334.46/1335.05	c nbDecision=886500 #constraints=43635
1335.86/1336.46	c nbDecision=887000 #constraints=43658
1337.26/1337.82	c nbDecision=887500 #constraints=43682
1338.87/1339.48	c nbDecision=888000 #constraints=43713
1340.27/1340.82	c nbDecision=888500 #constraints=43732
1342.07/1342.60	c nbDecision=889000 #constraints=43769
1343.16/1343.71	c nbDecision=889500 #constraints=43784
1344.16/1344.77	c nbDecision=890000 #constraints=43799
1345.87/1346.42	c nbDecision=890500 #constraints=43831
1347.26/1347.89	c nbDecision=891000 #constraints=43854
1348.66/1349.27	c nbDecision=891500 #constraints=43874
1350.36/1350.92	c nbDecision=892000 #constraints=43904
1351.76/1352.35	c nbDecision=892500 #constraints=43928
1353.66/1354.20	c nbDecision=893000 #constraints=43964
1355.26/1355.83	c nbDecision=893500 #constraints=43993
1356.66/1357.25	c nbDecision=894000 #constraints=44017
1358.66/1359.27	c nbDecision=894500 #constraints=44057
1360.46/1361.05	c nbDecision=895000 #constraints=44091
1361.96/1362.51	c nbDecision=895500 #constraints=44115
1362.76/1363.30	c nbDecision=896000 #constraints=44123
1364.36/1364.95	c nbDecision=896500 #constraints=44153
1365.96/1366.52	c nbDecision=897000 #constraints=44179
1367.66/1368.22	c nbDecision=897500 #constraints=44212
1369.46/1370.03	c nbDecision=898000 #constraints=44247
1371.25/1371.81	c nbDecision=898500 #constraints=44280
1372.95/1373.57	c nbDecision=899000 #constraints=44311
1375.35/1375.99	c nbDecision=899500 #constraints=44364
1376.55/1377.12	c nbDecision=900000 #constraints=44383
1378.05/1378.64	c nbDecision=900500 #constraints=44407
1379.45/1380.09	c nbDecision=901000 #constraints=44433
1381.15/1381.76	c nbDecision=901500 #constraints=44465
1383.25/1383.86	c nbDecision=902000 #constraints=44510
1385.05/1385.69	c nbDecision=902500 #constraints=44544
1386.65/1387.24	c nbDecision=903000 #constraints=44566
1388.34/1388.92	c nbDecision=903500 #constraints=44594
1390.14/1390.76	c nbDecision=904000 #constraints=44627
1391.84/1392.47	c nbDecision=904500 #constraints=44656
1393.24/1393.81	c nbDecision=905000 #constraints=44679
1394.44/1395.07	c nbDecision=905500 #constraints=44696
1395.64/1396.22	c nbDecision=906000 #constraints=44714
1396.75/1397.34	c nbDecision=906500 #constraints=44727
1398.05/1398.60	c nbDecision=907000 #constraints=44745
1399.45/1400.01	c nbDecision=907500 #constraints=44769
1401.05/1401.62	c nbDecision=908000 #constraints=44796
1402.25/1402.88	c nbDecision=908500 #constraints=44814
1403.65/1404.25	c nbDecision=909000 #constraints=44834
1405.15/1405.70	c nbDecision=909500 #constraints=44856
1407.05/1407.61	c nbDecision=910000 #constraints=44890
1408.95/1409.52	c nbDecision=910500 #constraints=44925
1410.25/1410.87	c nbDecision=911000 #constraints=44950
1411.55/1412.15	c nbDecision=911500 #constraints=44969
1413.14/1413.74	c nbDecision=912000 #constraints=44995
1414.54/1415.11	c nbDecision=912500 #constraints=45018
1416.24/1416.84	c nbDecision=913000 #constraints=45048
1417.84/1418.45	c nbDecision=913500 #constraints=45073
1419.44/1420.10	c nbDecision=914000 #constraints=45098
1421.04/1421.67	c nbDecision=914500 #constraints=45117
1422.74/1423.35	c nbDecision=915000 #constraints=45141
1424.24/1424.82	c nbDecision=915500 #constraints=45162
1425.94/1426.58	c nbDecision=916000 #constraints=45190
1427.84/1428.45	c nbDecision=916500 #constraints=45223
1429.84/1430.42	c nbDecision=917000 #constraints=45257
1431.64/1432.29	c nbDecision=917500 #constraints=45294
1432.53/1433.15	c nbDecision=918000 #constraints=45306
1433.74/1434.34	c nbDecision=918500 #constraints=45325
1435.03/1435.63	c nbDecision=919000 #constraints=45347
1436.13/1436.73	c nbDecision=919500 #constraints=45364
1437.53/1438.19	c nbDecision=920000 #constraints=45392
1439.03/1439.60	c nbDecision=920500 #constraints=45415
1440.33/1440.96	c nbDecision=921000 #constraints=45437
1442.04/1442.60	c nbDecision=921500 #constraints=45467
1443.54/1444.12	c nbDecision=922000 #constraints=45494
1445.24/1445.89	c nbDecision=922500 #constraints=45526
1446.74/1447.30	c nbDecision=923000 #constraints=45547
1448.33/1448.91	c nbDecision=923500 #constraints=45572
1449.63/1450.27	c nbDecision=924000 #constraints=45591
1451.13/1451.77	c nbDecision=924500 #constraints=45617
1452.73/1453.34	c nbDecision=925000 #constraints=45643
1454.64/1455.22	c nbDecision=925500 #constraints=45677
1456.53/1457.12	c nbDecision=926000 #constraints=45715
1458.13/1458.78	c nbDecision=926500 #constraints=45749
1459.93/1460.53	c nbDecision=927000 #constraints=45782
1461.43/1462.07	c nbDecision=927500 #constraints=45809
1462.93/1463.50	c nbDecision=928000 #constraints=45834
1464.12/1464.79	c nbDecision=928500 #constraints=45854
1465.92/1466.57	c nbDecision=929000 #constraints=45886
1467.62/1468.20	c nbDecision=929500 #constraints=45913
1469.22/1469.87	c nbDecision=930000 #constraints=45941
1471.02/1471.63	c nbDecision=930500 #constraints=45975
1473.02/1473.65	c nbDecision=931000 #constraints=46014
1475.12/1475.72	c nbDecision=931500 #constraints=46054
1476.92/1477.57	c nbDecision=932000 #constraints=46087
1478.02/1478.68	c nbDecision=932500 #constraints=46103
1479.12/1479.76	c nbDecision=933000 #constraints=46117
1480.63/1481.21	c nbDecision=933500 #constraints=46139
1482.02/1482.68	c nbDecision=934000 #constraints=46160
1483.92/1484.50	c nbDecision=934500 #constraints=46191
1485.72/1486.36	c nbDecision=935000 #constraints=46223
1487.32/1487.91	c nbDecision=935500 #constraints=46251
1488.42/1489.09	c nbDecision=936000 #constraints=46267
1489.62/1490.29	c nbDecision=936500 #constraints=46281
1490.82/1491.46	c nbDecision=937000 #constraints=46298
1492.32/1492.93	c nbDecision=937500 #constraints=46323
1493.32/1493.97	c nbDecision=938000 #constraints=46337
1494.42/1495.00	c nbDecision=938500 #constraints=46350
1495.72/1496.36	c nbDecision=939000 #constraints=46371
1497.12/1497.76	c nbDecision=939500 #constraints=46393
1498.32/1498.95	c nbDecision=940000 #constraints=46411
1499.82/1500.43	c nbDecision=940500 #constraints=46436
1501.11/1501.76	c nbDecision=941000 #constraints=46459
1502.51/1503.16	c nbDecision=941500 #constraints=46480
1504.12/1504.77	c nbDecision=942000 #constraints=46508
1505.71/1506.39	c nbDecision=942500 #constraints=46534
1507.01/1507.69	c nbDecision=943000 #constraints=46553
1508.52/1509.16	c nbDecision=943500 #constraints=46575
1510.01/1510.69	c nbDecision=944000 #constraints=46598
1511.91/1512.53	c nbDecision=944500 #constraints=46631
1513.51/1514.20	c nbDecision=945000 #constraints=46662
1515.01/1515.63	c nbDecision=945500 #constraints=46687
1516.71/1517.32	c nbDecision=946000 #constraints=46718
1518.21/1518.83	c nbDecision=946500 #constraints=46743
1520.11/1520.72	c nbDecision=947000 #constraints=46779
1521.61/1522.27	c nbDecision=947500 #constraints=46803
1523.21/1523.80	c nbDecision=948000 #constraints=46825
1524.60/1525.20	c nbDecision=948500 #constraints=46844
1526.11/1526.79	c nbDecision=949000 #constraints=46869
1527.60/1528.24	c nbDecision=949500 #constraints=46890
1529.41/1530.04	c nbDecision=950000 #constraints=46921
1531.40/1532.07	c nbDecision=950500 #constraints=46961
1533.50/1534.19	c nbDecision=951000 #constraints=47001
1535.21/1535.89	c nbDecision=951500 #constraints=47034
1536.71/1537.38	c nbDecision=952000 #constraints=47058
1538.11/1538.77	c nbDecision=952500 #constraints=47080
1539.91/1540.52	c nbDecision=953000 #constraints=47112
1541.41/1542.03	c nbDecision=953500 #constraints=47138
1543.01/1543.67	c nbDecision=954000 #constraints=47168
1544.41/1545.00	c nbDecision=954500 #constraints=47185
1545.91/1546.60	c nbDecision=955000 #constraints=47212
1547.60/1548.29	c nbDecision=955500 #constraints=47240
1549.50/1550.18	c nbDecision=956000 #constraints=47273
1551.41/1552.04	c nbDecision=956500 #constraints=47307
1554.00/1554.65	c nbDecision=957000 #constraints=47361
1556.00/1556.69	c nbDecision=957500 #constraints=47400
1557.30/1557.99	c nbDecision=958000 #constraints=47420
1558.90/1559.53	c nbDecision=958500 #constraints=47447
1560.70/1561.35	c nbDecision=959000 #constraints=47480
1562.40/1563.09	c nbDecision=959500 #constraints=47508
1563.70/1564.33	c nbDecision=960000 #constraints=47526
1565.50/1566.17	c nbDecision=960500 #constraints=47558
1566.60/1567.26	c nbDecision=961000 #constraints=47570
1568.29/1568.97	c nbDecision=961500 #constraints=47599
1569.99/1570.63	c nbDecision=962000 #constraints=47632
1571.39/1572.04	c nbDecision=962500 #constraints=47655
1573.50/1574.14	c nbDecision=963000 #constraints=47699
1575.29/1575.96	c nbDecision=963500 #constraints=47732
1577.19/1577.86	c nbDecision=964000 #constraints=47771
1579.80/1580.49	c nbDecision=964500 #constraints=47824
1581.70/1582.32	c nbDecision=965000 #constraints=47857
1583.10/1583.78	c nbDecision=965500 #constraints=47882
1584.20/1584.88	c nbDecision=966000 #constraints=47898
1585.20/1585.83	c nbDecision=966500 #constraints=47909
1586.10/1586.74	c nbDecision=967000 #constraints=47921
1587.40/1588.07	c nbDecision=967500 #constraints=47943
1588.60/1589.30	c nbDecision=968000 #constraints=47962
1590.40/1591.06	c nbDecision=968500 #constraints=47991
1592.20/1592.82	c nbDecision=969000 #constraints=48020
1593.49/1594.10	c nbDecision=969500 #constraints=48039
1595.40/1596.06	c nbDecision=970000 #constraints=48075
1596.99/1597.64	c nbDecision=970500 #constraints=48101
1598.59/1599.26	c nbDecision=971000 #constraints=48127
1600.89/1601.56	c nbDecision=971500 #constraints=48169
1602.69/1603.32	c nbDecision=972000 #constraints=48199
1604.69/1605.31	c nbDecision=972500 #constraints=48233
1606.89/1607.54	c nbDecision=973000 #constraints=48274
1609.19/1609.83	c nbDecision=973500 #constraints=48316
1610.99/1611.66	c nbDecision=974000 #constraints=48346
1613.38/1614.08	c nbDecision=974500 #constraints=48391
1615.98/1616.62	c nbDecision=975000 #constraints=48439
1617.98/1618.68	c nbDecision=975500 #constraints=48480
1619.68/1620.36	c nbDecision=976000 #constraints=48508
1622.28/1622.98	c nbDecision=976500 #constraints=48560
1625.58/1626.21	c nbDecision=977000 #constraints=48624
1628.28/1628.98	c nbDecision=977500 #constraints=48681
1631.38/1632.05	c nbDecision=978000 #constraints=48741
1633.18/1633.82	c nbDecision=978500 #constraints=48773
1634.58/1635.24	c nbDecision=979000 #constraints=48795
1636.47/1637.17	c nbDecision=979500 #constraints=48828
1637.77/1638.48	c nbDecision=980000 #constraints=48847
1639.78/1640.46	c nbDecision=980500 #constraints=48882
1640.78/1641.46	c nbDecision=981000 #constraints=48896
1642.69/1643.33	c nbDecision=981500 #constraints=48930
1643.68/1644.33	c nbDecision=982000 #constraints=48944
1645.58/1646.28	c nbDecision=982500 #constraints=48980
1646.78/1647.41	c nbDecision=983000 #constraints=48999
1647.98/1648.69	c nbDecision=983500 #constraints=49018
1649.18/1649.82	c nbDecision=984000 #constraints=49036
1650.18/1650.83	c nbDecision=984500 #constraints=49049
1651.38/1652.03	c nbDecision=985000 #constraints=49067
1652.48/1653.20	c nbDecision=985500 #constraints=49084
1653.78/1654.47	c nbDecision=986000 #constraints=49105
1654.97/1655.62	c nbDecision=986500 #constraints=49123
1656.47/1657.17	c nbDecision=987000 #constraints=49151
1657.77/1658.48	c nbDecision=987500 #constraints=49174
1659.07/1659.78	c nbDecision=988000 #constraints=49193
1660.27/1660.98	c nbDecision=988500 #constraints=49212
1662.27/1662.94	c nbDecision=989000 #constraints=49251
1663.57/1664.28	c nbDecision=989500 #constraints=49273
1664.57/1665.20	c nbDecision=990000 #constraints=49284
1666.47/1667.18	c nbDecision=990500 #constraints=49316
1668.17/1668.87	c nbDecision=991000 #constraints=49344
1669.27/1669.92	c nbDecision=991500 #constraints=49354
1671.17/1671.86	c nbDecision=992000 #constraints=49384
1672.77/1673.48	c nbDecision=992500 #constraints=49408
1674.67/1675.37	c nbDecision=993000 #constraints=49437
1676.56/1677.20	c nbDecision=993500 #constraints=49469
1678.26/1678.95	c nbDecision=994000 #constraints=49498
1680.56/1681.28	c nbDecision=994500 #constraints=49543
1683.06/1683.78	c nbDecision=995000 #constraints=49587
1685.36/1686.04	c nbDecision=995500 #constraints=49629
1687.86/1688.59	c nbDecision=996000 #constraints=49673
1689.56/1690.26	c nbDecision=996500 #constraints=49697
1691.46/1692.13	c nbDecision=997000 #constraints=49726
1693.36/1694.05	c nbDecision=997500 #constraints=49757
1695.75/1696.40	c nbDecision=998000 #constraints=49800
1697.76/1698.45	c nbDecision=998500 #constraints=49834
1700.56/1701.24	c nbDecision=999000 #constraints=49887
1703.16/1703.86	c nbDecision=999500 #constraints=49939
1705.36/1706.06	c nbDecision=1000000 #constraints=49979
1707.96/1708.66	c nbDecision=1000500 #constraints=50025
1710.56/1711.23	c nbDecision=1001000 #constraints=50074
1713.66/1714.37	c nbDecision=1001500 #constraints=50135
1716.75/1717.44	c nbDecision=1002000 #constraints=50198
1719.76/1720.49	c nbDecision=1002500 #constraints=50261
1721.65/1722.38	c nbDecision=1003000 #constraints=50292
1723.35/1724.08	c nbDecision=1003500 #constraints=50318
1725.25/1725.98	c nbDecision=1004000 #constraints=50351
1727.45/1728.11	c nbDecision=1004500 #constraints=50388
1729.25/1729.90	c nbDecision=1005000 #constraints=50412
1731.15/1731.80	c nbDecision=1005500 #constraints=50446
1733.35/1734.06	c nbDecision=1006000 #constraints=50482
1734.75/1735.45	c nbDecision=1006500 #constraints=50503
1736.45/1737.14	c nbDecision=1007000 #constraints=50530
1737.95/1738.68	c nbDecision=1007500 #constraints=50554
1740.65/1741.35	c nbDecision=1008000 #constraints=50604
1742.44/1743.14	c nbDecision=1008500 #constraints=50630
1744.64/1745.31	c nbDecision=1009000 #constraints=50667
1746.84/1747.60	c nbDecision=1009500 #constraints=50708
1749.14/1749.85	c nbDecision=1010000 #constraints=50745
1751.04/1751.75	c nbDecision=1010500 #constraints=50774
1752.94/1753.61	c nbDecision=1011000 #constraints=50801
1755.14/1755.85	c nbDecision=1011500 #constraints=50838
1757.44/1758.18	c nbDecision=1012000 #constraints=50878
1759.64/1760.32	c nbDecision=1012500 #constraints=50911
1762.34/1763.05	c nbDecision=1013000 #constraints=50963
1764.85/1765.54	c nbDecision=1013500 #constraints=51007
1767.44/1768.14	c nbDecision=1014000 #constraints=51056
1770.44/1771.19	c nbDecision=1014500 #constraints=51114
1774.04/1774.74	c nbDecision=1015000 #constraints=51183
1777.04/1777.70	c nbDecision=1015500 #constraints=51238
1779.04/1779.78	c nbDecision=1016000 #constraints=51273
1781.04/1781.76	c nbDecision=1016500 #constraints=51304
1783.54/1784.23	c nbDecision=1017000 #constraints=51348
1786.03/1786.79	c nbDecision=1017500 #constraints=51394
1787.84/1788.51	c nbDecision=1018000 #constraints=51419
1790.03/1790.72	c nbDecision=1018500 #constraints=51455
1791.93/1792.64	c nbDecision=1019000 #constraints=51481
1793.73/1794.41	c nbDecision=1019500 #constraints=51505
1795.83/1796.55	c nbDecision=1020000 #constraints=51539
1797.73/1798.48	c nbDecision=1020500 #constraints=51567
1800.03/1800.70	Received signal 15
1800.03/1800.72	
1800.03/1800.72	s UNKNOWN
1800.03/1800.72	
1800.03/1800.72	c user time= 1799.59 s
1800.03/1800.72	c system time= 0.468928 s
1800.03/1800.72	c wall clock time=1800.72

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/node44/watcher-357498-1177001711 -o ROOT/results/node44/solver-357498-1177001711 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.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.85 0.97 0.99 3/77 4965
/proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=1468 CPUtime=0
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 148082857 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 367 163 131 317 0 46 0

[startup+0.0200861 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 4965
/proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=1732 CPUtime=0.01
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 148082857 1773568 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 433 230 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.102094 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 4965
/proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=3052 CPUtime=0.09
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 567 0 0 0 9 0 0 0 18 0 1 0 148082857 3125248 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 763 549 139 317 0 442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3052

[startup+0.301114 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 4965
/proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=3052 CPUtime=0.29
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 567 0 0 0 29 0 0 0 19 0 1 0 148082857 3125248 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 763 549 139 317 0 442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3052

[startup+0.702155 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 4965
/proc/meminfo: memFree=1687624/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=3184 CPUtime=0.69
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 622 0 0 0 69 0 0 0 23 0 1 0 148082857 3260416 604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 796 604 139 317 0 475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3184

[startup+1.50124 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1685504/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=3852 CPUtime=1.49
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 816 0 0 0 149 0 0 0 25 0 1 0 148082857 3944448 798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 963 798 170 317 0 642 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3852

[startup+3.1014 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1684416/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=5268 CPUtime=3.09
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 1155 0 0 0 309 0 0 0 25 0 1 0 148082857 5394432 1137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 1317 1137 170 317 0 996 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5268

[startup+6.30173 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1682304/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=7060 CPUtime=6.29
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 1566 0 0 0 629 0 0 0 25 0 1 0 148082857 7229440 1548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 1765 1548 170 317 0 1444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7060

[startup+12.7014 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1679816/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=9256 CPUtime=12.69
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 2120 0 0 0 1268 1 0 0 25 0 1 0 148082857 9478144 2102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 2314 2102 170 317 0 1993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9256

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1676616/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=12620 CPUtime=25.49
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 2906 0 0 0 2547 2 0 0 25 0 1 0 148082857 12922880 2888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 3155 2888 170 317 0 2834 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12620

[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1672392/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=16940 CPUtime=51.07
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 4011 0 0 0 5104 3 0 0 25 0 1 0 148082857 17346560 3936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 4235 3936 170 317 0 3914 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16940

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1666888/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=22788 CPUtime=102.27
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 5354 0 0 0 10222 5 0 0 25 0 1 0 148082857 23334912 5279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 5697 5279 170 317 0 5376 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22788

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1661320/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=28548 CPUtime=162.25
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 6769 0 0 0 16217 8 0 0 25 0 1 0 148082857 29233152 6694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 7137 6694 170 317 0 6816 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28548

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4966
/proc/meminfo: memFree=1655752/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=34068 CPUtime=222.24
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 8197 0 0 0 22214 10 0 0 25 0 1 0 148082857 34885632 8009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 8517 8009 170 317 0 8196 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34068

[startup+282.301 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 4966
/proc/meminfo: memFree=1651336/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=39540 CPUtime=282.21
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 9522 0 0 0 28210 11 0 0 25 0 1 0 148082857 40488960 9169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 9885 9169 170 317 0 9564 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 39540

[startup+342.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 4966
/proc/meminfo: memFree=1646984/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=44648 CPUtime=342.19
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 10879 0 0 0 34206 13 0 0 25 0 1 0 148082857 45719552 10262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273272 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 11162 10262 170 317 0 10841 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 44648

[startup+402.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/84 5144
/proc/meminfo: memFree=1641664/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=48748 CPUtime=402.08
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 11982 0 0 0 40193 15 0 0 25 0 1 0 148082857 49917952 11266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 12187 11266 170 317 0 11866 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 48748

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1638920/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=52428 CPUtime=462.06
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 12976 0 0 0 46189 17 0 0 25 0 1 0 148082857 53686272 12227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 13107 12227 170 317 0 12786 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 52428

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1635080/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=56340 CPUtime=522.04
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 14037 0 0 0 52185 19 0 0 25 0 1 0 148082857 57692160 13189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 14085 13189 170 317 0 13764 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 56340

[startup+582.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1631496/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=60276 CPUtime=582.01
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 15141 0 0 0 58181 20 0 0 25 0 1 0 148082857 61722624 14095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 15069 14095 170 317 0 14748 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 60276

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1628168/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=63284 CPUtime=642
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 15981 0 0 0 64178 22 0 0 25 0 1 0 148082857 64802816 14902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 15821 14902 170 317 0 15500 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 63284


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1616008/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=76952 CPUtime=881.91
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 19833 0 0 0 88163 28 0 0 25 0 1 0 148082857 78798848 17940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 19238 17940 170 317 0 18917 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 76952

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1612808/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=80232 CPUtime=941.89
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 20716 0 0 0 94159 30 0 0 25 0 1 0 148082857 82157568 18725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 20058 18725 170 317 0 19737 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 80232

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1609800/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=85032 CPUtime=1001.86
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 21995 0 0 0 100155 31 0 0 25 0 1 0 148082857 87072768 19484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 21258 19484 170 317 0 20937 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 85032

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1606984/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=87672 CPUtime=1061.85
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 22735 0 0 0 106153 32 0 0 25 0 1 0 148082857 89776128 20191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 21918 20191 170 317 0 21597 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 87672

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1603976/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=90832 CPUtime=1121.83
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 23612 0 0 0 112149 34 0 0 25 0 1 0 148082857 93011968 20938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 22708 20938 170 317 0 22387 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 90832

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1601224/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=93556 CPUtime=1181.81
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 24384 0 0 0 118146 35 0 0 25 0 1 0 148082857 95801344 21612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 23389 21612 170 317 0 23068 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 93556

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1598792/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=96188 CPUtime=1241.79
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 25136 0 0 0 124143 36 0 0 25 0 1 0 148082857 98496512 22234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 24047 22234 170 317 0 23726 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 96188

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1596232/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=98664 CPUtime=1301.78
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 25814 0 0 0 130141 37 0 0 25 0 1 0 148082857 101031936 22847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 24666 22847 170 317 0 24345 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 98664

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1593864/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=101272 CPUtime=1361.76
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 26536 0 0 0 136138 38 0 0 25 0 1 0 148082857 103702528 23439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 25318 23439 170 317 0 24997 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 101272

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1591560/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=103876 CPUtime=1421.74
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 27292 0 0 0 142135 39 0 0 25 0 1 0 148082857 106369024 24000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 25969 24000 170 317 0 25648 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 103876

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1589128/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=106280 CPUtime=1481.72
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 27952 0 0 0 148131 41 0 0 25 0 1 0 148082857 108830720 24595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 26570 24595 170 317 0 26249 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 106280

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1586824/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=109036 CPUtime=1541.71
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 28734 0 0 0 154129 42 0 0 25 0 1 0 148082857 111652864 25182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 27259 25182 170 317 0 26938 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 109036

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1584520/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=111288 CPUtime=1601.69
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 29374 0 0 0 160126 43 0 0 25 0 1 0 148082857 113958912 25757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 27822 25757 170 317 0 27501 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 111288

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1582280/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=113256 CPUtime=1661.67
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 29927 0 0 0 166123 44 0 0 25 0 1 0 148082857 115974144 26310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 28314 26310 170 317 0 27993 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 113256

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1579912/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=115628 CPUtime=1721.65
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 30583 0 0 0 172120 45 0 0 25 0 1 0 148082857 118403072 26900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 28907 26900 170 317 0 28586 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 115628

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1577672/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=118228 CPUtime=1781.64
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31272 0 0 0 178118 46 0 0 25 0 1 0 148082857 121065472 27459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715881 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 29557 27459 170 317 0 29236 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 118228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1577096/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=118624 CPUtime=1800.03
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31417 0 0 0 179957 46 0 0 25 0 1 0 148082857 121470976 27604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 29656 27604 170 317 0 29335 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 118624

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 5164
/proc/meminfo: memFree=1577096/2055920 swapFree=4150992/4192956
[pid=4965] ppid=4963 vsize=118624 CPUtime=1800.03
/proc/4965/stat : 4965 (oree) R 4963 4965 4908 0 -1 4194304 31417 0 0 0 179957 46 0 0 25 0 1 0 148082857 121470976 27604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4965/statm: 29656 27604 170 317 0 29335 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 118624

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.488925
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 118624

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

runsolver used 1.9617 second user time and 4.72228 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Thu Apr 19 16:55:12 UTC 2007

IDJOB= 357498
IDBENCH= 2943
IDSOLVER= 172
FILE ID= node44/357498-1177001711

PBS_JOBID= 4630515

Free space on /tmp= 66413 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb
COMMAND LINE= oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-357498-1177001711 -o ROOT/results/node44/solver-357498-1177001711 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357498-1177001711/instance-357498-1177001711.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a849a24692bdc034ba3174a2ba23709e

RANDOM SEED= 777238676

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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:       1688096 kB
Buffers:         42592 kB
Cached:         232472 kB
SwapCached:      18832 kB
Active:          88076 kB
Inactive:       216012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1688096 kB
SwapTotal:     4192956 kB
SwapFree:      4150992 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          32060 kB
Slab:            49196 kB
Committed_AS:   498560 kB
PageTables:       1736 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= 66413 MiB

End job on node44 on Thu Apr 19 17:25:14 UTC 2007