Trace number 357440

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.13 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
MD5SUM26699ac56f0d58d8261ff4eb58d81611
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1207.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1659
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 constraints1659
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 707
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.10	c ...done
0.09/0.10	c #vars=895 #constraints=1660 hasObjective=yes
0.09/0.12	c res. mode=mod
0.09/0.12	c VSIDS like heuristics
0.09/0.12	c complete search running
0.09/0.13	c restart after 401 decisions
0.09/0.14	c nbDecision=500 #constraints=1660
0.09/0.15	c restart after 801 decisions
0.09/0.16	c nbDecision=1000 #constraints=1660
0.09/0.18	c nbDecision=1500 #constraints=1662
0.09/0.18	c restart after 1601 decisions
0.19/0.20	c nbDecision=2000 #constraints=1663
0.19/0.21	c nbDecision=2500 #constraints=1666
0.19/0.22	c nbDecision=3000 #constraints=1671
0.19/0.23	c restart after 3201 decisions
0.19/0.24	c nbDecision=3500 #constraints=1673
0.19/0.26	c nbDecision=4000 #constraints=1674
0.19/0.28	c nbDecision=4500 #constraints=1682
0.29/0.30	c nbDecision=5000 #constraints=1690
0.29/0.32	c nbDecision=5500 #constraints=1696
0.29/0.35	c nbDecision=6000 #constraints=1709
0.29/0.37	c restart after 6401 decisions
0.29/0.38	c nbDecision=6500 #constraints=1720
0.39/0.40	c nbDecision=7000 #constraints=1720
0.39/0.41	c nbDecision=7500 #constraints=1726
0.39/0.44	c nbDecision=8000 #constraints=1732
0.39/0.46	c nbDecision=8500 #constraints=1738
0.39/0.49	c nbDecision=9000 #constraints=1747
0.49/0.51	c nbDecision=9500 #constraints=1755
0.49/0.55	c nbDecision=10000 #constraints=1772
0.49/0.57	c nbDecision=10500 #constraints=1782
0.49/0.58	c nbDecision=11000 #constraints=1790
0.59/0.60	c nbDecision=11500 #constraints=1800
0.59/0.63	c nbDecision=12000 #constraints=1812
0.59/0.65	c nbDecision=12500 #constraints=1821
0.59/0.66	c restart after 12801 decisions
0.59/0.68	c nbDecision=13000 #constraints=1826
0.59/0.69	c nbDecision=13500 #constraints=1826
0.69/0.72	c nbDecision=14000 #constraints=1839
0.69/0.74	c nbDecision=14500 #constraints=1846
0.69/0.75	c nbDecision=15000 #constraints=1851
0.69/0.79	c nbDecision=15500 #constraints=1869
0.79/0.82	c nbDecision=16000 #constraints=1883
0.79/0.85	c nbDecision=16500 #constraints=1893
0.79/0.88	c nbDecision=17000 #constraints=1904
0.89/0.90	c nbDecision=17500 #constraints=1911
0.89/0.92	c nbDecision=18000 #constraints=1917
0.89/0.95	c nbDecision=18500 #constraints=1925
0.89/0.98	c nbDecision=19000 #constraints=1936
0.99/1.00	c nbDecision=19500 #constraints=1944
0.99/1.02	c nbDecision=20000 #constraints=1951
0.99/1.05	c nbDecision=20500 #constraints=1958
0.99/1.07	c nbDecision=21000 #constraints=1968
1.09/1.11	c nbDecision=21500 #constraints=1980
1.09/1.14	c nbDecision=22000 #constraints=1991
1.09/1.18	c nbDecision=22500 #constraints=2004
1.19/1.21	c nbDecision=23000 #constraints=2021
1.19/1.24	c nbDecision=23500 #constraints=2039
1.19/1.27	c nbDecision=24000 #constraints=2047
1.19/1.28	c nbDecision=24500 #constraints=2053
1.29/1.31	c nbDecision=25000 #constraints=2061
1.29/1.34	c nbDecision=25500 #constraints=2072
1.29/1.35	c restart after 25601 decisions
1.29/1.37	c nbDecision=26000 #constraints=2074
1.39/1.41	c nbDecision=26500 #constraints=2085
1.39/1.45	c nbDecision=27000 #constraints=2096
1.49/1.51	c nbDecision=27500 #constraints=2116
1.49/1.54	c nbDecision=28000 #constraints=2136
1.49/1.58	c nbDecision=28500 #constraints=2147
1.59/1.60	c nbDecision=29000 #constraints=2154
1.59/1.61	c nbDecision=29500 #constraints=2159
1.59/1.65	c nbDecision=30000 #constraints=2176
1.69/1.71	c nbDecision=30500 #constraints=2206
1.69/1.74	c nbDecision=31000 #constraints=2220
1.69/1.78	c nbDecision=31500 #constraints=2232
1.79/1.83	c nbDecision=32000 #constraints=2249
1.79/1.86	c nbDecision=32500 #constraints=2259
1.89/1.90	c nbDecision=33000 #constraints=2270
1.89/1.93	c nbDecision=33500 #constraints=2281
1.89/1.98	c nbDecision=34000 #constraints=2296
1.99/2.00	c nbDecision=34500 #constraints=2304
1.99/2.04	c nbDecision=35000 #constraints=2318
1.99/2.08	c nbDecision=35500 #constraints=2329
2.09/2.12	c nbDecision=36000 #constraints=2341
2.09/2.14	c nbDecision=36500 #constraints=2348
2.09/2.17	c nbDecision=37000 #constraints=2353
2.19/2.21	c nbDecision=37500 #constraints=2364
2.19/2.25	c nbDecision=38000 #constraints=2375
2.29/2.30	c nbDecision=38500 #constraints=2389
2.29/2.33	c nbDecision=39000 #constraints=2397
2.39/2.40	c nbDecision=39500 #constraints=2419
2.39/2.44	c nbDecision=40000 #constraints=2428
2.39/2.46	c nbDecision=40500 #constraints=2434
2.49/2.50	c nbDecision=41000 #constraints=2444
2.49/2.54	c nbDecision=41500 #constraints=2452
2.49/2.57	c nbDecision=42000 #constraints=2461
2.49/2.59	c nbDecision=42500 #constraints=2467
2.59/2.62	c nbDecision=43000 #constraints=2476
2.59/2.66	c nbDecision=43500 #constraints=2487
2.59/2.69	c nbDecision=44000 #constraints=2495
2.69/2.73	c nbDecision=44500 #constraints=2504
2.69/2.78	c nbDecision=45000 #constraints=2515
2.79/2.82	c nbDecision=45500 #constraints=2527
2.79/2.85	c nbDecision=46000 #constraints=2535
2.79/2.88	c nbDecision=46500 #constraints=2542
2.89/2.92	c nbDecision=47000 #constraints=2550
2.89/2.95	c nbDecision=47500 #constraints=2560
2.89/2.97	c nbDecision=48000 #constraints=2566
2.99/3.00	c nbDecision=48500 #constraints=2572
2.99/3.05	c nbDecision=49000 #constraints=2583
2.99/3.09	c nbDecision=49500 #constraints=2592
3.09/3.15	c nbDecision=50000 #constraints=2607
3.09/3.18	c nbDecision=50500 #constraints=2615
3.19/3.22	c nbDecision=51000 #constraints=2628
3.19/3.23	c restart after 51201 decisions
3.19/3.26	c nbDecision=51500 #constraints=2630
3.19/3.29	c nbDecision=52000 #constraints=2631
3.29/3.34	c nbDecision=52500 #constraints=2644
3.29/3.38	c nbDecision=53000 #constraints=2654
3.39/3.43	c nbDecision=53500 #constraints=2664
3.39/3.47	c nbDecision=54000 #constraints=2674
3.49/3.51	c nbDecision=54500 #constraints=2684
3.49/3.55	c nbDecision=55000 #constraints=2693
3.49/3.57	c nbDecision=55500 #constraints=2699
3.59/3.63	c nbDecision=56000 #constraints=2714
3.59/3.67	c nbDecision=56500 #constraints=2725
3.69/3.71	c nbDecision=57000 #constraints=2737
3.69/3.77	c nbDecision=57500 #constraints=2753
3.79/3.83	c nbDecision=58000 #constraints=2766
3.79/3.88	c nbDecision=58500 #constraints=2776
3.89/3.93	c nbDecision=59000 #constraints=2789
3.89/3.97	c nbDecision=59500 #constraints=2799
3.99/4.02	c nbDecision=60000 #constraints=2809
3.99/4.06	c nbDecision=60500 #constraints=2819
3.99/4.09	c nbDecision=61000 #constraints=2828
4.09/4.15	c nbDecision=61500 #constraints=2842
4.09/4.19	c nbDecision=62000 #constraints=2849
4.19/4.24	c nbDecision=62500 #constraints=2862
4.19/4.29	c nbDecision=63000 #constraints=2874
4.29/4.35	c nbDecision=63500 #constraints=2885
4.39/4.40	c nbDecision=64000 #constraints=2898
4.39/4.49	c nbDecision=64500 #constraints=2919
4.48/4.55	c nbDecision=65000 #constraints=2934
4.59/4.62	c nbDecision=65500 #constraints=2948
4.59/4.69	c nbDecision=66000 #constraints=2964
4.69/4.77	c nbDecision=66500 #constraints=2983
4.79/4.81	c nbDecision=67000 #constraints=2995
4.79/4.88	c nbDecision=67500 #constraints=3012
4.89/4.93	c nbDecision=68000 #constraints=3023
4.89/4.98	c nbDecision=68500 #constraints=3034
4.99/5.04	c nbDecision=69000 #constraints=3046
4.99/5.10	c nbDecision=69500 #constraints=3060
5.09/5.15	c nbDecision=70000 #constraints=3074
5.19/5.23	c nbDecision=70500 #constraints=3093
5.19/5.28	c nbDecision=71000 #constraints=3104
5.29/5.35	c nbDecision=71500 #constraints=3121
5.40/5.40	c nbDecision=72000 #constraints=3132
5.40/5.45	c nbDecision=72500 #constraints=3144
5.50/5.52	c nbDecision=73000 #constraints=3161
5.50/5.58	c nbDecision=73500 #constraints=3174
5.59/5.64	c nbDecision=74000 #constraints=3188
5.69/5.71	c nbDecision=74500 #constraints=3205
5.69/5.77	c nbDecision=75000 #constraints=3219
5.79/5.84	c nbDecision=75500 #constraints=3236
5.89/5.90	c nbDecision=76000 #constraints=3253
5.89/5.95	c nbDecision=76500 #constraints=3265
5.99/6.01	c nbDecision=77000 #constraints=3277
5.99/6.06	c nbDecision=77500 #constraints=3289
5.99/6.10	c nbDecision=78000 #constraints=3298
6.09/6.14	c nbDecision=78500 #constraints=3308
6.09/6.18	c nbDecision=79000 #constraints=3317
6.19/6.24	c nbDecision=79500 #constraints=3330
6.19/6.28	c nbDecision=80000 #constraints=3340
6.29/6.34	c nbDecision=80500 #constraints=3354
6.29/6.39	c nbDecision=81000 #constraints=3362
6.39/6.46	c nbDecision=81500 #constraints=3378
6.50/6.53	c nbDecision=82000 #constraints=3394
6.59/6.61	c nbDecision=82500 #constraints=3413
6.59/6.68	c nbDecision=83000 #constraints=3429
6.69/6.76	c nbDecision=83500 #constraints=3444
6.79/6.81	c nbDecision=84000 #constraints=3456
6.79/6.90	c nbDecision=84500 #constraints=3481
6.89/6.94	c nbDecision=85000 #constraints=3495
6.99/7.01	c nbDecision=85500 #constraints=3511
6.99/7.08	c nbDecision=86000 #constraints=3526
7.09/7.15	c nbDecision=86500 #constraints=3539
7.19/7.24	c nbDecision=87000 #constraints=3559
7.29/7.33	c nbDecision=87500 #constraints=3577
7.39/7.41	c nbDecision=88000 #constraints=3593
7.39/7.47	c nbDecision=88500 #constraints=3603
7.49/7.52	c nbDecision=89000 #constraints=3612
7.49/7.59	c nbDecision=89500 #constraints=3625
7.59/7.64	c nbDecision=90000 #constraints=3635
7.69/7.71	c nbDecision=90500 #constraints=3646
7.69/7.77	c nbDecision=91000 #constraints=3656
7.79/7.83	c nbDecision=91500 #constraints=3664
7.89/7.91	c nbDecision=92000 #constraints=3679
7.89/7.97	c nbDecision=92500 #constraints=3691
7.98/8.02	c nbDecision=93000 #constraints=3702
8.08/8.10	c nbDecision=93500 #constraints=3718
8.08/8.19	c nbDecision=94000 #constraints=3735
8.18/8.28	c nbDecision=94500 #constraints=3751
8.28/8.38	c nbDecision=95000 #constraints=3771
8.38/8.45	c nbDecision=95500 #constraints=3785
8.48/8.50	c nbDecision=96000 #constraints=3797
8.48/8.55	c nbDecision=96500 #constraints=3808
8.58/8.61	c nbDecision=97000 #constraints=3824
8.58/8.67	c nbDecision=97500 #constraints=3841
8.69/8.75	c nbDecision=98000 #constraints=3856
8.79/8.80	c nbDecision=98500 #constraints=3867
8.79/8.87	c nbDecision=99000 #constraints=3879
8.88/8.92	c nbDecision=99500 #constraints=3890
8.88/8.98	c nbDecision=100000 #constraints=3901
8.98/9.07	c nbDecision=100500 #constraints=3917
9.08/9.17	c nbDecision=101000 #constraints=3939
9.18/9.26	c nbDecision=101500 #constraints=3956
9.28/9.35	c nbDecision=102000 #constraints=3974
9.38/9.40	c restart after 102401 decisions
9.38/9.45	c nbDecision=102500 #constraints=3983
9.48/9.50	c nbDecision=103000 #constraints=3983
9.48/9.56	c nbDecision=103500 #constraints=3998
9.59/9.63	c nbDecision=104000 #constraints=4009
9.69/9.70	c nbDecision=104500 #constraints=4026
9.69/9.77	c nbDecision=105000 #constraints=4043
9.79/9.86	c nbDecision=105500 #constraints=4063
9.89/9.97	c nbDecision=106000 #constraints=4084
9.99/10.06	c nbDecision=106500 #constraints=4104
10.09/10.12	c nbDecision=107000 #constraints=4112
10.19/10.20	c nbDecision=107500 #constraints=4130
10.19/10.27	c nbDecision=108000 #constraints=4142
10.29/10.36	c nbDecision=108500 #constraints=4156
10.39/10.42	c nbDecision=109000 #constraints=4166
10.49/10.50	c nbDecision=109500 #constraints=4181
10.49/10.56	c nbDecision=110000 #constraints=4190
10.59/10.63	c nbDecision=110500 #constraints=4201
10.69/10.71	c nbDecision=111000 #constraints=4216
10.69/10.78	c nbDecision=111500 #constraints=4230
10.79/10.86	c nbDecision=112000 #constraints=4244
10.89/10.93	c nbDecision=112500 #constraints=4256
10.89/10.99	c nbDecision=113000 #constraints=4266
10.99/11.07	c nbDecision=113500 #constraints=4280
11.09/11.16	c nbDecision=114000 #constraints=4297
11.19/11.27	c nbDecision=114500 #constraints=4321
11.39/11.40	c nbDecision=115000 #constraints=4350
11.49/11.51	c nbDecision=115500 #constraints=4371
11.49/11.57	c nbDecision=116000 #constraints=4379
11.59/11.64	c nbDecision=116500 #constraints=4396
11.69/11.70	c nbDecision=117000 #constraints=4408
11.69/11.77	c nbDecision=117500 #constraints=4421
11.79/11.87	c nbDecision=118000 #constraints=4438
11.89/11.96	c nbDecision=118500 #constraints=4454
11.99/12.06	c nbDecision=119000 #constraints=4471
12.09/12.19	c nbDecision=119500 #constraints=4492
12.29/12.30	c nbDecision=120000 #constraints=4509
12.29/12.38	c nbDecision=120500 #constraints=4521
12.39/12.47	c nbDecision=121000 #constraints=4533
12.49/12.58	c nbDecision=121500 #constraints=4550
12.59/12.66	c nbDecision=122000 #constraints=4561
12.69/12.78	c nbDecision=122500 #constraints=4578
12.79/12.90	c nbDecision=123000 #constraints=4595
12.99/13.04	c nbDecision=123500 #constraints=4617
13.09/13.17	c nbDecision=124000 #constraints=4636
13.29/13.31	c nbDecision=124500 #constraints=4660
13.29/13.38	c nbDecision=125000 #constraints=4672
13.39/13.49	c nbDecision=125500 #constraints=4689
13.49/13.59	c nbDecision=126000 #constraints=4704
13.69/13.70	c nbDecision=126500 #constraints=4718
13.69/13.78	c nbDecision=127000 #constraints=4731
13.79/13.87	c nbDecision=127500 #constraints=4743
13.89/13.96	c nbDecision=128000 #constraints=4755
13.99/14.02	c nbDecision=128500 #constraints=4765
14.09/14.10	c nbDecision=129000 #constraints=4775
14.09/14.18	c nbDecision=129500 #constraints=4793
14.19/14.27	c nbDecision=130000 #constraints=4809
14.29/14.37	c nbDecision=130500 #constraints=4825
14.39/14.47	c nbDecision=131000 #constraints=4838
14.48/14.56	c nbDecision=131500 #constraints=4850
14.58/14.65	c nbDecision=132000 #constraints=4863
14.68/14.78	c nbDecision=132500 #constraints=4883
14.88/14.91	c nbDecision=133000 #constraints=4903
14.98/15.01	c nbDecision=133500 #constraints=4915
15.08/15.14	c nbDecision=134000 #constraints=4935
15.18/15.26	c nbDecision=134500 #constraints=4952
15.29/15.38	c nbDecision=135000 #constraints=4970
15.48/15.50	c nbDecision=135500 #constraints=4987
15.58/15.61	c nbDecision=136000 #constraints=5003
15.68/15.72	c nbDecision=136500 #constraints=5019
15.78/15.81	c nbDecision=137000 #constraints=5031
15.88/15.90	c nbDecision=137500 #constraints=5042
15.98/16.00	c nbDecision=138000 #constraints=5055
16.08/16.12	c nbDecision=138500 #constraints=5072
16.18/16.28	c nbDecision=139000 #constraints=5096
16.28/16.39	c nbDecision=139500 #constraints=5113
16.49/16.52	c nbDecision=140000 #constraints=5131
16.58/16.63	c nbDecision=140500 #constraints=5147
16.68/16.75	c nbDecision=141000 #constraints=5161
16.78/16.86	c nbDecision=141500 #constraints=5176
16.98/17.03	c nbDecision=142000 #constraints=5203
17.08/17.14	c nbDecision=142500 #constraints=5222
17.18/17.28	c nbDecision=143000 #constraints=5245
17.38/17.44	c nbDecision=143500 #constraints=5268
17.48/17.60	c nbDecision=144000 #constraints=5296
17.68/17.75	c nbDecision=144500 #constraints=5319
17.78/17.84	c nbDecision=145000 #constraints=5330
17.88/17.95	c nbDecision=145500 #constraints=5351
17.98/18.03	c nbDecision=146000 #constraints=5364
18.08/18.16	c nbDecision=146500 #constraints=5384
18.18/18.26	c nbDecision=147000 #constraints=5397
18.28/18.38	c nbDecision=147500 #constraints=5413
18.48/18.52	c nbDecision=148000 #constraints=5433
18.58/18.61	c nbDecision=148500 #constraints=5443
18.68/18.75	c nbDecision=149000 #constraints=5464
18.78/18.85	c nbDecision=149500 #constraints=5476
18.88/18.94	c nbDecision=150000 #constraints=5487
18.98/19.05	c nbDecision=150500 #constraints=5502
19.09/19.14	c nbDecision=151000 #constraints=5513
19.19/19.29	c nbDecision=151500 #constraints=5535
19.39/19.40	c nbDecision=152000 #constraints=5551
19.49/19.55	c nbDecision=152500 #constraints=5569
19.69/19.74	c nbDecision=153000 #constraints=5595
19.79/19.87	c nbDecision=153500 #constraints=5612
19.99/20.01	c nbDecision=154000 #constraints=5631
20.09/20.13	c nbDecision=154500 #constraints=5646
20.19/20.24	c nbDecision=155000 #constraints=5661
20.29/20.39	c nbDecision=155500 #constraints=5683
20.49/20.58	c nbDecision=156000 #constraints=5709
20.69/20.74	c nbDecision=156500 #constraints=5732
20.79/20.88	c nbDecision=157000 #constraints=5750
20.99/21.01	c nbDecision=157500 #constraints=5767
21.09/21.14	c nbDecision=158000 #constraints=5784
21.19/21.27	c nbDecision=158500 #constraints=5800
21.29/21.39	c nbDecision=159000 #constraints=5815
21.49/21.50	c nbDecision=159500 #constraints=5828
21.59/21.64	c nbDecision=160000 #constraints=5847
21.69/21.75	c nbDecision=160500 #constraints=5858
21.79/21.87	c nbDecision=161000 #constraints=5874
21.89/21.98	c nbDecision=161500 #constraints=5889
22.09/22.11	c nbDecision=162000 #constraints=5902
22.09/22.19	c nbDecision=162500 #constraints=5907
22.29/22.31	c nbDecision=163000 #constraints=5922
22.39/22.49	c nbDecision=163500 #constraints=5948
22.59/22.64	c nbDecision=164000 #constraints=5970
22.69/22.78	c nbDecision=164500 #constraints=5986
22.89/22.93	c nbDecision=165000 #constraints=6002
22.99/23.08	c nbDecision=165500 #constraints=6020
23.19/23.20	c nbDecision=166000 #constraints=6037
23.29/23.33	c nbDecision=166500 #constraints=6054
23.39/23.47	c nbDecision=167000 #constraints=6073
23.59/23.61	c nbDecision=167500 #constraints=6095
23.69/23.78	c nbDecision=168000 #constraints=6117
23.89/23.91	c nbDecision=168500 #constraints=6133
23.99/24.04	c nbDecision=169000 #constraints=6152
24.19/24.23	c nbDecision=169500 #constraints=6179
24.39/24.41	c nbDecision=170000 #constraints=6203
24.49/24.59	c nbDecision=170500 #constraints=6228
24.79/24.82	c nbDecision=171000 #constraints=6259
24.89/24.99	c nbDecision=171500 #constraints=6279
25.09/25.17	c nbDecision=172000 #constraints=6301
25.29/25.37	c nbDecision=172500 #constraints=6326
25.49/25.52	c nbDecision=173000 #constraints=6347
25.69/25.73	c nbDecision=173500 #constraints=6374
25.89/25.91	c nbDecision=174000 #constraints=6397
25.99/26.03	c nbDecision=174500 #constraints=6414
26.09/26.15	c nbDecision=175000 #constraints=6428
26.19/26.29	c nbDecision=175500 #constraints=6446
26.39/26.43	c nbDecision=176000 #constraints=6464
26.58/26.62	c nbDecision=176500 #constraints=6488
26.68/26.79	c nbDecision=177000 #constraints=6509
26.88/26.93	c nbDecision=177500 #constraints=6527
26.98/27.07	c nbDecision=178000 #constraints=6546
27.08/27.19	c nbDecision=178500 #constraints=6564
27.28/27.34	c nbDecision=179000 #constraints=6589
27.39/27.48	c nbDecision=179500 #constraints=6609
27.68/27.71	c nbDecision=180000 #constraints=6640
27.88/27.91	c nbDecision=180500 #constraints=6666
27.98/28.08	c nbDecision=181000 #constraints=6688
28.18/28.27	c nbDecision=181500 #constraints=6713
28.38/28.45	c nbDecision=182000 #constraints=6737
28.58/28.64	c nbDecision=182500 #constraints=6764
28.68/28.78	c nbDecision=183000 #constraints=6778
28.88/28.94	c nbDecision=183500 #constraints=6796
29.08/29.10	c nbDecision=184000 #constraints=6819
29.18/29.27	c nbDecision=184500 #constraints=6843
29.38/29.44	c nbDecision=185000 #constraints=6862
29.58/29.62	c nbDecision=185500 #constraints=6882
29.68/29.79	c nbDecision=186000 #constraints=6907
29.88/29.93	c nbDecision=186500 #constraints=6922
29.98/30.05	c nbDecision=187000 #constraints=6938
30.08/30.17	c nbDecision=187500 #constraints=6952
30.38/30.43	c nbDecision=188000 #constraints=6988
30.58/30.61	c nbDecision=188500 #constraints=7009
30.68/30.79	c nbDecision=189000 #constraints=7032
30.88/30.97	c nbDecision=189500 #constraints=7053
31.08/31.12	c nbDecision=190000 #constraints=7073
31.18/31.29	c nbDecision=190500 #constraints=7093
31.38/31.44	c nbDecision=191000 #constraints=7114
31.48/31.57	c nbDecision=191500 #constraints=7130
31.58/31.67	c nbDecision=192000 #constraints=7141
31.78/31.83	c nbDecision=192500 #constraints=7162
31.98/32.02	c nbDecision=193000 #constraints=7185
32.18/32.22	c nbDecision=193500 #constraints=7212
32.38/32.46	c nbDecision=194000 #constraints=7246
32.58/32.67	c nbDecision=194500 #constraints=7277
32.88/32.90	c nbDecision=195000 #constraints=7310
32.98/33.04	c nbDecision=195500 #constraints=7329
33.08/33.17	c nbDecision=196000 #constraints=7345
33.18/33.24	c nbDecision=196500 #constraints=7354
33.47/33.53	c nbDecision=197000 #constraints=7394
33.57/33.68	c nbDecision=197500 #constraints=7419
33.78/33.87	c nbDecision=198000 #constraints=7442
33.88/33.93	c nbDecision=198500 #constraints=7451
34.18/34.27	c nbDecision=199000 #constraints=7502
34.48/34.52	c nbDecision=199500 #constraints=7538
34.68/34.72	c nbDecision=200000 #constraints=7567
34.78/34.81	c nbDecision=200500 #constraints=7579
35.09/35.14	c nbDecision=201000 #constraints=7595
35.28/35.30	c nbDecision=201500 #constraints=7602
35.38/35.48	c nbDecision=202000 #constraints=7610
35.58/35.66	c nbDecision=202500 #constraints=7619
35.78/35.83	c nbDecision=203000 #constraints=7628
35.98/36.01	c nbDecision=203500 #constraints=7637
36.08/36.19	c nbDecision=204000 #constraints=7650
36.28/36.36	c nbDecision=204500 #constraints=7661
36.38/36.49	c restart after 204801 decisions
36.58/36.65	c nbDecision=205000 #constraints=7669
36.68/36.78	c nbDecision=205500 #constraints=7670
36.98/37.01	c nbDecision=206000 #constraints=7688
37.08/37.19	c nbDecision=206500 #constraints=7702
37.38/37.44	c nbDecision=207000 #constraints=7722
37.58/37.66	c nbDecision=207500 #constraints=7743
37.78/37.88	c nbDecision=208000 #constraints=7762
37.98/38.08	c nbDecision=208500 #constraints=7776
38.18/38.30	c nbDecision=209000 #constraints=7788
38.48/38.54	c nbDecision=209500 #constraints=7804
38.98/39.09	c nbDecision=210000 #constraints=7829
39.18/39.30	c nbDecision=210500 #constraints=7840
39.68/39.73	c nbDecision=211000 #constraints=7860
39.98/40.06	c nbDecision=211500 #constraints=7878
40.38/40.42	c nbDecision=212000 #constraints=7898
40.68/40.79	c nbDecision=212500 #constraints=7916
40.98/41.08	c nbDecision=213000 #constraints=7931
41.28/41.30	c nbDecision=213500 #constraints=7941
41.58/41.63	c nbDecision=214000 #constraints=7958
41.88/41.90	c nbDecision=214500 #constraints=7972
42.08/42.13	c nbDecision=215000 #constraints=7982
42.48/42.57	c nbDecision=215500 #constraints=8002
42.78/42.86	c nbDecision=216000 #constraints=8017
42.98/43.07	c nbDecision=216500 #constraints=8027
43.58/43.60	c nbDecision=217000 #constraints=8051
44.58/44.64	c nbDecision=217500 #constraints=8096
44.78/44.89	c nbDecision=218000 #constraints=8109
45.08/45.14	c nbDecision=218500 #constraints=8122
46.18/46.23	c nbDecision=219000 #constraints=8170
46.57/46.69	c nbDecision=219500 #constraints=8196
46.87/46.92	c nbDecision=220000 #constraints=8207
47.37/47.49	c nbDecision=220500 #constraints=8233
48.28/48.36	c nbDecision=221000 #constraints=8273
48.57/48.63	c nbDecision=221500 #constraints=8289
48.77/48.84	c nbDecision=222000 #constraints=8299
49.27/49.36	c nbDecision=222500 #constraints=8325
49.67/49.73	c nbDecision=223000 #constraints=8354
49.87/49.93	c nbDecision=223500 #constraints=8369
50.27/50.32	c nbDecision=224000 #constraints=8387
51.17/51.25	c nbDecision=224500 #constraints=8426
52.07/52.15	c nbDecision=225000 #constraints=8464
53.37/53.44	c nbDecision=225500 #constraints=8521
53.67/53.75	c nbDecision=226000 #constraints=8545
54.17/54.27	c nbDecision=226500 #constraints=8570
55.17/55.20	c nbDecision=227000 #constraints=8608
56.07/56.15	c nbDecision=227500 #constraints=8647
56.97/57.10	c nbDecision=228000 #constraints=8685
58.07/58.14	c nbDecision=228500 #constraints=8730
59.07/59.10	c nbDecision=229000 #constraints=8771
60.17/60.24	c nbDecision=229500 #constraints=8822
60.37/60.48	c nbDecision=230000 #constraints=8838
60.77/60.87	c nbDecision=230500 #constraints=8864
61.07/61.11	c nbDecision=231000 #constraints=8879
61.87/61.97	c nbDecision=231500 #constraints=8918
62.68/62.73	c nbDecision=232000 #constraints=8948
63.37/63.41	c nbDecision=232500 #constraints=8974
64.17/64.25	c nbDecision=233000 #constraints=9010
65.17/65.25	c nbDecision=233500 #constraints=9054
65.97/66.06	c nbDecision=234000 #constraints=9088
66.57/66.68	c nbDecision=234500 #constraints=9115
67.07/67.11	c nbDecision=235000 #constraints=9143
67.57/67.67	c nbDecision=235500 #constraints=9168
68.67/68.74	c nbDecision=236000 #constraints=9208
70.07/70.19	c nbDecision=236500 #constraints=9265
71.37/71.40	c nbDecision=237000 #constraints=9316
72.17/72.22	c nbDecision=237500 #constraints=9350
73.36/73.49	c nbDecision=238000 #constraints=9400
74.36/74.42	c nbDecision=238500 #constraints=9438
75.36/75.42	c nbDecision=239000 #constraints=9477
76.46/76.59	c nbDecision=239500 #constraints=9525
77.36/77.45	c nbDecision=240000 #constraints=9561
78.06/78.15	c nbDecision=240500 #constraints=9590
79.16/79.24	c nbDecision=241000 #constraints=9637
79.66/79.77	c nbDecision=241500 #constraints=9656
80.46/80.56	c nbDecision=242000 #constraints=9689
81.26/81.33	c nbDecision=242500 #constraints=9720
81.56/81.64	c nbDecision=243000 #constraints=9731
82.16/82.22	c nbDecision=243500 #constraints=9754
82.76/82.80	c nbDecision=244000 #constraints=9775
83.35/83.44	c nbDecision=244500 #constraints=9802
83.86/83.94	c nbDecision=245000 #constraints=9824
84.15/84.29	c nbDecision=245500 #constraints=9838
84.66/84.72	c nbDecision=246000 #constraints=9856
85.15/85.25	c nbDecision=246500 #constraints=9879
85.76/85.83	c nbDecision=247000 #constraints=9903
86.45/86.55	c nbDecision=247500 #constraints=9934
86.95/87.03	c nbDecision=248000 #constraints=9956
87.25/87.31	c nbDecision=248500 #constraints=9967
87.55/87.68	c nbDecision=249000 #constraints=9984
87.96/88.00	c nbDecision=249500 #constraints=10000
88.26/88.32	c nbDecision=250000 #constraints=10015
88.76/88.89	c nbDecision=250500 #constraints=10029
89.26/89.30	c nbDecision=251000 #constraints=10042
89.66/89.74	c nbDecision=251500 #constraints=10055
90.16/90.27	c nbDecision=252000 #constraints=10070
90.66/90.74	c nbDecision=252500 #constraints=10085
91.06/91.18	c nbDecision=253000 #constraints=10099
91.66/91.70	c nbDecision=253500 #constraints=10118
91.96/92.04	c nbDecision=254000 #constraints=10129
92.36/92.41	c nbDecision=254500 #constraints=10139
92.66/92.74	c nbDecision=255000 #constraints=10147
93.16/93.27	c nbDecision=255500 #constraints=10159
93.66/93.70	c nbDecision=256000 #constraints=10168
93.96/94.09	c nbDecision=256500 #constraints=10175
94.46/94.56	c nbDecision=257000 #constraints=10186
94.95/95.09	c nbDecision=257500 #constraints=10199
95.66/95.73	c nbDecision=258000 #constraints=10216
96.76/96.87	c nbDecision=258500 #constraints=10244
97.25/97.38	c nbDecision=259000 #constraints=10256
98.15/98.23	c nbDecision=259500 #constraints=10281
98.25/98.38	c nbDecision=260000 #constraints=10286
99.15/99.27	c nbDecision=260500 #constraints=10300
99.65/99.72	c nbDecision=261000 #constraints=10310
100.45/100.59	c nbDecision=261500 #constraints=10327
101.16/101.26	c nbDecision=262000 #constraints=10344
101.75/101.83	c nbDecision=262500 #constraints=10358
102.35/102.47	c nbDecision=263000 #constraints=10369
102.75/102.86	c nbDecision=263500 #constraints=10379
103.65/103.71	c nbDecision=264000 #constraints=10397
104.15/104.30	c nbDecision=264500 #constraints=10413
104.95/105.07	c nbDecision=265000 #constraints=10431
105.45/105.55	c nbDecision=265500 #constraints=10443
106.25/106.32	c nbDecision=266000 #constraints=10461
106.45/106.59	c nbDecision=266500 #constraints=10469
107.45/107.52	c nbDecision=267000 #constraints=10485
108.75/108.89	c nbDecision=267500 #constraints=10507
109.55/109.68	c nbDecision=268000 #constraints=10521
110.44/110.51	c nbDecision=268500 #constraints=10542
110.85/110.95	c nbDecision=269000 #constraints=10557
111.25/111.34	c nbDecision=269500 #constraints=10570
111.65/111.78	c nbDecision=270000 #constraints=10584
112.15/112.22	c nbDecision=270500 #constraints=10604
112.85/112.90	c nbDecision=271000 #constraints=10621
113.15/113.24	c nbDecision=271500 #constraints=10634
113.45/113.58	c nbDecision=272000 #constraints=10646
113.75/113.83	c nbDecision=272500 #constraints=10656
114.15/114.23	c nbDecision=273000 #constraints=10670
114.35/114.43	c nbDecision=273500 #constraints=10677
115.05/115.12	c nbDecision=274000 #constraints=10696
115.55/115.61	c nbDecision=274500 #constraints=10708
115.95/116.04	c nbDecision=275000 #constraints=10718
116.35/116.44	c nbDecision=275500 #constraints=10726
116.75/116.89	c nbDecision=276000 #constraints=10742
117.15/117.26	c nbDecision=276500 #constraints=10758
117.45/117.56	c nbDecision=277000 #constraints=10768
117.95/118.04	c nbDecision=277500 #constraints=10790
118.25/118.37	c nbDecision=278000 #constraints=10801
118.95/119.07	c nbDecision=278500 #constraints=10817
119.35/119.47	c nbDecision=279000 #constraints=10828
119.95/120.01	c nbDecision=279500 #constraints=10840
120.45/120.58	c nbDecision=280000 #constraints=10852
120.95/121.04	c nbDecision=280500 #constraints=10865
121.25/121.38	c nbDecision=281000 #constraints=10872
121.75/121.84	c nbDecision=281500 #constraints=10884
122.25/122.31	c nbDecision=282000 #constraints=10896
122.65/122.73	c nbDecision=282500 #constraints=10906
122.94/123.10	c nbDecision=283000 #constraints=10915
123.54/123.60	c nbDecision=283500 #constraints=10927
123.94/124.08	c nbDecision=284000 #constraints=10940
124.45/124.57	c nbDecision=284500 #constraints=10951
125.04/125.13	c nbDecision=285000 #constraints=10966
125.54/125.68	c nbDecision=285500 #constraints=10981
126.24/126.31	c nbDecision=286000 #constraints=10997
126.94/127.01	c nbDecision=286500 #constraints=11015
127.64/127.75	c nbDecision=287000 #constraints=11034
128.44/128.53	c nbDecision=287500 #constraints=11053
128.74/128.86	c nbDecision=288000 #constraints=11063
129.34/129.42	c nbDecision=288500 #constraints=11081
130.24/130.33	c nbDecision=289000 #constraints=11097
130.84/130.93	c nbDecision=289500 #constraints=11108
131.54/131.62	c nbDecision=290000 #constraints=11121
131.94/132.02	c nbDecision=290500 #constraints=11136
132.44/132.57	c nbDecision=291000 #constraints=11149
133.13/133.22	c nbDecision=291500 #constraints=11164
133.63/133.76	c nbDecision=292000 #constraints=11174
134.33/134.46	c nbDecision=292500 #constraints=11187
134.74/134.86	c nbDecision=293000 #constraints=11199
135.14/135.20	c nbDecision=293500 #constraints=11207
135.63/135.80	c nbDecision=294000 #constraints=11220
136.24/136.36	c nbDecision=294500 #constraints=11232
137.13/137.20	c nbDecision=295000 #constraints=11252
137.93/138.02	c nbDecision=295500 #constraints=11269
138.43/138.57	c nbDecision=296000 #constraints=11280
139.33/139.45	c nbDecision=296500 #constraints=11298
139.73/139.89	c nbDecision=297000 #constraints=11312
140.33/140.43	c nbDecision=297500 #constraints=11329
141.33/141.42	c nbDecision=298000 #constraints=11347
142.23/142.30	c nbDecision=298500 #constraints=11360
142.93/143.02	c nbDecision=299000 #constraints=11372
143.73/143.80	c nbDecision=299500 #constraints=11386
144.73/144.84	c nbDecision=300000 #constraints=11401
145.53/145.62	c nbDecision=300500 #constraints=11415
146.13/146.25	c nbDecision=301000 #constraints=11427
146.83/146.94	c nbDecision=301500 #constraints=11440
148.13/148.29	c nbDecision=302000 #constraints=11460
149.03/149.18	c nbDecision=302500 #constraints=11476
149.63/149.78	c nbDecision=303000 #constraints=11484
150.54/150.66	c nbDecision=303500 #constraints=11498
151.43/151.52	c nbDecision=304000 #constraints=11511
151.74/151.86	c nbDecision=304500 #constraints=11519
152.23/152.30	c nbDecision=305000 #constraints=11529
152.74/152.82	c nbDecision=305500 #constraints=11539
153.13/153.26	c nbDecision=306000 #constraints=11550
153.63/153.72	c nbDecision=306500 #constraints=11563
154.13/154.24	c nbDecision=307000 #constraints=11573
154.83/154.91	c nbDecision=307500 #constraints=11585
155.23/155.39	c nbDecision=308000 #constraints=11591
155.63/155.72	c nbDecision=308500 #constraints=11596
156.53/156.60	c nbDecision=309000 #constraints=11610
157.03/157.10	c nbDecision=309500 #constraints=11619
157.43/157.53	c nbDecision=310000 #constraints=11629
157.93/158.05	c nbDecision=310500 #constraints=11639
158.53/158.64	c nbDecision=311000 #constraints=11649
158.93/159.02	c nbDecision=311500 #constraints=11659
159.73/159.81	c nbDecision=312000 #constraints=11674
160.13/160.28	c nbDecision=312500 #constraints=11684
160.63/160.71	c nbDecision=313000 #constraints=11693
161.43/161.52	c nbDecision=313500 #constraints=11706
161.83/161.94	c nbDecision=314000 #constraints=11712
162.53/162.70	c nbDecision=314500 #constraints=11724
163.03/163.19	c nbDecision=315000 #constraints=11731
163.73/163.86	c nbDecision=315500 #constraints=11740
164.42/164.56	c nbDecision=316000 #constraints=11751
164.93/165.04	c nbDecision=316500 #constraints=11762
165.32/165.49	c nbDecision=317000 #constraints=11773
165.72/165.87	c nbDecision=317500 #constraints=11779
166.42/166.58	c nbDecision=318000 #constraints=11795
167.02/167.14	c nbDecision=318500 #constraints=11806
167.92/168.01	c nbDecision=319000 #constraints=11826
168.42/168.56	c nbDecision=319500 #constraints=11839
169.42/169.56	c nbDecision=320000 #constraints=11857
170.12/170.26	c nbDecision=320500 #constraints=11870
170.32/170.40	c nbDecision=321000 #constraints=11874
171.52/171.69	c nbDecision=321500 #constraints=11897
172.12/172.25	c nbDecision=322000 #constraints=11913
172.62/172.74	c nbDecision=322500 #constraints=11928
173.11/173.27	c nbDecision=323000 #constraints=11945
173.62/173.78	c nbDecision=323500 #constraints=11959
174.01/174.16	c nbDecision=324000 #constraints=11969
174.51/174.69	c nbDecision=324500 #constraints=11983
175.11/175.22	c nbDecision=325000 #constraints=11998
175.61/175.74	c nbDecision=325500 #constraints=12011
176.01/176.14	c nbDecision=326000 #constraints=12021
176.92/177.05	c nbDecision=326500 #constraints=12041
177.61/177.73	c nbDecision=327000 #constraints=12055
178.41/178.57	c nbDecision=327500 #constraints=12072
179.41/179.53	c nbDecision=328000 #constraints=12094
180.21/180.31	c nbDecision=328500 #constraints=12111
181.21/181.35	c nbDecision=329000 #constraints=12137
182.01/182.12	c nbDecision=329500 #constraints=12157
182.62/182.79	c nbDecision=330000 #constraints=12171
183.32/183.44	c nbDecision=330500 #constraints=12186
183.92/184.03	c nbDecision=331000 #constraints=12197
184.32/184.42	c nbDecision=331500 #constraints=12204
185.02/185.15	c nbDecision=332000 #constraints=12221
185.62/185.79	c nbDecision=332500 #constraints=12240
186.22/186.39	c nbDecision=333000 #constraints=12255
186.72/186.81	c nbDecision=333500 #constraints=12265
187.22/187.38	c nbDecision=334000 #constraints=12281
187.72/187.80	c nbDecision=334500 #constraints=12290
188.12/188.27	c nbDecision=335000 #constraints=12302
188.82/188.94	c nbDecision=335500 #constraints=12318
189.22/189.39	c nbDecision=336000 #constraints=12330
189.92/190.02	c nbDecision=336500 #constraints=12346
190.32/190.46	c nbDecision=337000 #constraints=12357
190.71/190.90	c nbDecision=337500 #constraints=12368
191.22/191.33	c nbDecision=338000 #constraints=12378
191.61/191.73	c nbDecision=338500 #constraints=12387
192.01/192.15	c nbDecision=339000 #constraints=12397
192.61/192.71	c nbDecision=339500 #constraints=12411
193.01/193.19	c nbDecision=340000 #constraints=12424
193.81/193.98	c nbDecision=340500 #constraints=12446
194.31/194.40	c nbDecision=341000 #constraints=12456
194.91/195.08	c nbDecision=341500 #constraints=12475
195.51/195.67	c nbDecision=342000 #constraints=12493
196.01/196.11	c nbDecision=342500 #constraints=12504
196.41/196.59	c nbDecision=343000 #constraints=12517
197.01/197.18	c nbDecision=343500 #constraints=12532
197.61/197.75	c nbDecision=344000 #constraints=12547
198.21/198.37	c nbDecision=344500 #constraints=12563
198.91/199.04	c nbDecision=345000 #constraints=12581
199.71/199.82	c nbDecision=345500 #constraints=12602
200.41/200.57	c nbDecision=346000 #constraints=12622
201.11/201.23	c nbDecision=346500 #constraints=12640
201.71/201.80	c nbDecision=347000 #constraints=12654
202.41/202.59	c nbDecision=347500 #constraints=12675
203.01/203.10	c nbDecision=348000 #constraints=12686
203.81/203.94	c nbDecision=348500 #constraints=12701
204.51/204.60	c nbDecision=349000 #constraints=12714
205.40/205.54	c nbDecision=349500 #constraints=12730
206.00/206.18	c nbDecision=350000 #constraints=12742
206.90/207.00	c nbDecision=350500 #constraints=12757
207.51/207.61	c nbDecision=351000 #constraints=12769
208.31/208.40	c nbDecision=351500 #constraints=12784
209.41/209.58	c nbDecision=352000 #constraints=12805
210.61/210.71	c nbDecision=352500 #constraints=12827
211.41/211.58	c nbDecision=353000 #constraints=12845
212.30/212.44	c nbDecision=353500 #constraints=12862
213.31/213.44	c nbDecision=354000 #constraints=12879
214.50/214.66	c nbDecision=354500 #constraints=12906
215.30/215.41	c nbDecision=355000 #constraints=12921
216.10/216.22	c nbDecision=355500 #constraints=12937
216.90/217.07	c nbDecision=356000 #constraints=12955
218.20/218.32	c nbDecision=356500 #constraints=12982
219.10/219.25	c nbDecision=357000 #constraints=13001
220.40/220.51	c nbDecision=357500 #constraints=13023
221.80/221.93	c nbDecision=358000 #constraints=13055
223.30/223.49	c nbDecision=358500 #constraints=13091
224.60/224.78	c nbDecision=359000 #constraints=13120
225.50/225.68	c nbDecision=359500 #constraints=13139
227.00/227.20	c nbDecision=360000 #constraints=13163
228.60/228.79	c nbDecision=360500 #constraints=13185
229.60/229.75	c nbDecision=361000 #constraints=13201
230.70/230.89	c nbDecision=361500 #constraints=13217
231.79/231.98	c nbDecision=362000 #constraints=13233
233.19/233.31	c nbDecision=362500 #constraints=13252
234.49/234.62	c nbDecision=363000 #constraints=13272
235.89/236.09	c nbDecision=363500 #constraints=13292
237.29/237.42	c nbDecision=364000 #constraints=13314
238.09/238.26	c nbDecision=364500 #constraints=13327
239.39/239.52	c nbDecision=365000 #constraints=13346
240.19/240.34	c nbDecision=365500 #constraints=13362
242.10/242.20	c nbDecision=366000 #constraints=13396
243.40/243.50	c nbDecision=366500 #constraints=13417
244.49/244.65	c nbDecision=367000 #constraints=13438
245.79/245.95	c nbDecision=367500 #constraints=13460
246.89/247.07	c nbDecision=368000 #constraints=13483
247.89/248.04	c nbDecision=368500 #constraints=13506
248.79/248.94	c nbDecision=369000 #constraints=13526
249.89/250.08	c nbDecision=369500 #constraints=13553
250.99/251.12	c nbDecision=370000 #constraints=13572
251.99/252.12	c nbDecision=370500 #constraints=13589
253.09/253.26	c nbDecision=371000 #constraints=13609
254.29/254.44	c nbDecision=371500 #constraints=13630
255.19/255.32	c nbDecision=372000 #constraints=13646
255.99/256.17	c nbDecision=372500 #constraints=13661
257.19/257.31	c nbDecision=373000 #constraints=13680
258.49/258.63	c nbDecision=373500 #constraints=13703
260.09/260.28	c nbDecision=374000 #constraints=13728
261.39/261.52	c nbDecision=374500 #constraints=13749
262.48/262.63	c nbDecision=375000 #constraints=13766
264.08/264.21	c nbDecision=375500 #constraints=13793
265.08/265.21	c nbDecision=376000 #constraints=13809
266.38/266.54	c nbDecision=376500 #constraints=13828
267.98/268.13	c nbDecision=377000 #constraints=13853
269.28/269.47	c nbDecision=377500 #constraints=13872
270.88/271.03	c nbDecision=378000 #constraints=13898
272.78/272.93	c nbDecision=378500 #constraints=13929
274.08/274.22	c nbDecision=379000 #constraints=13948
276.27/276.41	c nbDecision=379500 #constraints=13976
279.29/279.42	c nbDecision=380000 #constraints=14021
280.78/280.95	c nbDecision=380500 #constraints=14057
281.98/282.14	c nbDecision=381000 #constraints=14089
283.08/283.27	c nbDecision=381500 #constraints=14123
283.88/284.05	c nbDecision=382000 #constraints=14153
284.78/284.96	c nbDecision=382500 #constraints=14180
285.38/285.53	c nbDecision=383000 #constraints=14200
285.98/286.12	c nbDecision=383500 #constraints=14222
286.38/286.53	c nbDecision=384000 #constraints=14236
287.38/287.53	c nbDecision=384500 #constraints=14261
288.08/288.24	c nbDecision=385000 #constraints=14285
288.67/288.86	c nbDecision=385500 #constraints=14302
289.27/289.49	c nbDecision=386000 #constraints=14323
289.87/290.07	c nbDecision=386500 #constraints=14344
290.37/290.52	c nbDecision=387000 #constraints=14363
290.57/290.74	c nbDecision=387500 #constraints=14371
293.17/293.36	c nbDecision=388000 #constraints=14406
296.27/296.45	c nbDecision=388500 #constraints=14445
299.77/299.92	c nbDecision=389000 #constraints=14493
301.57/301.75	c nbDecision=389500 #constraints=14525
301.97/302.18	c nbDecision=390000 #constraints=14541
302.67/302.85	c nbDecision=390500 #constraints=14555
303.37/303.51	c nbDecision=391000 #constraints=14565
303.86/304.04	c nbDecision=391500 #constraints=14572
304.36/304.59	c nbDecision=392000 #constraints=14579
305.16/305.31	c nbDecision=392500 #constraints=14594
305.76/305.90	c nbDecision=393000 #constraints=14610
306.06/306.27	c nbDecision=393500 #constraints=14622
306.56/306.79	c nbDecision=394000 #constraints=14634
307.17/307.36	c nbDecision=394500 #constraints=14648
307.66/307.85	c nbDecision=395000 #constraints=14660
308.16/308.40	c nbDecision=395500 #constraints=14673
308.76/308.94	c nbDecision=396000 #constraints=14685
309.46/309.68	c nbDecision=396500 #constraints=14700
309.86/310.06	c nbDecision=397000 #constraints=14705
310.97/311.19	c nbDecision=397500 #constraints=14729
311.47/311.60	c nbDecision=398000 #constraints=14739
311.97/312.13	c nbDecision=398500 #constraints=14750
312.47/312.63	c nbDecision=399000 #constraints=14761
312.87/313.10	c nbDecision=399500 #constraints=14771
313.57/313.72	c nbDecision=400000 #constraints=14786
314.57/314.73	c nbDecision=400500 #constraints=14812
315.17/315.37	c nbDecision=401000 #constraints=14828
315.77/315.96	c nbDecision=401500 #constraints=14843
317.37/317.51	c nbDecision=402000 #constraints=14879
318.17/318.35	c nbDecision=402500 #constraints=14899
318.87/319.03	c nbDecision=403000 #constraints=14914
319.36/319.54	c nbDecision=403500 #constraints=14926
320.06/320.22	c nbDecision=404000 #constraints=14946
320.76/320.96	c nbDecision=404500 #constraints=14970
321.36/321.58	c nbDecision=405000 #constraints=14989
321.86/322.09	c nbDecision=405500 #constraints=15004
322.66/322.84	c nbDecision=406000 #constraints=15025
323.46/323.61	c nbDecision=406500 #constraints=15051
323.96/324.13	c nbDecision=407000 #constraints=15067
324.86/325.03	c nbDecision=407500 #constraints=15094
325.46/325.68	c nbDecision=408000 #constraints=15109
326.56/326.70	c nbDecision=408500 #constraints=15131
327.06/327.28	c nbDecision=409000 #constraints=15143
327.76/327.97	c nbDecision=409500 #constraints=15159
327.85/328.07	c restart after 409601 decisions
328.36/328.50	c nbDecision=410000 #constraints=15161
328.86/329.01	c nbDecision=410500 #constraints=15165
329.16/329.37	c nbDecision=411000 #constraints=15170
330.96/331.15	c nbDecision=411500 #constraints=15202
331.46/331.62	c nbDecision=412000 #constraints=15212
332.46/332.63	c nbDecision=412500 #constraints=15237
332.96/333.20	c nbDecision=413000 #constraints=15249
333.56/333.75	c nbDecision=413500 #constraints=15260
334.06/334.24	c nbDecision=414000 #constraints=15270
334.96/335.11	c nbDecision=414500 #constraints=15286
335.56/335.79	c nbDecision=415000 #constraints=15298
336.26/336.49	c nbDecision=415500 #constraints=15311
337.26/337.42	c nbDecision=416000 #constraints=15329
338.26/338.41	c nbDecision=416500 #constraints=15351
339.06/339.23	c nbDecision=417000 #constraints=15369
339.96/340.16	c nbDecision=417500 #constraints=15385
340.56/340.79	c nbDecision=418000 #constraints=15398
341.35/341.54	c nbDecision=418500 #constraints=15413
342.35/342.58	c nbDecision=419000 #constraints=15432
343.15/343.36	c nbDecision=419500 #constraints=15445
344.16/344.33	c nbDecision=420000 #constraints=15461
345.26/345.46	c nbDecision=420500 #constraints=15483
345.95/346.14	c nbDecision=421000 #constraints=15496
346.75/346.90	c nbDecision=421500 #constraints=15509
347.85/348.03	c nbDecision=422000 #constraints=15529
348.85/349.01	c nbDecision=422500 #constraints=15547
349.85/350.02	c nbDecision=423000 #constraints=15568
351.55/351.79	c nbDecision=423500 #constraints=15594
353.75/353.96	c nbDecision=424000 #constraints=15633
354.45/354.69	c nbDecision=424500 #constraints=15649
354.95/355.11	c nbDecision=425000 #constraints=15656
355.35/355.58	c nbDecision=425500 #constraints=15664
357.65/357.88	c nbDecision=426000 #constraints=15694
358.15/358.38	c nbDecision=426500 #constraints=15704
359.15/359.39	c nbDecision=427000 #constraints=15723
359.95/360.10	c nbDecision=427500 #constraints=15742
360.45/360.68	c nbDecision=428000 #constraints=15757
361.14/361.34	c nbDecision=428500 #constraints=15776
361.75/361.95	c nbDecision=429000 #constraints=15791
362.44/362.62	c nbDecision=429500 #constraints=15810
362.94/363.15	c nbDecision=430000 #constraints=15822
363.64/363.82	c nbDecision=430500 #constraints=15841
364.34/364.51	c nbDecision=431000 #constraints=15860
364.95/365.15	c nbDecision=431500 #constraints=15877
365.54/365.70	c nbDecision=432000 #constraints=15891
366.34/366.56	c nbDecision=432500 #constraints=15915
367.04/367.26	c nbDecision=433000 #constraints=15933
367.74/367.96	c nbDecision=433500 #constraints=15946
368.44/368.63	c nbDecision=434000 #constraints=15959
369.24/369.43	c nbDecision=434500 #constraints=15973
369.74/369.99	c nbDecision=435000 #constraints=15986
370.94/371.17	c nbDecision=435500 #constraints=16003
371.84/372.05	c nbDecision=436000 #constraints=16017
372.64/372.85	c nbDecision=436500 #constraints=16036
373.14/373.38	c nbDecision=437000 #constraints=16049
374.14/374.39	c nbDecision=437500 #constraints=16067
375.14/375.34	c nbDecision=438000 #constraints=16083
376.04/376.25	c nbDecision=438500 #constraints=16099
377.14/377.30	c nbDecision=439000 #constraints=16115
377.84/378.08	c nbDecision=439500 #constraints=16126
378.84/379.00	c nbDecision=440000 #constraints=16137
379.74/379.93	c nbDecision=440500 #constraints=16151
380.53/380.75	c nbDecision=441000 #constraints=16163
381.63/381.83	c nbDecision=441500 #constraints=16177
382.33/382.57	c nbDecision=442000 #constraints=16186
384.43/384.68	c nbDecision=442500 #constraints=16214
385.53/385.76	c nbDecision=443000 #constraints=16229
386.13/386.36	c nbDecision=443500 #constraints=16236
386.93/387.18	c nbDecision=444000 #constraints=16246
387.93/388.14	c nbDecision=444500 #constraints=16258
390.84/391.03	c nbDecision=445000 #constraints=16303
391.94/392.10	c nbDecision=445500 #constraints=16329
392.74/392.97	c nbDecision=446000 #constraints=16350
393.44/393.69	c nbDecision=446500 #constraints=16371
394.43/394.68	c nbDecision=447000 #constraints=16395
395.13/395.35	c nbDecision=447500 #constraints=16409
395.84/396.03	c nbDecision=448000 #constraints=16425
396.63/396.80	c nbDecision=448500 #constraints=16445
397.53/397.76	c nbDecision=449000 #constraints=16467
398.23/398.47	c nbDecision=449500 #constraints=16483
399.04/399.28	c nbDecision=450000 #constraints=16496
400.13/400.36	c nbDecision=450500 #constraints=16519
401.23/401.46	c nbDecision=451000 #constraints=16546
403.13/403.39	c nbDecision=451500 #constraints=16579
406.63/406.83	c nbDecision=452000 #constraints=16634
407.23/407.41	c nbDecision=452500 #constraints=16649
407.73/407.95	c nbDecision=453000 #constraints=16659
408.43/408.64	c nbDecision=453500 #constraints=16675
409.03/409.21	c nbDecision=454000 #constraints=16686
409.53/409.79	c nbDecision=454500 #constraints=16699
410.33/410.55	c nbDecision=455000 #constraints=16713
411.03/411.25	c nbDecision=455500 #constraints=16732
411.73/411.98	c nbDecision=456000 #constraints=16750
412.43/412.66	c nbDecision=456500 #constraints=16766
413.02/413.26	c nbDecision=457000 #constraints=16779
413.72/413.94	c nbDecision=457500 #constraints=16795
414.22/414.41	c nbDecision=458000 #constraints=16806
415.02/415.30	c nbDecision=458500 #constraints=16827
415.72/415.93	c nbDecision=459000 #constraints=16842
416.32/416.57	c nbDecision=459500 #constraints=16855
417.02/417.26	c nbDecision=460000 #constraints=16868
417.73/417.98	c nbDecision=460500 #constraints=16880
418.93/419.14	c nbDecision=461000 #constraints=16893
420.52/420.74	c nbDecision=461500 #constraints=16919
421.03/421.20	c nbDecision=462000 #constraints=16930
424.12/424.33	c nbDecision=462500 #constraints=16972
425.02/425.27	c nbDecision=463000 #constraints=16991
425.92/426.15	c nbDecision=463500 #constraints=17012
426.42/426.70	c nbDecision=464000 #constraints=17027
427.02/427.28	c nbDecision=464500 #constraints=17042
427.72/427.97	c nbDecision=465000 #constraints=17059
428.52/428.71	c nbDecision=465500 #constraints=17075
428.92/429.16	c nbDecision=466000 #constraints=17087
430.41/430.63	c nbDecision=466500 #constraints=17122
431.41/431.60	c nbDecision=467000 #constraints=17148
432.12/432.36	c nbDecision=467500 #constraints=17166
433.42/433.66	c nbDecision=468000 #constraints=17204
434.33/434.54	c nbDecision=468500 #constraints=17227
435.52/435.76	c nbDecision=469000 #constraints=17260
437.02/437.28	c nbDecision=469500 #constraints=17296
438.32/438.59	c nbDecision=470000 #constraints=17331
439.62/439.86	c nbDecision=470500 #constraints=17362
440.52/440.78	c nbDecision=471000 #constraints=17388
441.72/441.97	c nbDecision=471500 #constraints=17422
442.82/443.03	c nbDecision=472000 #constraints=17447
443.62/443.80	c nbDecision=472500 #constraints=17469
444.12/444.38	c nbDecision=473000 #constraints=17481
445.02/445.28	c nbDecision=473500 #constraints=17501
445.92/446.17	c nbDecision=474000 #constraints=17521
446.82/447.06	c nbDecision=474500 #constraints=17541
447.42/447.67	c nbDecision=475000 #constraints=17555
448.21/448.42	c nbDecision=475500 #constraints=17574
448.91/449.17	c nbDecision=476000 #constraints=17593
449.72/449.92	c nbDecision=476500 #constraints=17613
450.41/450.68	c nbDecision=477000 #constraints=17633
451.41/451.60	c nbDecision=477500 #constraints=17659
452.21/452.46	c nbDecision=478000 #constraints=17681
453.01/453.20	c nbDecision=478500 #constraints=17700
453.71/453.91	c nbDecision=479000 #constraints=17716
454.11/454.38	c nbDecision=479500 #constraints=17728
454.81/455.03	c nbDecision=480000 #constraints=17745
455.61/455.88	c nbDecision=480500 #constraints=17761
456.51/456.80	c nbDecision=481000 #constraints=17780
457.51/457.72	c nbDecision=481500 #constraints=17805
458.11/458.40	c nbDecision=482000 #constraints=17818
459.01/459.23	c nbDecision=482500 #constraints=17838
459.71/459.98	c nbDecision=483000 #constraints=17856
460.41/460.69	c nbDecision=483500 #constraints=17871
461.10/461.34	c nbDecision=484000 #constraints=17884
461.81/462.08	c nbDecision=484500 #constraints=17898
462.60/462.84	c nbDecision=485000 #constraints=17911
463.40/463.65	c nbDecision=485500 #constraints=17928
464.30/464.50	c nbDecision=486000 #constraints=17947
465.11/465.32	c nbDecision=486500 #constraints=17964
465.60/465.86	c nbDecision=487000 #constraints=17974
466.21/466.42	c nbDecision=487500 #constraints=17984
466.90/467.11	c nbDecision=488000 #constraints=17999
467.50/467.79	c nbDecision=488500 #constraints=18012
468.30/468.59	c nbDecision=489000 #constraints=18028
469.00/469.29	c nbDecision=489500 #constraints=18040
469.80/470.04	c nbDecision=490000 #constraints=18058
470.41/470.60	c nbDecision=490500 #constraints=18072
471.41/471.64	c nbDecision=491000 #constraints=18090
472.61/472.90	c nbDecision=491500 #constraints=18110
473.91/474.17	c nbDecision=492000 #constraints=18127
475.30/475.56	c nbDecision=492500 #constraints=18150
475.80/476.09	c nbDecision=493000 #constraints=18162
476.70/476.92	c nbDecision=493500 #constraints=18174
478.21/478.50	c nbDecision=494000 #constraints=18197
479.70/479.96	c nbDecision=494500 #constraints=18215
481.00/481.23	c nbDecision=495000 #constraints=18231
482.10/482.33	c nbDecision=495500 #constraints=18247
483.30/483.59	c nbDecision=496000 #constraints=18267
484.10/484.40	c nbDecision=496500 #constraints=18279
485.30/485.54	c nbDecision=497000 #constraints=18298
486.00/486.22	c nbDecision=497500 #constraints=18306
486.80/487.05	c nbDecision=498000 #constraints=18317
487.70/487.92	c nbDecision=498500 #constraints=18331
488.30/488.58	c nbDecision=499000 #constraints=18343
489.50/489.76	c nbDecision=499500 #constraints=18358
491.59/491.89	c nbDecision=500000 #constraints=18391
492.19/492.41	c nbDecision=500500 #constraints=18403
493.19/493.44	c nbDecision=501000 #constraints=18419
493.60/493.89	c nbDecision=501500 #constraints=18429
494.39/494.68	c nbDecision=502000 #constraints=18444
495.69/495.94	c nbDecision=502500 #constraints=18465
496.79/497.09	c nbDecision=503000 #constraints=18487
498.99/499.24	c nbDecision=503500 #constraints=18513
499.49/499.72	c nbDecision=504000 #constraints=18522
500.69/500.95	c nbDecision=504500 #constraints=18546
501.29/501.52	c nbDecision=505000 #constraints=18558
502.09/502.37	c nbDecision=505500 #constraints=18579
502.69/502.91	c nbDecision=506000 #constraints=18589
504.29/504.55	c nbDecision=506500 #constraints=18620
504.89/505.17	c nbDecision=507000 #constraints=18633
506.29/506.55	c nbDecision=507500 #constraints=18658
507.09/507.33	c nbDecision=508000 #constraints=18679
507.69/507.93	c nbDecision=508500 #constraints=18691
508.79/509.00	c nbDecision=509000 #constraints=18712
509.89/510.15	c nbDecision=509500 #constraints=18738
510.49/510.78	c nbDecision=510000 #constraints=18751
511.19/511.45	c nbDecision=510500 #constraints=18766
512.48/512.75	c nbDecision=511000 #constraints=18788
514.18/514.41	c nbDecision=511500 #constraints=18821
515.08/515.39	c nbDecision=512000 #constraints=18840
516.58/516.90	c nbDecision=512500 #constraints=18882
517.58/517.87	c nbDecision=513000 #constraints=18910
518.98/519.23	c nbDecision=513500 #constraints=18942
519.98/520.27	c nbDecision=514000 #constraints=18970
521.18/521.41	c nbDecision=514500 #constraints=19000
522.28/522.54	c nbDecision=515000 #constraints=19030
523.18/523.49	c nbDecision=515500 #constraints=19056
524.08/524.34	c nbDecision=516000 #constraints=19078
524.78/525.06	c nbDecision=516500 #constraints=19097
525.68/525.91	c nbDecision=517000 #constraints=19125
526.48/526.80	c nbDecision=517500 #constraints=19157
527.69/527.93	c nbDecision=518000 #constraints=19195
528.89/529.18	c nbDecision=518500 #constraints=19226
530.08/530.37	c nbDecision=519000 #constraints=19264
530.79/531.04	c nbDecision=519500 #constraints=19279
531.28/531.52	c nbDecision=520000 #constraints=19290
531.48/531.73	c nbDecision=520500 #constraints=19296
531.68/531.91	c nbDecision=521000 #constraints=19302
532.38/532.69	c nbDecision=521500 #constraints=19317
533.08/533.39	c nbDecision=522000 #constraints=19327
534.08/534.36	c nbDecision=522500 #constraints=19345
535.08/535.31	c nbDecision=523000 #constraints=19364
535.88/536.19	c nbDecision=523500 #constraints=19379
536.78/537.09	c nbDecision=524000 #constraints=19394
537.88/538.11	c nbDecision=524500 #constraints=19412
538.68/538.98	c nbDecision=525000 #constraints=19428
539.58/539.86	c nbDecision=525500 #constraints=19441
540.28/540.56	c nbDecision=526000 #constraints=19450
541.08/541.30	c nbDecision=526500 #constraints=19462
541.88/542.13	c nbDecision=527000 #constraints=19476
542.68/542.97	c nbDecision=527500 #constraints=19490
543.38/543.66	c nbDecision=528000 #constraints=19502
544.18/544.47	c nbDecision=528500 #constraints=19515
545.48/545.78	c nbDecision=529000 #constraints=19534
546.38/546.68	c nbDecision=529500 #constraints=19549
547.58/547.80	c nbDecision=530000 #constraints=19565
549.38/549.63	c nbDecision=530500 #constraints=19594
550.67/550.95	c nbDecision=531000 #constraints=19614
551.88/552.19	c nbDecision=531500 #constraints=19631
553.57/553.83	c nbDecision=532000 #constraints=19651
554.77/555.07	c nbDecision=532500 #constraints=19666
555.77/556.01	c nbDecision=533000 #constraints=19681
557.17/557.43	c nbDecision=533500 #constraints=19706
558.47/558.77	c nbDecision=534000 #constraints=19730
559.57/559.80	c nbDecision=534500 #constraints=19749
560.57/560.87	c nbDecision=535000 #constraints=19768
561.97/562.29	c nbDecision=535500 #constraints=19795
563.37/563.69	c nbDecision=536000 #constraints=19822
564.46/564.77	c nbDecision=536500 #constraints=19839
565.76/566.03	c nbDecision=537000 #constraints=19863
567.16/567.41	c nbDecision=537500 #constraints=19890
568.26/568.59	c nbDecision=538000 #constraints=19909
569.76/570.05	c nbDecision=538500 #constraints=19937
571.16/571.47	c nbDecision=539000 #constraints=19962
572.76/573.07	c nbDecision=539500 #constraints=19992
574.26/574.53	c nbDecision=540000 #constraints=20023
575.16/575.43	c nbDecision=540500 #constraints=20043
576.46/576.76	c nbDecision=541000 #constraints=20067
577.76/578.08	c nbDecision=541500 #constraints=20091
579.46/579.74	c nbDecision=542000 #constraints=20120
580.56/580.89	c nbDecision=542500 #constraints=20144
581.66/581.93	c nbDecision=543000 #constraints=20161
582.85/583.14	c nbDecision=543500 #constraints=20182
585.35/585.68	c nbDecision=544000 #constraints=20234
586.45/586.76	c nbDecision=544500 #constraints=20252
588.06/588.35	c nbDecision=545000 #constraints=20275
588.96/589.29	c nbDecision=545500 #constraints=20291
590.16/590.40	c nbDecision=546000 #constraints=20312
591.16/591.42	c nbDecision=546500 #constraints=20330
592.16/592.44	c nbDecision=547000 #constraints=20348
593.26/593.50	c nbDecision=547500 #constraints=20366
593.86/594.12	c nbDecision=548000 #constraints=20374
594.66/595.00	c nbDecision=548500 #constraints=20387
595.65/595.99	c nbDecision=549000 #constraints=20402
596.65/596.98	c nbDecision=549500 #constraints=20416
597.35/597.68	c nbDecision=550000 #constraints=20430
598.45/598.78	c nbDecision=550500 #constraints=20447
599.75/600.05	c nbDecision=551000 #constraints=20472
601.15/601.49	c nbDecision=551500 #constraints=20499
602.15/602.42	c nbDecision=552000 #constraints=20519
603.55/603.86	c nbDecision=552500 #constraints=20537
604.75/605.01	c nbDecision=553000 #constraints=20559
606.35/606.67	c nbDecision=553500 #constraints=20589
607.35/607.60	c nbDecision=554000 #constraints=20600
608.65/608.91	c nbDecision=554500 #constraints=20615
610.34/610.61	c nbDecision=555000 #constraints=20640
612.14/612.46	c nbDecision=555500 #constraints=20663
613.55/613.86	c nbDecision=556000 #constraints=20679
615.04/615.39	c nbDecision=556500 #constraints=20696
616.34/616.68	c nbDecision=557000 #constraints=20712
617.95/618.24	c nbDecision=557500 #constraints=20730
620.44/620.76	c nbDecision=558000 #constraints=20758
622.25/622.59	c nbDecision=558500 #constraints=20782
624.34/624.61	c nbDecision=559000 #constraints=20805
626.04/626.34	c nbDecision=559500 #constraints=20824
628.54/628.81	c nbDecision=560000 #constraints=20849
630.14/630.47	c nbDecision=560500 #constraints=20865
630.94/631.27	c nbDecision=561000 #constraints=20875
631.93/632.27	c nbDecision=561500 #constraints=20887
632.73/633.06	c nbDecision=562000 #constraints=20898
633.53/633.85	c nbDecision=562500 #constraints=20908
635.23/635.56	c nbDecision=563000 #constraints=20924
637.23/637.52	c nbDecision=563500 #constraints=20944
639.33/639.68	c nbDecision=564000 #constraints=20968
640.33/640.68	c nbDecision=564500 #constraints=20984
641.14/641.41	c nbDecision=565000 #constraints=20994
642.04/642.30	c nbDecision=565500 #constraints=21006
644.14/644.43	c nbDecision=566000 #constraints=21029
645.44/645.72	c nbDecision=566500 #constraints=21047
646.44/646.72	c nbDecision=567000 #constraints=21061
647.44/647.79	c nbDecision=567500 #constraints=21074
648.83/649.10	c nbDecision=568000 #constraints=21097
650.03/650.31	c nbDecision=568500 #constraints=21114
651.33/651.63	c nbDecision=569000 #constraints=21132
652.93/653.30	c nbDecision=569500 #constraints=21151
655.73/656.08	c nbDecision=570000 #constraints=21182
658.13/658.42	c nbDecision=570500 #constraints=21205
659.93/660.24	c nbDecision=571000 #constraints=21226
661.73/662.07	c nbDecision=571500 #constraints=21248
663.73/664.02	c nbDecision=572000 #constraints=21272
665.33/665.61	c nbDecision=572500 #constraints=21291
667.53/667.80	c nbDecision=573000 #constraints=21321
669.53/669.86	c nbDecision=573500 #constraints=21348
671.62/671.91	c nbDecision=574000 #constraints=21372
673.82/674.15	c nbDecision=574500 #constraints=21398
675.62/675.96	c nbDecision=575000 #constraints=21422
677.32/677.68	c nbDecision=575500 #constraints=21442
678.82/679.13	c nbDecision=576000 #constraints=21459
680.02/680.37	c nbDecision=576500 #constraints=21473
681.92/682.27	c nbDecision=577000 #constraints=21496
683.22/683.53	c nbDecision=577500 #constraints=21514
685.02/685.31	c nbDecision=578000 #constraints=21537
687.22/687.52	c nbDecision=578500 #constraints=21563
688.92/689.21	c nbDecision=579000 #constraints=21585
690.31/690.66	c nbDecision=579500 #constraints=21603
692.11/692.41	c nbDecision=580000 #constraints=21630
694.01/694.34	c nbDecision=580500 #constraints=21654
696.11/696.43	c nbDecision=581000 #constraints=21680
698.11/698.47	c nbDecision=581500 #constraints=21703
700.31/700.61	c nbDecision=582000 #constraints=21732
701.71/702.00	c nbDecision=582500 #constraints=21750
702.61/702.93	c nbDecision=583000 #constraints=21765
703.52/703.85	c nbDecision=583500 #constraints=21779
704.82/705.12	c nbDecision=584000 #constraints=21799
706.21/706.55	c nbDecision=584500 #constraints=21820
707.91/708.28	c nbDecision=585000 #constraints=21837
709.61/709.97	c nbDecision=585500 #constraints=21855
710.61/710.92	c nbDecision=586000 #constraints=21870
711.71/712.04	c nbDecision=586500 #constraints=21885
713.31/713.61	c nbDecision=587000 #constraints=21907
715.01/715.31	c nbDecision=587500 #constraints=21929
716.81/717.10	c nbDecision=588000 #constraints=21950
718.91/719.29	c nbDecision=588500 #constraints=21975
720.31/720.62	c nbDecision=589000 #constraints=21991
721.61/721.98	c nbDecision=589500 #constraints=22009
723.11/723.43	c nbDecision=590000 #constraints=22026
726.40/726.79	c nbDecision=590500 #constraints=22056
727.50/727.86	c nbDecision=591000 #constraints=22073
728.50/728.83	c nbDecision=591500 #constraints=22084
729.30/729.64	c nbDecision=592000 #constraints=22095
730.30/730.66	c nbDecision=592500 #constraints=22111
731.40/731.74	c nbDecision=593000 #constraints=22122
733.10/733.44	c nbDecision=593500 #constraints=22140
734.00/734.34	c nbDecision=594000 #constraints=22152
735.00/735.34	c nbDecision=594500 #constraints=22162
736.50/736.80	c nbDecision=595000 #constraints=22177
737.30/737.61	c nbDecision=595500 #constraints=22187
738.70/739.05	c nbDecision=596000 #constraints=22202
739.90/740.28	c nbDecision=596500 #constraints=22216
740.90/741.23	c nbDecision=597000 #constraints=22232
742.10/742.44	c nbDecision=597500 #constraints=22247
743.40/743.72	c nbDecision=598000 #constraints=22265
745.00/745.36	c nbDecision=598500 #constraints=22287
747.09/747.41	c nbDecision=599000 #constraints=22313
748.49/748.80	c nbDecision=599500 #constraints=22328
749.90/750.21	c nbDecision=600000 #constraints=22344
751.59/751.96	c nbDecision=600500 #constraints=22360
753.20/753.52	c nbDecision=601000 #constraints=22377
755.39/755.75	c nbDecision=601500 #constraints=22399
757.49/757.90	c nbDecision=602000 #constraints=22418
759.59/759.95	c nbDecision=602500 #constraints=22435
760.89/761.22	c nbDecision=603000 #constraints=22447
762.29/762.68	c nbDecision=603500 #constraints=22469
764.29/764.66	c nbDecision=604000 #constraints=22495
765.38/765.74	c nbDecision=604500 #constraints=22511
769.39/769.70	c nbDecision=605000 #constraints=22551
771.49/771.89	c nbDecision=605500 #constraints=22584
773.19/773.59	c nbDecision=606000 #constraints=22610
774.99/775.34	c nbDecision=606500 #constraints=22633
777.09/777.40	c nbDecision=607000 #constraints=22666
779.09/779.46	c nbDecision=607500 #constraints=22690
780.89/781.28	c nbDecision=608000 #constraints=22710
782.69/783.06	c nbDecision=608500 #constraints=22732
785.29/785.62	c nbDecision=609000 #constraints=22758
787.68/788.06	c nbDecision=609500 #constraints=22791
790.28/790.61	c nbDecision=610000 #constraints=22828
792.88/793.25	c nbDecision=610500 #constraints=22859
795.08/795.42	c nbDecision=611000 #constraints=22887
797.38/797.78	c nbDecision=611500 #constraints=22923
799.18/799.51	c nbDecision=612000 #constraints=22940
800.68/801.08	c nbDecision=612500 #constraints=22959
802.58/802.99	c nbDecision=613000 #constraints=22984
804.38/804.73	c nbDecision=613500 #constraints=23006
806.47/806.83	c nbDecision=614000 #constraints=23033
808.18/808.58	c nbDecision=614500 #constraints=23056
815.07/815.49	c nbDecision=615000 #constraints=23121
817.37/817.76	c nbDecision=615500 #constraints=23159
818.17/818.57	c nbDecision=616000 #constraints=23177
819.17/819.56	c nbDecision=616500 #constraints=23199
820.07/820.48	c nbDecision=617000 #constraints=23220
821.37/821.77	c nbDecision=617500 #constraints=23251
821.97/822.31	c nbDecision=618000 #constraints=23261
822.27/822.69	c nbDecision=618500 #constraints=23269
822.67/823.02	c nbDecision=619000 #constraints=23277
823.67/824.00	c nbDecision=619500 #constraints=23290
824.76/825.19	c nbDecision=620000 #constraints=23304
825.86/826.21	c nbDecision=620500 #constraints=23315
826.77/827.19	c nbDecision=621000 #constraints=23329
829.06/829.43	c nbDecision=621500 #constraints=23351
830.06/830.41	c nbDecision=622000 #constraints=23362
831.16/831.58	c nbDecision=622500 #constraints=23374
832.06/832.48	c nbDecision=623000 #constraints=23385
832.77/833.18	c nbDecision=623500 #constraints=23395
833.57/833.90	c nbDecision=624000 #constraints=23405
834.27/834.69	c nbDecision=624500 #constraints=23415
835.57/835.93	c nbDecision=625000 #constraints=23429
836.87/837.27	c nbDecision=625500 #constraints=23444
840.86/841.29	c nbDecision=626000 #constraints=23483
847.36/847.73	c nbDecision=626500 #constraints=23540
849.76/850.19	c nbDecision=627000 #constraints=23569
851.56/851.93	c nbDecision=627500 #constraints=23591
853.86/854.29	c nbDecision=628000 #constraints=23617
855.36/855.75	c nbDecision=628500 #constraints=23630
856.66/857.06	c nbDecision=629000 #constraints=23646
857.76/858.15	c nbDecision=629500 #constraints=23660
858.85/859.29	c nbDecision=630000 #constraints=23675
860.55/860.96	c nbDecision=630500 #constraints=23697
862.55/862.98	c nbDecision=631000 #constraints=23727
864.55/864.95	c nbDecision=631500 #constraints=23750
866.55/866.97	c nbDecision=632000 #constraints=23774
868.65/869.02	c nbDecision=632500 #constraints=23798
871.05/871.47	c nbDecision=633000 #constraints=23828
873.55/873.91	c nbDecision=633500 #constraints=23850
875.44/875.84	c nbDecision=634000 #constraints=23868
877.04/877.45	c nbDecision=634500 #constraints=23884
879.34/879.77	c nbDecision=635000 #constraints=23910
882.04/882.44	c nbDecision=635500 #constraints=23938
884.05/884.45	c nbDecision=636000 #constraints=23955
886.75/887.15	c nbDecision=636500 #constraints=23975
887.95/888.31	c nbDecision=637000 #constraints=23995
888.85/889.25	c nbDecision=637500 #constraints=24006
889.65/890.06	c nbDecision=638000 #constraints=24017
891.25/891.61	c nbDecision=638500 #constraints=24036
892.55/892.96	c nbDecision=639000 #constraints=24055
893.35/893.77	c nbDecision=639500 #constraints=24064
894.84/895.22	c nbDecision=640000 #constraints=24079
896.15/896.56	c nbDecision=640500 #constraints=24098
897.64/898.00	c nbDecision=641000 #constraints=24116
898.64/899.07	c nbDecision=641500 #constraints=24131
900.14/900.52	c nbDecision=642000 #constraints=24146
901.24/901.64	c nbDecision=642500 #constraints=24160
902.34/902.74	c nbDecision=643000 #constraints=24172
903.85/904.21	c nbDecision=643500 #constraints=24189
904.64/905.02	c nbDecision=644000 #constraints=24202
905.94/906.39	c nbDecision=644500 #constraints=24218
907.34/907.70	c nbDecision=645000 #constraints=24233
908.54/908.99	c nbDecision=645500 #constraints=24256
909.84/910.24	c nbDecision=646000 #constraints=24275
910.83/911.29	c nbDecision=646500 #constraints=24293
912.64/913.07	c nbDecision=647000 #constraints=24319
914.63/915.03	c nbDecision=647500 #constraints=24340
915.94/916.33	c nbDecision=648000 #constraints=24360
917.33/917.78	c nbDecision=648500 #constraints=24382
918.83/919.27	c nbDecision=649000 #constraints=24400
919.83/920.23	c nbDecision=649500 #constraints=24412
921.13/921.59	c nbDecision=650000 #constraints=24429
922.83/923.24	c nbDecision=650500 #constraints=24448
924.03/924.41	c nbDecision=651000 #constraints=24463
925.23/925.67	c nbDecision=651500 #constraints=24482
927.23/927.61	c nbDecision=652000 #constraints=24505
928.83/929.21	c nbDecision=652500 #constraints=24528
930.14/930.56	c nbDecision=653000 #constraints=24544
930.93/931.39	c nbDecision=653500 #constraints=24555
932.13/932.58	c nbDecision=654000 #constraints=24568
933.13/933.60	c nbDecision=654500 #constraints=24584
933.93/934.30	c nbDecision=655000 #constraints=24593
935.33/935.78	c nbDecision=655500 #constraints=24612
937.83/938.21	c nbDecision=656000 #constraints=24638
939.73/940.14	c nbDecision=656500 #constraints=24663
941.43/941.89	c nbDecision=657000 #constraints=24688
943.23/943.61	c nbDecision=657500 #constraints=24711
944.13/944.56	c nbDecision=658000 #constraints=24725
946.03/946.46	c nbDecision=658500 #constraints=24750
947.03/947.42	c nbDecision=659000 #constraints=24765
948.52/949.00	c nbDecision=659500 #constraints=24785
950.12/950.54	c nbDecision=660000 #constraints=24802
951.52/951.92	c nbDecision=660500 #constraints=24820
953.23/953.67	c nbDecision=661000 #constraints=24840
954.82/955.26	c nbDecision=661500 #constraints=24862
956.42/956.82	c nbDecision=662000 #constraints=24883
957.42/957.82	c nbDecision=662500 #constraints=24895
959.02/959.44	c nbDecision=663000 #constraints=24914
960.42/960.83	c nbDecision=663500 #constraints=24932
962.22/962.63	c nbDecision=664000 #constraints=24950
963.41/963.86	c nbDecision=664500 #constraints=24961
965.01/965.41	c nbDecision=665000 #constraints=24976
966.61/967.02	c nbDecision=665500 #constraints=24989
968.62/969.04	c nbDecision=666000 #constraints=25007
969.72/970.16	c nbDecision=666500 #constraints=25020
972.71/973.15	c nbDecision=667000 #constraints=25049
974.91/975.38	c nbDecision=667500 #constraints=25071
976.81/977.20	c nbDecision=668000 #constraints=25086
978.41/978.84	c nbDecision=668500 #constraints=25101
979.51/979.97	c nbDecision=669000 #constraints=25113
981.31/981.73	c nbDecision=669500 #constraints=25130
982.71/983.12	c nbDecision=670000 #constraints=25143
984.12/984.53	c nbDecision=670500 #constraints=25161
985.12/985.59	c nbDecision=671000 #constraints=25176
986.41/986.89	c nbDecision=671500 #constraints=25192
987.71/988.11	c nbDecision=672000 #constraints=25210
988.81/989.29	c nbDecision=672500 #constraints=25229
990.31/990.78	c nbDecision=673000 #constraints=25246
991.31/991.72	c nbDecision=673500 #constraints=25256
992.21/992.64	c nbDecision=674000 #constraints=25268
993.41/993.90	c nbDecision=674500 #constraints=25280
996.31/996.77	c nbDecision=675000 #constraints=25307
998.11/998.51	c nbDecision=675500 #constraints=25324
999.51/999.91	c nbDecision=676000 #constraints=25339
1001.10/1001.52	c nbDecision=676500 #constraints=25355
1003.20/1003.60	c nbDecision=677000 #constraints=25374
1006.20/1006.60	c nbDecision=677500 #constraints=25412
1009.60/1010.01	c nbDecision=678000 #constraints=25453
1011.80/1012.21	c nbDecision=678500 #constraints=25475
1013.40/1013.87	c nbDecision=679000 #constraints=25504
1014.40/1014.87	c nbDecision=679500 #constraints=25515
1017.00/1017.45	c nbDecision=680000 #constraints=25551
1021.50/1021.93	c nbDecision=680500 #constraints=25594
1024.49/1024.97	c nbDecision=681000 #constraints=25630
1027.00/1027.49	c nbDecision=681500 #constraints=25654
1029.29/1029.71	c nbDecision=682000 #constraints=25677
1030.69/1031.19	c nbDecision=682500 #constraints=25693
1032.89/1033.39	c nbDecision=683000 #constraints=25713
1036.99/1037.46	c nbDecision=683500 #constraints=25750
1041.19/1041.61	c nbDecision=684000 #constraints=25786
1045.28/1045.76	c nbDecision=684500 #constraints=25821
1050.59/1051.04	c nbDecision=685000 #constraints=25869
1054.99/1055.45	c nbDecision=685500 #constraints=25906
1059.58/1060.02	c nbDecision=686000 #constraints=25945
1064.48/1064.95	c nbDecision=686500 #constraints=25989
1069.38/1069.87	c nbDecision=687000 #constraints=26032
1074.18/1074.64	c nbDecision=687500 #constraints=26074
1079.78/1080.26	c nbDecision=688000 #constraints=26121
1082.77/1083.29	c nbDecision=688500 #constraints=26146
1086.07/1086.51	c nbDecision=689000 #constraints=26175
1088.57/1089.07	c nbDecision=689500 #constraints=26195
1091.77/1092.25	c nbDecision=690000 #constraints=26230
1094.97/1095.44	c nbDecision=690500 #constraints=26265
1097.67/1098.19	c nbDecision=691000 #constraints=26296
1099.06/1099.50	c nbDecision=691500 #constraints=26311
1100.76/1101.28	c nbDecision=692000 #constraints=26332
1102.56/1103.00	c nbDecision=692500 #constraints=26354
1104.46/1104.97	c nbDecision=693000 #constraints=26380
1105.66/1106.10	c nbDecision=693500 #constraints=26392
1107.17/1107.61	c nbDecision=694000 #constraints=26409
1108.46/1108.94	c nbDecision=694500 #constraints=26424
1110.06/1110.59	c nbDecision=695000 #constraints=26443
1111.36/1111.86	c nbDecision=695500 #constraints=26456
1112.76/1113.26	c nbDecision=696000 #constraints=26471
1114.66/1115.10	c nbDecision=696500 #constraints=26493
1118.76/1119.27	c nbDecision=697000 #constraints=26544
1122.67/1123.13	c nbDecision=697500 #constraints=26590
1127.16/1127.68	c nbDecision=698000 #constraints=26638
1130.36/1130.89	c nbDecision=698500 #constraints=26673
1134.06/1134.53	c nbDecision=699000 #constraints=26716
1138.16/1138.69	c nbDecision=699500 #constraints=26761
1139.66/1140.17	c nbDecision=700000 #constraints=26776
1141.65/1142.18	c nbDecision=700500 #constraints=26794
1143.25/1143.74	c nbDecision=701000 #constraints=26808
1144.75/1145.25	c nbDecision=701500 #constraints=26821
1146.55/1147.05	c nbDecision=702000 #constraints=26837
1148.15/1148.62	c nbDecision=702500 #constraints=26850
1149.65/1150.16	c nbDecision=703000 #constraints=26864
1151.16/1151.62	c nbDecision=703500 #constraints=26877
1152.95/1153.50	c nbDecision=704000 #constraints=26895
1154.15/1154.67	c nbDecision=704500 #constraints=26906
1155.85/1156.38	c nbDecision=705000 #constraints=26922
1157.65/1158.12	c nbDecision=705500 #constraints=26936
1158.65/1159.17	c nbDecision=706000 #constraints=26943
1159.95/1160.46	c nbDecision=706500 #constraints=26954
1162.25/1162.71	c nbDecision=707000 #constraints=26975
1163.35/1163.82	c nbDecision=707500 #constraints=26986
1164.55/1165.03	c nbDecision=708000 #constraints=26996
1165.55/1166.09	c nbDecision=708500 #constraints=27004
1167.24/1167.72	c nbDecision=709000 #constraints=27018
1168.34/1168.89	c nbDecision=709500 #constraints=27029
1170.44/1170.91	c nbDecision=710000 #constraints=27047
1171.84/1172.30	c nbDecision=710500 #constraints=27060
1173.14/1173.66	c nbDecision=711000 #constraints=27072
1176.04/1176.51	c nbDecision=711500 #constraints=27089
1176.64/1177.18	c nbDecision=712000 #constraints=27099
1177.64/1178.19	c nbDecision=712500 #constraints=27118
1178.34/1178.85	c nbDecision=713000 #constraints=27126
1178.84/1179.32	c nbDecision=713500 #constraints=27133
1179.34/1179.89	c nbDecision=714000 #constraints=27146
1180.84/1181.35	c nbDecision=714500 #constraints=27169
1181.34/1181.89	c nbDecision=715000 #constraints=27183
1182.34/1182.80	c nbDecision=715500 #constraints=27199
1183.04/1183.58	c nbDecision=716000 #constraints=27215
1183.84/1184.39	c nbDecision=716500 #constraints=27229
1185.53/1186.05	c nbDecision=717000 #constraints=27246
1187.13/1187.69	c nbDecision=717500 #constraints=27260
1188.73/1189.23	c nbDecision=718000 #constraints=27274
1190.53/1191.09	c nbDecision=718500 #constraints=27292
1192.53/1193.03	c nbDecision=719000 #constraints=27312
1195.23/1195.78	c nbDecision=719500 #constraints=27341
1198.63/1199.19	c nbDecision=720000 #constraints=27377
1202.72/1203.27	c nbDecision=720500 #constraints=27419
1205.63/1206.15	c nbDecision=721000 #constraints=27447
1208.63/1209.17	c nbDecision=721500 #constraints=27488
1212.33/1212.81	c nbDecision=722000 #constraints=27531
1215.33/1215.86	c nbDecision=722500 #constraints=27559
1218.23/1218.79	c nbDecision=723000 #constraints=27593
1220.62/1221.13	c nbDecision=723500 #constraints=27617
1222.02/1222.60	c nbDecision=724000 #constraints=27632
1223.52/1224.03	c nbDecision=724500 #constraints=27648
1224.42/1224.94	c nbDecision=725000 #constraints=27656
1225.52/1226.09	c nbDecision=725500 #constraints=27666
1227.13/1227.61	c nbDecision=726000 #constraints=27683
1228.92/1229.46	c nbDecision=726500 #constraints=27704
1230.22/1230.78	c nbDecision=727000 #constraints=27719
1231.72/1232.21	c nbDecision=727500 #constraints=27734
1233.12/1233.69	c nbDecision=728000 #constraints=27748
1234.52/1235.08	c nbDecision=728500 #constraints=27762
1236.02/1236.60	c nbDecision=729000 #constraints=27776
1237.51/1238.09	c nbDecision=729500 #constraints=27791
1238.81/1239.39	c nbDecision=730000 #constraints=27803
1240.41/1240.91	c nbDecision=730500 #constraints=27817
1242.42/1242.94	c nbDecision=731000 #constraints=27834
1244.21/1244.76	c nbDecision=731500 #constraints=27857
1246.41/1246.94	c nbDecision=732000 #constraints=27881
1248.21/1248.77	c nbDecision=732500 #constraints=27900
1250.01/1250.56	c nbDecision=733000 #constraints=27917
1251.31/1251.88	c nbDecision=733500 #constraints=27933
1253.30/1253.86	c nbDecision=734000 #constraints=27952
1255.00/1255.55	c nbDecision=734500 #constraints=27963
1257.10/1257.61	c nbDecision=735000 #constraints=27983
1258.50/1259.03	c nbDecision=735500 #constraints=27999
1260.40/1260.96	c nbDecision=736000 #constraints=28016
1261.70/1262.23	c nbDecision=736500 #constraints=28028
1264.00/1264.52	c nbDecision=737000 #constraints=28045
1265.10/1265.65	c nbDecision=737500 #constraints=28056
1266.30/1266.90	c nbDecision=738000 #constraints=28067
1267.70/1268.26	c nbDecision=738500 #constraints=28081
1269.20/1269.75	c nbDecision=739000 #constraints=28098
1270.90/1271.42	c nbDecision=739500 #constraints=28115
1273.01/1273.54	c nbDecision=740000 #constraints=28137
1274.81/1275.35	c nbDecision=740500 #constraints=28153
1276.21/1276.72	c nbDecision=741000 #constraints=28169
1277.00/1277.55	c nbDecision=741500 #constraints=28178
1278.20/1278.73	c nbDecision=742000 #constraints=28191
1279.20/1279.75	c nbDecision=742500 #constraints=28204
1280.10/1280.68	c nbDecision=743000 #constraints=28215
1281.80/1282.37	c nbDecision=743500 #constraints=28238
1283.40/1283.95	c nbDecision=744000 #constraints=28261
1284.70/1285.21	c nbDecision=744500 #constraints=28277
1286.60/1287.17	c nbDecision=745000 #constraints=28303
1287.70/1288.25	c nbDecision=745500 #constraints=28316
1289.10/1289.60	c nbDecision=746000 #constraints=28330
1290.40/1290.92	c nbDecision=746500 #constraints=28342
1291.80/1292.36	c nbDecision=747000 #constraints=28355
1293.20/1293.79	c nbDecision=747500 #constraints=28373
1294.90/1295.42	c nbDecision=748000 #constraints=28391
1295.79/1296.32	c nbDecision=748500 #constraints=28399
1296.89/1297.42	c nbDecision=749000 #constraints=28409
1297.79/1298.32	c nbDecision=749500 #constraints=28421
1299.29/1299.80	c nbDecision=750000 #constraints=28439
1301.29/1301.85	c nbDecision=750500 #constraints=28467
1302.90/1303.48	c nbDecision=751000 #constraints=28486
1304.59/1305.12	c nbDecision=751500 #constraints=28506
1306.29/1306.81	c nbDecision=752000 #constraints=28522
1307.29/1307.89	c nbDecision=752500 #constraints=28532
1309.19/1309.79	c nbDecision=753000 #constraints=28553
1310.89/1311.46	c nbDecision=753500 #constraints=28573
1312.58/1313.18	c nbDecision=754000 #constraints=28595
1314.18/1314.72	c nbDecision=754500 #constraints=28609
1315.88/1316.40	c nbDecision=755000 #constraints=28628
1317.08/1317.68	c nbDecision=755500 #constraints=28643
1319.18/1319.73	c nbDecision=756000 #constraints=28669
1320.98/1321.58	c nbDecision=756500 #constraints=28693
1323.38/1323.97	c nbDecision=757000 #constraints=28725
1324.98/1325.59	c nbDecision=757500 #constraints=28745
1326.78/1327.36	c nbDecision=758000 #constraints=28767
1328.98/1329.54	c nbDecision=758500 #constraints=28788
1330.87/1331.45	c nbDecision=759000 #constraints=28808
1333.47/1334.03	c nbDecision=759500 #constraints=28834
1335.27/1335.89	c nbDecision=760000 #constraints=28850
1336.67/1337.24	c nbDecision=760500 #constraints=28864
1338.27/1338.82	c nbDecision=761000 #constraints=28877
1340.17/1340.77	c nbDecision=761500 #constraints=28896
1342.47/1343.05	c nbDecision=762000 #constraints=28920
1344.47/1345.09	c nbDecision=762500 #constraints=28940
1346.67/1347.20	c nbDecision=763000 #constraints=28959
1348.78/1349.36	c nbDecision=763500 #constraints=28976
1350.18/1350.76	c nbDecision=764000 #constraints=28989
1351.77/1352.33	c nbDecision=764500 #constraints=29005
1353.18/1353.76	c nbDecision=765000 #constraints=29019
1355.27/1355.88	c nbDecision=765500 #constraints=29042
1356.87/1357.43	c nbDecision=766000 #constraints=29057
1358.77/1359.30	c nbDecision=766500 #constraints=29072
1361.07/1361.69	c nbDecision=767000 #constraints=29096
1362.97/1363.51	c nbDecision=767500 #constraints=29114
1365.07/1365.61	c nbDecision=768000 #constraints=29133
1366.37/1366.99	c nbDecision=768500 #constraints=29145
1367.77/1368.39	c nbDecision=769000 #constraints=29159
1369.46/1370.03	c nbDecision=769500 #constraints=29172
1371.36/1371.98	c nbDecision=770000 #constraints=29191
1373.27/1373.84	c nbDecision=770500 #constraints=29211
1374.86/1375.43	c nbDecision=771000 #constraints=29226
1376.56/1377.10	c nbDecision=771500 #constraints=29243
1378.77/1379.40	c nbDecision=772000 #constraints=29269
1381.06/1381.62	c nbDecision=772500 #constraints=29295
1382.66/1383.26	c nbDecision=773000 #constraints=29311
1384.76/1385.33	c nbDecision=773500 #constraints=29331
1387.26/1387.80	c nbDecision=774000 #constraints=29356
1389.86/1390.41	c nbDecision=774500 #constraints=29382
1392.35/1392.96	c nbDecision=775000 #constraints=29412
1394.75/1395.36	c nbDecision=775500 #constraints=29435
1396.75/1397.35	c nbDecision=776000 #constraints=29456
1398.85/1399.46	c nbDecision=776500 #constraints=29478
1401.55/1402.12	c nbDecision=777000 #constraints=29501
1403.55/1404.16	c nbDecision=777500 #constraints=29517
1405.65/1406.25	c nbDecision=778000 #constraints=29537
1408.84/1409.46	c nbDecision=778500 #constraints=29567
1411.04/1411.69	c nbDecision=779000 #constraints=29587
1413.85/1414.46	c nbDecision=779500 #constraints=29612
1416.35/1416.91	c nbDecision=780000 #constraints=29634
1418.55/1419.12	c nbDecision=780500 #constraints=29654
1421.95/1422.52	c nbDecision=781000 #constraints=29685
1424.75/1425.36	c nbDecision=781500 #constraints=29713
1427.25/1427.83	c nbDecision=782000 #constraints=29735
1429.84/1430.40	c nbDecision=782500 #constraints=29757
1432.65/1433.23	c nbDecision=783000 #constraints=29786
1435.24/1435.82	c nbDecision=783500 #constraints=29809
1438.14/1438.79	c nbDecision=784000 #constraints=29838
1441.04/1441.61	c nbDecision=784500 #constraints=29870
1443.44/1444.06	c nbDecision=785000 #constraints=29896
1446.33/1446.95	c nbDecision=785500 #constraints=29923
1451.03/1451.67	c nbDecision=786000 #constraints=29968
1454.23/1454.86	c nbDecision=786500 #constraints=29997
1456.43/1457.01	c nbDecision=787000 #constraints=30018
1458.63/1459.28	c nbDecision=787500 #constraints=30040
1461.93/1462.50	c nbDecision=788000 #constraints=30069
1464.83/1465.49	c nbDecision=788500 #constraints=30104
1467.93/1468.54	c nbDecision=789000 #constraints=30137
1469.12/1469.76	c nbDecision=789500 #constraints=30153
1470.13/1470.76	c nbDecision=790000 #constraints=30165
1471.32/1471.97	c nbDecision=790500 #constraints=30182
1472.92/1473.54	c nbDecision=791000 #constraints=30206
1474.22/1474.89	c nbDecision=791500 #constraints=30224
1475.82/1476.47	c nbDecision=792000 #constraints=30246
1477.22/1477.89	c nbDecision=792500 #constraints=30266
1478.02/1478.61	c nbDecision=793000 #constraints=30283
1481.22/1481.85	c nbDecision=793500 #constraints=30312
1483.92/1484.58	c nbDecision=794000 #constraints=30340
1487.12/1487.79	c nbDecision=794500 #constraints=30383
1490.02/1490.67	c nbDecision=795000 #constraints=30414
1493.42/1494.07	c nbDecision=795500 #constraints=30450
1496.22/1496.85	c nbDecision=796000 #constraints=30482
1499.52/1500.12	c nbDecision=796500 #constraints=30523
1502.32/1502.95	c nbDecision=797000 #constraints=30548
1505.62/1506.22	c nbDecision=797500 #constraints=30577
1508.32/1508.97	c nbDecision=798000 #constraints=30600
1511.82/1512.40	c nbDecision=798500 #constraints=30630
1515.51/1516.11	c nbDecision=799000 #constraints=30665
1518.51/1519.16	c nbDecision=799500 #constraints=30697
1522.11/1522.74	c nbDecision=800000 #constraints=30731
1526.01/1526.64	c nbDecision=800500 #constraints=30772
1529.10/1529.76	c nbDecision=801000 #constraints=30803
1531.90/1532.57	c nbDecision=801500 #constraints=30830
1534.10/1534.78	c nbDecision=802000 #constraints=30855
1537.70/1538.39	c nbDecision=802500 #constraints=30887
1541.60/1542.25	c nbDecision=803000 #constraints=30922
1545.20/1545.82	c nbDecision=803500 #constraints=30959
1548.70/1549.39	c nbDecision=804000 #constraints=30994
1553.61/1554.30	c nbDecision=804500 #constraints=31040
1557.20/1557.84	c nbDecision=805000 #constraints=31071
1560.00/1560.67	c nbDecision=805500 #constraints=31099
1563.40/1564.03	c nbDecision=806000 #constraints=31140
1567.50/1568.10	c nbDecision=806500 #constraints=31185
1571.30/1571.99	c nbDecision=807000 #constraints=31221
1575.09/1575.74	c nbDecision=807500 #constraints=31255
1577.59/1578.29	c nbDecision=808000 #constraints=31275
1580.59/1581.28	c nbDecision=808500 #constraints=31298
1582.98/1583.62	c nbDecision=809000 #constraints=31323
1586.18/1586.87	c nbDecision=809500 #constraints=31349
1589.08/1589.71	c nbDecision=810000 #constraints=31370
1591.48/1592.16	c nbDecision=810500 #constraints=31396
1594.88/1595.56	c nbDecision=811000 #constraints=31424
1597.98/1598.64	c nbDecision=811500 #constraints=31448
1600.78/1601.48	c nbDecision=812000 #constraints=31469
1603.58/1604.27	c nbDecision=812500 #constraints=31494
1606.98/1607.66	c nbDecision=813000 #constraints=31523
1610.38/1611.06	c nbDecision=813500 #constraints=31555
1613.88/1614.51	c nbDecision=814000 #constraints=31588
1616.08/1616.72	c nbDecision=814500 #constraints=31611
1618.77/1619.42	c nbDecision=815000 #constraints=31641
1623.07/1623.76	c nbDecision=815500 #constraints=31683
1627.77/1628.49	c nbDecision=816000 #constraints=31724
1630.77/1631.41	c nbDecision=816500 #constraints=31749
1633.47/1634.18	c nbDecision=817000 #constraints=31778
1636.87/1637.54	c nbDecision=817500 #constraints=31812
1640.06/1640.78	c nbDecision=818000 #constraints=31844
1642.86/1643.56	c nbDecision=818500 #constraints=31871
1645.97/1646.68	c nbDecision=819000 #constraints=31902
1647.06/1647.73	c restart after 819201 decisions
1648.16/1648.86	c nbDecision=819500 #constraints=31913
1649.36/1650.03	c nbDecision=820000 #constraints=31919
1653.06/1653.74	c nbDecision=820500 #constraints=31960
1657.75/1658.48	c nbDecision=821000 #constraints=32005
1660.95/1661.69	c nbDecision=821500 #constraints=32037
1665.86/1666.52	c nbDecision=822000 #constraints=32089
1670.96/1671.63	c nbDecision=822500 #constraints=32140
1676.96/1677.61	c nbDecision=823000 #constraints=32198
1679.25/1679.94	c nbDecision=823500 #constraints=32218
1682.05/1682.79	c nbDecision=824000 #constraints=32242
1685.25/1685.98	c nbDecision=824500 #constraints=32266
1688.05/1688.74	c nbDecision=825000 #constraints=32287
1691.35/1692.03	c nbDecision=825500 #constraints=32312
1694.35/1695.04	c nbDecision=826000 #constraints=32334
1697.65/1698.38	c nbDecision=826500 #constraints=32360
1700.54/1701.22	c nbDecision=827000 #constraints=32386
1704.74/1705.48	c nbDecision=827500 #constraints=32418
1711.04/1711.74	c nbDecision=828000 #constraints=32470
1716.24/1716.92	c nbDecision=828500 #constraints=32510
1721.43/1722.15	c nbDecision=829000 #constraints=32556
1724.93/1725.68	c nbDecision=829500 #constraints=32589
1729.33/1730.03	c nbDecision=830000 #constraints=32626
1735.14/1735.87	c nbDecision=830500 #constraints=32678
1740.03/1740.75	c nbDecision=831000 #constraints=32723
1743.43/1744.17	c nbDecision=831500 #constraints=32754
1747.33/1748.02	c nbDecision=832000 #constraints=32789
1752.63/1753.33	c nbDecision=832500 #constraints=32843
1756.32/1757.02	c nbDecision=833000 #constraints=32871
1761.32/1762.09	c nbDecision=833500 #constraints=32917
1764.42/1765.19	c nbDecision=834000 #constraints=32943
1765.92/1766.60	c nbDecision=834500 #constraints=32960
1767.32/1768.01	c nbDecision=835000 #constraints=32977
1768.62/1769.38	c nbDecision=835500 #constraints=32993
1770.32/1771.07	c nbDecision=836000 #constraints=33021
1771.82/1772.55	c nbDecision=836500 #constraints=33033
1773.72/1774.50	c nbDecision=837000 #constraints=33053
1775.51/1776.29	c nbDecision=837500 #constraints=33070
1777.21/1777.97	c nbDecision=838000 #constraints=33088
1779.21/1779.91	c nbDecision=838500 #constraints=33115
1781.01/1781.78	c nbDecision=839000 #constraints=33136
1782.61/1783.31	c nbDecision=839500 #constraints=33155
1784.61/1785.31	c nbDecision=840000 #constraints=33174
1786.62/1787.35	c nbDecision=840500 #constraints=33197
1788.82/1789.56	c nbDecision=841000 #constraints=33224
1790.71/1791.42	c nbDecision=841500 #constraints=33238
1792.32/1793.08	c nbDecision=842000 #constraints=33250
1793.71/1794.45	c nbDecision=842500 #constraints=33262
1796.31/1797.00	c nbDecision=843000 #constraints=33286
1797.61/1798.37	c nbDecision=843500 #constraints=33299
1799.11/1799.80	c nbDecision=844000 #constraints=33314
1800.02/1800.71	Received signal 15
1800.02/1800.79	
1800.02/1800.79	s UNKNOWN
1800.02/1800.79	
1800.02/1800.79	c user time= 1799.72 s
1800.02/1800.79	c system time= 0.384941 s
1800.02/1800.79	c wall clock time=1800.79

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-357440-1176998950 -o ROOT/results/node22/solver-357440-1176998950 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357440-1176998950/instance-357440-1176998950.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 9642
/proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=1468 CPUtime=0
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147812644 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 367 163 131 317 0 46 0

[startup+0.064001 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 9642
/proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=2524 CPUtime=0.06
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 433 0 0 0 6 0 0 0 18 0 1 0 147812644 2584576 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 631 416 131 317 0 310 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2524

[startup+0.102008 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 9642
/proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=3184 CPUtime=0.09
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 147812644 3260416 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 796 586 131 317 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184

[startup+0.301037 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 9642
/proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=4124 CPUtime=0.29
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 831 0 0 0 29 0 0 0 19 0 1 0 147812644 4222976 813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 1031 813 139 317 0 710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4124

[startup+0.701097 s]
/proc/loadavg: 0.92 0.98 0.97 3/77 9642
/proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=4256 CPUtime=0.69
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 896 0 0 0 69 0 0 0 22 0 1 0 147812644 4358144 878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 1064 878 170 317 0 743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4256

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1409720/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=4912 CPUtime=1.49
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1060 0 0 0 149 0 0 0 25 0 1 0 147812644 5029888 1042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 1228 1042 170 317 0 907 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4912

[startup+3.10146 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1408696/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=5976 CPUtime=3.09
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1318 0 0 0 309 0 0 0 25 0 1 0 147812644 6119424 1300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 1494 1300 170 317 0 1173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5976

[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1406904/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=7604 CPUtime=6.29
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1719 0 0 0 628 1 0 0 25 0 1 0 147812644 7786496 1701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 1901 1701 170 317 0 1580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7604

[startup+12.7029 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1403840/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=10548 CPUtime=12.69
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 2425 0 0 0 1267 2 0 0 25 0 1 0 147812644 10801152 2407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 2637 2407 170 317 0 2316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10548

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1399232/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=15008 CPUtime=25.49
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 3518 0 0 0 2546 3 0 0 25 0 1 0 147812644 15368192 3457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 3752 3457 170 317 0 3431 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15008

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1395072/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=19444 CPUtime=51.07
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 4604 0 0 0 5103 4 0 0 25 0 1 0 147812644 19910656 4543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604220 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 4861 4543 170 317 0 4540 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19444

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1390016/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=25004 CPUtime=102.26
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 5863 0 0 0 10220 6 0 0 25 0 1 0 147812644 25604096 5802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 6251 5802 170 317 0 5930 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25004

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1386432/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=28976 CPUtime=162.23
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 6765 0 0 0 16215 8 0 0 25 0 1 0 147812644 29671424 6704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 7244 6704 170 317 0 6923 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28976

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1382592/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=33080 CPUtime=222.2
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 7803 0 0 0 22210 10 0 0 25 0 1 0 147812644 33873920 7656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 8270 7656 170 317 0 7949 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 33080

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1379456/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=36056 CPUtime=282.18
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 8570 0 0 0 28206 12 0 0 25 0 1 0 147812644 36921344 8423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 9014 8423 170 317 0 8693 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 36056

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1376064/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=39372 CPUtime=342.15
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 9399 0 0 0 34201 14 0 0 25 0 1 0 147812644 40316928 9252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 9843 9252 170 317 0 9522 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 39372

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1372992/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=42700 CPUtime=402.13
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 10179 0 0 0 40198 15 0 0 25 0 1 0 147812644 43724800 10032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 10675 10032 170 317 0 10354 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 42700

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1369536/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=45900 CPUtime=462.1
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 11069 0 0 0 46194 16 0 0 25 0 1 0 147812644 47001600 10922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 11475 10922 170 317 0 11154 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 45900

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1366784/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=49780 CPUtime=522.08
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 12155 0 0 0 52191 17 0 0 25 0 1 0 147812644 50974720 11612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 12445 11612 170 317 0 12124 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 49780

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1363328/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=53192 CPUtime=582.05
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 13044 0 0 0 58187 18 0 0 25 0 1 0 147812644 54468608 12468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 13298 12468 170 317 0 12977 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 53192

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1360768/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=55960 CPUtime=642.04
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 13766 0 0 0 64184 20 0 0 25 0 1 0 147812644 57303040 13091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 13990 13091 170 317 0 13669 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 55960


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1350976/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=66852 CPUtime=881.94
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 16453 0 0 0 88171 23 0 0 25 0 1 0 147812644 68456448 15514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 16713 15514 170 317 0 16392 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 66852

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1348672/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=68932 CPUtime=941.93
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 17034 0 0 0 94168 25 0 0 25 0 1 0 147812644 70586368 16095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 17233 16095 170 317 0 16912 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 68932

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1346112/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=72344 CPUtime=1001.9
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 17966 0 0 0 100164 26 0 0 25 0 1 0 147812644 74080256 16692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 18086 16692 170 317 0 17765 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 72344

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1344000/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=74440 CPUtime=1061.88
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 18521 0 0 0 106161 27 0 0 25 0 1 0 147812644 76226560 17247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 18610 17247 170 317 0 18289 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 74440

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1341824/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=76544 CPUtime=1121.86
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 19070 0 0 0 112158 28 0 0 25 0 1 0 147812644 78381056 17796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 19136 17796 170 317 0 18815 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 76544

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1340032/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=78292 CPUtime=1181.84
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 19559 0 0 0 118156 28 0 0 25 0 1 0 147812644 80171008 18252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 19573 18252 170 317 0 19252 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 78292

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1337856/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=80248 CPUtime=1241.81
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 20083 0 0 0 124152 29 0 0 25 0 1 0 147812644 82173952 18776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 20062 18776 170 317 0 19741 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 80248

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9643
/proc/meminfo: memFree=1335872/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=81928 CPUtime=1301.8
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 20575 0 0 0 130150 30 0 0 25 0 1 0 147812644 83894272 19268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 20482 19268 170 317 0 20161 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 81928

[startup+1362.3 s]
/proc/loadavg: 1.05 1.00 0.98 2/78 9643
/proc/meminfo: memFree=1333952/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=84000 CPUtime=1361.77
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 21094 0 0 0 136146 31 0 0 25 0 1 0 147812644 86016000 19754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 21000 19754 170 317 0 20679 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 84000

[startup+1422.31 s]
/proc/loadavg: 1.02 1.00 0.98 2/78 9643
/proc/meminfo: memFree=1331840/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=85816 CPUtime=1421.75
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 21618 0 0 0 142143 32 0 0 25 0 1 0 147812644 87875584 20278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 21454 20278 170 317 0 21133 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 85816

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 9643
/proc/meminfo: memFree=1329856/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=88036 CPUtime=1481.72
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 22223 0 0 0 148140 32 0 0 25 0 1 0 147812644 90148864 20817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 22009 20817 170 317 0 21688 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 88036

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 9643
/proc/meminfo: memFree=1327552/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=90512 CPUtime=1541.7
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 22894 0 0 0 154137 33 0 0 25 0 1 0 147812644 92684288 21389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 22628 21389 170 317 0 22307 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 90512

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/78 9643
/proc/meminfo: memFree=1325440/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=92472 CPUtime=1601.68
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 23449 0 0 0 160133 35 0 0 25 0 1 0 147812644 94691328 21911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 23118 21911 170 317 0 22797 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 92472

[startup+1662.3 s]
/proc/loadavg: 1.04 1.02 0.99 2/78 9643
/proc/meminfo: memFree=1323456/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=94172 CPUtime=1661.65
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 23931 0 0 0 166130 35 0 0 25 0 1 0 147812644 96432128 22393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 23543 22393 170 317 0 23222 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 94172

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 0.99 2/78 9645
/proc/meminfo: memFree=1321664/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=96004 CPUtime=1721.63
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 24412 0 0 0 172127 36 0 0 25 0 1 0 147812644 98308096 22841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 24001 22841 170 317 0 23680 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 96004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 9645
/proc/meminfo: memFree=1319680/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=98056 CPUtime=1781.61
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 24975 0 0 0 178124 37 0 0 25 0 1 0 147812644 100409344 23338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 24514 23338 170 317 0 24193 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 98056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 9645
/proc/meminfo: memFree=1319104/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=98648 CPUtime=1800.02
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 25120 0 0 0 179964 38 0 0 25 0 1 0 147812644 101015552 23483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 24662 23483 170 317 0 24341 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 98648

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 9645
/proc/meminfo: memFree=1319104/2055920 swapFree=4168584/4192956
[pid=9642] ppid=9640 vsize=0 CPUtime=1800.11
/proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194308 25137 0 0 0 179972 39 0 0 25 0 1 0 147812644 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9642/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.13
CPU user time (s): 1799.73
CPU system time (s): 0.400939
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 98648

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

runsolver used 2.22066 second user time and 4.41933 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Thu Apr 19 16:09:10 UTC 2007

IDJOB= 357440
IDBENCH= 2637
IDSOLVER= 172
FILE ID= node22/357440-1176998950

PBS_JOBID= 4630440

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  26699ac56f0d58d8261ff4eb58d81611

RANDOM SEED= 204475552

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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:       1413272 kB
Buffers:         50256 kB
Cached:         497740 kB
SwapCached:       2192 kB
Active:         102264 kB
Inactive:       468388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1413272 kB
SwapTotal:     4192956 kB
SwapFree:      4168584 kB
Dirty:            1628 kB
Writeback:           0 kB
Mapped:          30480 kB
Slab:            57624 kB
Committed_AS:  1801136 kB
PageTables:       1676 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= 66497 MiB

End job on node22 on Thu Apr 19 16:39:13 UTC 2007