Trace number 357444

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.33 1800.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM5946eb43fefc6e626d35d99afd3eec42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1287
Total number of constraints2430
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
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 749
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.09/0.15	c ...done
0.09/0.15	c #vars=1287 #constraints=2431 hasObjective=yes
0.09/0.18	c res. mode=mod
0.09/0.18	c VSIDS like heuristics
0.09/0.18	c complete search running
0.19/0.20	c restart after 401 decisions
0.19/0.21	c nbDecision=500 #constraints=2431
0.19/0.22	c restart after 801 decisions
0.19/0.24	c nbDecision=1000 #constraints=2431
0.19/0.26	c nbDecision=1500 #constraints=2431
0.19/0.26	c restart after 1601 decisions
0.19/0.29	c nbDecision=2000 #constraints=2431
0.29/0.32	c nbDecision=2500 #constraints=2432
0.29/0.34	c nbDecision=3000 #constraints=2437
0.29/0.35	c restart after 3201 decisions
0.29/0.38	c nbDecision=3500 #constraints=2439
0.29/0.39	c nbDecision=4000 #constraints=2439
0.39/0.42	c nbDecision=4500 #constraints=2441
0.39/0.44	c nbDecision=5000 #constraints=2445
0.39/0.45	c nbDecision=5500 #constraints=2448
0.39/0.47	c nbDecision=6000 #constraints=2451
0.39/0.48	c restart after 6401 decisions
0.49/0.50	c nbDecision=6500 #constraints=2454
0.49/0.52	c nbDecision=7000 #constraints=2454
0.49/0.54	c nbDecision=7500 #constraints=2454
0.49/0.59	c nbDecision=8000 #constraints=2461
0.59/0.62	c nbDecision=8500 #constraints=2467
0.59/0.65	c nbDecision=9000 #constraints=2472
0.59/0.69	c nbDecision=9500 #constraints=2479
0.69/0.72	c nbDecision=10000 #constraints=2483
0.69/0.75	c nbDecision=10500 #constraints=2487
0.69/0.78	c nbDecision=11000 #constraints=2494
0.79/0.81	c nbDecision=11500 #constraints=2499
0.79/0.83	c nbDecision=12000 #constraints=2504
0.79/0.86	c nbDecision=12500 #constraints=2508
0.79/0.88	c restart after 12801 decisions
0.89/0.91	c nbDecision=13000 #constraints=2512
0.89/0.93	c nbDecision=13500 #constraints=2512
0.89/0.96	c nbDecision=14000 #constraints=2514
0.89/0.98	c nbDecision=14500 #constraints=2518
0.99/1.02	c nbDecision=15000 #constraints=2527
0.99/1.06	c nbDecision=15500 #constraints=2533
0.99/1.09	c nbDecision=16000 #constraints=2541
1.09/1.12	c nbDecision=16500 #constraints=2548
1.09/1.16	c nbDecision=17000 #constraints=2556
1.19/1.23	c nbDecision=17500 #constraints=2571
1.29/1.31	c nbDecision=18000 #constraints=2586
1.29/1.34	c nbDecision=18500 #constraints=2592
1.39/1.44	c nbDecision=19000 #constraints=2609
1.39/1.50	c nbDecision=19500 #constraints=2617
1.49/1.55	c nbDecision=20000 #constraints=2626
1.49/1.58	c nbDecision=20500 #constraints=2633
1.59/1.60	c nbDecision=21000 #constraints=2639
1.59/1.66	c nbDecision=21500 #constraints=2650
1.59/1.70	c nbDecision=22000 #constraints=2656
1.69/1.74	c nbDecision=22500 #constraints=2664
1.69/1.78	c nbDecision=23000 #constraints=2673
1.79/1.82	c nbDecision=23500 #constraints=2680
1.79/1.88	c nbDecision=24000 #constraints=2691
1.89/1.91	c nbDecision=24500 #constraints=2696
1.89/1.95	c nbDecision=25000 #constraints=2702
1.89/2.00	c nbDecision=25500 #constraints=2710
1.99/2.00	c restart after 25601 decisions
1.99/2.04	c nbDecision=26000 #constraints=2711
1.99/2.07	c nbDecision=26500 #constraints=2711
1.99/2.09	c nbDecision=27000 #constraints=2715
2.09/2.13	c nbDecision=27500 #constraints=2724
2.09/2.18	c nbDecision=28000 #constraints=2732
2.19/2.23	c nbDecision=28500 #constraints=2740
2.19/2.29	c nbDecision=29000 #constraints=2751
2.29/2.36	c nbDecision=29500 #constraints=2762
2.39/2.43	c nbDecision=30000 #constraints=2776
2.39/2.48	c nbDecision=30500 #constraints=2784
2.49/2.52	c nbDecision=31000 #constraints=2791
2.49/2.58	c nbDecision=31500 #constraints=2801
2.59/2.64	c nbDecision=32000 #constraints=2814
2.59/2.66	c nbDecision=32500 #constraints=2819
2.59/2.70	c nbDecision=33000 #constraints=2826
2.69/2.72	c nbDecision=33500 #constraints=2831
2.69/2.74	c nbDecision=34000 #constraints=2836
2.69/2.77	c nbDecision=34500 #constraints=2842
2.79/2.81	c nbDecision=35000 #constraints=2852
2.79/2.87	c nbDecision=35500 #constraints=2867
2.89/2.90	c nbDecision=36000 #constraints=2878
2.89/2.95	c nbDecision=36500 #constraints=2889
2.89/2.97	c nbDecision=37000 #constraints=2893
2.89/2.98	c nbDecision=37500 #constraints=2896
2.99/3.01	c nbDecision=38000 #constraints=2900
2.99/3.04	c nbDecision=38500 #constraints=2906
2.99/3.08	c nbDecision=39000 #constraints=2912
3.09/3.12	c nbDecision=39500 #constraints=2922
3.09/3.14	c nbDecision=40000 #constraints=2926
3.09/3.17	c nbDecision=40500 #constraints=2932
3.20/3.20	c nbDecision=41000 #constraints=2937
3.20/3.26	c nbDecision=41500 #constraints=2947
3.30/3.32	c nbDecision=42000 #constraints=2961
3.30/3.36	c nbDecision=42500 #constraints=2969
3.39/3.40	c nbDecision=43000 #constraints=2977
3.39/3.45	c nbDecision=43500 #constraints=2986
3.39/3.49	c nbDecision=44000 #constraints=2993
3.49/3.53	c nbDecision=44500 #constraints=3001
3.49/3.59	c nbDecision=45000 #constraints=3011
3.59/3.64	c nbDecision=45500 #constraints=3020
3.59/3.68	c nbDecision=46000 #constraints=3029
3.69/3.74	c nbDecision=46500 #constraints=3041
3.69/3.79	c nbDecision=47000 #constraints=3054
3.79/3.85	c nbDecision=47500 #constraints=3066
3.89/3.92	c nbDecision=48000 #constraints=3078
3.89/3.99	c nbDecision=48500 #constraints=3096
3.99/4.05	c nbDecision=49000 #constraints=3110
4.09/4.14	c nbDecision=49500 #constraints=3123
4.09/4.19	c nbDecision=50000 #constraints=3133
4.19/4.27	c nbDecision=50500 #constraints=3149
4.29/4.32	c nbDecision=51000 #constraints=3160
4.29/4.34	c restart after 51201 decisions
4.29/4.38	c nbDecision=51500 #constraints=3162
4.29/4.39	c nbDecision=52000 #constraints=3162
4.39/4.46	c nbDecision=52500 #constraints=3175
4.49/4.51	c nbDecision=53000 #constraints=3186
4.49/4.58	c nbDecision=53500 #constraints=3201
4.59/4.64	c nbDecision=54000 #constraints=3214
4.69/4.71	c nbDecision=54500 #constraints=3226
4.69/4.77	c nbDecision=55000 #constraints=3240
4.79/4.88	c nbDecision=55500 #constraints=3260
4.89/4.97	c nbDecision=56000 #constraints=3277
4.99/5.06	c nbDecision=56500 #constraints=3293
5.09/5.10	c nbDecision=57000 #constraints=3300
5.09/5.16	c nbDecision=57500 #constraints=3313
5.19/5.22	c nbDecision=58000 #constraints=3327
5.19/5.28	c nbDecision=58500 #constraints=3337
5.29/5.35	c nbDecision=59000 #constraints=3352
5.39/5.41	c nbDecision=59500 #constraints=3365
5.39/5.47	c nbDecision=60000 #constraints=3379
5.49/5.58	c nbDecision=60500 #constraints=3399
5.59/5.66	c nbDecision=61000 #constraints=3418
5.79/5.81	c nbDecision=61500 #constraints=3446
5.89/5.91	c nbDecision=62000 #constraints=3463
5.99/6.01	c nbDecision=62500 #constraints=3485
6.09/6.14	c nbDecision=63000 #constraints=3509
6.19/6.22	c nbDecision=63500 #constraints=3531
6.19/6.26	c nbDecision=64000 #constraints=3539
6.29/6.33	c nbDecision=64500 #constraints=3551
6.39/6.40	c nbDecision=65000 #constraints=3562
6.39/6.46	c nbDecision=65500 #constraints=3573
6.50/6.51	c nbDecision=66000 #constraints=3580
6.59/6.63	c nbDecision=66500 #constraints=3600
6.69/6.75	c nbDecision=67000 #constraints=3620
6.79/6.84	c nbDecision=67500 #constraints=3635
6.89/6.96	c nbDecision=68000 #constraints=3656
7.09/7.11	c nbDecision=68500 #constraints=3681
7.19/7.24	c nbDecision=69000 #constraints=3700
7.29/7.38	c nbDecision=69500 #constraints=3721
7.49/7.53	c nbDecision=70000 #constraints=3742
7.59/7.66	c nbDecision=70500 #constraints=3760
7.69/7.75	c nbDecision=71000 #constraints=3772
7.79/7.80	c nbDecision=71500 #constraints=3782
7.89/7.99	c nbDecision=72000 #constraints=3813
7.99/8.06	c nbDecision=72500 #constraints=3822
8.09/8.12	c nbDecision=73000 #constraints=3830
8.09/8.17	c nbDecision=73500 #constraints=3842
8.19/8.23	c nbDecision=74000 #constraints=3850
8.19/8.28	c nbDecision=74500 #constraints=3858
8.29/8.32	c nbDecision=75000 #constraints=3863
8.39/8.41	c nbDecision=75500 #constraints=3875
8.39/8.46	c nbDecision=76000 #constraints=3884
8.49/8.56	c nbDecision=76500 #constraints=3897
8.59/8.61	c nbDecision=77000 #constraints=3902
8.59/8.68	c nbDecision=77500 #constraints=3911
8.69/8.71	c nbDecision=78000 #constraints=3916
8.79/8.81	c nbDecision=78500 #constraints=3931
8.89/8.90	c nbDecision=79000 #constraints=3943
8.99/9.03	c nbDecision=79500 #constraints=3963
9.09/9.16	c nbDecision=80000 #constraints=3975
9.19/9.28	c nbDecision=80500 #constraints=3989
9.29/9.37	c nbDecision=81000 #constraints=4007
9.39/9.42	c nbDecision=81500 #constraints=4013
9.39/9.49	c nbDecision=82000 #constraints=4023
9.59/9.64	c nbDecision=82500 #constraints=4041
9.69/9.70	c nbDecision=83000 #constraints=4049
9.69/9.77	c nbDecision=83500 #constraints=4060
9.79/9.84	c nbDecision=84000 #constraints=4069
9.89/9.96	c nbDecision=84500 #constraints=4082
9.99/10.03	c nbDecision=85000 #constraints=4091
9.99/10.09	c nbDecision=85500 #constraints=4100
10.09/10.14	c nbDecision=86000 #constraints=4107
10.09/10.18	c nbDecision=86500 #constraints=4114
10.19/10.24	c nbDecision=87000 #constraints=4123
10.29/10.30	c nbDecision=87500 #constraints=4133
10.29/10.36	c nbDecision=88000 #constraints=4140
10.39/10.45	c nbDecision=88500 #constraints=4154
10.49/10.52	c nbDecision=89000 #constraints=4164
10.49/10.59	c nbDecision=89500 #constraints=4176
10.59/10.65	c nbDecision=90000 #constraints=4187
10.69/10.70	c nbDecision=90500 #constraints=4195
10.69/10.75	c nbDecision=91000 #constraints=4201
10.79/10.83	c nbDecision=91500 #constraints=4213
10.89/10.91	c nbDecision=92000 #constraints=4226
10.89/10.97	c nbDecision=92500 #constraints=4233
10.99/11.04	c nbDecision=93000 #constraints=4243
11.09/11.12	c nbDecision=93500 #constraints=4252
11.09/11.19	c nbDecision=94000 #constraints=4262
11.19/11.24	c nbDecision=94500 #constraints=4270
11.29/11.31	c nbDecision=95000 #constraints=4280
11.29/11.37	c nbDecision=95500 #constraints=4288
11.39/11.43	c nbDecision=96000 #constraints=4294
11.39/11.49	c nbDecision=96500 #constraints=4302
11.49/11.54	c nbDecision=97000 #constraints=4308
11.59/11.65	c nbDecision=97500 #constraints=4320
11.69/11.72	c nbDecision=98000 #constraints=4328
11.79/11.81	c nbDecision=98500 #constraints=4339
11.79/11.87	c nbDecision=99000 #constraints=4345
11.89/11.92	c nbDecision=99500 #constraints=4352
11.89/11.99	c nbDecision=100000 #constraints=4358
11.99/12.04	c nbDecision=100500 #constraints=4364
12.09/12.10	c nbDecision=101000 #constraints=4370
12.09/12.18	c nbDecision=101500 #constraints=4378
12.19/12.23	c nbDecision=102000 #constraints=4384
12.19/12.29	c restart after 102401 decisions
12.29/12.35	c nbDecision=102500 #constraints=4390
12.29/12.37	c nbDecision=103000 #constraints=4390
12.39/12.43	c nbDecision=103500 #constraints=4392
12.49/12.51	c nbDecision=104000 #constraints=4402
12.49/12.58	c nbDecision=104500 #constraints=4409
12.59/12.67	c nbDecision=105000 #constraints=4421
12.69/12.73	c nbDecision=105500 #constraints=4428
12.69/12.78	c nbDecision=106000 #constraints=4432
12.79/12.86	c nbDecision=106500 #constraints=4445
12.89/12.93	c nbDecision=107000 #constraints=4453
12.99/13.01	c nbDecision=107500 #constraints=4460
12.99/13.04	c nbDecision=108000 #constraints=4464
13.09/13.12	c nbDecision=108500 #constraints=4474
13.19/13.20	c nbDecision=109000 #constraints=4483
13.19/13.25	c nbDecision=109500 #constraints=4488
13.28/13.33	c nbDecision=110000 #constraints=4497
13.38/13.43	c nbDecision=110500 #constraints=4509
13.48/13.50	c nbDecision=111000 #constraints=4516
13.48/13.60	c nbDecision=111500 #constraints=4526
13.58/13.69	c nbDecision=112000 #constraints=4536
13.68/13.78	c nbDecision=112500 #constraints=4545
13.78/13.85	c nbDecision=113000 #constraints=4552
13.88/13.95	c nbDecision=113500 #constraints=4562
13.98/14.02	c nbDecision=114000 #constraints=4570
14.08/14.11	c nbDecision=114500 #constraints=4579
14.08/14.19	c nbDecision=115000 #constraints=4589
14.19/14.27	c nbDecision=115500 #constraints=4597
14.29/14.34	c nbDecision=116000 #constraints=4604
14.38/14.42	c nbDecision=116500 #constraints=4612
14.48/14.52	c nbDecision=117000 #constraints=4621
14.58/14.63	c nbDecision=117500 #constraints=4634
14.68/14.71	c nbDecision=118000 #constraints=4642
14.68/14.77	c nbDecision=118500 #constraints=4648
14.78/14.84	c nbDecision=119000 #constraints=4654
14.88/14.94	c nbDecision=119500 #constraints=4665
14.88/14.99	c nbDecision=120000 #constraints=4670
14.98/15.08	c nbDecision=120500 #constraints=4679
15.18/15.24	c nbDecision=121000 #constraints=4699
15.29/15.32	c nbDecision=121500 #constraints=4706
15.29/15.37	c nbDecision=122000 #constraints=4710
15.39/15.45	c nbDecision=122500 #constraints=4717
15.48/15.51	c nbDecision=123000 #constraints=4723
15.48/15.58	c nbDecision=123500 #constraints=4729
15.58/15.67	c nbDecision=124000 #constraints=4737
15.68/15.78	c nbDecision=124500 #constraints=4748
15.78/15.85	c nbDecision=125000 #constraints=4755
15.88/15.91	c nbDecision=125500 #constraints=4761
15.98/16.00	c nbDecision=126000 #constraints=4771
15.98/16.08	c nbDecision=126500 #constraints=4778
16.08/16.19	c nbDecision=127000 #constraints=4790
16.18/16.27	c nbDecision=127500 #constraints=4798
16.28/16.34	c nbDecision=128000 #constraints=4804
16.39/16.41	c nbDecision=128500 #constraints=4812
16.49/16.51	c nbDecision=129000 #constraints=4822
16.58/16.66	c nbDecision=129500 #constraints=4842
16.68/16.78	c nbDecision=130000 #constraints=4855
16.88/16.91	c nbDecision=130500 #constraints=4868
16.98/17.03	c nbDecision=131000 #constraints=4880
17.08/17.10	c nbDecision=131500 #constraints=4887
17.18/17.26	c nbDecision=132000 #constraints=4904
17.38/17.44	c nbDecision=132500 #constraints=4925
17.49/17.52	c nbDecision=133000 #constraints=4934
17.59/17.69	c nbDecision=133500 #constraints=4953
17.88/17.92	c nbDecision=134000 #constraints=4977
17.98/18.07	c nbDecision=134500 #constraints=4988
18.38/18.41	c nbDecision=135000 #constraints=5018
18.88/18.99	c nbDecision=135500 #constraints=5069
19.18/19.20	c nbDecision=136000 #constraints=5092
19.69/19.74	c nbDecision=136500 #constraints=5139
19.88/19.92	c nbDecision=137000 #constraints=5158
20.08/20.15	c nbDecision=137500 #constraints=5182
20.18/20.23	c nbDecision=138000 #constraints=5190
20.28/20.34	c nbDecision=138500 #constraints=5200
20.38/20.45	c nbDecision=139000 #constraints=5212
20.58/20.63	c nbDecision=139500 #constraints=5227
20.68/20.70	c nbDecision=140000 #constraints=5234
20.78/20.84	c nbDecision=140500 #constraints=5248
20.88/20.94	c nbDecision=141000 #constraints=5256
20.98/21.08	c nbDecision=141500 #constraints=5272
21.08/21.20	c nbDecision=142000 #constraints=5282
21.28/21.39	c nbDecision=142500 #constraints=5301
21.38/21.48	c nbDecision=143000 #constraints=5313
21.48/21.54	c nbDecision=143500 #constraints=5318
21.68/21.79	c nbDecision=144000 #constraints=5349
21.88/21.97	c nbDecision=144500 #constraints=5370
22.08/22.16	c nbDecision=145000 #constraints=5391
22.28/22.30	c nbDecision=145500 #constraints=5407
22.38/22.43	c nbDecision=146000 #constraints=5424
22.48/22.57	c nbDecision=146500 #constraints=5439
22.68/22.78	c nbDecision=147000 #constraints=5462
22.99/23.06	c nbDecision=147500 #constraints=5495
23.09/23.18	c nbDecision=148000 #constraints=5507
23.39/23.41	c nbDecision=148500 #constraints=5530
23.39/23.48	c nbDecision=149000 #constraints=5539
23.49/23.56	c nbDecision=149500 #constraints=5550
23.59/23.66	c nbDecision=150000 #constraints=5561
23.79/23.85	c nbDecision=150500 #constraints=5581
24.09/24.17	c nbDecision=151000 #constraints=5612
24.19/24.27	c nbDecision=151500 #constraints=5624
24.29/24.34	c nbDecision=152000 #constraints=5635
24.39/24.44	c nbDecision=152500 #constraints=5650
24.49/24.53	c nbDecision=153000 #constraints=5662
24.69/24.74	c nbDecision=153500 #constraints=5683
24.79/24.83	c nbDecision=154000 #constraints=5693
25.09/25.13	c nbDecision=154500 #constraints=5726
25.29/25.34	c nbDecision=155000 #constraints=5743
25.39/25.49	c nbDecision=155500 #constraints=5754
25.59/25.68	c nbDecision=156000 #constraints=5770
25.79/25.87	c nbDecision=156500 #constraints=5790
25.99/26.06	c nbDecision=157000 #constraints=5806
26.19/26.21	c nbDecision=157500 #constraints=5818
26.29/26.33	c nbDecision=158000 #constraints=5832
26.39/26.46	c nbDecision=158500 #constraints=5846
26.68/26.72	c nbDecision=159000 #constraints=5869
26.88/26.96	c nbDecision=159500 #constraints=5888
27.08/27.10	c nbDecision=160000 #constraints=5900
27.28/27.34	c nbDecision=160500 #constraints=5920
27.49/27.54	c nbDecision=161000 #constraints=5935
27.78/27.87	c nbDecision=161500 #constraints=5965
27.98/28.04	c nbDecision=162000 #constraints=5978
28.18/28.28	c nbDecision=162500 #constraints=5998
28.49/28.51	c nbDecision=163000 #constraints=6017
28.68/28.78	c nbDecision=163500 #constraints=6038
28.88/28.94	c nbDecision=164000 #constraints=6052
29.18/29.23	c nbDecision=164500 #constraints=6075
29.38/29.40	c nbDecision=165000 #constraints=6089
29.59/29.64	c nbDecision=165500 #constraints=6108
29.78/29.90	c nbDecision=166000 #constraints=6128
29.98/30.08	c nbDecision=166500 #constraints=6144
30.28/30.33	c nbDecision=167000 #constraints=6164
30.48/30.53	c nbDecision=167500 #constraints=6179
30.69/30.71	c nbDecision=168000 #constraints=6194
30.88/30.95	c nbDecision=168500 #constraints=6213
31.08/31.15	c nbDecision=169000 #constraints=6231
31.28/31.37	c nbDecision=169500 #constraints=6253
31.48/31.52	c nbDecision=170000 #constraints=6268
31.58/31.69	c nbDecision=170500 #constraints=6287
31.79/31.86	c nbDecision=171000 #constraints=6303
31.98/32.05	c nbDecision=171500 #constraints=6319
32.18/32.20	c nbDecision=172000 #constraints=6335
32.38/32.41	c nbDecision=172500 #constraints=6355
32.48/32.54	c nbDecision=173000 #constraints=6367
32.58/32.63	c nbDecision=173500 #constraints=6374
32.68/32.71	c nbDecision=174000 #constraints=6381
32.78/32.81	c nbDecision=174500 #constraints=6388
32.89/32.92	c nbDecision=175000 #constraints=6397
32.99/33.01	c nbDecision=175500 #constraints=6404
32.99/33.09	c nbDecision=176000 #constraints=6410
33.18/33.21	c nbDecision=176500 #constraints=6420
33.28/33.32	c nbDecision=177000 #constraints=6429
33.38/33.42	c nbDecision=177500 #constraints=6436
33.48/33.53	c nbDecision=178000 #constraints=6444
33.58/33.65	c nbDecision=178500 #constraints=6453
33.68/33.77	c nbDecision=179000 #constraints=6462
33.78/33.88	c nbDecision=179500 #constraints=6470
33.99/34.01	c nbDecision=180000 #constraints=6481
34.18/34.26	c nbDecision=180500 #constraints=6504
34.28/34.35	c nbDecision=181000 #constraints=6510
34.38/34.49	c nbDecision=181500 #constraints=6520
34.58/34.62	c nbDecision=182000 #constraints=6530
34.68/34.73	c nbDecision=182500 #constraints=6538
34.78/34.89	c nbDecision=183000 #constraints=6550
34.98/35.01	c nbDecision=183500 #constraints=6558
35.09/35.13	c nbDecision=184000 #constraints=6568
35.19/35.26	c nbDecision=184500 #constraints=6576
35.38/35.43	c nbDecision=185000 #constraints=6589
35.58/35.65	c nbDecision=185500 #constraints=6607
35.88/35.90	c nbDecision=186000 #constraints=6626
36.08/36.19	c nbDecision=186500 #constraints=6648
36.38/36.41	c nbDecision=187000 #constraints=6663
36.58/36.66	c nbDecision=187500 #constraints=6682
36.78/36.85	c nbDecision=188000 #constraints=6696
36.98/37.05	c nbDecision=188500 #constraints=6710
37.28/37.32	c nbDecision=189000 #constraints=6732
37.48/37.50	c nbDecision=189500 #constraints=6748
37.58/37.65	c nbDecision=190000 #constraints=6760
37.68/37.79	c nbDecision=190500 #constraints=6773
37.88/37.99	c nbDecision=191000 #constraints=6794
38.08/38.14	c nbDecision=191500 #constraints=6811
38.18/38.26	c nbDecision=192000 #constraints=6824
38.38/38.42	c nbDecision=192500 #constraints=6837
38.48/38.55	c nbDecision=193000 #constraints=6850
38.68/38.71	c nbDecision=193500 #constraints=6862
38.78/38.82	c nbDecision=194000 #constraints=6870
38.88/38.96	c nbDecision=194500 #constraints=6878
39.08/39.15	c nbDecision=195000 #constraints=6893
39.28/39.30	c nbDecision=195500 #constraints=6904
39.38/39.42	c nbDecision=196000 #constraints=6913
39.58/39.61	c nbDecision=196500 #constraints=6928
39.68/39.75	c nbDecision=197000 #constraints=6938
39.88/39.95	c nbDecision=197500 #constraints=6954
40.08/40.10	c nbDecision=198000 #constraints=6965
40.18/40.24	c nbDecision=198500 #constraints=6975
40.28/40.38	c nbDecision=199000 #constraints=6985
40.48/40.54	c nbDecision=199500 #constraints=7003
40.58/40.68	c nbDecision=200000 #constraints=7014
40.78/40.85	c nbDecision=200500 #constraints=7030
40.88/40.99	c nbDecision=201000 #constraints=7039
41.18/41.22	c nbDecision=201500 #constraints=7056
41.38/41.46	c nbDecision=202000 #constraints=7075
41.58/41.65	c nbDecision=202500 #constraints=7088
41.78/41.81	c nbDecision=203000 #constraints=7097
41.88/41.94	c nbDecision=203500 #constraints=7106
41.98/42.03	c nbDecision=204000 #constraints=7112
42.18/42.26	c nbDecision=204500 #constraints=7129
42.48/42.54	c restart after 204801 decisions
42.58/42.69	c nbDecision=205000 #constraints=7146
42.68/42.71	c nbDecision=205500 #constraints=7146
42.78/42.88	c nbDecision=206000 #constraints=7152
42.88/42.96	c nbDecision=206500 #constraints=7157
43.08/43.12	c nbDecision=207000 #constraints=7168
43.18/43.26	c nbDecision=207500 #constraints=7176
43.38/43.42	c nbDecision=208000 #constraints=7186
43.48/43.58	c nbDecision=208500 #constraints=7197
43.68/43.73	c nbDecision=209000 #constraints=7207
43.88/43.92	c nbDecision=209500 #constraints=7221
44.08/44.11	c nbDecision=210000 #constraints=7234
44.18/44.26	c nbDecision=210500 #constraints=7243
44.38/44.45	c nbDecision=211000 #constraints=7255
44.58/44.60	c nbDecision=211500 #constraints=7265
44.78/44.81	c nbDecision=212000 #constraints=7281
44.88/44.94	c nbDecision=212500 #constraints=7289
45.09/45.15	c nbDecision=213000 #constraints=7306
45.18/45.29	c nbDecision=213500 #constraints=7315
45.38/45.43	c nbDecision=214000 #constraints=7325
45.48/45.59	c nbDecision=214500 #constraints=7336
45.68/45.76	c nbDecision=215000 #constraints=7346
45.88/45.94	c nbDecision=215500 #constraints=7360
45.98/46.04	c nbDecision=216000 #constraints=7365
46.09/46.16	c nbDecision=216500 #constraints=7374
46.19/46.27	c nbDecision=217000 #constraints=7383
46.38/46.41	c nbDecision=217500 #constraints=7393
46.48/46.55	c nbDecision=218000 #constraints=7403
46.68/46.75	c nbDecision=218500 #constraints=7417
46.88/46.91	c nbDecision=219000 #constraints=7427
46.98/47.06	c nbDecision=219500 #constraints=7437
47.08/47.19	c nbDecision=220000 #constraints=7445
47.29/47.33	c nbDecision=220500 #constraints=7453
47.38/47.45	c nbDecision=221000 #constraints=7460
47.48/47.59	c nbDecision=221500 #constraints=7469
47.68/47.74	c nbDecision=222000 #constraints=7478
47.88/47.91	c nbDecision=222500 #constraints=7489
47.98/48.03	c nbDecision=223000 #constraints=7496
48.08/48.13	c nbDecision=223500 #constraints=7504
48.18/48.21	c nbDecision=224000 #constraints=7510
48.18/48.29	c nbDecision=224500 #constraints=7516
48.39/48.41	c nbDecision=225000 #constraints=7525
48.58/48.60	c nbDecision=225500 #constraints=7543
48.68/48.75	c nbDecision=226000 #constraints=7555
48.78/48.86	c nbDecision=226500 #constraints=7563
48.88/48.99	c nbDecision=227000 #constraints=7571
49.08/49.13	c nbDecision=227500 #constraints=7581
49.18/49.27	c nbDecision=228000 #constraints=7591
49.39/49.42	c nbDecision=228500 #constraints=7603
49.58/49.63	c nbDecision=229000 #constraints=7621
49.68/49.76	c nbDecision=229500 #constraints=7630
49.88/49.97	c nbDecision=230000 #constraints=7645
50.08/50.12	c nbDecision=230500 #constraints=7655
50.28/50.32	c nbDecision=231000 #constraints=7670
50.38/50.46	c nbDecision=231500 #constraints=7681
50.58/50.61	c nbDecision=232000 #constraints=7694
50.68/50.75	c nbDecision=232500 #constraints=7703
50.88/50.95	c nbDecision=233000 #constraints=7717
50.98/51.10	c nbDecision=233500 #constraints=7727
51.18/51.26	c nbDecision=234000 #constraints=7737
51.38/51.40	c nbDecision=234500 #constraints=7747
51.48/51.60	c nbDecision=235000 #constraints=7760
51.68/51.71	c nbDecision=235500 #constraints=7766
51.88/51.90	c nbDecision=236000 #constraints=7779
51.98/52.05	c nbDecision=236500 #constraints=7789
52.08/52.19	c nbDecision=237000 #constraints=7798
52.28/52.36	c nbDecision=237500 #constraints=7811
52.48/52.51	c nbDecision=238000 #constraints=7820
52.68/52.70	c nbDecision=238500 #constraints=7834
52.78/52.86	c nbDecision=239000 #constraints=7843
52.98/53.00	c nbDecision=239500 #constraints=7852
53.08/53.16	c nbDecision=240000 #constraints=7862
53.28/53.33	c nbDecision=240500 #constraints=7874
53.38/53.48	c nbDecision=241000 #constraints=7883
53.58/53.64	c nbDecision=241500 #constraints=7897
53.78/53.84	c nbDecision=242000 #constraints=7912
53.88/53.98	c nbDecision=242500 #constraints=7921
54.08/54.12	c nbDecision=243000 #constraints=7929
54.18/54.26	c nbDecision=243500 #constraints=7940
54.38/54.42	c nbDecision=244000 #constraints=7951
54.48/54.56	c nbDecision=244500 #constraints=7958
54.68/54.73	c nbDecision=245000 #constraints=7969
54.78/54.85	c nbDecision=245500 #constraints=7976
54.98/55.02	c nbDecision=246000 #constraints=7986
55.17/55.22	c nbDecision=246500 #constraints=7997
55.37/55.40	c nbDecision=247000 #constraints=8011
55.47/55.52	c nbDecision=247500 #constraints=8018
55.57/55.69	c nbDecision=248000 #constraints=8029
55.77/55.81	c nbDecision=248500 #constraints=8037
55.87/55.98	c nbDecision=249000 #constraints=8049
56.08/56.12	c nbDecision=249500 #constraints=8059
56.17/56.25	c nbDecision=250000 #constraints=8068
56.27/56.39	c nbDecision=250500 #constraints=8079
56.47/56.56	c nbDecision=251000 #constraints=8092
56.67/56.71	c nbDecision=251500 #constraints=8103
56.77/56.86	c nbDecision=252000 #constraints=8111
56.87/57.00	c nbDecision=252500 #constraints=8118
57.08/57.17	c nbDecision=253000 #constraints=8130
57.27/57.34	c nbDecision=253500 #constraints=8142
57.47/57.50	c nbDecision=254000 #constraints=8151
57.57/57.62	c nbDecision=254500 #constraints=8158
57.77/57.80	c nbDecision=255000 #constraints=8171
57.97/58.00	c nbDecision=255500 #constraints=8185
58.18/58.27	c nbDecision=256000 #constraints=8202
58.47/58.54	c nbDecision=256500 #constraints=8221
58.67/58.76	c nbDecision=257000 #constraints=8234
58.97/59.06	c nbDecision=257500 #constraints=8251
59.28/59.35	c nbDecision=258000 #constraints=8266
59.57/59.61	c nbDecision=258500 #constraints=8280
59.77/59.85	c nbDecision=259000 #constraints=8292
59.97/60.07	c nbDecision=259500 #constraints=8303
60.27/60.33	c nbDecision=260000 #constraints=8316
60.48/60.59	c nbDecision=260500 #constraints=8330
60.67/60.72	c nbDecision=261000 #constraints=8338
60.77/60.89	c nbDecision=261500 #constraints=8347
61.07/61.15	c nbDecision=262000 #constraints=8367
61.27/61.38	c nbDecision=262500 #constraints=8381
61.67/61.73	c nbDecision=263000 #constraints=8405
61.87/61.97	c nbDecision=263500 #constraints=8420
62.17/62.26	c nbDecision=264000 #constraints=8436
62.47/62.51	c nbDecision=264500 #constraints=8452
62.67/62.75	c nbDecision=265000 #constraints=8464
63.07/63.16	c nbDecision=265500 #constraints=8486
63.47/63.53	c nbDecision=266000 #constraints=8508
63.77/63.86	c nbDecision=266500 #constraints=8530
64.17/64.27	c nbDecision=267000 #constraints=8557
64.47/64.58	c nbDecision=267500 #constraints=8574
64.87/64.94	c nbDecision=268000 #constraints=8594
65.27/65.33	c nbDecision=268500 #constraints=8615
65.58/65.66	c nbDecision=269000 #constraints=8633
65.98/66.02	c nbDecision=269500 #constraints=8647
66.18/66.26	c nbDecision=270000 #constraints=8660
66.38/66.50	c nbDecision=270500 #constraints=8678
66.68/66.77	c nbDecision=271000 #constraints=8696
66.98/67.01	c nbDecision=271500 #constraints=8709
67.18/67.22	c nbDecision=272000 #constraints=8720
67.38/67.46	c nbDecision=272500 #constraints=8731
67.68/67.76	c nbDecision=273000 #constraints=8745
67.98/68.02	c nbDecision=273500 #constraints=8758
68.28/68.34	c nbDecision=274000 #constraints=8775
68.58/68.66	c nbDecision=274500 #constraints=8790
68.98/69.07	c nbDecision=275000 #constraints=8809
69.48/69.52	c nbDecision=275500 #constraints=8830
69.68/69.74	c nbDecision=276000 #constraints=8843
69.88/69.91	c nbDecision=276500 #constraints=8853
70.08/70.14	c nbDecision=277000 #constraints=8867
70.18/70.29	c nbDecision=277500 #constraints=8878
70.48/70.51	c nbDecision=278000 #constraints=8890
70.68/70.75	c nbDecision=278500 #constraints=8903
70.88/70.99	c nbDecision=279000 #constraints=8922
71.08/71.19	c nbDecision=279500 #constraints=8934
71.28/71.36	c nbDecision=280000 #constraints=8945
71.48/71.58	c nbDecision=280500 #constraints=8960
71.68/71.78	c nbDecision=281000 #constraints=8971
71.98/72.06	c nbDecision=281500 #constraints=8989
72.28/72.32	c nbDecision=282000 #constraints=9005
72.38/72.50	c nbDecision=282500 #constraints=9016
72.58/72.69	c nbDecision=283000 #constraints=9029
72.77/72.85	c nbDecision=283500 #constraints=9039
72.97/73.02	c nbDecision=284000 #constraints=9049
73.07/73.17	c nbDecision=284500 #constraints=9059
73.27/73.36	c nbDecision=285000 #constraints=9070
73.58/73.63	c nbDecision=285500 #constraints=9087
73.77/73.85	c nbDecision=286000 #constraints=9105
73.87/73.98	c nbDecision=286500 #constraints=9116
74.17/74.22	c nbDecision=287000 #constraints=9130
74.37/74.40	c nbDecision=287500 #constraints=9145
74.57/74.63	c nbDecision=288000 #constraints=9161
74.78/74.86	c nbDecision=288500 #constraints=9176
75.07/75.14	c nbDecision=289000 #constraints=9195
75.37/75.42	c nbDecision=289500 #constraints=9212
75.67/75.72	c nbDecision=290000 #constraints=9232
76.07/76.15	c nbDecision=290500 #constraints=9259
76.47/76.54	c nbDecision=291000 #constraints=9281
76.97/77.04	c nbDecision=291500 #constraints=9312
77.27/77.39	c nbDecision=292000 #constraints=9336
77.57/77.64	c nbDecision=292500 #constraints=9352
77.97/78.01	c nbDecision=293000 #constraints=9370
78.27/78.35	c nbDecision=293500 #constraints=9389
78.47/78.59	c nbDecision=294000 #constraints=9401
78.67/78.77	c nbDecision=294500 #constraints=9412
78.87/78.91	c nbDecision=295000 #constraints=9419
78.97/79.09	c nbDecision=295500 #constraints=9428
79.17/79.27	c nbDecision=296000 #constraints=9439
79.37/79.46	c nbDecision=296500 #constraints=9453
79.47/79.58	c nbDecision=297000 #constraints=9459
79.67/79.76	c nbDecision=297500 #constraints=9467
79.87/79.93	c nbDecision=298000 #constraints=9478
80.07/80.11	c nbDecision=298500 #constraints=9487
80.27/80.32	c nbDecision=299000 #constraints=9497
80.47/80.53	c nbDecision=299500 #constraints=9509
80.77/80.80	c nbDecision=300000 #constraints=9523
80.97/81.08	c nbDecision=300500 #constraints=9536
81.27/81.31	c nbDecision=301000 #constraints=9545
81.47/81.57	c nbDecision=301500 #constraints=9558
81.67/81.79	c nbDecision=302000 #constraints=9568
81.97/82.01	c nbDecision=302500 #constraints=9579
82.17/82.21	c nbDecision=303000 #constraints=9592
82.37/82.47	c nbDecision=303500 #constraints=9609
82.67/82.71	c nbDecision=304000 #constraints=9623
82.77/82.89	c nbDecision=304500 #constraints=9633
83.07/83.13	c nbDecision=305000 #constraints=9645
83.27/83.34	c nbDecision=305500 #constraints=9660
83.47/83.51	c nbDecision=306000 #constraints=9670
83.57/83.69	c nbDecision=306500 #constraints=9682
83.87/83.95	c nbDecision=307000 #constraints=9696
84.17/84.28	c nbDecision=307500 #constraints=9711
84.47/84.52	c nbDecision=308000 #constraints=9725
84.67/84.73	c nbDecision=308500 #constraints=9736
84.86/84.90	c nbDecision=309000 #constraints=9749
85.07/85.10	c nbDecision=309500 #constraints=9764
85.17/85.27	c nbDecision=310000 #constraints=9774
85.37/85.48	c nbDecision=310500 #constraints=9791
85.68/85.80	c nbDecision=311000 #constraints=9820
85.87/85.99	c nbDecision=311500 #constraints=9831
86.07/86.12	c nbDecision=312000 #constraints=9841
86.27/86.31	c nbDecision=312500 #constraints=9853
86.47/86.52	c nbDecision=313000 #constraints=9868
86.67/86.75	c nbDecision=313500 #constraints=9883
86.97/87.05	c nbDecision=314000 #constraints=9905
87.27/87.37	c nbDecision=314500 #constraints=9926
87.67/87.79	c nbDecision=315000 #constraints=9953
88.17/88.21	c nbDecision=315500 #constraints=9980
88.57/88.61	c nbDecision=316000 #constraints=10010
88.77/88.81	c nbDecision=316500 #constraints=10023
88.98/89.09	c nbDecision=317000 #constraints=10040
89.27/89.35	c nbDecision=317500 #constraints=10053
89.57/89.66	c nbDecision=318000 #constraints=10071
89.87/89.95	c nbDecision=318500 #constraints=10086
90.08/90.18	c nbDecision=319000 #constraints=10097
90.27/90.31	c nbDecision=319500 #constraints=10104
90.47/90.57	c nbDecision=320000 #constraints=10120
90.77/90.86	c nbDecision=320500 #constraints=10136
90.97/91.08	c nbDecision=321000 #constraints=10149
91.37/91.42	c nbDecision=321500 #constraints=10168
91.67/91.73	c nbDecision=322000 #constraints=10184
91.97/92.01	c nbDecision=322500 #constraints=10199
92.07/92.16	c nbDecision=323000 #constraints=10207
92.27/92.38	c nbDecision=323500 #constraints=10220
92.67/92.73	c nbDecision=324000 #constraints=10240
92.87/92.99	c nbDecision=324500 #constraints=10254
93.07/93.18	c nbDecision=325000 #constraints=10266
93.27/93.37	c nbDecision=325500 #constraints=10277
93.47/93.55	c nbDecision=326000 #constraints=10288
93.67/93.77	c nbDecision=326500 #constraints=10302
93.87/93.96	c nbDecision=327000 #constraints=10315
94.07/94.18	c nbDecision=327500 #constraints=10329
94.47/94.51	c nbDecision=328000 #constraints=10347
94.77/94.84	c nbDecision=328500 #constraints=10366
95.07/95.12	c nbDecision=329000 #constraints=10381
95.27/95.36	c nbDecision=329500 #constraints=10394
95.57/95.69	c nbDecision=330000 #constraints=10412
95.87/95.92	c nbDecision=330500 #constraints=10423
96.17/96.20	c nbDecision=331000 #constraints=10438
96.47/96.56	c nbDecision=331500 #constraints=10458
96.77/96.86	c nbDecision=332000 #constraints=10474
96.97/97.07	c nbDecision=332500 #constraints=10485
97.26/97.32	c nbDecision=333000 #constraints=10497
97.46/97.55	c nbDecision=333500 #constraints=10511
97.66/97.72	c nbDecision=334000 #constraints=10519
97.77/97.89	c nbDecision=334500 #constraints=10529
98.06/98.14	c nbDecision=335000 #constraints=10545
98.26/98.38	c nbDecision=335500 #constraints=10560
98.56/98.62	c nbDecision=336000 #constraints=10574
98.76/98.90	c nbDecision=336500 #constraints=10588
99.26/99.31	c nbDecision=337000 #constraints=10610
99.66/99.71	c nbDecision=337500 #constraints=10631
99.86/99.95	c nbDecision=338000 #constraints=10644
100.07/100.12	c nbDecision=338500 #constraints=10653
100.26/100.32	c nbDecision=339000 #constraints=10665
100.56/100.68	c nbDecision=339500 #constraints=10683
100.76/100.86	c nbDecision=340000 #constraints=10692
100.96/101.08	c nbDecision=340500 #constraints=10704
101.26/101.30	c nbDecision=341000 #constraints=10717
101.66/101.78	c nbDecision=341500 #constraints=10739
102.17/102.24	c nbDecision=342000 #constraints=10760
102.46/102.55	c nbDecision=342500 #constraints=10773
102.76/102.86	c nbDecision=343000 #constraints=10787
103.06/103.19	c nbDecision=343500 #constraints=10802
103.37/103.47	c nbDecision=344000 #constraints=10816
103.66/103.75	c nbDecision=344500 #constraints=10829
103.96/104.02	c nbDecision=345000 #constraints=10844
104.36/104.42	c nbDecision=345500 #constraints=10867
104.86/104.91	c nbDecision=346000 #constraints=10891
105.26/105.35	c nbDecision=346500 #constraints=10911
105.86/105.93	c nbDecision=347000 #constraints=10936
106.36/106.42	c nbDecision=347500 #constraints=10956
106.76/106.87	c nbDecision=348000 #constraints=10975
107.27/107.30	c nbDecision=348500 #constraints=10994
107.67/107.73	c nbDecision=349000 #constraints=11012
108.27/108.33	c nbDecision=349500 #constraints=11038
108.67/108.70	c nbDecision=350000 #constraints=11055
108.97/109.06	c nbDecision=350500 #constraints=11072
109.57/109.69	c nbDecision=351000 #constraints=11102
109.97/110.08	c nbDecision=351500 #constraints=11119
110.47/110.59	c nbDecision=352000 #constraints=11142
111.16/111.27	c nbDecision=352500 #constraints=11172
111.96/112.10	c nbDecision=353000 #constraints=11207
112.46/112.56	c nbDecision=353500 #constraints=11226
113.06/113.16	c nbDecision=354000 #constraints=11250
113.86/113.94	c nbDecision=354500 #constraints=11284
114.66/114.76	c nbDecision=355000 #constraints=11319
115.56/115.67	c nbDecision=355500 #constraints=11357
116.16/116.22	c nbDecision=356000 #constraints=11380
116.76/116.83	c nbDecision=356500 #constraints=11406
117.46/117.59	c nbDecision=357000 #constraints=11437
118.16/118.28	c nbDecision=357500 #constraints=11464
118.66/118.72	c nbDecision=358000 #constraints=11482
119.16/119.21	c nbDecision=358500 #constraints=11503
119.76/119.82	c nbDecision=359000 #constraints=11529
120.26/120.36	c nbDecision=359500 #constraints=11552
120.46/120.54	c nbDecision=360000 #constraints=11562
120.56/120.69	c nbDecision=360500 #constraints=11569
120.76/120.87	c nbDecision=361000 #constraints=11577
120.96/121.04	c nbDecision=361500 #constraints=11586
121.06/121.20	c nbDecision=362000 #constraints=11595
121.36/121.45	c nbDecision=362500 #constraints=11610
121.56/121.66	c nbDecision=363000 #constraints=11623
121.96/122.03	c nbDecision=363500 #constraints=11640
122.26/122.31	c nbDecision=364000 #constraints=11655
122.46/122.54	c nbDecision=364500 #constraints=11667
122.66/122.72	c nbDecision=365000 #constraints=11676
122.86/122.97	c nbDecision=365500 #constraints=11690
123.16/123.25	c nbDecision=366000 #constraints=11706
123.46/123.56	c nbDecision=366500 #constraints=11723
123.76/123.82	c nbDecision=367000 #constraints=11739
123.96/124.05	c nbDecision=367500 #constraints=11751
124.27/124.33	c nbDecision=368000 #constraints=11767
124.36/124.49	c nbDecision=368500 #constraints=11773
124.56/124.69	c nbDecision=369000 #constraints=11782
125.06/125.18	c nbDecision=369500 #constraints=11803
125.76/125.82	c nbDecision=370000 #constraints=11827
126.26/126.40	c nbDecision=370500 #constraints=11850
126.76/126.83	c nbDecision=371000 #constraints=11871
127.06/127.18	c nbDecision=371500 #constraints=11886
127.36/127.43	c nbDecision=372000 #constraints=11899
127.66/127.76	c nbDecision=372500 #constraints=11914
128.16/128.20	c nbDecision=373000 #constraints=11935
128.46/128.52	c nbDecision=373500 #constraints=11953
128.67/128.75	c nbDecision=374000 #constraints=11965
128.86/128.94	c nbDecision=374500 #constraints=11976
129.06/129.14	c nbDecision=375000 #constraints=11986
129.56/129.60	c nbDecision=375500 #constraints=12004
130.56/130.65	c nbDecision=376000 #constraints=12044
131.36/131.42	c nbDecision=376500 #constraints=12072
132.16/132.22	c nbDecision=377000 #constraints=12100
132.86/132.95	c nbDecision=377500 #constraints=12125
133.16/133.25	c nbDecision=378000 #constraints=12139
133.36/133.49	c nbDecision=378500 #constraints=12150
133.76/133.89	c nbDecision=379000 #constraints=12171
134.26/134.32	c nbDecision=379500 #constraints=12190
134.56/134.68	c nbDecision=380000 #constraints=12208
135.06/135.14	c nbDecision=380500 #constraints=12230
135.46/135.54	c nbDecision=381000 #constraints=12247
135.76/135.82	c nbDecision=381500 #constraints=12261
135.96/136.07	c nbDecision=382000 #constraints=12276
136.26/136.39	c nbDecision=382500 #constraints=12293
136.66/136.73	c nbDecision=383000 #constraints=12311
136.86/136.93	c nbDecision=383500 #constraints=12322
137.06/137.19	c nbDecision=384000 #constraints=12337
137.36/137.41	c nbDecision=384500 #constraints=12347
137.46/137.56	c nbDecision=385000 #constraints=12356
137.75/137.85	c nbDecision=385500 #constraints=12370
138.05/138.12	c nbDecision=386000 #constraints=12383
138.46/138.58	c nbDecision=386500 #constraints=12403
138.85/138.92	c nbDecision=387000 #constraints=12418
139.15/139.25	c nbDecision=387500 #constraints=12432
139.45/139.56	c nbDecision=388000 #constraints=12448
139.85/139.91	c nbDecision=388500 #constraints=12463
139.95/140.07	c nbDecision=389000 #constraints=12471
140.15/140.29	c nbDecision=389500 #constraints=12483
140.35/140.47	c nbDecision=390000 #constraints=12497
140.76/140.82	c nbDecision=390500 #constraints=12512
141.15/141.28	c nbDecision=391000 #constraints=12531
141.55/141.69	c nbDecision=391500 #constraints=12549
142.05/142.12	c nbDecision=392000 #constraints=12568
142.45/142.55	c nbDecision=392500 #constraints=12584
142.86/142.99	c nbDecision=393000 #constraints=12610
143.05/143.17	c nbDecision=393500 #constraints=12620
143.25/143.37	c nbDecision=394000 #constraints=12632
143.45/143.54	c nbDecision=394500 #constraints=12642
143.85/143.95	c nbDecision=395000 #constraints=12662
144.25/144.36	c nbDecision=395500 #constraints=12677
144.85/144.97	c nbDecision=396000 #constraints=12704
145.15/145.26	c nbDecision=396500 #constraints=12720
145.45/145.58	c nbDecision=397000 #constraints=12736
145.75/145.85	c nbDecision=397500 #constraints=12748
146.05/146.20	c nbDecision=398000 #constraints=12768
146.45/146.53	c nbDecision=398500 #constraints=12786
146.75/146.86	c nbDecision=399000 #constraints=12803
147.15/147.21	c nbDecision=399500 #constraints=12820
147.65/147.71	c nbDecision=400000 #constraints=12846
148.25/148.35	c nbDecision=400500 #constraints=12877
148.85/148.93	c nbDecision=401000 #constraints=12904
149.05/149.17	c nbDecision=401500 #constraints=12916
149.35/149.49	c nbDecision=402000 #constraints=12931
149.95/150.00	c nbDecision=402500 #constraints=12953
150.45/150.54	c nbDecision=403000 #constraints=12977
150.85/150.91	c nbDecision=403500 #constraints=12994
151.25/151.31	c nbDecision=404000 #constraints=13017
151.55/151.69	c nbDecision=404500 #constraints=13035
152.15/152.23	c nbDecision=405000 #constraints=13067
152.65/152.76	c nbDecision=405500 #constraints=13089
153.15/153.21	c nbDecision=406000 #constraints=13112
153.55/153.65	c nbDecision=406500 #constraints=13138
153.85/153.95	c nbDecision=407000 #constraints=13154
154.44/154.53	c nbDecision=407500 #constraints=13189
154.95/155.06	c nbDecision=408000 #constraints=13214
155.34/155.50	c nbDecision=408500 #constraints=13235
155.64/155.79	c nbDecision=409000 #constraints=13249
155.94/156.02	c nbDecision=409500 #constraints=13261
155.94/156.05	c restart after 409601 decisions
156.34/156.46	c nbDecision=410000 #constraints=13262
156.54/156.68	c nbDecision=410500 #constraints=13262
156.94/157.09	c nbDecision=411000 #constraints=13283
157.45/157.53	c nbDecision=411500 #constraints=13307
157.95/158.00	c nbDecision=412000 #constraints=13331
158.36/158.40	c nbDecision=412500 #constraints=13348
158.75/158.88	c nbDecision=413000 #constraints=13370
159.25/159.30	c nbDecision=413500 #constraints=13384
159.65/159.79	c nbDecision=414000 #constraints=13403
160.25/160.33	c nbDecision=414500 #constraints=13427
160.85/160.97	c nbDecision=415000 #constraints=13454
161.35/161.49	c nbDecision=415500 #constraints=13471
161.95/162.08	c nbDecision=416000 #constraints=13496
162.25/162.33	c nbDecision=416500 #constraints=13507
162.45/162.55	c nbDecision=417000 #constraints=13516
162.85/162.94	c nbDecision=417500 #constraints=13532
163.15/163.22	c nbDecision=418000 #constraints=13544
163.45/163.53	c nbDecision=418500 #constraints=13560
163.95/164.00	c nbDecision=419000 #constraints=13588
164.25/164.39	c nbDecision=419500 #constraints=13605
164.74/164.82	c nbDecision=420000 #constraints=13625
165.14/165.25	c nbDecision=420500 #constraints=13640
165.64/165.73	c nbDecision=421000 #constraints=13660
166.05/166.14	c nbDecision=421500 #constraints=13677
166.34/166.48	c nbDecision=422000 #constraints=13690
167.05/167.12	c nbDecision=422500 #constraints=13715
167.64/167.71	c nbDecision=423000 #constraints=13738
168.15/168.24	c nbDecision=423500 #constraints=13760
168.74/168.87	c nbDecision=424000 #constraints=13784
169.64/169.79	c nbDecision=424500 #constraints=13821
170.45/170.55	c nbDecision=425000 #constraints=13848
170.84/170.92	c nbDecision=425500 #constraints=13863
171.04/171.10	c nbDecision=426000 #constraints=13870
171.24/171.33	c nbDecision=426500 #constraints=13883
171.64/171.74	c nbDecision=427000 #constraints=13899
172.24/172.31	c nbDecision=427500 #constraints=13919
172.44/172.59	c nbDecision=428000 #constraints=13928
172.84/172.92	c nbDecision=428500 #constraints=13947
173.14/173.21	c nbDecision=429000 #constraints=13961
173.44/173.55	c nbDecision=429500 #constraints=13975
173.84/173.94	c nbDecision=430000 #constraints=13989
174.44/174.57	c nbDecision=430500 #constraints=14010
174.74/174.85	c nbDecision=431000 #constraints=14021
175.14/175.28	c nbDecision=431500 #constraints=14038
175.64/175.70	c nbDecision=432000 #constraints=14057
175.94/176.04	c nbDecision=432500 #constraints=14072
176.24/176.34	c nbDecision=433000 #constraints=14086
176.64/176.78	c nbDecision=433500 #constraints=14105
177.04/177.19	c nbDecision=434000 #constraints=14125
177.74/177.82	c nbDecision=434500 #constraints=14162
178.24/178.32	c nbDecision=435000 #constraints=14185
178.84/178.90	c nbDecision=435500 #constraints=14219
179.34/179.48	c nbDecision=436000 #constraints=14247
179.94/180.08	c nbDecision=436500 #constraints=14277
180.44/180.59	c nbDecision=437000 #constraints=14305
181.04/181.14	c nbDecision=437500 #constraints=14337
181.74/181.88	c nbDecision=438000 #constraints=14369
182.14/182.29	c nbDecision=438500 #constraints=14394
182.74/182.84	c nbDecision=439000 #constraints=14424
183.44/183.51	c nbDecision=439500 #constraints=14455
183.93/184.01	c nbDecision=440000 #constraints=14474
184.53/184.65	c nbDecision=440500 #constraints=14497
185.13/185.26	c nbDecision=441000 #constraints=14526
185.84/185.96	c nbDecision=441500 #constraints=14563
186.44/186.53	c nbDecision=442000 #constraints=14586
186.94/187.03	c nbDecision=442500 #constraints=14602
187.74/187.89	c nbDecision=443000 #constraints=14631
188.54/188.64	c nbDecision=443500 #constraints=14663
189.24/189.38	c nbDecision=444000 #constraints=14695
189.54/189.69	c nbDecision=444500 #constraints=14704
190.14/190.25	c nbDecision=445000 #constraints=14726
190.74/190.84	c nbDecision=445500 #constraints=14745
191.24/191.32	c nbDecision=446000 #constraints=14761
192.04/192.13	c nbDecision=446500 #constraints=14785
192.74/192.84	c nbDecision=447000 #constraints=14803
193.44/193.53	c nbDecision=447500 #constraints=14822
194.04/194.17	c nbDecision=448000 #constraints=14839
194.64/194.76	c nbDecision=448500 #constraints=14856
195.04/195.19	c nbDecision=449000 #constraints=14873
195.54/195.64	c nbDecision=449500 #constraints=14894
195.74/195.86	c nbDecision=450000 #constraints=14904
196.04/196.13	c nbDecision=450500 #constraints=14919
196.24/196.31	c nbDecision=451000 #constraints=14926
196.44/196.56	c nbDecision=451500 #constraints=14937
196.64/196.75	c nbDecision=452000 #constraints=14945
196.84/196.98	c nbDecision=452500 #constraints=14955
197.04/197.19	c nbDecision=453000 #constraints=14963
197.34/197.41	c nbDecision=453500 #constraints=14973
197.54/197.61	c nbDecision=454000 #constraints=14982
197.74/197.80	c nbDecision=454500 #constraints=14990
198.14/198.22	c nbDecision=455000 #constraints=15007
198.54/198.65	c nbDecision=455500 #constraints=15028
199.04/199.16	c nbDecision=456000 #constraints=15053
199.34/199.43	c nbDecision=456500 #constraints=15070
199.84/199.91	c nbDecision=457000 #constraints=15093
200.24/200.32	c nbDecision=457500 #constraints=15114
200.44/200.59	c nbDecision=458000 #constraints=15123
200.84/200.98	c nbDecision=458500 #constraints=15144
201.14/201.27	c nbDecision=459000 #constraints=15158
201.44/201.52	c nbDecision=459500 #constraints=15169
201.63/201.77	c nbDecision=460000 #constraints=15179
201.83/201.98	c nbDecision=460500 #constraints=15187
202.34/202.44	c nbDecision=461000 #constraints=15207
202.83/202.90	c nbDecision=461500 #constraints=15229
203.23/203.31	c nbDecision=462000 #constraints=15245
203.63/203.78	c nbDecision=462500 #constraints=15266
204.03/204.13	c nbDecision=463000 #constraints=15281
204.33/204.46	c nbDecision=463500 #constraints=15297
204.63/204.76	c nbDecision=464000 #constraints=15312
204.93/205.09	c nbDecision=464500 #constraints=15331
205.33/205.45	c nbDecision=465000 #constraints=15344
205.63/205.79	c nbDecision=465500 #constraints=15359
206.13/206.22	c nbDecision=466000 #constraints=15378
206.43/206.59	c nbDecision=466500 #constraints=15394
206.73/206.88	c nbDecision=467000 #constraints=15406
207.13/207.30	c nbDecision=467500 #constraints=15422
207.43/207.54	c nbDecision=468000 #constraints=15432
207.73/207.89	c nbDecision=468500 #constraints=15447
208.03/208.19	c nbDecision=469000 #constraints=15463
208.32/208.49	c nbDecision=469500 #constraints=15475
208.72/208.81	c nbDecision=470000 #constraints=15493
209.02/209.13	c nbDecision=470500 #constraints=15509
209.32/209.48	c nbDecision=471000 #constraints=15525
209.73/209.82	c nbDecision=471500 #constraints=15540
210.13/210.23	c nbDecision=472000 #constraints=15560
210.43/210.51	c nbDecision=472500 #constraints=15573
210.73/210.82	c nbDecision=473000 #constraints=15586
211.13/211.22	c nbDecision=473500 #constraints=15605
211.43/211.50	c nbDecision=474000 #constraints=15618
211.63/211.79	c nbDecision=474500 #constraints=15630
212.03/212.15	c nbDecision=475000 #constraints=15644
212.33/212.44	c nbDecision=475500 #constraints=15656
212.63/212.79	c nbDecision=476000 #constraints=15672
213.03/213.10	c nbDecision=476500 #constraints=15691
213.33/213.40	c nbDecision=477000 #constraints=15706
213.63/213.73	c nbDecision=477500 #constraints=15717
213.93/214.05	c nbDecision=478000 #constraints=15728
214.33/214.44	c nbDecision=478500 #constraints=15742
214.73/214.84	c nbDecision=479000 #constraints=15760
215.13/215.20	c nbDecision=479500 #constraints=15778
215.43/215.51	c nbDecision=480000 #constraints=15793
215.83/215.90	c nbDecision=480500 #constraints=15808
216.33/216.48	c nbDecision=481000 #constraints=15834
216.83/216.96	c nbDecision=481500 #constraints=15856
217.33/217.41	c nbDecision=482000 #constraints=15874
217.73/217.85	c nbDecision=482500 #constraints=15892
218.03/218.18	c nbDecision=483000 #constraints=15906
218.43/218.52	c nbDecision=483500 #constraints=15921
218.73/218.85	c nbDecision=484000 #constraints=15934
219.03/219.15	c nbDecision=484500 #constraints=15946
219.43/219.50	c nbDecision=485000 #constraints=15959
219.73/219.84	c nbDecision=485500 #constraints=15971
220.22/220.30	c nbDecision=486000 #constraints=15992
220.52/220.62	c nbDecision=486500 #constraints=16009
220.93/221.02	c nbDecision=487000 #constraints=16022
221.22/221.36	c nbDecision=487500 #constraints=16037
221.52/221.69	c nbDecision=488000 #constraints=16051
221.92/222.05	c nbDecision=488500 #constraints=16065
222.22/222.37	c nbDecision=489000 #constraints=16078
222.62/222.78	c nbDecision=489500 #constraints=16098
222.92/223.04	c nbDecision=490000 #constraints=16109
223.32/223.43	c nbDecision=490500 #constraints=16128
223.72/223.85	c nbDecision=491000 #constraints=16145
224.12/224.21	c nbDecision=491500 #constraints=16156
224.52/224.60	c nbDecision=492000 #constraints=16173
224.82/224.92	c nbDecision=492500 #constraints=16184
225.22/225.32	c nbDecision=493000 #constraints=16203
225.72/225.85	c nbDecision=493500 #constraints=16223
226.02/226.15	c nbDecision=494000 #constraints=16232
226.52/226.62	c nbDecision=494500 #constraints=16246
227.02/227.15	c nbDecision=495000 #constraints=16265
227.22/227.38	c nbDecision=495500 #constraints=16273
227.62/227.79	c nbDecision=496000 #constraints=16286
228.12/228.24	c nbDecision=496500 #constraints=16299
228.42/228.55	c nbDecision=497000 #constraints=16308
228.82/228.91	c nbDecision=497500 #constraints=16317
229.02/229.14	c nbDecision=498000 #constraints=16324
229.22/229.38	c nbDecision=498500 #constraints=16334
229.52/229.70	c nbDecision=499000 #constraints=16345
229.82/229.93	c nbDecision=499500 #constraints=16354
230.02/230.17	c nbDecision=500000 #constraints=16363
230.32/230.48	c nbDecision=500500 #constraints=16376
230.72/230.80	c nbDecision=501000 #constraints=16389
230.92/231.06	c nbDecision=501500 #constraints=16399
231.22/231.31	c nbDecision=502000 #constraints=16408
231.52/231.66	c nbDecision=502500 #constraints=16424
232.22/232.31	c nbDecision=503000 #constraints=16446
232.61/232.77	c nbDecision=503500 #constraints=16467
232.91/233.07	c nbDecision=504000 #constraints=16480
233.31/233.40	c nbDecision=504500 #constraints=16494
233.71/233.86	c nbDecision=505000 #constraints=16514
234.13/234.22	c nbDecision=505500 #constraints=16530
234.62/234.77	c nbDecision=506000 #constraints=16557
234.92/235.06	c nbDecision=506500 #constraints=16569
235.33/235.43	c nbDecision=507000 #constraints=16586
235.72/235.82	c nbDecision=507500 #constraints=16602
235.92/236.09	c nbDecision=508000 #constraints=16611
236.42/236.53	c nbDecision=508500 #constraints=16625
236.72/236.88	c nbDecision=509000 #constraints=16638
237.12/237.20	c nbDecision=509500 #constraints=16648
237.42/237.52	c nbDecision=510000 #constraints=16659
237.72/237.80	c nbDecision=510500 #constraints=16669
238.22/238.32	c nbDecision=511000 #constraints=16688
238.62/238.76	c nbDecision=511500 #constraints=16701
238.92/239.09	c nbDecision=512000 #constraints=16712
239.32/239.44	c nbDecision=512500 #constraints=16723
239.72/239.81	c nbDecision=513000 #constraints=16733
240.12/240.22	c nbDecision=513500 #constraints=16748
240.42/240.58	c nbDecision=514000 #constraints=16762
240.82/240.92	c nbDecision=514500 #constraints=16775
241.12/241.24	c nbDecision=515000 #constraints=16789
241.42/241.55	c nbDecision=515500 #constraints=16800
241.72/241.87	c nbDecision=516000 #constraints=16812
242.02/242.17	c nbDecision=516500 #constraints=16823
242.42/242.55	c nbDecision=517000 #constraints=16839
242.72/242.87	c nbDecision=517500 #constraints=16852
243.02/243.17	c nbDecision=518000 #constraints=16866
243.42/243.55	c nbDecision=518500 #constraints=16878
243.72/243.87	c nbDecision=519000 #constraints=16890
244.12/244.20	c nbDecision=519500 #constraints=16902
244.42/244.54	c nbDecision=520000 #constraints=16913
244.82/244.91	c nbDecision=520500 #constraints=16929
245.12/245.26	c nbDecision=521000 #constraints=16941
245.52/245.61	c nbDecision=521500 #constraints=16956
245.92/246.00	c nbDecision=522000 #constraints=16974
246.22/246.34	c nbDecision=522500 #constraints=16985
246.62/246.75	c nbDecision=523000 #constraints=16998
247.12/247.20	c nbDecision=523500 #constraints=17021
247.52/247.67	c nbDecision=524000 #constraints=17041
247.92/248.04	c nbDecision=524500 #constraints=17056
248.32/248.47	c nbDecision=525000 #constraints=17075
248.72/248.80	c nbDecision=525500 #constraints=17091
248.92/249.03	c nbDecision=526000 #constraints=17101
249.42/249.50	c nbDecision=526500 #constraints=17125
249.72/249.87	c nbDecision=527000 #constraints=17144
250.11/250.28	c nbDecision=527500 #constraints=17162
250.51/250.66	c nbDecision=528000 #constraints=17179
250.81/250.99	c nbDecision=528500 #constraints=17193
251.31/251.44	c nbDecision=529000 #constraints=17214
251.61/251.77	c nbDecision=529500 #constraints=17228
252.01/252.11	c nbDecision=530000 #constraints=17244
252.31/252.46	c nbDecision=530500 #constraints=17261
252.71/252.86	c nbDecision=531000 #constraints=17284
253.11/253.26	c nbDecision=531500 #constraints=17302
253.41/253.59	c nbDecision=532000 #constraints=17317
253.81/253.99	c nbDecision=532500 #constraints=17335
254.21/254.33	c nbDecision=533000 #constraints=17349
254.51/254.63	c nbDecision=533500 #constraints=17360
254.81/254.97	c nbDecision=534000 #constraints=17377
255.21/255.34	c nbDecision=534500 #constraints=17394
255.51/255.67	c nbDecision=535000 #constraints=17408
255.81/255.99	c nbDecision=535500 #constraints=17418
256.11/256.30	c nbDecision=536000 #constraints=17430
256.51/256.62	c nbDecision=536500 #constraints=17445
256.81/256.97	c nbDecision=537000 #constraints=17457
257.21/257.37	c nbDecision=537500 #constraints=17475
257.51/257.65	c nbDecision=538000 #constraints=17486
257.81/257.97	c nbDecision=538500 #constraints=17498
258.21/258.35	c nbDecision=539000 #constraints=17515
258.51/258.69	c nbDecision=539500 #constraints=17530
258.91/259.01	c nbDecision=540000 #constraints=17541
259.31/259.46	c nbDecision=540500 #constraints=17556
259.71/259.81	c nbDecision=541000 #constraints=17567
260.01/260.11	c nbDecision=541500 #constraints=17578
260.31/260.46	c nbDecision=542000 #constraints=17591
260.61/260.80	c nbDecision=542500 #constraints=17603
261.11/261.20	c nbDecision=543000 #constraints=17617
261.41/261.50	c nbDecision=543500 #constraints=17628
261.71/261.85	c nbDecision=544000 #constraints=17643
262.11/262.29	c nbDecision=544500 #constraints=17664
262.51/262.65	c nbDecision=545000 #constraints=17678
262.91/263.04	c nbDecision=545500 #constraints=17696
263.20/263.32	c nbDecision=546000 #constraints=17706
263.50/263.63	c nbDecision=546500 #constraints=17718
263.91/264.09	c nbDecision=547000 #constraints=17735
264.40/264.50	c nbDecision=547500 #constraints=17748
264.91/265.10	c nbDecision=548000 #constraints=17766
265.30/265.49	c nbDecision=548500 #constraints=17780
265.70/265.81	c nbDecision=549000 #constraints=17790
266.01/266.16	c nbDecision=549500 #constraints=17799
266.60/266.72	c nbDecision=550000 #constraints=17818
266.90/267.04	c nbDecision=550500 #constraints=17828
267.40/267.57	c nbDecision=551000 #constraints=17847
267.90/268.02	c nbDecision=551500 #constraints=17862
268.21/268.38	c nbDecision=552000 #constraints=17873
268.70/268.81	c nbDecision=552500 #constraints=17889
269.00/269.15	c nbDecision=553000 #constraints=17901
269.40/269.59	c nbDecision=553500 #constraints=17917
270.00/270.10	c nbDecision=554000 #constraints=17936
270.40/270.53	c nbDecision=554500 #constraints=17951
270.70/270.87	c nbDecision=555000 #constraints=17963
271.10/271.30	c nbDecision=555500 #constraints=17979
271.50/271.68	c nbDecision=556000 #constraints=17991
271.90/272.04	c nbDecision=556500 #constraints=18002
272.30/272.45	c nbDecision=557000 #constraints=18015
273.00/273.11	c nbDecision=557500 #constraints=18039
273.40/273.51	c nbDecision=558000 #constraints=18054
273.90/274.03	c nbDecision=558500 #constraints=18073
274.40/274.57	c nbDecision=559000 #constraints=18092
275.10/275.25	c nbDecision=559500 #constraints=18116
275.70/275.86	c nbDecision=560000 #constraints=18139
276.20/276.37	c nbDecision=560500 #constraints=18158
276.69/276.89	c nbDecision=561000 #constraints=18177
277.49/277.66	c nbDecision=561500 #constraints=18205
277.99/278.15	c nbDecision=562000 #constraints=18225
278.49/278.62	c nbDecision=562500 #constraints=18241
279.09/279.22	c nbDecision=563000 #constraints=18262
279.80/279.98	c nbDecision=563500 #constraints=18288
280.60/280.79	c nbDecision=564000 #constraints=18315
281.30/281.43	c nbDecision=564500 #constraints=18338
281.90/282.09	c nbDecision=565000 #constraints=18361
282.80/282.90	c nbDecision=565500 #constraints=18390
283.50/283.64	c nbDecision=566000 #constraints=18415
284.30/284.45	c nbDecision=566500 #constraints=18442
285.10/285.20	c nbDecision=567000 #constraints=18467
286.00/286.16	c nbDecision=567500 #constraints=18500
286.80/286.95	c nbDecision=568000 #constraints=18520
287.30/287.45	c nbDecision=568500 #constraints=18532
288.00/288.14	c nbDecision=569000 #constraints=18553
288.70/288.81	c nbDecision=569500 #constraints=18572
289.10/289.22	c nbDecision=570000 #constraints=18587
289.70/289.84	c nbDecision=570500 #constraints=18608
290.10/290.26	c nbDecision=571000 #constraints=18624
290.70/290.82	c nbDecision=571500 #constraints=18645
291.10/291.25	c nbDecision=572000 #constraints=18659
291.50/291.68	c nbDecision=572500 #constraints=18674
292.09/292.22	c nbDecision=573000 #constraints=18694
292.59/292.72	c nbDecision=573500 #constraints=18712
292.99/293.13	c nbDecision=574000 #constraints=18726
293.39/293.58	c nbDecision=574500 #constraints=18742
293.79/293.96	c nbDecision=575000 #constraints=18754
294.19/294.37	c nbDecision=575500 #constraints=18768
294.60/294.78	c nbDecision=576000 #constraints=18782
295.09/295.25	c nbDecision=576500 #constraints=18798
295.59/295.71	c nbDecision=577000 #constraints=18816
295.99/296.15	c nbDecision=577500 #constraints=18831
296.49/296.68	c nbDecision=578000 #constraints=18849
296.99/297.16	c nbDecision=578500 #constraints=18867
297.59/297.71	c nbDecision=579000 #constraints=18885
298.29/298.49	c nbDecision=579500 #constraints=18912
298.79/298.94	c nbDecision=580000 #constraints=18927
299.29/299.41	c nbDecision=580500 #constraints=18943
299.69/299.83	c nbDecision=581000 #constraints=18957
300.19/300.36	c nbDecision=581500 #constraints=18975
300.79/300.93	c nbDecision=582000 #constraints=18996
301.39/301.52	c nbDecision=582500 #constraints=19017
301.99/302.14	c nbDecision=583000 #constraints=19040
302.59/302.74	c nbDecision=583500 #constraints=19062
303.58/303.70	c nbDecision=584000 #constraints=19094
304.28/304.46	c nbDecision=584500 #constraints=19117
305.08/305.26	c nbDecision=585000 #constraints=19141
305.89/306.04	c nbDecision=585500 #constraints=19168
306.70/306.85	c nbDecision=586000 #constraints=19197
307.39/307.60	c nbDecision=586500 #constraints=19221
308.19/308.35	c nbDecision=587000 #constraints=19248
308.90/309.01	c nbDecision=587500 #constraints=19268
309.49/309.66	c nbDecision=588000 #constraints=19291
310.09/310.28	c nbDecision=588500 #constraints=19311
310.99/311.13	c nbDecision=589000 #constraints=19337
311.69/311.86	c nbDecision=589500 #constraints=19362
312.79/312.93	c nbDecision=590000 #constraints=19394
313.59/313.73	c nbDecision=590500 #constraints=19418
314.19/314.33	c nbDecision=591000 #constraints=19436
314.59/314.77	c nbDecision=591500 #constraints=19449
315.09/315.20	c nbDecision=592000 #constraints=19464
315.39/315.59	c nbDecision=592500 #constraints=19475
315.89/316.06	c nbDecision=593000 #constraints=19488
316.29/316.40	c nbDecision=593500 #constraints=19497
316.69/316.83	c nbDecision=594000 #constraints=19510
317.09/317.24	c nbDecision=594500 #constraints=19523
317.59/317.79	c nbDecision=595000 #constraints=19539
318.39/318.54	c nbDecision=595500 #constraints=19565
319.39/319.50	c nbDecision=596000 #constraints=19602
320.19/320.34	c nbDecision=596500 #constraints=19628
321.18/321.37	c nbDecision=597000 #constraints=19662
322.58/322.75	c nbDecision=597500 #constraints=19708
323.48/323.60	c nbDecision=598000 #constraints=19740
324.08/324.29	c nbDecision=598500 #constraints=19767
324.88/325.03	c nbDecision=599000 #constraints=19792
325.58/325.80	c nbDecision=599500 #constraints=19812
326.58/326.77	c nbDecision=600000 #constraints=19843
327.18/327.33	c nbDecision=600500 #constraints=19858
327.48/327.61	c nbDecision=601000 #constraints=19866
327.78/327.93	c nbDecision=601500 #constraints=19875
328.18/328.34	c nbDecision=602000 #constraints=19889
328.58/328.73	c nbDecision=602500 #constraints=19902
328.98/329.14	c nbDecision=603000 #constraints=19917
329.28/329.49	c nbDecision=603500 #constraints=19927
329.68/329.86	c nbDecision=604000 #constraints=19937
329.98/330.17	c nbDecision=604500 #constraints=19948
330.38/330.56	c nbDecision=605000 #constraints=19962
330.78/330.93	c nbDecision=605500 #constraints=19973
331.18/331.36	c nbDecision=606000 #constraints=19987
331.57/331.72	c nbDecision=606500 #constraints=20002
331.87/332.07	c nbDecision=607000 #constraints=20013
332.27/332.44	c nbDecision=607500 #constraints=20024
332.57/332.80	c nbDecision=608000 #constraints=20034
332.97/333.14	c nbDecision=608500 #constraints=20045
333.37/333.60	c nbDecision=609000 #constraints=20061
333.87/334.05	c nbDecision=609500 #constraints=20075
334.18/334.40	c nbDecision=610000 #constraints=20084
334.47/334.68	c nbDecision=610500 #constraints=20091
334.97/335.14	c nbDecision=611000 #constraints=20104
335.47/335.63	c nbDecision=611500 #constraints=20119
335.77/336.00	c nbDecision=612000 #constraints=20129
336.17/336.31	c nbDecision=612500 #constraints=20137
336.47/336.69	c nbDecision=613000 #constraints=20147
336.87/337.07	c nbDecision=613500 #constraints=20157
337.17/337.37	c nbDecision=614000 #constraints=20165
337.47/337.69	c nbDecision=614500 #constraints=20174
337.98/338.10	c nbDecision=615000 #constraints=20190
338.68/338.86	c nbDecision=615500 #constraints=20211
339.08/339.23	c nbDecision=616000 #constraints=20224
339.38/339.55	c nbDecision=616500 #constraints=20229
339.78/340.00	c nbDecision=617000 #constraints=20241
340.38/340.54	c nbDecision=617500 #constraints=20255
340.78/340.96	c nbDecision=618000 #constraints=20268
341.18/341.34	c nbDecision=618500 #constraints=20280
341.58/341.74	c nbDecision=619000 #constraints=20288
342.08/342.29	c nbDecision=619500 #constraints=20303
342.47/342.68	c nbDecision=620000 #constraints=20315
342.87/343.03	c nbDecision=620500 #constraints=20325
343.17/343.39	c nbDecision=621000 #constraints=20335
343.67/343.81	c nbDecision=621500 #constraints=20348
343.97/344.20	c nbDecision=622000 #constraints=20357
344.67/344.81	c nbDecision=622500 #constraints=20368
345.37/345.55	c nbDecision=623000 #constraints=20390
345.77/345.96	c nbDecision=623500 #constraints=20402
346.47/346.70	c nbDecision=624000 #constraints=20420
346.87/347.03	c nbDecision=624500 #constraints=20429
347.17/347.36	c nbDecision=625000 #constraints=20435
347.57/347.75	c nbDecision=625500 #constraints=20444
347.97/348.17	c nbDecision=626000 #constraints=20454
348.48/348.67	c nbDecision=626500 #constraints=20467
348.87/349.09	c nbDecision=627000 #constraints=20479
349.27/349.43	c nbDecision=627500 #constraints=20489
349.68/349.82	c nbDecision=628000 #constraints=20502
350.27/350.40	c nbDecision=628500 #constraints=20514
350.68/350.80	c nbDecision=629000 #constraints=20525
351.07/351.26	c nbDecision=629500 #constraints=20540
351.47/351.62	c nbDecision=630000 #constraints=20550
351.87/352.01	c nbDecision=630500 #constraints=20561
352.17/352.39	c nbDecision=631000 #constraints=20572
352.57/352.75	c nbDecision=631500 #constraints=20581
353.17/353.30	c nbDecision=632000 #constraints=20598
353.57/353.71	c nbDecision=632500 #constraints=20611
353.87/354.07	c nbDecision=633000 #constraints=20621
354.37/354.54	c nbDecision=633500 #constraints=20636
354.77/354.96	c nbDecision=634000 #constraints=20647
355.17/355.36	c nbDecision=634500 #constraints=20658
355.67/355.86	c nbDecision=635000 #constraints=20673
356.07/356.20	c nbDecision=635500 #constraints=20682
356.47/356.61	c nbDecision=636000 #constraints=20695
356.77/356.97	c nbDecision=636500 #constraints=20704
357.17/357.36	c nbDecision=637000 #constraints=20713
357.57/357.71	c nbDecision=637500 #constraints=20722
357.97/358.11	c nbDecision=638000 #constraints=20733
358.37/358.51	c nbDecision=638500 #constraints=20743
358.67/358.84	c nbDecision=639000 #constraints=20751
358.97/359.14	c nbDecision=639500 #constraints=20759
359.27/359.48	c nbDecision=640000 #constraints=20767
359.67/359.85	c nbDecision=640500 #constraints=20775
360.07/360.25	c nbDecision=641000 #constraints=20783
360.47/360.60	c nbDecision=641500 #constraints=20791
360.97/361.19	c nbDecision=642000 #constraints=20804
361.37/361.56	c nbDecision=642500 #constraints=20815
361.87/362.00	c nbDecision=643000 #constraints=20826
362.07/362.27	c nbDecision=643500 #constraints=20830
362.47/362.66	c nbDecision=644000 #constraints=20839
362.87/363.08	c nbDecision=644500 #constraints=20849
363.57/363.71	c nbDecision=645000 #constraints=20865
363.87/364.08	c nbDecision=645500 #constraints=20873
364.17/364.39	c nbDecision=646000 #constraints=20879
364.57/364.79	c nbDecision=646500 #constraints=20889
365.16/365.34	c nbDecision=647000 #constraints=20899
365.56/365.76	c nbDecision=647500 #constraints=20910
365.86/366.03	c nbDecision=648000 #constraints=20915
366.26/366.45	c nbDecision=648500 #constraints=20925
366.56/366.78	c nbDecision=649000 #constraints=20930
366.96/367.15	c nbDecision=649500 #constraints=20939
367.46/367.60	c nbDecision=650000 #constraints=20950
367.96/368.17	c nbDecision=650500 #constraints=20963
368.37/368.53	c nbDecision=651000 #constraints=20972
368.76/368.90	c nbDecision=651500 #constraints=20980
369.16/369.30	c nbDecision=652000 #constraints=20989
369.47/369.69	c nbDecision=652500 #constraints=20999
369.96/370.19	c nbDecision=653000 #constraints=21012
370.47/370.66	c nbDecision=653500 #constraints=21022
370.86/371.00	c nbDecision=654000 #constraints=21028
371.26/371.41	c nbDecision=654500 #constraints=21037
371.66/371.81	c nbDecision=655000 #constraints=21043
371.96/372.17	c nbDecision=655500 #constraints=21050
372.46/372.64	c nbDecision=656000 #constraints=21060
373.06/373.21	c nbDecision=656500 #constraints=21077
373.36/373.57	c nbDecision=657000 #constraints=21086
373.77/373.94	c nbDecision=657500 #constraints=21095
374.16/374.30	c nbDecision=658000 #constraints=21104
374.56/374.73	c nbDecision=658500 #constraints=21115
374.96/375.11	c nbDecision=659000 #constraints=21124
375.36/375.56	c nbDecision=659500 #constraints=21136
375.76/375.97	c nbDecision=660000 #constraints=21147
376.16/376.37	c nbDecision=660500 #constraints=21161
376.76/376.91	c nbDecision=661000 #constraints=21179
377.16/377.31	c nbDecision=661500 #constraints=21191
377.56/377.74	c nbDecision=662000 #constraints=21202
377.96/378.15	c nbDecision=662500 #constraints=21212
378.36/378.55	c nbDecision=663000 #constraints=21226
378.76/378.98	c nbDecision=663500 #constraints=21236
379.36/379.51	c nbDecision=664000 #constraints=21245
379.96/380.14	c nbDecision=664500 #constraints=21263
380.26/380.45	c nbDecision=665000 #constraints=21271
380.76/380.93	c nbDecision=665500 #constraints=21284
381.16/381.32	c nbDecision=666000 #constraints=21292
381.56/381.78	c nbDecision=666500 #constraints=21303
381.96/382.19	c nbDecision=667000 #constraints=21320
382.36/382.56	c nbDecision=667500 #constraints=21329
382.76/382.98	c nbDecision=668000 #constraints=21342
383.26/383.40	c nbDecision=668500 #constraints=21354
383.66/383.82	c nbDecision=669000 #constraints=21367
384.05/384.23	c nbDecision=669500 #constraints=21384
384.45/384.60	c nbDecision=670000 #constraints=21394
384.76/384.96	c nbDecision=670500 #constraints=21407
385.15/385.30	c nbDecision=671000 #constraints=21417
385.55/385.70	c nbDecision=671500 #constraints=21426
385.86/386.04	c nbDecision=672000 #constraints=21435
386.35/386.58	c nbDecision=672500 #constraints=21448
386.65/386.88	c nbDecision=673000 #constraints=21455
387.16/387.30	c nbDecision=673500 #constraints=21462
387.46/387.63	c nbDecision=674000 #constraints=21467
387.86/388.04	c nbDecision=674500 #constraints=21478
388.26/388.47	c nbDecision=675000 #constraints=21487
388.76/388.91	c nbDecision=675500 #constraints=21499
389.16/389.31	c nbDecision=676000 #constraints=21509
389.56/389.74	c nbDecision=676500 #constraints=21522
389.96/390.11	c nbDecision=677000 #constraints=21534
390.46/390.65	c nbDecision=677500 #constraints=21547
390.86/391.09	c nbDecision=678000 #constraints=21559
391.36/391.54	c nbDecision=678500 #constraints=21575
391.86/392.00	c nbDecision=679000 #constraints=21586
392.16/392.38	c nbDecision=679500 #constraints=21595
392.66/392.85	c nbDecision=680000 #constraints=21608
393.16/393.30	c nbDecision=680500 #constraints=21619
393.66/393.85	c nbDecision=681000 #constraints=21630
393.96/394.17	c nbDecision=681500 #constraints=21634
394.36/394.54	c nbDecision=682000 #constraints=21641
394.76/394.92	c nbDecision=682500 #constraints=21649
395.06/395.24	c nbDecision=683000 #constraints=21656
395.46/395.61	c nbDecision=683500 #constraints=21663
395.76/395.97	c nbDecision=684000 #constraints=21671
396.16/396.36	c nbDecision=684500 #constraints=21679
396.56/396.78	c nbDecision=685000 #constraints=21688
397.26/397.40	c nbDecision=685500 #constraints=21702
397.76/397.92	c nbDecision=686000 #constraints=21710
398.26/398.47	c nbDecision=686500 #constraints=21730
398.86/399.00	c nbDecision=687000 #constraints=21742
399.26/399.48	c nbDecision=687500 #constraints=21755
399.76/399.90	c nbDecision=688000 #constraints=21765
400.16/400.33	c nbDecision=688500 #constraints=21774
400.65/400.81	c nbDecision=689000 #constraints=21783
401.05/401.20	c nbDecision=689500 #constraints=21789
401.36/401.57	c nbDecision=690000 #constraints=21798
401.75/401.92	c nbDecision=690500 #constraints=21806
402.05/402.28	c nbDecision=691000 #constraints=21813
402.46/402.67	c nbDecision=691500 #constraints=21822
402.85/403.02	c nbDecision=692000 #constraints=21830
403.45/403.68	c nbDecision=692500 #constraints=21850
404.05/404.20	c nbDecision=693000 #constraints=21859
404.45/404.68	c nbDecision=693500 #constraints=21868
404.85/405.04	c nbDecision=694000 #constraints=21873
405.25/405.43	c nbDecision=694500 #constraints=21885
405.65/405.90	c nbDecision=695000 #constraints=21895
406.15/406.32	c nbDecision=695500 #constraints=21904
406.55/406.73	c nbDecision=696000 #constraints=21914
406.95/407.17	c nbDecision=696500 #constraints=21925
407.45/407.60	c nbDecision=697000 #constraints=21935
407.85/408.01	c nbDecision=697500 #constraints=21945
408.25/408.48	c nbDecision=698000 #constraints=21956
408.65/408.85	c nbDecision=698500 #constraints=21964
409.25/409.42	c nbDecision=699000 #constraints=21977
409.55/409.78	c nbDecision=699500 #constraints=21986
410.05/410.27	c nbDecision=700000 #constraints=21996
410.45/410.68	c nbDecision=700500 #constraints=22005
410.95/411.12	c nbDecision=701000 #constraints=22017
411.35/411.57	c nbDecision=701500 #constraints=22027
411.85/412.05	c nbDecision=702000 #constraints=22039
412.25/412.47	c nbDecision=702500 #constraints=22049
412.65/412.87	c nbDecision=703000 #constraints=22061
413.04/413.26	c nbDecision=703500 #constraints=22070
413.54/413.74	c nbDecision=704000 #constraints=22081
413.94/414.11	c nbDecision=704500 #constraints=22089
414.45/414.62	c nbDecision=705000 #constraints=22101
414.84/415.04	c nbDecision=705500 #constraints=22109
415.24/415.47	c nbDecision=706000 #constraints=22121
415.65/415.85	c nbDecision=706500 #constraints=22131
416.04/416.23	c nbDecision=707000 #constraints=22143
416.54/416.70	c nbDecision=707500 #constraints=22155
416.94/417.11	c nbDecision=708000 #constraints=22165
417.34/417.55	c nbDecision=708500 #constraints=22177
417.75/417.97	c nbDecision=709000 #constraints=22189
418.14/418.33	c nbDecision=709500 #constraints=22201
418.54/418.71	c nbDecision=710000 #constraints=22212
419.04/419.22	c nbDecision=710500 #constraints=22228
419.54/419.71	c nbDecision=711000 #constraints=22243
420.04/420.22	c nbDecision=711500 #constraints=22255
420.44/420.70	c nbDecision=712000 #constraints=22265
420.94/421.14	c nbDecision=712500 #constraints=22276
421.44/421.63	c nbDecision=713000 #constraints=22290
421.84/422.05	c nbDecision=713500 #constraints=22298
422.24/422.48	c nbDecision=714000 #constraints=22307
422.64/422.88	c nbDecision=714500 #constraints=22316
423.14/423.35	c nbDecision=715000 #constraints=22327
423.54/423.76	c nbDecision=715500 #constraints=22337
423.94/424.18	c nbDecision=716000 #constraints=22344
424.45/424.62	c nbDecision=716500 #constraints=22356
424.94/425.19	c nbDecision=717000 #constraints=22374
425.45/425.65	c nbDecision=717500 #constraints=22386
425.94/426.14	c nbDecision=718000 #constraints=22400
426.34/426.60	c nbDecision=718500 #constraints=22412
426.84/427.05	c nbDecision=719000 #constraints=22422
427.34/427.59	c nbDecision=719500 #constraints=22432
427.84/428.03	c nbDecision=720000 #constraints=22443
428.14/428.39	c nbDecision=720500 #constraints=22453
428.64/428.84	c nbDecision=721000 #constraints=22469
429.24/429.40	c nbDecision=721500 #constraints=22487
429.64/429.86	c nbDecision=722000 #constraints=22500
430.14/430.35	c nbDecision=722500 #constraints=22517
430.54/430.79	c nbDecision=723000 #constraints=22527
431.14/431.37	c nbDecision=723500 #constraints=22541
431.54/431.76	c nbDecision=724000 #constraints=22552
432.04/432.21	c nbDecision=724500 #constraints=22562
432.44/432.67	c nbDecision=725000 #constraints=22571
432.84/433.06	c nbDecision=725500 #constraints=22584
433.24/433.45	c nbDecision=726000 #constraints=22593
433.74/433.91	c nbDecision=726500 #constraints=22602
434.04/434.24	c nbDecision=727000 #constraints=22609
434.54/434.75	c nbDecision=727500 #constraints=22625
435.04/435.22	c nbDecision=728000 #constraints=22640
435.44/435.60	c nbDecision=728500 #constraints=22650
435.84/436.07	c nbDecision=729000 #constraints=22665
436.44/436.61	c nbDecision=729500 #constraints=22686
436.94/437.16	c nbDecision=730000 #constraints=22702
437.34/437.56	c nbDecision=730500 #constraints=22713
437.94/438.14	c nbDecision=731000 #constraints=22731
438.44/438.62	c nbDecision=731500 #constraints=22745
438.94/439.11	c nbDecision=732000 #constraints=22759
439.34/439.58	c nbDecision=732500 #constraints=22772
439.84/440.03	c nbDecision=733000 #constraints=22784
440.23/440.46	c nbDecision=733500 #constraints=22795
440.73/440.93	c nbDecision=734000 #constraints=22810
441.23/441.41	c nbDecision=734500 #constraints=22825
441.63/441.84	c nbDecision=735000 #constraints=22837
442.04/442.26	c nbDecision=735500 #constraints=22848
442.53/442.70	c nbDecision=736000 #constraints=22862
442.83/443.09	c nbDecision=736500 #constraints=22870
443.33/443.58	c nbDecision=737000 #constraints=22882
443.83/444.06	c nbDecision=737500 #constraints=22896
444.33/444.59	c nbDecision=738000 #constraints=22909
444.73/444.99	c nbDecision=738500 #constraints=22918
445.24/445.41	c nbDecision=739000 #constraints=22929
445.63/445.86	c nbDecision=739500 #constraints=22941
446.03/446.25	c nbDecision=740000 #constraints=22951
446.53/446.73	c nbDecision=740500 #constraints=22962
446.93/447.15	c nbDecision=741000 #constraints=22971
447.33/447.54	c nbDecision=741500 #constraints=22980
447.73/447.97	c nbDecision=742000 #constraints=22991
448.23/448.47	c nbDecision=742500 #constraints=23007
448.73/448.94	c nbDecision=743000 #constraints=23022
449.23/449.46	c nbDecision=743500 #constraints=23037
449.73/449.92	c nbDecision=744000 #constraints=23048
450.33/450.57	c nbDecision=744500 #constraints=23070
451.03/451.28	c nbDecision=745000 #constraints=23085
451.63/451.80	c nbDecision=745500 #constraints=23095
452.03/452.23	c nbDecision=746000 #constraints=23106
452.43/452.67	c nbDecision=746500 #constraints=23118
453.03/453.22	c nbDecision=747000 #constraints=23128
453.53/453.76	c nbDecision=747500 #constraints=23140
453.93/454.15	c nbDecision=748000 #constraints=23155
454.33/454.51	c nbDecision=748500 #constraints=23165
454.73/454.97	c nbDecision=749000 #constraints=23176
455.23/455.42	c nbDecision=749500 #constraints=23184
455.63/455.86	c nbDecision=750000 #constraints=23196
456.13/456.33	c nbDecision=750500 #constraints=23207
456.53/456.74	c nbDecision=751000 #constraints=23215
457.03/457.23	c nbDecision=751500 #constraints=23230
457.43/457.67	c nbDecision=752000 #constraints=23242
458.03/458.21	c nbDecision=752500 #constraints=23255
458.53/458.72	c nbDecision=753000 #constraints=23265
458.83/459.09	c nbDecision=753500 #constraints=23274
459.33/459.59	c nbDecision=754000 #constraints=23288
459.83/460.04	c nbDecision=754500 #constraints=23299
460.23/460.46	c nbDecision=755000 #constraints=23310
460.63/460.84	c nbDecision=755500 #constraints=23320
461.02/461.29	c nbDecision=756000 #constraints=23332
461.52/461.74	c nbDecision=756500 #constraints=23342
461.92/462.18	c nbDecision=757000 #constraints=23357
462.72/462.93	c nbDecision=757500 #constraints=23376
463.12/463.39	c nbDecision=758000 #constraints=23387
463.62/463.80	c nbDecision=758500 #constraints=23394
464.12/464.37	c nbDecision=759000 #constraints=23409
464.72/464.94	c nbDecision=759500 #constraints=23423
465.13/465.37	c nbDecision=760000 #constraints=23432
465.82/466.07	c nbDecision=760500 #constraints=23454
466.32/466.58	c nbDecision=761000 #constraints=23468
466.92/467.14	c nbDecision=761500 #constraints=23483
467.33/467.54	c nbDecision=762000 #constraints=23492
467.72/467.93	c nbDecision=762500 #constraints=23499
468.12/468.30	c nbDecision=763000 #constraints=23507
468.62/468.88	c nbDecision=763500 #constraints=23527
469.22/469.47	c nbDecision=764000 #constraints=23544
469.72/469.99	c nbDecision=764500 #constraints=23563
470.22/470.48	c nbDecision=765000 #constraints=23574
470.72/470.93	c nbDecision=765500 #constraints=23589
471.12/471.36	c nbDecision=766000 #constraints=23602
471.52/471.76	c nbDecision=766500 #constraints=23614
471.92/472.17	c nbDecision=767000 #constraints=23624
472.42/472.61	c nbDecision=767500 #constraints=23634
472.82/473.05	c nbDecision=768000 #constraints=23644
473.22/473.49	c nbDecision=768500 #constraints=23655
473.62/473.87	c nbDecision=769000 #constraints=23665
474.02/474.29	c nbDecision=769500 #constraints=23677
474.42/474.67	c nbDecision=770000 #constraints=23689
474.92/475.13	c nbDecision=770500 #constraints=23702
475.42/475.61	c nbDecision=771000 #constraints=23720
475.82/476.08	c nbDecision=771500 #constraints=23733
476.32/476.59	c nbDecision=772000 #constraints=23747
476.92/477.13	c nbDecision=772500 #constraints=23760
477.33/477.52	c nbDecision=773000 #constraints=23770
477.73/477.97	c nbDecision=773500 #constraints=23784
478.23/478.48	c nbDecision=774000 #constraints=23798
478.83/479.08	c nbDecision=774500 #constraints=23816
479.33/479.59	c nbDecision=775000 #constraints=23830
479.92/480.13	c nbDecision=775500 #constraints=23845
480.32/480.59	c nbDecision=776000 #constraints=23857
480.92/481.16	c nbDecision=776500 #constraints=23870
481.42/481.65	c nbDecision=777000 #constraints=23882
481.92/482.16	c nbDecision=777500 #constraints=23902
482.32/482.60	c nbDecision=778000 #constraints=23912
482.92/483.11	c nbDecision=778500 #constraints=23925
483.32/483.53	c nbDecision=779000 #constraints=23936
483.83/484.03	c nbDecision=779500 #constraints=23949
484.22/484.49	c nbDecision=780000 #constraints=23964
484.83/485.05	c nbDecision=780500 #constraints=23982
485.22/485.44	c nbDecision=781000 #constraints=23993
485.72/485.94	c nbDecision=781500 #constraints=24006
486.22/486.41	c nbDecision=782000 #constraints=24019
486.62/486.87	c nbDecision=782500 #constraints=24032
487.02/487.30	c nbDecision=783000 #constraints=24045
487.62/487.86	c nbDecision=783500 #constraints=24059
488.22/488.43	c nbDecision=784000 #constraints=24079
488.62/488.90	c nbDecision=784500 #constraints=24092
489.12/489.31	c nbDecision=785000 #constraints=24103
489.52/489.79	c nbDecision=785500 #constraints=24115
490.02/490.28	c nbDecision=786000 #constraints=24132
490.52/490.77	c nbDecision=786500 #constraints=24144
491.12/491.34	c nbDecision=787000 #constraints=24162
491.42/491.67	c nbDecision=787500 #constraints=24175
491.72/491.99	c nbDecision=788000 #constraints=24187
492.42/492.62	c nbDecision=788500 #constraints=24203
492.92/493.17	c nbDecision=789000 #constraints=24212
493.52/493.70	c nbDecision=789500 #constraints=24227
494.01/494.25	c nbDecision=790000 #constraints=24239
494.72/494.98	c nbDecision=790500 #constraints=24260
495.21/495.44	c nbDecision=791000 #constraints=24272
495.61/495.82	c nbDecision=791500 #constraints=24284
496.11/496.35	c nbDecision=792000 #constraints=24300
496.71/496.95	c nbDecision=792500 #constraints=24319
497.31/497.59	c nbDecision=793000 #constraints=24337
498.02/498.26	c nbDecision=793500 #constraints=24361
498.71/498.92	c nbDecision=794000 #constraints=24380
499.11/499.36	c nbDecision=794500 #constraints=24392
499.71/499.93	c nbDecision=795000 #constraints=24408
500.31/500.50	c nbDecision=795500 #constraints=24422
500.91/501.15	c nbDecision=796000 #constraints=24440
501.51/501.74	c nbDecision=796500 #constraints=24453
502.11/502.32	c nbDecision=797000 #constraints=24468
502.71/502.99	c nbDecision=797500 #constraints=24488
503.41/503.66	c nbDecision=798000 #constraints=24505
503.91/504.20	c nbDecision=798500 #constraints=24521
504.61/504.86	c nbDecision=799000 #constraints=24536
505.21/505.45	c nbDecision=799500 #constraints=24554
505.81/506.09	c nbDecision=800000 #constraints=24575
506.41/506.69	c nbDecision=800500 #constraints=24590
507.01/507.26	c nbDecision=801000 #constraints=24605
507.91/508.15	c nbDecision=801500 #constraints=24627
508.41/508.64	c nbDecision=802000 #constraints=24638
508.81/509.05	c nbDecision=802500 #constraints=24647
509.31/509.56	c nbDecision=803000 #constraints=24657
509.91/510.17	c nbDecision=803500 #constraints=24673
510.51/510.71	c nbDecision=804000 #constraints=24682
510.92/511.17	c nbDecision=804500 #constraints=24691
511.41/511.60	c nbDecision=805000 #constraints=24699
511.81/512.07	c nbDecision=805500 #constraints=24706
512.32/512.55	c nbDecision=806000 #constraints=24717
512.81/513.07	c nbDecision=806500 #constraints=24728
513.31/513.58	c nbDecision=807000 #constraints=24739
514.11/514.38	c nbDecision=807500 #constraints=24764
514.81/515.08	c nbDecision=808000 #constraints=24783
515.41/515.64	c nbDecision=808500 #constraints=24798
515.91/516.15	c nbDecision=809000 #constraints=24810
516.41/516.62	c nbDecision=809500 #constraints=24817
516.82/517.03	c nbDecision=810000 #constraints=24826
517.31/517.53	c nbDecision=810500 #constraints=24834
518.31/518.57	c nbDecision=811000 #constraints=24860
519.11/519.31	c nbDecision=811500 #constraints=24875
519.91/520.12	c nbDecision=812000 #constraints=24893
520.41/520.61	c nbDecision=812500 #constraints=24904
521.01/521.26	c nbDecision=813000 #constraints=24920
521.81/522.06	c nbDecision=813500 #constraints=24937
522.41/522.68	c nbDecision=814000 #constraints=24951
523.01/523.27	c nbDecision=814500 #constraints=24963
523.71/523.92	c nbDecision=815000 #constraints=24976
524.21/524.46	c nbDecision=815500 #constraints=24988
524.71/524.92	c nbDecision=816000 #constraints=24997
525.21/525.49	c nbDecision=816500 #constraints=25012
525.81/526.06	c nbDecision=817000 #constraints=25025
526.41/526.63	c nbDecision=817500 #constraints=25041
526.91/527.15	c nbDecision=818000 #constraints=25054
527.61/527.80	c nbDecision=818500 #constraints=25072
528.21/528.41	c nbDecision=819000 #constraints=25087
528.51/528.71	c restart after 819201 decisions
529.31/529.50	c nbDecision=819500 #constraints=25093
529.31/529.59	c nbDecision=820000 #constraints=25093
530.21/530.48	c nbDecision=820500 #constraints=25103
530.61/530.89	c nbDecision=821000 #constraints=25111
531.51/531.79	c nbDecision=821500 #constraints=25131
532.21/532.43	c nbDecision=822000 #constraints=25148
532.71/532.94	c nbDecision=822500 #constraints=25163
533.11/533.35	c nbDecision=823000 #constraints=25175
533.51/533.71	c nbDecision=823500 #constraints=25182
534.01/534.23	c nbDecision=824000 #constraints=25193
534.51/534.76	c nbDecision=824500 #constraints=25201
535.41/535.69	c nbDecision=825000 #constraints=25221
536.11/536.36	c nbDecision=825500 #constraints=25238
536.61/536.83	c nbDecision=826000 #constraints=25251
537.11/537.37	c nbDecision=826500 #constraints=25266
537.81/538.06	c nbDecision=827000 #constraints=25282
538.41/538.61	c nbDecision=827500 #constraints=25298
538.90/539.16	c nbDecision=828000 #constraints=25314
539.70/539.91	c nbDecision=828500 #constraints=25332
540.30/540.56	c nbDecision=829000 #constraints=25352
540.80/541.10	c nbDecision=829500 #constraints=25365
541.70/541.91	c nbDecision=830000 #constraints=25382
542.11/542.31	c nbDecision=830500 #constraints=25391
542.80/543.01	c nbDecision=831000 #constraints=25407
543.60/543.84	c nbDecision=831500 #constraints=25435
544.10/544.32	c nbDecision=832000 #constraints=25450
544.70/544.94	c nbDecision=832500 #constraints=25464
545.20/545.45	c nbDecision=833000 #constraints=25474
545.80/546.00	c nbDecision=833500 #constraints=25486
546.20/546.42	c nbDecision=834000 #constraints=25496
546.70/546.92	c nbDecision=834500 #constraints=25510
547.90/548.11	c nbDecision=835000 #constraints=25544
548.60/548.86	c nbDecision=835500 #constraints=25564
549.10/549.39	c nbDecision=836000 #constraints=25578
549.80/550.01	c nbDecision=836500 #constraints=25595
550.30/550.59	c nbDecision=837000 #constraints=25608
551.20/551.41	c nbDecision=837500 #constraints=25635
551.90/552.16	c nbDecision=838000 #constraints=25652
552.40/552.64	c nbDecision=838500 #constraints=25663
553.10/553.31	c nbDecision=839000 #constraints=25678
553.50/553.79	c nbDecision=839500 #constraints=25691
554.10/554.32	c nbDecision=840000 #constraints=25703
554.60/554.85	c nbDecision=840500 #constraints=25714
555.10/555.36	c nbDecision=841000 #constraints=25727
555.60/555.84	c nbDecision=841500 #constraints=25737
556.20/556.44	c nbDecision=842000 #constraints=25758
556.70/556.97	c nbDecision=842500 #constraints=25774
557.30/557.53	c nbDecision=843000 #constraints=25787
557.80/558.04	c nbDecision=843500 #constraints=25805
558.30/558.55	c nbDecision=844000 #constraints=25818
558.80/559.05	c nbDecision=844500 #constraints=25834
559.39/559.62	c nbDecision=845000 #constraints=25850
559.89/560.17	c nbDecision=845500 #constraints=25870
560.49/560.72	c nbDecision=846000 #constraints=25886
560.89/561.18	c nbDecision=846500 #constraints=25899
561.59/561.81	c nbDecision=847000 #constraints=25919
562.09/562.39	c nbDecision=847500 #constraints=25933
562.69/562.99	c nbDecision=848000 #constraints=25950
563.49/563.71	c nbDecision=848500 #constraints=25965
564.19/564.46	c nbDecision=849000 #constraints=25983
564.89/565.14	c nbDecision=849500 #constraints=25998
565.59/565.82	c nbDecision=850000 #constraints=26008
566.09/566.32	c nbDecision=850500 #constraints=26015
566.69/566.94	c nbDecision=851000 #constraints=26025
567.19/567.43	c nbDecision=851500 #constraints=26036
567.89/568.10	c nbDecision=852000 #constraints=26047
568.39/568.68	c nbDecision=852500 #constraints=26059
569.09/569.33	c nbDecision=853000 #constraints=26072
569.69/569.96	c nbDecision=853500 #constraints=26085
570.29/570.52	c nbDecision=854000 #constraints=26095
570.89/571.18	c nbDecision=854500 #constraints=26109
571.49/571.78	c nbDecision=855000 #constraints=26121
572.09/572.33	c nbDecision=855500 #constraints=26129
572.69/572.95	c nbDecision=856000 #constraints=26140
573.29/573.50	c nbDecision=856500 #constraints=26151
573.99/574.27	c nbDecision=857000 #constraints=26169
574.59/574.88	c nbDecision=857500 #constraints=26179
575.39/575.61	c nbDecision=858000 #constraints=26195
576.09/576.36	c nbDecision=858500 #constraints=26211
576.79/577.00	c nbDecision=859000 #constraints=26221
577.39/577.67	c nbDecision=859500 #constraints=26234
577.99/578.20	c nbDecision=860000 #constraints=26244
578.69/578.91	c nbDecision=860500 #constraints=26261
579.09/579.35	c nbDecision=861000 #constraints=26268
579.79/580.03	c nbDecision=861500 #constraints=26283
580.39/580.67	c nbDecision=862000 #constraints=26298
580.99/581.27	c nbDecision=862500 #constraints=26311
581.49/581.80	c nbDecision=863000 #constraints=26325
582.29/582.52	c nbDecision=863500 #constraints=26340
582.99/583.23	c nbDecision=864000 #constraints=26358
583.59/583.80	c nbDecision=864500 #constraints=26371
584.19/584.43	c nbDecision=865000 #constraints=26385
584.79/585.06	c nbDecision=865500 #constraints=26398
585.39/585.64	c nbDecision=866000 #constraints=26410
586.48/586.74	c nbDecision=866500 #constraints=26433
586.98/587.27	c nbDecision=867000 #constraints=26443
587.59/587.87	c nbDecision=867500 #constraints=26452
588.29/588.55	c nbDecision=868000 #constraints=26464
589.08/589.31	c nbDecision=868500 #constraints=26484
589.98/590.26	c nbDecision=869000 #constraints=26503
590.58/590.87	c nbDecision=869500 #constraints=26514
591.18/591.48	c nbDecision=870000 #constraints=26526
591.98/592.27	c nbDecision=870500 #constraints=26545
592.68/592.93	c nbDecision=871000 #constraints=26565
593.18/593.40	c nbDecision=871500 #constraints=26578
593.58/593.85	c nbDecision=872000 #constraints=26588
593.98/594.23	c nbDecision=872500 #constraints=26598
594.38/594.66	c nbDecision=873000 #constraints=26611
595.28/595.54	c nbDecision=873500 #constraints=26635
595.78/596.10	c nbDecision=874000 #constraints=26646
596.28/596.57	c nbDecision=874500 #constraints=26654
596.88/597.16	c nbDecision=875000 #constraints=26666
597.68/597.98	c nbDecision=875500 #constraints=26681
598.48/598.80	c nbDecision=876000 #constraints=26695
599.18/599.49	c nbDecision=876500 #constraints=26709
599.88/600.18	c nbDecision=877000 #constraints=26719
600.58/600.84	c nbDecision=877500 #constraints=26731
601.38/601.65	c nbDecision=878000 #constraints=26746
602.08/602.38	c nbDecision=878500 #constraints=26756
602.88/603.18	c nbDecision=879000 #constraints=26773
603.48/603.70	c nbDecision=879500 #constraints=26784
603.98/604.24	c nbDecision=880000 #constraints=26794
604.58/604.81	c nbDecision=880500 #constraints=26805
605.07/605.36	c nbDecision=881000 #constraints=26815
605.68/605.90	c nbDecision=881500 #constraints=26830
606.38/606.65	c nbDecision=882000 #constraints=26851
606.88/607.16	c nbDecision=882500 #constraints=26867
607.78/608.00	c nbDecision=883000 #constraints=26884
608.38/608.65	c nbDecision=883500 #constraints=26897
608.98/609.26	c nbDecision=884000 #constraints=26909
609.58/609.83	c nbDecision=884500 #constraints=26921
610.48/610.74	c nbDecision=885000 #constraints=26940
611.08/611.34	c nbDecision=885500 #constraints=26954
611.38/611.64	c nbDecision=886000 #constraints=26961
612.08/612.32	c nbDecision=886500 #constraints=26979
612.68/612.91	c nbDecision=887000 #constraints=26990
613.38/613.70	c nbDecision=887500 #constraints=27005
614.28/614.54	c nbDecision=888000 #constraints=27025
615.18/615.46	c nbDecision=888500 #constraints=27048
615.58/615.88	c nbDecision=889000 #constraints=27057
616.18/616.46	c nbDecision=889500 #constraints=27066
616.68/616.98	c nbDecision=890000 #constraints=27077
617.18/617.48	c nbDecision=890500 #constraints=27090
617.77/618.03	c nbDecision=891000 #constraints=27102
618.17/618.48	c nbDecision=891500 #constraints=27114
618.87/619.12	c nbDecision=892000 #constraints=27127
619.47/619.77	c nbDecision=892500 #constraints=27142
620.27/620.50	c nbDecision=893000 #constraints=27161
620.97/621.25	c nbDecision=893500 #constraints=27182
621.57/621.90	c nbDecision=894000 #constraints=27197
622.17/622.44	c nbDecision=894500 #constraints=27210
622.77/623.07	c nbDecision=895000 #constraints=27225
623.48/623.78	c nbDecision=895500 #constraints=27242
623.97/624.29	c nbDecision=896000 #constraints=27256
624.58/624.88	c nbDecision=896500 #constraints=27268
625.07/625.36	c nbDecision=897000 #constraints=27279
625.87/626.18	c nbDecision=897500 #constraints=27297
626.67/626.98	c nbDecision=898000 #constraints=27318
627.37/627.67	c nbDecision=898500 #constraints=27332
627.97/628.29	c nbDecision=899000 #constraints=27349
628.77/629.02	c nbDecision=899500 #constraints=27362
629.37/629.65	c nbDecision=900000 #constraints=27376
629.97/630.29	c nbDecision=900500 #constraints=27392
630.57/630.89	c nbDecision=901000 #constraints=27406
631.17/631.48	c nbDecision=901500 #constraints=27422
631.67/631.98	c nbDecision=902000 #constraints=27435
632.37/632.68	c nbDecision=902500 #constraints=27457
633.07/633.36	c nbDecision=903000 #constraints=27472
633.57/633.88	c nbDecision=903500 #constraints=27484
634.07/634.39	c nbDecision=904000 #constraints=27499
634.67/634.95	c nbDecision=904500 #constraints=27515
635.17/635.41	c nbDecision=905000 #constraints=27533
635.57/635.85	c nbDecision=905500 #constraints=27545
636.47/636.78	c nbDecision=906000 #constraints=27571
637.26/637.50	c nbDecision=906500 #constraints=27596
637.67/637.99	c nbDecision=907000 #constraints=27609
638.06/638.38	c nbDecision=907500 #constraints=27619
638.87/639.11	c nbDecision=908000 #constraints=27638
639.56/639.88	c nbDecision=908500 #constraints=27659
640.76/641.04	c nbDecision=909000 #constraints=27694
641.26/641.55	c nbDecision=909500 #constraints=27715
642.07/642.31	c nbDecision=910000 #constraints=27744
642.56/642.81	c nbDecision=910500 #constraints=27765
643.27/643.52	c nbDecision=911000 #constraints=27795
643.66/643.92	c nbDecision=911500 #constraints=27810
643.96/644.24	c nbDecision=912000 #constraints=27821
644.46/644.74	c nbDecision=912500 #constraints=27834
645.06/645.35	c nbDecision=913000 #constraints=27856
645.66/645.93	c nbDecision=913500 #constraints=27875
646.46/646.79	c nbDecision=914000 #constraints=27893
647.16/647.47	c nbDecision=914500 #constraints=27909
648.06/648.38	c nbDecision=915000 #constraints=27934
648.96/649.21	c nbDecision=915500 #constraints=27957
649.86/650.19	c nbDecision=916000 #constraints=27984
650.36/650.65	c nbDecision=916500 #constraints=28000
650.96/651.28	c nbDecision=917000 #constraints=28022
651.36/651.67	c nbDecision=917500 #constraints=28039
652.25/652.51	c nbDecision=918000 #constraints=28061
652.75/653.05	c nbDecision=918500 #constraints=28076
653.45/653.74	c nbDecision=919000 #constraints=28084
653.95/654.24	c nbDecision=919500 #constraints=28094
654.55/654.82	c nbDecision=920000 #constraints=28102
655.56/655.82	c nbDecision=920500 #constraints=28122
656.16/656.47	c nbDecision=921000 #constraints=28144
656.65/656.93	c nbDecision=921500 #constraints=28159
656.95/657.27	c nbDecision=922000 #constraints=28171
657.25/657.58	c nbDecision=922500 #constraints=28182
657.95/658.23	c nbDecision=923000 #constraints=28201
658.76/659.09	c nbDecision=923500 #constraints=28221
659.46/659.78	c nbDecision=924000 #constraints=28240
659.86/660.15	c nbDecision=924500 #constraints=28253
660.46/660.77	c nbDecision=925000 #constraints=28268
660.96/661.24	c nbDecision=925500 #constraints=28286
662.16/662.41	c nbDecision=926000 #constraints=28314
662.66/662.98	c nbDecision=926500 #constraints=28325
663.26/663.51	c nbDecision=927000 #constraints=28340
664.36/664.64	c nbDecision=927500 #constraints=28370
664.86/665.16	c nbDecision=928000 #constraints=28382
665.56/665.84	c nbDecision=928500 #constraints=28399
666.06/666.37	c nbDecision=929000 #constraints=28415
666.76/667.02	c nbDecision=929500 #constraints=28427
667.36/667.61	c nbDecision=930000 #constraints=28443
667.76/668.07	c nbDecision=930500 #constraints=28455
668.26/668.50	c nbDecision=931000 #constraints=28468
668.56/668.89	c nbDecision=931500 #constraints=28480
668.96/669.27	c nbDecision=932000 #constraints=28494
669.46/669.75	c nbDecision=932500 #constraints=28508
669.96/670.27	c nbDecision=933000 #constraints=28521
670.46/670.76	c nbDecision=933500 #constraints=28533
671.05/671.33	c nbDecision=934000 #constraints=28551
671.45/671.70	c nbDecision=934500 #constraints=28564
672.35/672.69	c nbDecision=935000 #constraints=28586
672.96/673.28	c nbDecision=935500 #constraints=28600
674.06/674.36	c nbDecision=936000 #constraints=28627
674.65/674.90	c nbDecision=936500 #constraints=28649
674.95/675.27	c nbDecision=937000 #constraints=28662
675.25/675.59	c nbDecision=937500 #constraints=28672
676.05/676.35	c nbDecision=938000 #constraints=28702
676.45/676.76	c nbDecision=938500 #constraints=28719
676.75/677.07	c nbDecision=939000 #constraints=28730
677.35/677.60	c nbDecision=939500 #constraints=28748
677.95/678.28	c nbDecision=940000 #constraints=28769
678.45/678.74	c nbDecision=940500 #constraints=28780
679.35/679.68	c nbDecision=941000 #constraints=28796
680.05/680.36	c nbDecision=941500 #constraints=28807
681.05/681.36	c nbDecision=942000 #constraints=28822
681.65/681.98	c nbDecision=942500 #constraints=28830
682.25/682.52	c nbDecision=943000 #constraints=28838
682.85/683.15	c nbDecision=943500 #constraints=28852
683.45/683.75	c nbDecision=944000 #constraints=28863
684.05/684.30	c nbDecision=944500 #constraints=28876
684.55/684.85	c nbDecision=945000 #constraints=28890
684.95/685.23	c nbDecision=945500 #constraints=28899
685.25/685.54	c nbDecision=946000 #constraints=28906
685.45/685.79	c nbDecision=946500 #constraints=28912
686.15/686.50	c nbDecision=947000 #constraints=28933
687.05/687.37	c nbDecision=947500 #constraints=28957
687.65/687.97	c nbDecision=948000 #constraints=28970
688.15/688.43	c nbDecision=948500 #constraints=28979
688.55/688.81	c nbDecision=949000 #constraints=28986
689.25/689.58	c nbDecision=949500 #constraints=29005
689.84/690.13	c nbDecision=950000 #constraints=29016
690.64/690.96	c nbDecision=950500 #constraints=29030
691.34/691.68	c nbDecision=951000 #constraints=29045
692.34/692.61	c nbDecision=951500 #constraints=29066
693.24/693.53	c nbDecision=952000 #constraints=29088
693.75/694.00	c nbDecision=952500 #constraints=29099
694.34/694.64	c nbDecision=953000 #constraints=29113
695.04/695.33	c nbDecision=953500 #constraints=29129
695.84/696.14	c nbDecision=954000 #constraints=29147
696.44/696.76	c nbDecision=954500 #constraints=29167
697.15/697.43	c nbDecision=955000 #constraints=29185
697.64/697.95	c nbDecision=955500 #constraints=29194
698.54/698.88	c nbDecision=956000 #constraints=29222
699.25/699.56	c nbDecision=956500 #constraints=29250
699.74/700.08	c nbDecision=957000 #constraints=29269
700.54/700.80	c nbDecision=957500 #constraints=29287
701.14/701.45	c nbDecision=958000 #constraints=29307
701.74/702.00	c nbDecision=958500 #constraints=29322
702.24/702.52	c nbDecision=959000 #constraints=29332
702.94/703.24	c nbDecision=959500 #constraints=29360
703.64/703.92	c nbDecision=960000 #constraints=29381
704.14/704.44	c nbDecision=960500 #constraints=29393
704.64/704.92	c nbDecision=961000 #constraints=29402
705.14/705.44	c nbDecision=961500 #constraints=29414
705.84/706.13	c nbDecision=962000 #constraints=29431
706.54/706.87	c nbDecision=962500 #constraints=29459
707.04/707.32	c nbDecision=963000 #constraints=29472
707.54/707.82	c nbDecision=963500 #constraints=29483
708.14/708.42	c nbDecision=964000 #constraints=29495
708.64/708.91	c nbDecision=964500 #constraints=29508
709.64/709.97	c nbDecision=965000 #constraints=29529
710.04/710.34	c nbDecision=965500 #constraints=29542
710.34/710.64	c nbDecision=966000 #constraints=29550
711.04/711.36	c nbDecision=966500 #constraints=29568
711.74/712.04	c nbDecision=967000 #constraints=29585
712.14/712.50	c nbDecision=967500 #constraints=29594
712.64/712.97	c nbDecision=968000 #constraints=29605
713.04/713.34	c nbDecision=968500 #constraints=29618
713.44/713.74	c nbDecision=969000 #constraints=29631
713.64/713.96	c nbDecision=969500 #constraints=29640
714.24/714.53	c nbDecision=970000 #constraints=29653
714.94/715.24	c nbDecision=970500 #constraints=29671
715.43/715.78	c nbDecision=971000 #constraints=29680
716.33/716.69	c nbDecision=971500 #constraints=29699
716.94/717.29	c nbDecision=972000 #constraints=29712
717.94/718.25	c nbDecision=972500 #constraints=29744
718.83/719.18	c nbDecision=973000 #constraints=29772
719.83/720.13	c nbDecision=973500 #constraints=29796
720.53/720.85	c nbDecision=974000 #constraints=29808
721.43/721.71	c nbDecision=974500 #constraints=29838
722.13/722.45	c nbDecision=975000 #constraints=29857
723.23/723.57	c nbDecision=975500 #constraints=29887
724.03/724.36	c nbDecision=976000 #constraints=29912
724.63/724.98	c nbDecision=976500 #constraints=29931
725.24/725.59	c nbDecision=977000 #constraints=29951
726.04/726.39	c nbDecision=977500 #constraints=29977
726.74/727.03	c nbDecision=978000 #constraints=29996
727.34/727.63	c nbDecision=978500 #constraints=30012
727.84/728.15	c nbDecision=979000 #constraints=30027
728.54/728.89	c nbDecision=979500 #constraints=30043
729.04/729.36	c nbDecision=980000 #constraints=30055
729.93/730.30	c nbDecision=980500 #constraints=30075
730.43/730.79	c nbDecision=981000 #constraints=30088
730.93/731.28	c nbDecision=981500 #constraints=30101
731.43/731.76	c nbDecision=982000 #constraints=30115
731.83/732.18	c nbDecision=982500 #constraints=30126
732.24/732.54	c nbDecision=983000 #constraints=30139
732.53/732.81	c nbDecision=983500 #constraints=30146
733.13/733.48	c nbDecision=984000 #constraints=30161
733.93/734.26	c nbDecision=984500 #constraints=30194
734.23/734.59	c nbDecision=985000 #constraints=30211
734.93/735.23	c nbDecision=985500 #constraints=30228
735.64/735.97	c nbDecision=986000 #constraints=30244
736.43/736.78	c nbDecision=986500 #constraints=30269
737.13/737.42	c nbDecision=987000 #constraints=30280
737.73/738.08	c nbDecision=987500 #constraints=30297
738.83/739.19	c nbDecision=988000 #constraints=30334
739.53/739.82	c nbDecision=988500 #constraints=30356
739.83/740.16	c nbDecision=989000 #constraints=30369
740.23/740.58	c nbDecision=989500 #constraints=30383
741.03/741.40	c nbDecision=990000 #constraints=30399
741.63/741.94	c nbDecision=990500 #constraints=30409
742.23/742.56	c nbDecision=991000 #constraints=30419
742.83/743.16	c nbDecision=991500 #constraints=30434
743.33/743.66	c nbDecision=992000 #constraints=30445
743.83/744.18	c nbDecision=992500 #constraints=30454
744.53/744.82	c nbDecision=993000 #constraints=30470
745.23/745.55	c nbDecision=993500 #constraints=30490
746.13/746.42	c nbDecision=994000 #constraints=30508
747.13/747.41	c nbDecision=994500 #constraints=30532
748.03/748.32	c nbDecision=995000 #constraints=30554
748.83/749.11	c nbDecision=995500 #constraints=30569
749.42/749.70	c nbDecision=996000 #constraints=30578
750.22/750.58	c nbDecision=996500 #constraints=30612
750.82/751.19	c nbDecision=997000 #constraints=30633
751.42/751.78	c nbDecision=997500 #constraints=30649
752.13/752.45	c nbDecision=998000 #constraints=30660
752.82/753.17	c nbDecision=998500 #constraints=30684
753.13/753.49	c nbDecision=999000 #constraints=30699
754.33/754.68	c nbDecision=999500 #constraints=30737
755.02/755.38	c nbDecision=1000000 #constraints=30754
755.72/756.03	c nbDecision=1000500 #constraints=30777
756.32/756.64	c nbDecision=1001000 #constraints=30793
756.92/757.28	c nbDecision=1001500 #constraints=30817
757.42/757.80	c nbDecision=1002000 #constraints=30834
757.92/758.27	c nbDecision=1002500 #constraints=30848
758.62/758.97	c nbDecision=1003000 #constraints=30866
759.22/759.50	c nbDecision=1003500 #constraints=30881
760.02/760.32	c nbDecision=1004000 #constraints=30908
760.62/760.96	c nbDecision=1004500 #constraints=30931
761.32/761.62	c nbDecision=1005000 #constraints=30952
761.82/762.17	c nbDecision=1005500 #constraints=30972
762.32/762.65	c nbDecision=1006000 #constraints=30995
762.93/763.24	c nbDecision=1006500 #constraints=31018
763.42/763.76	c nbDecision=1007000 #constraints=31036
763.82/764.14	c nbDecision=1007500 #constraints=31052
764.13/764.48	c nbDecision=1008000 #constraints=31065
764.52/764.86	c nbDecision=1008500 #constraints=31083
765.23/765.54	c nbDecision=1009000 #constraints=31107
766.22/766.58	c nbDecision=1009500 #constraints=31140
767.12/767.46	c nbDecision=1010000 #constraints=31164
768.12/768.41	c nbDecision=1010500 #constraints=31201
769.02/769.31	c nbDecision=1011000 #constraints=31232
770.02/770.36	c nbDecision=1011500 #constraints=31272
770.72/771.08	c nbDecision=1012000 #constraints=31298
771.32/771.69	c nbDecision=1012500 #constraints=31315
772.12/772.40	c nbDecision=1013000 #constraints=31343
772.42/772.76	c nbDecision=1013500 #constraints=31360
772.72/773.01	c nbDecision=1014000 #constraints=31372
773.02/773.35	c nbDecision=1014500 #constraints=31388
773.62/773.92	c nbDecision=1015000 #constraints=31418
773.72/774.10	c nbDecision=1015500 #constraints=31426
774.12/774.42	c nbDecision=1016000 #constraints=31436
774.72/775.10	c nbDecision=1016500 #constraints=31452
775.52/775.84	c nbDecision=1017000 #constraints=31471
776.72/777.01	c nbDecision=1017500 #constraints=31501
777.82/778.11	c nbDecision=1018000 #constraints=31526
778.62/778.96	c nbDecision=1018500 #constraints=31545
779.22/779.52	c nbDecision=1019000 #constraints=31555
779.82/780.15	c nbDecision=1019500 #constraints=31570
780.22/780.56	c nbDecision=1020000 #constraints=31581
781.32/781.65	c nbDecision=1020500 #constraints=31613
782.31/782.64	c nbDecision=1021000 #constraints=31646
782.92/783.29	c nbDecision=1021500 #constraints=31667
783.31/783.66	c nbDecision=1022000 #constraints=31675
783.71/784.02	c nbDecision=1022500 #constraints=31680
784.11/784.40	c nbDecision=1023000 #constraints=31689
785.61/785.95	c nbDecision=1023500 #constraints=31747
786.41/786.72	c nbDecision=1024000 #constraints=31766
786.71/787.01	c nbDecision=1024500 #constraints=31774
786.91/787.29	c nbDecision=1025000 #constraints=31781
787.31/787.67	c nbDecision=1025500 #constraints=31795
787.81/788.13	c nbDecision=1026000 #constraints=31810
788.01/788.38	c nbDecision=1026500 #constraints=31814
788.31/788.66	c nbDecision=1027000 #constraints=31819
788.71/789.07	c nbDecision=1027500 #constraints=31835
788.81/789.18	c nbDecision=1028000 #constraints=31840
789.51/789.86	c nbDecision=1028500 #constraints=31867
790.01/790.36	c nbDecision=1029000 #constraints=31887
790.51/790.83	c nbDecision=1029500 #constraints=31904
790.71/791.07	c nbDecision=1030000 #constraints=31912
790.91/791.23	c nbDecision=1030500 #constraints=31916
791.11/791.49	c nbDecision=1031000 #constraints=31924
791.61/791.95	c nbDecision=1031500 #constraints=31930
793.31/793.68	c nbDecision=1032000 #constraints=31946
794.71/795.04	c nbDecision=1032500 #constraints=31961
795.31/795.69	c nbDecision=1033000 #constraints=31965
796.01/796.30	c nbDecision=1033500 #constraints=31969
796.61/796.91	c nbDecision=1034000 #constraints=31972
798.01/798.30	c nbDecision=1034500 #constraints=31982
798.61/798.96	c nbDecision=1035000 #constraints=31988
799.51/799.82	c nbDecision=1035500 #constraints=32000
800.11/800.45	c nbDecision=1036000 #constraints=32006
801.01/801.35	c nbDecision=1036500 #constraints=32019
801.90/802.27	c nbDecision=1037000 #constraints=32028
802.61/802.91	c nbDecision=1037500 #constraints=32036
803.50/803.85	c nbDecision=1038000 #constraints=32046
804.60/804.94	c nbDecision=1038500 #constraints=32062
805.20/805.54	c nbDecision=1039000 #constraints=32069
805.91/806.22	c nbDecision=1039500 #constraints=32080
806.50/806.87	c nbDecision=1040000 #constraints=32090
807.40/807.78	c nbDecision=1040500 #constraints=32106
808.20/808.58	c nbDecision=1041000 #constraints=32118
808.80/809.12	c nbDecision=1041500 #constraints=32123
809.30/809.68	c nbDecision=1042000 #constraints=32131
810.10/810.48	c nbDecision=1042500 #constraints=32144
810.80/811.18	c nbDecision=1043000 #constraints=32154
811.80/812.11	c nbDecision=1043500 #constraints=32174
812.50/812.87	c nbDecision=1044000 #constraints=32186
813.10/813.46	c nbDecision=1044500 #constraints=32194
813.70/814.05	c nbDecision=1045000 #constraints=32202
814.40/814.73	c nbDecision=1045500 #constraints=32213
815.10/815.42	c nbDecision=1046000 #constraints=32225
817.30/817.69	c nbDecision=1046500 #constraints=32248
819.20/819.53	c nbDecision=1047000 #constraints=32266
821.50/821.80	c nbDecision=1047500 #constraints=32291
823.00/823.34	c nbDecision=1048000 #constraints=32305
823.70/824.08	c nbDecision=1048500 #constraints=32315
824.30/824.65	c nbDecision=1049000 #constraints=32321
826.20/826.51	c nbDecision=1049500 #constraints=32335
827.59/827.95	c nbDecision=1050000 #constraints=32348
828.79/829.13	c nbDecision=1050500 #constraints=32358
830.39/830.71	c nbDecision=1051000 #constraints=32371
831.59/831.93	c nbDecision=1051500 #constraints=32383
833.40/833.77	c nbDecision=1052000 #constraints=32403
834.99/835.33	c nbDecision=1052500 #constraints=32416
836.19/836.50	c nbDecision=1053000 #constraints=32427
837.09/837.44	c nbDecision=1053500 #constraints=32435
837.99/838.34	c nbDecision=1054000 #constraints=32444
839.29/839.60	c nbDecision=1054500 #constraints=32459
840.59/840.95	c nbDecision=1055000 #constraints=32474
841.59/842.00	c nbDecision=1055500 #constraints=32485
842.39/842.75	c nbDecision=1056000 #constraints=32491
843.19/843.57	c nbDecision=1056500 #constraints=32500
846.20/846.51	c nbDecision=1057000 #constraints=32529
848.20/848.56	c nbDecision=1057500 #constraints=32553
849.30/849.64	c nbDecision=1058000 #constraints=32566
850.20/850.51	c nbDecision=1058500 #constraints=32574
850.90/851.30	c nbDecision=1059000 #constraints=32584
851.80/852.10	c nbDecision=1059500 #constraints=32593
853.30/853.67	c nbDecision=1060000 #constraints=32615
854.49/854.80	c nbDecision=1060500 #constraints=32627
855.40/855.75	c nbDecision=1061000 #constraints=32635
856.19/856.55	c nbDecision=1061500 #constraints=32642
857.19/857.51	c nbDecision=1062000 #constraints=32649
857.99/858.36	c nbDecision=1062500 #constraints=32656
859.29/859.66	c nbDecision=1063000 #constraints=32677
860.19/860.50	c nbDecision=1063500 #constraints=32687
861.19/861.57	c nbDecision=1064000 #constraints=32706
862.19/862.54	c nbDecision=1064500 #constraints=32718
862.99/863.39	c nbDecision=1065000 #constraints=32726
863.89/864.24	c nbDecision=1065500 #constraints=32731
864.69/865.06	c nbDecision=1066000 #constraints=32739
865.99/866.33	c nbDecision=1066500 #constraints=32764
866.79/867.12	c nbDecision=1067000 #constraints=32773
867.60/867.91	c nbDecision=1067500 #constraints=32783
870.49/870.81	c nbDecision=1068000 #constraints=32822
873.39/873.71	c nbDecision=1068500 #constraints=32862
876.39/876.72	c nbDecision=1069000 #constraints=32904
879.49/879.88	c nbDecision=1069500 #constraints=32945
883.69/884.02	c nbDecision=1070000 #constraints=33003
886.99/887.33	c nbDecision=1070500 #constraints=33048
890.18/890.52	c nbDecision=1071000 #constraints=33091
894.08/894.42	c nbDecision=1071500 #constraints=33144
897.08/897.40	c nbDecision=1072000 #constraints=33185
900.18/900.55	c nbDecision=1072500 #constraints=33225
904.08/904.44	c nbDecision=1073000 #constraints=33273
907.18/907.54	c nbDecision=1073500 #constraints=33313
909.97/910.33	c nbDecision=1074000 #constraints=33348
911.87/912.25	c nbDecision=1074500 #constraints=33375
914.57/914.92	c nbDecision=1075000 #constraints=33410
916.37/916.71	c nbDecision=1075500 #constraints=33431
918.37/918.71	c nbDecision=1076000 #constraints=33455
920.27/920.69	c nbDecision=1076500 #constraints=33480
922.27/922.64	c nbDecision=1077000 #constraints=33505
923.87/924.20	c nbDecision=1077500 #constraints=33524
926.47/926.81	c nbDecision=1078000 #constraints=33559
929.77/930.15	c nbDecision=1078500 #constraints=33606
932.77/933.19	c nbDecision=1079000 #constraints=33649
935.68/936.08	c nbDecision=1079500 #constraints=33685
937.67/938.05	c nbDecision=1080000 #constraints=33709
939.77/940.16	c nbDecision=1080500 #constraints=33735
942.97/943.38	c nbDecision=1081000 #constraints=33780
945.27/945.64	c nbDecision=1081500 #constraints=33810
946.47/946.83	c nbDecision=1082000 #constraints=33823
948.07/948.41	c nbDecision=1082500 #constraints=33847
948.87/949.29	c nbDecision=1083000 #constraints=33858
949.87/950.22	c nbDecision=1083500 #constraints=33869
951.27/951.68	c nbDecision=1084000 #constraints=33893
952.07/952.47	c nbDecision=1084500 #constraints=33903
952.97/953.38	c nbDecision=1085000 #constraints=33915
953.87/954.23	c nbDecision=1085500 #constraints=33927
954.87/955.25	c nbDecision=1086000 #constraints=33939
956.17/956.57	c nbDecision=1086500 #constraints=33965
957.07/957.44	c nbDecision=1087000 #constraints=33979
957.77/958.16	c nbDecision=1087500 #constraints=33989
959.27/959.65	c nbDecision=1088000 #constraints=34009
964.66/965.02	c nbDecision=1088500 #constraints=34056
969.56/969.90	c nbDecision=1089000 #constraints=34095
971.06/971.40	c nbDecision=1089500 #constraints=34114
972.56/972.94	c nbDecision=1090000 #constraints=34136
973.76/974.14	c nbDecision=1090500 #constraints=34158
974.55/974.94	c nbDecision=1091000 #constraints=34169
975.45/975.85	c nbDecision=1091500 #constraints=34185
980.15/980.56	c nbDecision=1092000 #constraints=34226
983.65/984.09	c nbDecision=1092500 #constraints=34252
985.75/986.15	c nbDecision=1093000 #constraints=34273
988.15/988.50	c nbDecision=1093500 #constraints=34295
991.45/991.87	c nbDecision=1094000 #constraints=34320
997.25/997.60	c nbDecision=1094500 #constraints=34369
1001.35/1001.79	c nbDecision=1095000 #constraints=34405
1005.14/1005.53	c nbDecision=1095500 #constraints=34438
1007.74/1008.11	c nbDecision=1096000 #constraints=34474
1008.54/1008.95	c nbDecision=1096500 #constraints=34489
1009.24/1009.69	c nbDecision=1097000 #constraints=34500
1010.45/1010.81	c nbDecision=1097500 #constraints=34524
1011.24/1011.60	c nbDecision=1098000 #constraints=34536
1011.94/1012.33	c nbDecision=1098500 #constraints=34546
1013.04/1013.40	c nbDecision=1099000 #constraints=34565
1013.74/1014.18	c nbDecision=1099500 #constraints=34578
1014.44/1014.84	c nbDecision=1100000 #constraints=34587
1016.25/1016.70	c nbDecision=1100500 #constraints=34610
1019.95/1020.30	c nbDecision=1101000 #constraints=34639
1022.65/1023.01	c nbDecision=1101500 #constraints=34664
1024.64/1025.05	c nbDecision=1102000 #constraints=34690
1027.14/1027.58	c nbDecision=1102500 #constraints=34726
1027.84/1028.29	c nbDecision=1103000 #constraints=34742
1028.84/1029.22	c nbDecision=1103500 #constraints=34755
1030.84/1031.23	c nbDecision=1104000 #constraints=34781
1034.14/1034.54	c nbDecision=1104500 #constraints=34828
1038.74/1039.10	c nbDecision=1105000 #constraints=34877
1042.04/1042.45	c nbDecision=1105500 #constraints=34905
1043.94/1044.33	c nbDecision=1106000 #constraints=34925
1045.24/1045.69	c nbDecision=1106500 #constraints=34940
1046.44/1046.80	c nbDecision=1107000 #constraints=34952
1047.54/1047.97	c nbDecision=1107500 #constraints=34968
1049.04/1049.42	c nbDecision=1108000 #constraints=34986
1050.34/1050.75	c nbDecision=1108500 #constraints=35004
1051.63/1052.05	c nbDecision=1109000 #constraints=35022
1052.43/1052.82	c nbDecision=1109500 #constraints=35033
1053.73/1054.10	c nbDecision=1110000 #constraints=35050
1054.54/1054.98	c nbDecision=1110500 #constraints=35061
1055.54/1055.93	c nbDecision=1111000 #constraints=35074
1056.83/1057.22	c nbDecision=1111500 #constraints=35090
1057.73/1058.19	c nbDecision=1112000 #constraints=35102
1059.13/1059.58	c nbDecision=1112500 #constraints=35119
1060.43/1060.85	c nbDecision=1113000 #constraints=35135
1063.43/1063.89	c nbDecision=1113500 #constraints=35164
1064.33/1064.76	c nbDecision=1114000 #constraints=35175
1065.82/1066.20	c nbDecision=1114500 #constraints=35189
1067.42/1067.83	c nbDecision=1115000 #constraints=35204
1069.22/1069.60	c nbDecision=1115500 #constraints=35219
1070.93/1071.32	c nbDecision=1116000 #constraints=35234
1073.92/1074.31	c nbDecision=1116500 #constraints=35269
1074.72/1075.11	c nbDecision=1117000 #constraints=35275
1075.42/1075.84	c nbDecision=1117500 #constraints=35282
1077.22/1077.61	c nbDecision=1118000 #constraints=35299
1078.82/1079.27	c nbDecision=1118500 #constraints=35316
1079.92/1080.30	c nbDecision=1119000 #constraints=35325
1080.72/1081.11	c nbDecision=1119500 #constraints=35332
1082.02/1082.41	c nbDecision=1120000 #constraints=35344
1082.82/1083.20	c nbDecision=1120500 #constraints=35353
1083.72/1084.15	c nbDecision=1121000 #constraints=35363
1084.32/1084.70	c nbDecision=1121500 #constraints=35369
1087.02/1087.46	c nbDecision=1122000 #constraints=35402
1087.52/1087.91	c nbDecision=1122500 #constraints=35407
1088.02/1088.48	c nbDecision=1123000 #constraints=35413
1088.52/1088.96	c nbDecision=1123500 #constraints=35418
1088.92/1089.35	c nbDecision=1124000 #constraints=35422
1089.42/1089.82	c nbDecision=1124500 #constraints=35427
1089.72/1090.13	c nbDecision=1125000 #constraints=35431
1091.72/1092.18	c nbDecision=1125500 #constraints=35447
1093.11/1093.55	c nbDecision=1126000 #constraints=35452
1094.41/1094.83	c nbDecision=1126500 #constraints=35457
1095.31/1095.72	c nbDecision=1127000 #constraints=35460
1096.22/1096.63	c nbDecision=1127500 #constraints=35463
1097.71/1098.11	c nbDecision=1128000 #constraints=35468
1098.81/1099.29	c nbDecision=1128500 #constraints=35472
1099.81/1100.27	c nbDecision=1129000 #constraints=35475
1101.31/1101.72	c nbDecision=1129500 #constraints=35480
1102.41/1102.88	c nbDecision=1130000 #constraints=35484
1103.31/1103.76	c nbDecision=1130500 #constraints=35487
1104.71/1105.14	c nbDecision=1131000 #constraints=35493
1105.72/1106.12	c nbDecision=1131500 #constraints=35497
1107.12/1107.58	c nbDecision=1132000 #constraints=35504
1108.12/1108.57	c nbDecision=1132500 #constraints=35508
1109.52/1109.99	c nbDecision=1133000 #constraints=35515
1110.72/1111.12	c nbDecision=1133500 #constraints=35520
1112.12/1112.51	c nbDecision=1134000 #constraints=35528
1113.51/1113.93	c nbDecision=1134500 #constraints=35537
1114.21/1114.60	c nbDecision=1135000 #constraints=35541
1115.31/1115.73	c nbDecision=1135500 #constraints=35547
1116.81/1117.20	c nbDecision=1136000 #constraints=35552
1118.81/1119.24	c nbDecision=1136500 #constraints=35570
1120.31/1120.78	c nbDecision=1137000 #constraints=35583
1121.71/1122.16	c nbDecision=1137500 #constraints=35593
1123.61/1124.02	c nbDecision=1138000 #constraints=35604
1125.21/1125.60	c nbDecision=1138500 #constraints=35614
1127.31/1127.71	c nbDecision=1139000 #constraints=35625
1128.71/1129.11	c nbDecision=1139500 #constraints=35634
1130.11/1130.52	c nbDecision=1140000 #constraints=35640
1131.51/1131.90	c nbDecision=1140500 #constraints=35646
1134.31/1134.70	c nbDecision=1141000 #constraints=35665
1135.71/1136.17	c nbDecision=1141500 #constraints=35674
1137.41/1137.82	c nbDecision=1142000 #constraints=35681
1138.21/1138.66	c nbDecision=1142500 #constraints=35685
1139.41/1139.86	c nbDecision=1143000 #constraints=35692
1141.01/1141.44	c nbDecision=1143500 #constraints=35696
1142.01/1142.48	c nbDecision=1144000 #constraints=35700
1143.61/1144.01	c nbDecision=1144500 #constraints=35708
1145.30/1145.76	c nbDecision=1145000 #constraints=35715
1146.20/1146.68	c nbDecision=1145500 #constraints=35718
1147.30/1147.71	c nbDecision=1146000 #constraints=35723
1149.20/1149.62	c nbDecision=1146500 #constraints=35730
1150.60/1151.05	c nbDecision=1147000 #constraints=35738
1152.20/1152.66	c nbDecision=1147500 #constraints=35743
1153.90/1154.36	c nbDecision=1148000 #constraints=35752
1155.50/1155.91	c nbDecision=1148500 #constraints=35761
1156.90/1157.32	c nbDecision=1149000 #constraints=35767
1158.20/1158.69	c nbDecision=1149500 #constraints=35781
1159.40/1159.84	c nbDecision=1150000 #constraints=35790
1160.90/1161.30	c nbDecision=1150500 #constraints=35799
1161.90/1162.33	c nbDecision=1151000 #constraints=35803
1162.90/1163.35	c nbDecision=1151500 #constraints=35814
1164.30/1164.72	c nbDecision=1152000 #constraints=35820
1165.50/1165.97	c nbDecision=1152500 #constraints=35825
1167.70/1168.13	c nbDecision=1153000 #constraints=35832
1169.00/1169.41	c nbDecision=1153500 #constraints=35838
1170.40/1170.82	c nbDecision=1154000 #constraints=35845
1171.40/1171.82	c nbDecision=1154500 #constraints=35848
1172.00/1172.41	c nbDecision=1155000 #constraints=35852
1172.50/1172.92	c nbDecision=1155500 #constraints=35855
1173.20/1173.65	c nbDecision=1156000 #constraints=35860
1174.20/1174.69	c nbDecision=1156500 #constraints=35866
1175.59/1176.06	c nbDecision=1157000 #constraints=35875
1176.69/1177.19	c nbDecision=1157500 #constraints=35881
1178.70/1179.12	c nbDecision=1158000 #constraints=35888
1179.99/1180.49	c nbDecision=1158500 #constraints=35895
1181.39/1181.88	c nbDecision=1159000 #constraints=35902
1182.79/1183.26	c nbDecision=1159500 #constraints=35906
1185.09/1185.52	c nbDecision=1160000 #constraints=35918
1186.29/1186.80	c nbDecision=1160500 #constraints=35926
1188.29/1188.78	c nbDecision=1161000 #constraints=35936
1190.29/1190.73	c nbDecision=1161500 #constraints=35948
1191.89/1192.35	c nbDecision=1162000 #constraints=35957
1193.39/1193.82	c nbDecision=1162500 #constraints=35964
1194.79/1195.24	c nbDecision=1163000 #constraints=35972
1196.69/1197.20	c nbDecision=1163500 #constraints=35979
1197.99/1198.42	c nbDecision=1164000 #constraints=35990
1199.19/1199.68	c nbDecision=1164500 #constraints=35997
1200.99/1201.45	c nbDecision=1165000 #constraints=36003
1202.99/1203.45	c nbDecision=1165500 #constraints=36012
1204.98/1205.48	c nbDecision=1166000 #constraints=36021
1206.29/1206.74	c nbDecision=1166500 #constraints=36025
1207.18/1207.67	c nbDecision=1167000 #constraints=36028
1208.08/1208.57	c nbDecision=1167500 #constraints=36031
1209.98/1210.46	c nbDecision=1168000 #constraints=36041
1210.98/1211.46	c nbDecision=1168500 #constraints=36046
1212.28/1212.76	c nbDecision=1169000 #constraints=36052
1213.99/1214.48	c nbDecision=1169500 #constraints=36063
1214.99/1215.40	c nbDecision=1170000 #constraints=36066
1216.09/1216.58	c nbDecision=1170500 #constraints=36071
1217.38/1217.88	c nbDecision=1171000 #constraints=36076
1218.28/1218.80	c nbDecision=1171500 #constraints=36080
1219.78/1220.20	c nbDecision=1172000 #constraints=36088
1221.78/1222.20	c nbDecision=1172500 #constraints=36098
1222.58/1223.06	c nbDecision=1173000 #constraints=36102
1223.68/1224.14	c nbDecision=1173500 #constraints=36108
1225.28/1225.74	c nbDecision=1174000 #constraints=36118
1226.28/1226.72	c nbDecision=1174500 #constraints=36122
1227.38/1227.85	c nbDecision=1175000 #constraints=36126
1228.38/1228.83	c nbDecision=1175500 #constraints=36129
1230.18/1230.69	c nbDecision=1176000 #constraints=36138
1232.68/1233.18	c nbDecision=1176500 #constraints=36151
1233.88/1234.30	c nbDecision=1177000 #constraints=36155
1234.78/1235.28	c nbDecision=1177500 #constraints=36158
1236.48/1236.93	c nbDecision=1178000 #constraints=36169
1238.18/1238.62	c nbDecision=1178500 #constraints=36177
1240.07/1240.58	c nbDecision=1179000 #constraints=36189
1242.48/1242.91	c nbDecision=1179500 #constraints=36203
1244.47/1244.97	c nbDecision=1180000 #constraints=36210
1246.47/1246.91	c nbDecision=1180500 #constraints=36217
1248.17/1248.65	c nbDecision=1181000 #constraints=36222
1250.17/1250.67	c nbDecision=1181500 #constraints=36229
1251.57/1252.03	c nbDecision=1182000 #constraints=36233
1253.17/1253.69	c nbDecision=1182500 #constraints=36239
1254.87/1255.37	c nbDecision=1183000 #constraints=36248
1255.67/1256.17	c nbDecision=1183500 #constraints=36255
1256.87/1257.34	c nbDecision=1184000 #constraints=36262
1258.17/1258.65	c nbDecision=1184500 #constraints=36268
1260.17/1260.60	c nbDecision=1185000 #constraints=36284
1261.37/1261.81	c nbDecision=1185500 #constraints=36293
1262.87/1263.36	c nbDecision=1186000 #constraints=36302
1264.37/1264.90	c nbDecision=1186500 #constraints=36309
1266.16/1266.62	c nbDecision=1187000 #constraints=36316
1267.17/1267.68	c nbDecision=1187500 #constraints=36321
1268.88/1269.36	c nbDecision=1188000 #constraints=36330
1269.77/1270.24	c nbDecision=1188500 #constraints=36333
1270.67/1271.15	c nbDecision=1189000 #constraints=36336
1271.77/1272.21	c nbDecision=1189500 #constraints=36342
1272.97/1273.43	c nbDecision=1190000 #constraints=36351
1274.27/1274.73	c nbDecision=1190500 #constraints=36360
1276.17/1276.65	c nbDecision=1191000 #constraints=36372
1278.17/1278.66	c nbDecision=1191500 #constraints=36380
1279.77/1280.20	c nbDecision=1192000 #constraints=36386
1281.47/1281.97	c nbDecision=1192500 #constraints=36393
1282.57/1283.06	c nbDecision=1193000 #constraints=36397
1283.57/1284.08	c nbDecision=1193500 #constraints=36401
1285.67/1286.12	c nbDecision=1194000 #constraints=36417
1287.67/1288.14	c nbDecision=1194500 #constraints=36425
1289.47/1289.91	c nbDecision=1195000 #constraints=36431
1290.56/1291.05	c nbDecision=1195500 #constraints=36434
1291.36/1291.87	c nbDecision=1196000 #constraints=36436
1292.46/1292.90	c nbDecision=1196500 #constraints=36439
1297.66/1298.14	c nbDecision=1197000 #constraints=36460
1299.56/1300.07	c nbDecision=1197500 #constraints=36468
1301.66/1302.10	c nbDecision=1198000 #constraints=36476
1303.06/1303.57	c nbDecision=1198500 #constraints=36483
1304.36/1304.86	c nbDecision=1199000 #constraints=36487
1305.46/1305.97	c nbDecision=1199500 #constraints=36493
1306.76/1307.26	c nbDecision=1200000 #constraints=36501
1307.66/1308.14	c nbDecision=1200500 #constraints=36505
1309.46/1309.96	c nbDecision=1201000 #constraints=36512
1310.96/1311.49	c nbDecision=1201500 #constraints=36519
1312.46/1312.97	c nbDecision=1202000 #constraints=36526
1314.06/1314.59	c nbDecision=1202500 #constraints=36532
1315.16/1315.62	c nbDecision=1203000 #constraints=36538
1316.06/1316.54	c nbDecision=1203500 #constraints=36544
1317.06/1317.52	c nbDecision=1204000 #constraints=36550
1318.25/1318.73	c nbDecision=1204500 #constraints=36558
1319.56/1320.02	c nbDecision=1205000 #constraints=36566
1320.66/1321.16	c nbDecision=1205500 #constraints=36574
1322.25/1322.74	c nbDecision=1206000 #constraints=36585
1323.25/1323.72	c nbDecision=1206500 #constraints=36589
1325.25/1325.78	c nbDecision=1207000 #constraints=36598
1326.45/1326.99	c nbDecision=1207500 #constraints=36602
1327.55/1328.01	c nbDecision=1208000 #constraints=36606
1328.45/1328.97	c nbDecision=1208500 #constraints=36612
1329.45/1329.95	c nbDecision=1209000 #constraints=36619
1330.65/1331.18	c nbDecision=1209500 #constraints=36626
1331.95/1332.41	c nbDecision=1210000 #constraints=36634
1333.15/1333.65	c nbDecision=1210500 #constraints=36642
1335.15/1335.63	c nbDecision=1211000 #constraints=36652
1336.75/1337.26	c nbDecision=1211500 #constraints=36660
1338.64/1339.10	c nbDecision=1212000 #constraints=36669
1343.44/1343.97	c nbDecision=1212500 #constraints=36692
1347.34/1347.89	c nbDecision=1213000 #constraints=36708
1349.44/1349.93	c nbDecision=1213500 #constraints=36719
1350.54/1351.04	c nbDecision=1214000 #constraints=36725
1351.94/1352.40	c nbDecision=1214500 #constraints=36730
1353.04/1353.57	c nbDecision=1215000 #constraints=36736
1353.74/1354.29	c nbDecision=1215500 #constraints=36739
1354.74/1355.22	c nbDecision=1216000 #constraints=36742
1356.54/1357.08	c nbDecision=1216500 #constraints=36749
1358.04/1358.54	c nbDecision=1217000 #constraints=36755
1360.44/1360.97	c nbDecision=1217500 #constraints=36769
1362.94/1363.47	c nbDecision=1218000 #constraints=36781
1364.54/1365.00	c nbDecision=1218500 #constraints=36791
1366.14/1366.66	c nbDecision=1219000 #constraints=36802
1368.24/1368.79	c nbDecision=1219500 #constraints=36813
1370.73/1371.21	c nbDecision=1220000 #constraints=36825
1373.53/1374.06	c nbDecision=1220500 #constraints=36841
1374.73/1375.20	c nbDecision=1221000 #constraints=36845
1375.93/1376.48	c nbDecision=1221500 #constraints=36851
1377.43/1377.99	c nbDecision=1222000 #constraints=36858
1379.43/1379.99	c nbDecision=1222500 #constraints=36866
1380.63/1381.19	c nbDecision=1223000 #constraints=36870
1382.43/1382.99	c nbDecision=1223500 #constraints=36877
1384.84/1385.32	c nbDecision=1224000 #constraints=36885
1386.94/1387.49	c nbDecision=1224500 #constraints=36896
1388.04/1388.59	c nbDecision=1225000 #constraints=36900
1389.73/1390.27	c nbDecision=1225500 #constraints=36906
1392.53/1393.04	c nbDecision=1226000 #constraints=36916
1395.03/1395.51	c nbDecision=1226500 #constraints=36926
1397.03/1397.54	c nbDecision=1227000 #constraints=36938
1398.93/1399.43	c nbDecision=1227500 #constraints=36947
1400.43/1400.91	c nbDecision=1228000 #constraints=36956
1401.73/1402.30	c nbDecision=1228500 #constraints=36965
1406.43/1406.91	c nbDecision=1229000 #constraints=36984
1409.22/1409.75	c nbDecision=1229500 #constraints=37000
1411.32/1411.85	c nbDecision=1230000 #constraints=37015
1413.82/1414.31	c nbDecision=1230500 #constraints=37030
1415.13/1415.63	c nbDecision=1231000 #constraints=37035
1416.82/1417.30	c nbDecision=1231500 #constraints=37042
1417.62/1418.19	c nbDecision=1232000 #constraints=37045
1418.53/1419.08	c nbDecision=1232500 #constraints=37048
1421.92/1422.46	c nbDecision=1233000 #constraints=37062
1422.92/1423.45	c nbDecision=1233500 #constraints=37065
1423.92/1424.43	c nbDecision=1234000 #constraints=37068
1426.32/1426.84	c nbDecision=1234500 #constraints=37077
1429.92/1430.44	c nbDecision=1235000 #constraints=37091
1432.52/1433.02	c nbDecision=1235500 #constraints=37101
1435.72/1436.28	c nbDecision=1236000 #constraints=37113
1438.22/1438.75	c nbDecision=1236500 #constraints=37122
1440.71/1441.27	c nbDecision=1237000 #constraints=37131
1443.41/1443.98	c nbDecision=1237500 #constraints=37141
1446.82/1447.32	c nbDecision=1238000 #constraints=37153
1449.32/1449.89	c nbDecision=1238500 #constraints=37163
1453.22/1453.72	c nbDecision=1239000 #constraints=37178
1454.82/1455.38	c nbDecision=1239500 #constraints=37184
1456.82/1457.35	c nbDecision=1240000 #constraints=37191
1458.32/1458.80	c nbDecision=1240500 #constraints=37196
1460.72/1461.30	c nbDecision=1241000 #constraints=37205
1463.32/1463.82	c nbDecision=1241500 #constraints=37214
1466.11/1466.60	c nbDecision=1242000 #constraints=37225
1468.51/1469.01	c nbDecision=1242500 #constraints=37235
1471.71/1472.28	c nbDecision=1243000 #constraints=37248
1475.91/1476.48	c nbDecision=1243500 #constraints=37265
1479.41/1479.94	c nbDecision=1244000 #constraints=37278
1483.01/1483.51	c nbDecision=1244500 #constraints=37292
1485.41/1485.97	c nbDecision=1245000 #constraints=37301
1488.31/1488.86	c nbDecision=1245500 #constraints=37311
1491.01/1491.51	c nbDecision=1246000 #constraints=37320
1494.61/1495.12	c nbDecision=1246500 #constraints=37333
1496.40/1496.96	c nbDecision=1247000 #constraints=37339
1497.71/1498.27	c nbDecision=1247500 #constraints=37342
1501.20/1501.70	c nbDecision=1248000 #constraints=37356
1502.40/1502.99	c nbDecision=1248500 #constraints=37359
1508.00/1508.58	c nbDecision=1249000 #constraints=37381
1509.80/1510.39	c nbDecision=1249500 #constraints=37388
1512.90/1513.44	c nbDecision=1250000 #constraints=37399
1515.30/1515.84	c nbDecision=1250500 #constraints=37408
1517.50/1518.08	c nbDecision=1251000 #constraints=37416
1519.90/1520.40	c nbDecision=1251500 #constraints=37425
1521.40/1521.95	c nbDecision=1252000 #constraints=37431
1523.60/1524.19	c nbDecision=1252500 #constraints=37439
1527.30/1527.89	c nbDecision=1253000 #constraints=37454
1529.19/1529.71	c nbDecision=1253500 #constraints=37461
1533.59/1534.18	c nbDecision=1254000 #constraints=37478
1536.29/1536.85	c nbDecision=1254500 #constraints=37488
1537.79/1538.39	c nbDecision=1255000 #constraints=37493
1538.99/1539.58	c nbDecision=1255500 #constraints=37497
1540.19/1540.74	c nbDecision=1256000 #constraints=37501
1541.09/1541.68	c nbDecision=1256500 #constraints=37504
1543.89/1544.42	c nbDecision=1257000 #constraints=37515
1547.59/1548.15	c nbDecision=1257500 #constraints=37530
1550.59/1551.10	c nbDecision=1258000 #constraints=37544
1554.89/1555.46	c nbDecision=1258500 #constraints=37561
1556.29/1556.88	c nbDecision=1259000 #constraints=37568
1558.39/1558.99	c nbDecision=1259500 #constraints=37576
1559.58/1560.19	c nbDecision=1260000 #constraints=37580
1561.08/1561.64	c nbDecision=1260500 #constraints=37585
1564.98/1565.56	c nbDecision=1261000 #constraints=37603
1567.58/1568.19	c nbDecision=1261500 #constraints=37615
1571.88/1572.44	c nbDecision=1262000 #constraints=37631
1574.58/1575.19	c nbDecision=1262500 #constraints=37642
1576.28/1576.83	c nbDecision=1263000 #constraints=37649
1581.88/1582.45	c nbDecision=1263500 #constraints=37672
1586.17/1586.79	c nbDecision=1264000 #constraints=37690
1589.37/1589.98	c nbDecision=1264500 #constraints=37703
1594.77/1595.30	c nbDecision=1265000 #constraints=37722
1599.67/1600.28	c nbDecision=1265500 #constraints=37739
1603.67/1604.22	c nbDecision=1266000 #constraints=37752
1608.47/1609.02	c nbDecision=1266500 #constraints=37769
1611.57/1612.14	c nbDecision=1267000 #constraints=37781
1614.96/1615.52	c nbDecision=1267500 #constraints=37793
1617.26/1617.83	c nbDecision=1268000 #constraints=37802
1620.36/1620.99	c nbDecision=1268500 #constraints=37813
1624.77/1625.32	c nbDecision=1269000 #constraints=37829
1626.87/1627.46	c nbDecision=1269500 #constraints=37839
1628.97/1629.51	c nbDecision=1270000 #constraints=37846
1630.27/1630.83	c nbDecision=1270500 #constraints=37850
1631.96/1632.58	c nbDecision=1271000 #constraints=37856
1634.96/1635.58	c nbDecision=1271500 #constraints=37867
1637.76/1638.35	c nbDecision=1272000 #constraints=37879
1641.67/1642.29	c nbDecision=1272500 #constraints=37893
1645.06/1645.68	c nbDecision=1273000 #constraints=37905
1649.36/1649.99	c nbDecision=1273500 #constraints=37920
1652.36/1652.92	c nbDecision=1274000 #constraints=37931
1654.36/1654.94	c nbDecision=1274500 #constraints=37939
1655.46/1656.03	c nbDecision=1275000 #constraints=37946
1656.96/1657.53	c nbDecision=1275500 #constraints=37954
1659.56/1660.14	c nbDecision=1276000 #constraints=37966
1661.36/1661.93	c nbDecision=1276500 #constraints=37976
1662.96/1663.55	c nbDecision=1277000 #constraints=37985
1664.95/1665.53	c nbDecision=1277500 #constraints=37996
1666.96/1667.53	c nbDecision=1278000 #constraints=38005
1671.25/1671.88	c nbDecision=1278500 #constraints=38023
1673.85/1674.49	c nbDecision=1279000 #constraints=38032
1677.05/1677.61	c nbDecision=1279500 #constraints=38043
1679.75/1680.36	c nbDecision=1280000 #constraints=38056
1680.95/1681.59	c nbDecision=1280500 #constraints=38061
1682.85/1683.48	c nbDecision=1281000 #constraints=38069
1684.05/1684.69	c nbDecision=1281500 #constraints=38072
1686.14/1686.73	c nbDecision=1282000 #constraints=38078
1689.74/1690.30	c nbDecision=1282500 #constraints=38093
1692.44/1693.05	c nbDecision=1283000 #constraints=38106
1695.24/1695.87	c nbDecision=1283500 #constraints=38118
1699.14/1699.71	c nbDecision=1284000 #constraints=38132
1701.74/1702.30	c nbDecision=1284500 #constraints=38141
1705.04/1705.63	c nbDecision=1285000 #constraints=38152
1707.44/1708.07	c nbDecision=1285500 #constraints=38162
1709.74/1710.35	c nbDecision=1286000 #constraints=38170
1712.64/1713.24	c nbDecision=1286500 #constraints=38181
1715.44/1716.02	c nbDecision=1287000 #constraints=38191
1718.74/1719.30	c nbDecision=1287500 #constraints=38203
1722.23/1722.86	c nbDecision=1288000 #constraints=38216
1725.43/1726.02	c nbDecision=1288500 #constraints=38229
1729.44/1730.06	c nbDecision=1289000 #constraints=38243
1732.64/1733.21	c nbDecision=1289500 #constraints=38258
1733.54/1734.15	c nbDecision=1290000 #constraints=38265
1735.04/1735.67	c nbDecision=1290500 #constraints=38271
1736.44/1737.07	c nbDecision=1291000 #constraints=38279
1738.84/1739.44	c nbDecision=1291500 #constraints=38290
1741.64/1742.26	c nbDecision=1292000 #constraints=38303
1742.84/1743.47	c nbDecision=1292500 #constraints=38307
1746.03/1746.66	c nbDecision=1293000 #constraints=38320
1747.53/1748.14	c nbDecision=1293500 #constraints=38325
1750.73/1751.37	c nbDecision=1294000 #constraints=38339
1753.93/1754.56	c nbDecision=1294500 #constraints=38353
1757.33/1757.96	c nbDecision=1295000 #constraints=38368
1760.23/1760.82	c nbDecision=1295500 #constraints=38381
1763.03/1763.69	c nbDecision=1296000 #constraints=38396
1766.03/1766.62	c nbDecision=1296500 #constraints=38408
1768.53/1769.14	c nbDecision=1297000 #constraints=38418
1771.43/1772.00	c nbDecision=1297500 #constraints=38431
1773.63/1774.27	c nbDecision=1298000 #constraints=38442
1775.22/1775.86	c nbDecision=1298500 #constraints=38449
1777.12/1777.77	c nbDecision=1299000 #constraints=38457
1778.13/1778.72	c nbDecision=1299500 #constraints=38460
1780.62/1781.28	c nbDecision=1300000 #constraints=38473
1783.42/1784.05	c nbDecision=1300500 #constraints=38485
1785.82/1786.46	c nbDecision=1301000 #constraints=38497
1788.32/1788.92	c nbDecision=1301500 #constraints=38508
1791.52/1792.11	c nbDecision=1302000 #constraints=38522
1794.32/1794.95	c nbDecision=1302500 #constraints=38533
1797.12/1797.72	c nbDecision=1303000 #constraints=38545
1799.72/1800.39	c nbDecision=1303500 #constraints=38555
1800.02/1800.61	Received signal 15
1800.21/1800.88	
1800.21/1800.88	s UNKNOWN
1800.21/1800.88	
1800.21/1800.88	c user time= 1799.98 s
1800.21/1800.88	c system time= 0.32695 s
1800.21/1800.88	c wall clock time=1800.88

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26493
/proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=1468 CPUtime=0
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 112603690 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 367 162 131 317 0 46 0

[startup+0.083441 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26493
/proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=2788 CPUtime=0.07
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 517 0 0 0 7 0 0 0 18 0 1 0 112603690 2854912 499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 697 499 131 317 0 376 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2788

[startup+0.101443 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26493
/proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=3184 CPUtime=0.09
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 593 0 0 0 9 0 0 0 18 0 1 0 112603690 3260416 575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 796 575 131 317 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184

[startup+0.301463 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26493
/proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=4952 CPUtime=0.29
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1058 0 0 0 29 0 0 0 19 0 1 0 112603690 5070848 1040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 1238 1040 138 317 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4952

[startup+0.701503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26493
/proc/meminfo: memFree=1431280/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=5088 CPUtime=0.69
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1090 0 0 0 69 0 0 0 22 0 1 0 112603690 5210112 1072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 1272 1072 139 317 0 951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5088

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1427496/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=5348 CPUtime=1.49
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1139 0 0 0 149 0 0 0 25 0 1 0 112603690 5476352 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 1337 1121 139 317 0 1016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5348

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1426920/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=5876 CPUtime=3.09
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1313 0 0 0 309 0 0 0 25 0 1 0 112603690 6017024 1295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 1469 1295 170 317 0 1148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5876

[startup+6.30208 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1425320/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=7596 CPUtime=6.29
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 1713 0 0 0 627 2 0 0 25 0 1 0 112603690 7778304 1695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 1899 1695 170 317 0 1578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7596

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1423016/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=9712 CPUtime=12.69
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 2220 0 0 0 1267 2 0 0 25 0 1 0 112603690 9945088 2202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 2428 2202 170 317 0 2107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9712

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1419560/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=12912 CPUtime=25.49
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 3069 0 0 0 2546 3 0 0 25 0 1 0 112603690 13221888 3018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 3228 3018 170 317 0 2907 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12912

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1414504/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=18300 CPUtime=51.08
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 4348 0 0 0 5104 4 0 0 25 0 1 0 112603690 18739200 4297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 4575 4297 170 317 0 4254 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18300

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1405224/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=28272 CPUtime=102.27
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 6688 0 0 0 10221 6 0 0 25 0 1 0 112603690 28950528 6572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 7068 6572 170 317 0 6747 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28272

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1396008/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=38068 CPUtime=162.25
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 9004 0 0 0 16216 9 0 0 25 0 1 0 112603690 38981632 8888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 9517 8888 170 317 0 9196 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38068

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1387816/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=45928 CPUtime=222.22
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 11012 0 0 0 22211 11 0 0 25 0 1 0 112603690 47030272 10896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 11482 10896 170 317 0 11161 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45928

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1381224/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=52016 CPUtime=282.2
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 12672 0 0 0 28207 13 0 0 25 0 1 0 112603690 53264384 12556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 13004 12556 170 317 0 12683 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 52016

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1375144/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=60992 CPUtime=342.18
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 14816 0 0 0 34203 15 0 0 25 0 1 0 112603690 62455808 14011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 15248 14011 170 317 0 14927 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 60992

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1371496/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=65180 CPUtime=402.15
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 15911 0 0 0 40199 16 0 0 25 0 1 0 112603690 66744320 14941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 16295 14941 170 317 0 15974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 65180

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1367656/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=68616 CPUtime=462.12
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 16861 0 0 0 46195 17 0 0 25 0 1 0 112603690 70262784 15891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 17154 15891 170 317 0 16833 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 68616

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1363880/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=72792 CPUtime=522.11
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 18007 0 0 0 52192 19 0 0 25 0 1 0 112603690 74539008 16872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 18198 16872 170 317 0 17877 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 72792

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1360488/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=76344 CPUtime=582.09
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 18957 0 0 0 58190 19 0 0 25 0 1 0 112603690 78176256 17723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 19086 17723 170 317 0 18765 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 76344

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1356904/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=79644 CPUtime=642.07
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 19871 0 0 0 64187 20 0 0 25 0 1 0 112603690 81555456 18604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 19911 18604 170 317 0 19590 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 79644


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26494
/proc/meminfo: memFree=1342248/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=92976 CPUtime=941.97
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 23643 0 0 0 94172 25 0 0 25 0 1 0 112603690 95207424 22244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 23244 22244 170 317 0 22923 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 92976

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1340584/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=94416 CPUtime=1001.95
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 24072 0 0 0 100170 25 0 0 25 0 1 0 112603690 96681984 22640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 23604 22640 170 317 0 23283 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 94416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1338728/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=95992 CPUtime=1061.93
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 24526 0 0 0 106167 26 0 0 25 0 1 0 112603690 98295808 23094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 23998 23094 170 317 0 23677 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 95992

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1337512/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=99744 CPUtime=1121.91
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 25472 0 0 0 112164 27 0 0 25 0 1 0 112603690 102137856 23390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 24936 23390 170 317 0 24615 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 99744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1336680/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=101412 CPUtime=1181.89
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 25903 0 0 0 118162 27 0 0 25 0 1 0 112603690 103845888 23626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 25353 23626 170 317 0 25032 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 101412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1335848/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=102208 CPUtime=1241.87
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26111 0 0 0 124160 27 0 0 25 0 1 0 112603690 104660992 23834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 25552 23834 170 317 0 25231 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 102208

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1334824/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=103012 CPUtime=1301.87
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26353 0 0 0 130159 28 0 0 25 0 1 0 112603690 105484288 24076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 25753 24076 170 317 0 25432 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 103012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1333928/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=103836 CPUtime=1361.84
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26576 0 0 0 136156 28 0 0 25 0 1 0 112603690 106328064 24299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 25959 24299 170 317 0 25638 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 103836

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1332968/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=104900 CPUtime=1421.82
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 26853 0 0 0 142153 29 0 0 25 0 1 0 112603690 107417600 24543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 26225 24543 170 317 0 25904 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 104900

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1331496/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=107168 CPUtime=1481.81
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27431 0 0 0 148151 30 0 0 25 0 1 0 112603690 109740032 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 26792 24867 170 317 0 26471 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 107168

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1331560/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=107168 CPUtime=1541.79
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27443 0 0 0 154149 30 0 0 25 0 1 0 112603690 109740032 24879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 26792 24879 170 317 0 26471 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 107168

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1330856/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=107972 CPUtime=1601.77
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27658 0 0 0 160147 30 0 0 25 0 1 0 112603690 110563328 25029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 26993 25029 170 317 0 26672 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 107972

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1330088/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=108620 CPUtime=1661.76
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 27855 0 0 0 166145 31 0 0 25 0 1 0 112603690 111226880 25226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 27155 25226 170 317 0 26834 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 108620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1329256/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=109664 CPUtime=1721.73
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28127 0 0 0 172142 31 0 0 25 0 1 0 112603690 112295936 25433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 27416 25433 170 317 0 27095 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 109664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1328296/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=110524 CPUtime=1781.72
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28369 0 0 0 178140 32 0 0 25 0 1 0 112603690 113176576 25675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 27631 25675 170 317 0 27310 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 110524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=110748 CPUtime=1800.02
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28435 0 0 0 179970 32 0 0 25 0 1 0 112603690 113405952 25741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 27687 25741 170 317 0 27366 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 110748

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=110748 CPUtime=1800.21
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194304 28435 0 0 0 179989 32 0 0 25 0 1 0 112603690 113405952 25741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 27687 25741 170 317 0 27366 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 110748

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26496
/proc/meminfo: memFree=1328040/2055920 swapFree=4179984/4192956
[pid=26493] ppid=26491 vsize=0 CPUtime=1800.31
/proc/26493/stat : 26493 (oree) R 26491 26493 25578 0 -1 4194308 28451 0 0 0 179998 33 0 0 25 0 1 0 112603690 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26493/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.33
CPU user time (s): 1799.99
CPU system time (s): 0.345947
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 110768

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

runsolver used 1.68474 second user time and 3.64045 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Thu Apr 19 16:11:18 UTC 2007

IDJOB= 357444
IDBENCH= 2643
IDSOLVER= 172
FILE ID= node27/357444-1176999078

PBS_JOBID= 4630447

Free space on /tmp= 66376 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5946eb43fefc6e626d35d99afd3eec42

RANDOM SEED= 916885166

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1431624 kB
Buffers:         35596 kB
Cached:         512520 kB
SwapCached:       6696 kB
Active:          55348 kB
Inactive:       505192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1431624 kB
SwapTotal:     4192956 kB
SwapFree:      4179984 kB
Dirty:            1768 kB
Writeback:           0 kB
Mapped:          15456 kB
Slab:            49748 kB
Committed_AS:  1692020 kB
PageTables:       1412 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= 66376 MiB

End job on node27 on Thu Apr 19 16:41:21 UTC 2007