Trace number 357376

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark65442871
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
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.00/0.02	c ...done
0.00/0.02	c #vars=2574 #constraints=727 hasObjective=yes
0.03/0.03	c res. mode=mod
0.03/0.03	c VSIDS like heuristics
0.03/0.03	c complete search running
0.03/0.05	c restart after 401 decisions
0.03/0.05	c nbDecision=500 #constraints=742
0.03/0.08	c restart after 801 decisions
0.03/0.08	c nbDecision=1000 #constraints=784
0.10/0.13	c nbDecision=1500 #constraints=859
0.10/0.14	c restart after 1601 decisions
0.10/0.16	c nbDecision=2000 #constraints=879
0.10/0.19	c nbDecision=2500 #constraints=948
0.20/0.24	c nbDecision=3000 #constraints=1009
0.29/0.30	c restart after 3201 decisions
0.29/0.32	c nbDecision=3500 #constraints=1095
0.29/0.37	c nbDecision=4000 #constraints=1159
0.39/0.42	c nbDecision=4500 #constraints=1225
0.39/0.45	c nbDecision=5000 #constraints=1279
0.49/0.53	c nbDecision=5500 #constraints=1352
0.49/0.59	c nbDecision=6000 #constraints=1409
0.59/0.66	c restart after 6401 decisions
0.59/0.67	c nbDecision=6500 #constraints=1472
0.69/0.72	c nbDecision=7000 #constraints=1503
0.69/0.76	c nbDecision=7500 #constraints=1550
0.79/0.81	c nbDecision=8000 #constraints=1581
0.79/0.87	c nbDecision=8500 #constraints=1619
0.89/0.94	c nbDecision=9000 #constraints=1668
0.89/0.98	c nbDecision=9500 #constraints=1694
1.00/1.07	c nbDecision=10000 #constraints=1767
1.10/1.17	c nbDecision=10500 #constraints=1847
1.19/1.24	c nbDecision=11000 #constraints=1893
1.29/1.31	c nbDecision=11500 #constraints=1955
1.39/1.42	c nbDecision=12000 #constraints=2017
1.39/1.48	c nbDecision=12500 #constraints=2076
1.49/1.52	c restart after 12801 decisions
1.49/1.54	c nbDecision=13000 #constraints=2104
1.59/1.63	c nbDecision=13500 #constraints=2138
1.59/1.67	c nbDecision=14000 #constraints=2154
1.69/1.73	c nbDecision=14500 #constraints=2186
1.79/1.86	c nbDecision=15000 #constraints=2249
1.89/1.93	c nbDecision=15500 #constraints=2295
1.99/2.00	c nbDecision=16000 #constraints=2352
2.09/2.11	c nbDecision=16500 #constraints=2411
2.09/2.17	c nbDecision=17000 #constraints=2457
2.29/2.30	c nbDecision=17500 #constraints=2511
2.39/2.44	c nbDecision=18000 #constraints=2560
2.49/2.54	c nbDecision=18500 #constraints=2599
2.49/2.58	c nbDecision=19000 #constraints=2622
2.59/2.69	c nbDecision=19500 #constraints=2690
2.79/2.81	c nbDecision=20000 #constraints=2749
2.89/2.93	c nbDecision=20500 #constraints=2802
2.98/3.00	c nbDecision=21000 #constraints=2826
2.98/3.06	c nbDecision=21500 #constraints=2842
3.09/3.17	c nbDecision=22000 #constraints=2898
3.19/3.25	c nbDecision=22500 #constraints=2936
3.29/3.31	c nbDecision=23000 #constraints=2950
3.29/3.38	c nbDecision=23500 #constraints=2977
3.39/3.43	c nbDecision=24000 #constraints=3017
3.49/3.50	c nbDecision=24500 #constraints=3058
3.49/3.55	c nbDecision=25000 #constraints=3069
3.59/3.62	c nbDecision=25500 #constraints=3098
3.59/3.62	c restart after 25601 decisions
3.69/3.75	c nbDecision=26000 #constraints=3143
3.79/3.81	c nbDecision=26500 #constraints=3160
3.79/3.90	c nbDecision=27000 #constraints=3208
3.99/4.01	c nbDecision=27500 #constraints=3242
4.09/4.15	c nbDecision=28000 #constraints=3292
4.19/4.28	c nbDecision=28500 #constraints=3332
4.39/4.40	c nbDecision=29000 #constraints=3358
4.39/4.49	c nbDecision=29500 #constraints=3389
4.59/4.65	c nbDecision=30000 #constraints=3435
4.69/4.76	c nbDecision=30500 #constraints=3456
4.79/4.89	c nbDecision=31000 #constraints=3482
4.89/4.97	c nbDecision=31500 #constraints=3503
4.99/5.09	c nbDecision=32000 #constraints=3527
5.09/5.17	c nbDecision=32500 #constraints=3552
5.19/5.27	c nbDecision=33000 #constraints=3590
5.29/5.38	c nbDecision=33500 #constraints=3638
5.49/5.54	c nbDecision=34000 #constraints=3691
5.59/5.63	c nbDecision=34500 #constraints=3743
5.79/5.80	c nbDecision=35000 #constraints=3781
5.79/5.88	c nbDecision=35500 #constraints=3818
5.89/5.99	c nbDecision=36000 #constraints=3842
5.99/6.07	c nbDecision=36500 #constraints=3869
6.09/6.16	c nbDecision=37000 #constraints=3901
6.19/6.22	c nbDecision=37500 #constraints=3917
6.19/6.28	c nbDecision=38000 #constraints=3929
6.29/6.36	c nbDecision=38500 #constraints=3956
6.39/6.48	c nbDecision=39000 #constraints=4003
6.49/6.53	c nbDecision=39500 #constraints=4012
6.59/6.62	c nbDecision=40000 #constraints=4040
6.59/6.67	c nbDecision=40500 #constraints=4048
6.69/6.74	c nbDecision=41000 #constraints=4062
6.79/6.89	c nbDecision=41500 #constraints=4115
7.09/7.12	c nbDecision=42000 #constraints=4185
7.29/7.32	c nbDecision=42500 #constraints=4240
7.39/7.43	c nbDecision=43000 #constraints=4272
7.49/7.50	c nbDecision=43500 #constraints=4289
7.59/7.64	c nbDecision=44000 #constraints=4319
7.99/8.03	c nbDecision=44500 #constraints=4384
8.09/8.17	c nbDecision=45000 #constraints=4418
8.29/8.36	c nbDecision=45500 #constraints=4482
8.49/8.54	c nbDecision=46000 #constraints=4542
8.59/8.69	c nbDecision=46500 #constraints=4576
8.79/8.88	c nbDecision=47000 #constraints=4601
8.99/9.01	c nbDecision=47500 #constraints=4617
9.09/9.13	c nbDecision=48000 #constraints=4647
9.19/9.23	c nbDecision=48500 #constraints=4673
9.29/9.32	c nbDecision=49000 #constraints=4684
9.39/9.43	c nbDecision=49500 #constraints=4720
9.49/9.55	c nbDecision=50000 #constraints=4737
9.59/9.63	c nbDecision=50500 #constraints=4767
9.68/9.75	c nbDecision=51000 #constraints=4789
9.68/9.77	c restart after 51201 decisions
9.79/9.89	c nbDecision=51500 #constraints=4801
9.99/10.08	c nbDecision=52000 #constraints=4845
10.19/10.23	c nbDecision=52500 #constraints=4888
10.29/10.36	c nbDecision=53000 #constraints=4910
10.39/10.49	c nbDecision=53500 #constraints=4941
10.59/10.62	c nbDecision=54000 #constraints=4966
10.69/10.74	c nbDecision=54500 #constraints=5015
10.79/10.89	c nbDecision=55000 #constraints=5056
11.00/11.09	c nbDecision=55500 #constraints=5101
11.29/11.32	c nbDecision=56000 #constraints=5152
11.39/11.45	c nbDecision=56500 #constraints=5179
11.59/11.61	c nbDecision=57000 #constraints=5220
11.69/11.72	c nbDecision=57500 #constraints=5234
12.00/12.01	c nbDecision=58000 #constraints=5311
12.09/12.13	c nbDecision=58500 #constraints=5327
12.29/12.32	c nbDecision=59000 #constraints=5392
12.39/12.47	c nbDecision=59500 #constraints=5417
12.49/12.59	c nbDecision=60000 #constraints=5449
12.59/12.69	c nbDecision=60500 #constraints=5471
12.99/13.00	c nbDecision=61000 #constraints=5497
13.19/13.21	c nbDecision=61500 #constraints=5523
13.48/13.52	c nbDecision=62000 #constraints=5564
13.68/13.73	c nbDecision=62500 #constraints=5590
13.88/13.90	c nbDecision=63000 #constraints=5645
14.08/14.14	c nbDecision=63500 #constraints=5676
14.29/14.36	c nbDecision=64000 #constraints=5716
14.48/14.55	c nbDecision=64500 #constraints=5736
14.58/14.65	c nbDecision=65000 #constraints=5751
14.78/14.82	c nbDecision=65500 #constraints=5778
14.98/15.02	c nbDecision=66000 #constraints=5802
15.29/15.34	c nbDecision=66500 #constraints=5836
15.48/15.50	c nbDecision=67000 #constraints=5850
15.58/15.63	c nbDecision=67500 #constraints=5864
15.68/15.75	c nbDecision=68000 #constraints=5879
15.88/15.97	c nbDecision=68500 #constraints=5896
16.08/16.12	c nbDecision=69000 #constraints=5919
16.28/16.33	c nbDecision=69500 #constraints=5947
16.49/16.55	c nbDecision=70000 #constraints=6021
16.58/16.65	c nbDecision=70500 #constraints=6030
16.78/16.87	c nbDecision=71000 #constraints=6066
17.08/17.19	c nbDecision=71500 #constraints=6086
17.28/17.32	c nbDecision=72000 #constraints=6107
17.38/17.49	c nbDecision=72500 #constraints=6126
17.78/17.82	c nbDecision=73000 #constraints=6164
18.08/18.17	c nbDecision=73500 #constraints=6226
18.28/18.32	c nbDecision=74000 #constraints=6252
18.48/18.60	c nbDecision=74500 #constraints=6279
18.78/18.81	c nbDecision=75000 #constraints=6301
19.18/19.20	c nbDecision=75500 #constraints=6330
19.28/19.36	c nbDecision=76000 #constraints=6354
19.38/19.48	c nbDecision=76500 #constraints=6360
19.88/19.94	c nbDecision=77000 #constraints=6413
19.98/20.06	c nbDecision=77500 #constraints=6421
20.18/20.23	c nbDecision=78000 #constraints=6447
20.59/20.61	c nbDecision=78500 #constraints=6481
20.89/20.91	c nbDecision=79000 #constraints=6532
21.19/21.25	c nbDecision=79500 #constraints=6570
21.39/21.40	c nbDecision=80000 #constraints=6595
21.59/21.68	c nbDecision=80500 #constraints=6614
21.99/22.02	c nbDecision=81000 #constraints=6651
22.09/22.12	c nbDecision=81500 #constraints=6665
22.19/22.24	c nbDecision=82000 #constraints=6678
22.38/22.46	c nbDecision=82500 #constraints=6717
22.88/22.90	c nbDecision=83000 #constraints=6795
22.99/23.09	c nbDecision=83500 #constraints=6820
23.18/23.29	c nbDecision=84000 #constraints=6845
23.38/23.47	c nbDecision=84500 #constraints=6879
23.58/23.63	c nbDecision=85000 #constraints=6900
23.78/23.87	c nbDecision=85500 #constraints=6941
23.98/24.06	c nbDecision=86000 #constraints=6969
24.28/24.35	c nbDecision=86500 #constraints=7021
24.58/24.65	c nbDecision=87000 #constraints=7065
24.78/24.89	c nbDecision=87500 #constraints=7105
25.18/25.28	c nbDecision=88000 #constraints=7123
25.48/25.52	c nbDecision=88500 #constraints=7141
25.79/25.86	c nbDecision=89000 #constraints=7180
26.09/26.19	c nbDecision=89500 #constraints=7207
26.39/26.41	c nbDecision=90000 #constraints=7245
26.68/26.79	c nbDecision=90500 #constraints=7278
26.88/26.97	c nbDecision=91000 #constraints=7305
27.08/27.14	c nbDecision=91500 #constraints=7329
27.39/27.40	c nbDecision=92000 #constraints=7357
27.58/27.69	c nbDecision=92500 #constraints=7384
28.08/28.14	c nbDecision=93000 #constraints=7424
28.28/28.38	c nbDecision=93500 #constraints=7443
28.49/28.55	c nbDecision=94000 #constraints=7452
28.59/28.68	c nbDecision=94500 #constraints=7464
28.98/29.02	c nbDecision=95000 #constraints=7500
29.58/29.68	c nbDecision=95500 #constraints=7558
29.88/29.92	c nbDecision=96000 #constraints=7578
30.08/30.12	c nbDecision=96500 #constraints=7613
30.28/30.33	c nbDecision=97000 #constraints=7642
30.48/30.53	c nbDecision=97500 #constraints=7674
30.78/30.87	c nbDecision=98000 #constraints=7697
32.58/32.70	c nbDecision=98500 #constraints=7815
32.78/32.87	c nbDecision=99000 #constraints=7834
33.08/33.13	c nbDecision=99500 #constraints=7863
33.28/33.35	c nbDecision=100000 #constraints=7892
33.48/33.50	c nbDecision=100500 #constraints=7908
33.68/33.72	c nbDecision=101000 #constraints=7924
37.28/37.38	c nbDecision=101500 #constraints=8128
43.67/43.78	c nbDecision=102000 #constraints=8491
45.67/45.74	c restart after 102401 decisions
45.87/45.91	c nbDecision=102500 #constraints=8613
46.58/46.65	c nbDecision=103000 #constraints=8665
46.68/46.78	c nbDecision=103500 #constraints=8674
47.08/47.12	c nbDecision=104000 #constraints=8702
47.38/47.42	c nbDecision=104500 #constraints=8736
47.78/47.83	c nbDecision=105000 #constraints=8779
48.18/48.29	c nbDecision=105500 #constraints=8800
48.48/48.50	c nbDecision=106000 #constraints=8826
48.78/48.88	c nbDecision=106500 #constraints=8855
49.28/49.34	c nbDecision=107000 #constraints=8910
49.58/49.61	c nbDecision=107500 #constraints=8938
49.88/49.94	c nbDecision=108000 #constraints=8973
49.98/50.09	c nbDecision=108500 #constraints=8986
50.48/50.53	c nbDecision=109000 #constraints=9012
50.68/50.79	c nbDecision=109500 #constraints=9033
50.98/51.01	c nbDecision=110000 #constraints=9059
51.48/51.58	c nbDecision=110500 #constraints=9092
51.68/51.77	c nbDecision=111000 #constraints=9102
52.18/52.22	c nbDecision=111500 #constraints=9144
52.68/52.78	c nbDecision=112000 #constraints=9214
52.88/52.98	c nbDecision=112500 #constraints=9233
53.18/53.29	c nbDecision=113000 #constraints=9274
53.68/53.80	c nbDecision=113500 #constraints=9302
54.18/54.29	c nbDecision=114000 #constraints=9380
55.37/55.41	c nbDecision=114500 #constraints=9486
55.67/55.76	c nbDecision=115000 #constraints=9527
55.87/55.95	c nbDecision=115500 #constraints=9539
56.18/56.21	c nbDecision=116000 #constraints=9559
56.28/56.34	c nbDecision=116500 #constraints=9569
56.88/56.99	c nbDecision=117000 #constraints=9622
57.28/57.30	c nbDecision=117500 #constraints=9630
57.48/57.60	c nbDecision=118000 #constraints=9653
59.07/59.10	c nbDecision=118500 #constraints=9772
59.17/59.26	c nbDecision=119000 #constraints=9784
59.47/59.54	c nbDecision=119500 #constraints=9800
60.17/60.22	c nbDecision=120000 #constraints=9843
60.57/60.64	c nbDecision=120500 #constraints=9879
60.77/60.87	c nbDecision=121000 #constraints=9894
61.07/61.19	c nbDecision=121500 #constraints=9914
61.37/61.43	c nbDecision=122000 #constraints=9932
61.48/61.58	c nbDecision=122500 #constraints=9939
61.77/61.85	c nbDecision=123000 #constraints=9961
62.07/62.12	c nbDecision=123500 #constraints=9985
62.27/62.39	c nbDecision=124000 #constraints=10012
63.37/63.43	c nbDecision=124500 #constraints=10071
63.68/63.74	c nbDecision=125000 #constraints=10090
63.87/63.96	c nbDecision=125500 #constraints=10104
64.17/64.23	c nbDecision=126000 #constraints=10121
64.27/64.39	c nbDecision=126500 #constraints=10135
64.57/64.68	c nbDecision=127000 #constraints=10158
64.87/64.95	c nbDecision=127500 #constraints=10173
65.07/65.18	c nbDecision=128000 #constraints=10192
65.58/65.64	c nbDecision=128500 #constraints=10240
65.88/65.92	c nbDecision=129000 #constraints=10258
65.98/66.08	c nbDecision=129500 #constraints=10266
66.48/66.55	c nbDecision=130000 #constraints=10321
66.98/67.02	c nbDecision=130500 #constraints=10372
67.18/67.28	c nbDecision=131000 #constraints=10387
67.57/67.62	c nbDecision=131500 #constraints=10422
67.87/67.94	c nbDecision=132000 #constraints=10450
68.18/68.27	c nbDecision=132500 #constraints=10475
68.47/68.51	c nbDecision=133000 #constraints=10487
68.87/68.96	c nbDecision=133500 #constraints=10553
69.28/69.32	c nbDecision=134000 #constraints=10603
69.57/69.64	c nbDecision=134500 #constraints=10643
69.97/70.07	c nbDecision=135000 #constraints=10698
70.27/70.35	c nbDecision=135500 #constraints=10731
71.57/71.61	c nbDecision=136000 #constraints=10885
71.87/71.90	c nbDecision=136500 #constraints=10920
72.17/72.28	c nbDecision=137000 #constraints=10964
72.77/72.85	c nbDecision=137500 #constraints=11030
72.97/73.08	c nbDecision=138000 #constraints=11051
73.47/73.57	c nbDecision=138500 #constraints=11105
73.77/73.86	c nbDecision=139000 #constraints=11130
74.17/74.28	c nbDecision=139500 #constraints=11179
74.57/74.67	c nbDecision=140000 #constraints=11218
75.07/75.14	c nbDecision=140500 #constraints=11262
75.57/75.67	c nbDecision=141000 #constraints=11322
76.07/76.19	c nbDecision=141500 #constraints=11372
76.77/76.84	c nbDecision=142000 #constraints=11433
77.17/77.25	c nbDecision=142500 #constraints=11469
77.67/77.77	c nbDecision=143000 #constraints=11519
78.27/78.32	c nbDecision=143500 #constraints=11570
78.77/78.83	c nbDecision=144000 #constraints=11612
79.07/79.18	c nbDecision=144500 #constraints=11639
79.66/79.76	c nbDecision=145000 #constraints=11668
80.18/80.25	c nbDecision=145500 #constraints=11698
80.67/80.79	c nbDecision=146000 #constraints=11740
81.67/81.75	c nbDecision=146500 #constraints=11769
81.97/82.09	c nbDecision=147000 #constraints=11781
82.48/82.55	c nbDecision=147500 #constraints=11815
82.87/82.96	c nbDecision=148000 #constraints=11839
83.37/83.41	c nbDecision=148500 #constraints=11881
83.77/83.83	c nbDecision=149000 #constraints=11915
84.17/84.23	c nbDecision=149500 #constraints=11943
84.57/84.66	c nbDecision=150000 #constraints=11971
84.77/84.86	c nbDecision=150500 #constraints=11976
85.17/85.29	c nbDecision=151000 #constraints=12001
85.97/86.05	c nbDecision=151500 #constraints=12039
86.67/86.70	c nbDecision=152000 #constraints=12073
86.97/87.06	c nbDecision=152500 #constraints=12092
87.77/87.81	c nbDecision=153000 #constraints=12119
88.07/88.18	c nbDecision=153500 #constraints=12134
88.37/88.42	c nbDecision=154000 #constraints=12140
88.97/89.02	c nbDecision=154500 #constraints=12166
89.57/89.69	c nbDecision=155000 #constraints=12192
89.87/89.96	c nbDecision=155500 #constraints=12199
90.47/90.55	c nbDecision=156000 #constraints=12257
90.96/91.06	c nbDecision=156500 #constraints=12291
91.36/91.41	c nbDecision=157000 #constraints=12303
92.06/92.10	c nbDecision=157500 #constraints=12337
92.37/92.47	c nbDecision=158000 #constraints=12353
93.06/93.17	c nbDecision=158500 #constraints=12410
93.36/93.44	c nbDecision=159000 #constraints=12420
93.97/94.04	c nbDecision=159500 #constraints=12471
94.97/95.02	c nbDecision=160000 #constraints=12504
95.97/96.03	c nbDecision=160500 #constraints=12525
96.57/96.62	c nbDecision=161000 #constraints=12556
97.07/97.13	c nbDecision=161500 #constraints=12590
97.77/97.87	c nbDecision=162000 #constraints=12656
98.17/98.25	c nbDecision=162500 #constraints=12668
98.77/98.82	c nbDecision=163000 #constraints=12686
99.16/99.20	c nbDecision=163500 #constraints=12710
99.56/99.67	c nbDecision=164000 #constraints=12733
100.07/100.18	c nbDecision=164500 #constraints=12759
100.66/100.79	c nbDecision=165000 #constraints=12786
101.76/101.84	c nbDecision=165500 #constraints=12843
102.06/102.16	c nbDecision=166000 #constraints=12849
102.46/102.52	c nbDecision=166500 #constraints=12855
103.56/103.65	c nbDecision=167000 #constraints=12918
104.87/104.92	c nbDecision=167500 #constraints=12985
105.17/105.24	c nbDecision=168000 #constraints=12998
105.57/105.67	c nbDecision=168500 #constraints=13021
105.87/105.95	c nbDecision=169000 #constraints=13026
106.47/106.54	c nbDecision=169500 #constraints=13053
106.87/106.95	c nbDecision=170000 #constraints=13073
107.27/107.31	c nbDecision=170500 #constraints=13091
107.87/108.00	c nbDecision=171000 #constraints=13109
108.57/108.63	c nbDecision=171500 #constraints=13131
108.87/108.95	c nbDecision=172000 #constraints=13141
109.37/109.47	c nbDecision=172500 #constraints=13181
109.87/109.90	c nbDecision=173000 #constraints=13191
111.27/111.38	c nbDecision=173500 #constraints=13284
111.76/111.83	c nbDecision=174000 #constraints=13300
112.17/112.23	c nbDecision=174500 #constraints=13317
112.56/112.62	c nbDecision=175000 #constraints=13329
113.17/113.22	c nbDecision=175500 #constraints=13340
113.66/113.72	c nbDecision=176000 #constraints=13362
114.16/114.21	c nbDecision=176500 #constraints=13377
114.66/114.74	c nbDecision=177000 #constraints=13389
115.46/115.55	c nbDecision=177500 #constraints=13443
115.86/115.97	c nbDecision=178000 #constraints=13463
116.66/116.77	c nbDecision=178500 #constraints=13505
117.16/117.21	c nbDecision=179000 #constraints=13528
117.56/117.63	c nbDecision=179500 #constraints=13538
117.96/118.08	c nbDecision=180000 #constraints=13544
118.66/118.72	c nbDecision=180500 #constraints=13569
118.86/118.95	c nbDecision=181000 #constraints=13575
119.36/119.45	c nbDecision=181500 #constraints=13587
119.76/119.82	c nbDecision=182000 #constraints=13595
119.96/120.06	c nbDecision=182500 #constraints=13602
120.46/120.55	c nbDecision=183000 #constraints=13612
120.96/121.07	c nbDecision=183500 #constraints=13642
121.66/121.77	c nbDecision=184000 #constraints=13677
122.06/122.18	c nbDecision=184500 #constraints=13685
122.76/122.84	c nbDecision=185000 #constraints=13728
123.46/123.52	c nbDecision=185500 #constraints=13754
123.86/123.95	c nbDecision=186000 #constraints=13784
124.46/124.50	c nbDecision=186500 #constraints=13807
124.76/124.81	c nbDecision=187000 #constraints=13815
124.96/125.05	c nbDecision=187500 #constraints=13818
125.26/125.38	c nbDecision=188000 #constraints=13825
125.65/125.75	c nbDecision=188500 #constraints=13835
125.85/125.98	c nbDecision=189000 #constraints=13838
126.15/126.28	c nbDecision=189500 #constraints=13842
126.55/126.68	c nbDecision=190000 #constraints=13864
127.46/127.52	c nbDecision=190500 #constraints=13897
128.05/128.10	c nbDecision=191000 #constraints=13930
128.25/128.38	c nbDecision=191500 #constraints=13934
128.95/129.00	c nbDecision=192000 #constraints=13968
130.06/130.17	c nbDecision=192500 #constraints=14072
130.96/131.04	c nbDecision=193000 #constraints=14124
131.56/131.66	c nbDecision=193500 #constraints=14150
131.96/132.01	c nbDecision=194000 #constraints=14159
132.66/132.76	c nbDecision=194500 #constraints=14184
132.96/133.03	c nbDecision=195000 #constraints=14189
133.46/133.57	c nbDecision=195500 #constraints=14203
133.76/133.89	c nbDecision=196000 #constraints=14216
134.16/134.21	c nbDecision=196500 #constraints=14224
135.36/135.49	c nbDecision=197000 #constraints=14309
135.66/135.79	c nbDecision=197500 #constraints=14315
136.06/136.14	c nbDecision=198000 #constraints=14321
136.46/136.53	c nbDecision=198500 #constraints=14327
136.86/136.91	c nbDecision=199000 #constraints=14337
137.26/137.40	c nbDecision=199500 #constraints=14358
138.26/138.35	c nbDecision=200000 #constraints=14401
139.05/139.16	c nbDecision=200500 #constraints=14436
140.55/140.69	c nbDecision=201000 #constraints=14552
140.95/141.03	c nbDecision=201500 #constraints=14564
141.35/141.44	c nbDecision=202000 #constraints=14574
141.86/141.99	c nbDecision=202500 #constraints=14584
142.45/142.53	c nbDecision=203000 #constraints=14609
143.15/143.26	c nbDecision=203500 #constraints=14636
143.65/143.78	c nbDecision=204000 #constraints=14663
144.15/144.24	c nbDecision=204500 #constraints=14672
144.55/144.62	c restart after 204801 decisions
145.15/145.27	c nbDecision=205000 #constraints=14685
145.95/146.07	c nbDecision=205500 #constraints=14710
146.55/146.69	c nbDecision=206000 #constraints=14727
147.45/147.51	c nbDecision=206500 #constraints=14768
148.05/148.10	c nbDecision=207000 #constraints=14788
148.65/148.79	c nbDecision=207500 #constraints=14804
149.45/149.51	c nbDecision=208000 #constraints=14831
150.25/150.32	c nbDecision=208500 #constraints=14869
150.55/150.65	c nbDecision=209000 #constraints=14874
150.85/150.96	c nbDecision=209500 #constraints=14879
151.85/151.91	c nbDecision=210000 #constraints=14896
152.45/152.55	c nbDecision=210500 #constraints=14915
153.35/153.47	c nbDecision=211000 #constraints=14941
154.15/154.22	c nbDecision=211500 #constraints=14969
154.96/155.01	c nbDecision=212000 #constraints=14987
155.75/155.85	c nbDecision=212500 #constraints=15003
156.25/156.31	c nbDecision=213000 #constraints=15015
156.85/156.94	c nbDecision=213500 #constraints=15041
157.65/157.76	c nbDecision=214000 #constraints=15062
158.45/158.60	c nbDecision=214500 #constraints=15098
159.05/159.11	c nbDecision=215000 #constraints=15117
159.55/159.69	c nbDecision=215500 #constraints=15136
160.15/160.28	c nbDecision=216000 #constraints=15163
160.85/160.99	c nbDecision=216500 #constraints=15202
161.35/161.49	c nbDecision=217000 #constraints=15222
162.25/162.39	c nbDecision=217500 #constraints=15267
162.75/162.87	c nbDecision=218000 #constraints=15284
163.15/163.21	c nbDecision=218500 #constraints=15289
163.65/163.80	c nbDecision=219000 #constraints=15306
164.24/164.37	c nbDecision=219500 #constraints=15332
165.14/165.24	c nbDecision=220000 #constraints=15377
166.24/166.30	c nbDecision=220500 #constraints=15414
166.64/166.79	c nbDecision=221000 #constraints=15422
167.94/168.02	c nbDecision=221500 #constraints=15463
168.45/168.55	c nbDecision=222000 #constraints=15470
169.15/169.29	c nbDecision=222500 #constraints=15504
170.35/170.45	c nbDecision=223000 #constraints=15544
171.45/171.53	c nbDecision=223500 #constraints=15580
171.95/172.02	c nbDecision=224000 #constraints=15586
172.65/172.78	c nbDecision=224500 #constraints=15598
173.15/173.27	c nbDecision=225000 #constraints=15604
174.15/174.28	c nbDecision=225500 #constraints=15627
174.95/175.05	c nbDecision=226000 #constraints=15645
176.04/176.16	c nbDecision=226500 #constraints=15697
176.44/176.58	c nbDecision=227000 #constraints=15715
177.74/177.81	c nbDecision=227500 #constraints=15773
178.05/178.12	c nbDecision=228000 #constraints=15782
178.74/178.80	c nbDecision=228500 #constraints=15822
179.54/179.63	c nbDecision=229000 #constraints=15872
180.04/180.11	c nbDecision=229500 #constraints=15894
180.64/180.70	c nbDecision=230000 #constraints=15928
181.45/181.54	c nbDecision=230500 #constraints=15971
182.24/182.38	c nbDecision=231000 #constraints=16008
182.74/182.84	c nbDecision=231500 #constraints=16022
183.64/183.79	c nbDecision=232000 #constraints=16074
184.64/184.78	c nbDecision=232500 #constraints=16112
185.14/185.20	c nbDecision=233000 #constraints=16122
185.75/185.82	c nbDecision=233500 #constraints=16138
186.15/186.20	c nbDecision=234000 #constraints=16145
186.55/186.65	c nbDecision=234500 #constraints=16157
187.25/187.30	c nbDecision=235000 #constraints=16182
187.75/187.86	c nbDecision=235500 #constraints=16197
188.15/188.20	c nbDecision=236000 #constraints=16205
188.95/189.02	c nbDecision=236500 #constraints=16235
189.85/189.97	c nbDecision=237000 #constraints=16267
190.85/190.93	c nbDecision=237500 #constraints=16313
191.35/191.41	c nbDecision=238000 #constraints=16326
192.54/192.63	c nbDecision=238500 #constraints=16378
193.14/193.28	c nbDecision=239000 #constraints=16403
194.34/194.46	c nbDecision=239500 #constraints=16450
194.84/194.95	c nbDecision=240000 #constraints=16462
195.75/195.87	c nbDecision=240500 #constraints=16488
196.34/196.49	c nbDecision=241000 #constraints=16509
197.14/197.24	c nbDecision=241500 #constraints=16525
198.04/198.10	c nbDecision=242000 #constraints=16541
198.34/198.48	c nbDecision=242500 #constraints=16549
199.24/199.39	c nbDecision=243000 #constraints=16565
199.94/200.00	c nbDecision=243500 #constraints=16585
201.34/201.44	c nbDecision=244000 #constraints=16633
202.14/202.27	c nbDecision=244500 #constraints=16688
203.24/203.38	c nbDecision=245000 #constraints=16750
204.34/204.50	c nbDecision=245500 #constraints=16802
204.94/205.01	c nbDecision=246000 #constraints=16818
205.54/205.70	c nbDecision=246500 #constraints=16847
206.24/206.39	c nbDecision=247000 #constraints=16874
206.64/206.77	c nbDecision=247500 #constraints=16885
207.13/207.28	c nbDecision=248000 #constraints=16894
207.84/207.99	c nbDecision=248500 #constraints=16917
209.03/209.17	c nbDecision=249000 #constraints=16952
209.83/209.97	c nbDecision=249500 #constraints=16977
210.43/210.56	c nbDecision=250000 #constraints=16985
211.63/211.76	c nbDecision=250500 #constraints=17005
212.53/212.61	c nbDecision=251000 #constraints=17030
213.13/213.29	c nbDecision=251500 #constraints=17049
214.44/214.52	c nbDecision=252000 #constraints=17098
216.14/216.21	c nbDecision=252500 #constraints=17139
217.24/217.36	c nbDecision=253000 #constraints=17176
218.14/218.25	c nbDecision=253500 #constraints=17212
218.84/218.95	c nbDecision=254000 #constraints=17229
219.74/219.88	c nbDecision=254500 #constraints=17256
220.64/220.76	c nbDecision=255000 #constraints=17279
221.44/221.57	c nbDecision=255500 #constraints=17312
221.94/222.08	c nbDecision=256000 #constraints=17324
222.64/222.71	c nbDecision=256500 #constraints=17339
223.43/223.52	c nbDecision=257000 #constraints=17365
224.13/224.27	c nbDecision=257500 #constraints=17387
225.03/225.15	c nbDecision=258000 #constraints=17406
225.83/225.92	c nbDecision=258500 #constraints=17430
226.93/227.04	c nbDecision=259000 #constraints=17458
228.13/228.28	c nbDecision=259500 #constraints=17485
229.73/229.87	c nbDecision=260000 #constraints=17523
230.23/230.30	c nbDecision=260500 #constraints=17535
230.93/231.02	c nbDecision=261000 #constraints=17546
232.13/232.23	c nbDecision=261500 #constraints=17587
233.03/233.11	c nbDecision=262000 #constraints=17609
233.73/233.84	c nbDecision=262500 #constraints=17618
234.03/234.19	c nbDecision=263000 #constraints=17627
234.93/235.08	c nbDecision=263500 #constraints=17662
236.13/236.26	c nbDecision=264000 #constraints=17703
236.73/236.82	c nbDecision=264500 #constraints=17726
237.33/237.42	c nbDecision=265000 #constraints=17763
238.13/238.21	c nbDecision=265500 #constraints=17819
238.73/238.84	c nbDecision=266000 #constraints=17857
239.73/239.81	c nbDecision=266500 #constraints=17887
240.53/240.62	c nbDecision=267000 #constraints=17904
241.02/241.19	c nbDecision=267500 #constraints=17920
241.42/241.55	c nbDecision=268000 #constraints=17926
242.02/242.16	c nbDecision=268500 #constraints=17949
243.12/243.28	c nbDecision=269000 #constraints=17980
244.22/244.39	c nbDecision=269500 #constraints=18013
244.92/245.07	c nbDecision=270000 #constraints=18031
245.32/245.48	c nbDecision=270500 #constraints=18037
246.12/246.24	c nbDecision=271000 #constraints=18063
246.72/246.88	c nbDecision=271500 #constraints=18085
247.33/247.49	c nbDecision=272000 #constraints=18100
248.12/248.29	c nbDecision=272500 #constraints=18127
248.82/248.93	c nbDecision=273000 #constraints=18136
249.92/250.08	c nbDecision=273500 #constraints=18169
251.12/251.20	c nbDecision=274000 #constraints=18193
251.73/251.87	c nbDecision=274500 #constraints=18207
252.12/252.29	c nbDecision=275000 #constraints=18215
252.72/252.84	c nbDecision=275500 #constraints=18242
253.42/253.54	c nbDecision=276000 #constraints=18267
254.32/254.40	c nbDecision=276500 #constraints=18283
255.32/255.50	c nbDecision=277000 #constraints=18300
256.12/256.22	c nbDecision=277500 #constraints=18313
256.72/256.80	c nbDecision=278000 #constraints=18343
257.62/257.73	c nbDecision=278500 #constraints=18365
258.42/258.57	c nbDecision=279000 #constraints=18407
259.32/259.49	c nbDecision=279500 #constraints=18436
260.42/260.51	c nbDecision=280000 #constraints=18461
261.42/261.54	c nbDecision=280500 #constraints=18483
262.02/262.10	c nbDecision=281000 #constraints=18495
263.03/263.13	c nbDecision=281500 #constraints=18522
263.83/263.98	c nbDecision=282000 #constraints=18538
264.32/264.48	c nbDecision=282500 #constraints=18564
265.12/265.28	c nbDecision=283000 #constraints=18618
266.22/266.37	c nbDecision=283500 #constraints=18666
267.13/267.23	c nbDecision=284000 #constraints=18678
267.92/268.01	c nbDecision=284500 #constraints=18696
268.62/268.71	c nbDecision=285000 #constraints=18707
269.22/269.32	c nbDecision=285500 #constraints=18711
270.32/270.43	c nbDecision=286000 #constraints=18738
271.22/271.37	c nbDecision=286500 #constraints=18767
271.92/272.02	c nbDecision=287000 #constraints=18778
272.72/272.86	c nbDecision=287500 #constraints=18802
273.72/273.82	c nbDecision=288000 #constraints=18834
274.32/274.43	c nbDecision=288500 #constraints=18852
274.82/274.93	c nbDecision=289000 #constraints=18867
275.52/275.62	c nbDecision=289500 #constraints=18874
276.62/276.72	c nbDecision=290000 #constraints=18898
277.42/277.51	c nbDecision=290500 #constraints=18920
278.42/278.50	c nbDecision=291000 #constraints=18935
279.22/279.35	c nbDecision=291500 #constraints=18962
280.22/280.34	c nbDecision=292000 #constraints=18996
280.92/281.02	c nbDecision=292500 #constraints=19010
282.12/282.26	c nbDecision=293000 #constraints=19045
282.82/282.94	c nbDecision=293500 #constraints=19056
283.31/283.48	c nbDecision=294000 #constraints=19073
284.31/284.42	c nbDecision=294500 #constraints=19084
285.31/285.46	c nbDecision=295000 #constraints=19114
285.92/286.06	c nbDecision=295500 #constraints=19121
286.51/286.62	c nbDecision=296000 #constraints=19127
287.01/287.20	c nbDecision=296500 #constraints=19137
287.91/288.06	c nbDecision=297000 #constraints=19145
288.41/288.54	c nbDecision=297500 #constraints=19154
289.61/289.78	c nbDecision=298000 #constraints=19191
290.21/290.32	c nbDecision=298500 #constraints=19197
291.61/291.80	c nbDecision=299000 #constraints=19236
292.61/292.71	c nbDecision=299500 #constraints=19254
293.31/293.45	c nbDecision=300000 #constraints=19279
294.31/294.47	c nbDecision=300500 #constraints=19321
295.01/295.12	c nbDecision=301000 #constraints=19333
295.41/295.59	c nbDecision=301500 #constraints=19339
296.31/296.40	c nbDecision=302000 #constraints=19362
297.21/297.33	c nbDecision=302500 #constraints=19385
298.41/298.56	c nbDecision=303000 #constraints=19415
299.22/299.31	c nbDecision=303500 #constraints=19441
300.82/300.90	c nbDecision=304000 #constraints=19478
301.91/302.01	c nbDecision=304500 #constraints=19515
302.81/302.91	c nbDecision=305000 #constraints=19532
304.01/304.19	c nbDecision=305500 #constraints=19557
305.01/305.10	c nbDecision=306000 #constraints=19591
305.62/305.77	c nbDecision=306500 #constraints=19609
306.51/306.64	c nbDecision=307000 #constraints=19628
307.71/307.85	c nbDecision=307500 #constraints=19648
308.81/308.96	c nbDecision=308000 #constraints=19678
309.51/309.64	c nbDecision=308500 #constraints=19700
310.21/310.30	c nbDecision=309000 #constraints=19717
310.71/310.81	c nbDecision=309500 #constraints=19723
311.91/312.07	c nbDecision=310000 #constraints=19745
312.71/312.86	c nbDecision=310500 #constraints=19769
313.41/313.56	c nbDecision=311000 #constraints=19784
314.31/314.41	c nbDecision=311500 #constraints=19810
315.11/315.21	c nbDecision=312000 #constraints=19838
316.01/316.16	c nbDecision=312500 #constraints=19858
317.30/317.49	c nbDecision=313000 #constraints=19885
318.10/318.27	c nbDecision=313500 #constraints=19909
319.10/319.28	c nbDecision=314000 #constraints=19936
320.70/320.89	c nbDecision=314500 #constraints=19979
321.60/321.77	c nbDecision=315000 #constraints=19998
322.70/322.83	c nbDecision=315500 #constraints=20028
323.20/323.38	c nbDecision=316000 #constraints=20045
324.20/324.31	c nbDecision=316500 #constraints=20065
325.40/325.56	c nbDecision=317000 #constraints=20093
326.20/326.33	c nbDecision=317500 #constraints=20118
326.80/326.95	c nbDecision=318000 #constraints=20129
327.40/327.53	c nbDecision=318500 #constraints=20136
328.10/328.27	c nbDecision=319000 #constraints=20156
328.90/329.09	c nbDecision=319500 #constraints=20171
330.00/330.11	c nbDecision=320000 #constraints=20190
330.70/330.82	c nbDecision=320500 #constraints=20200
331.79/332.00	c nbDecision=321000 #constraints=20221
332.59/332.72	c nbDecision=321500 #constraints=20239
333.20/333.38	c nbDecision=322000 #constraints=20248
334.30/334.50	c nbDecision=322500 #constraints=20277
335.19/335.35	c nbDecision=323000 #constraints=20284
336.09/336.21	c nbDecision=323500 #constraints=20309
337.59/337.71	c nbDecision=324000 #constraints=20339
339.10/339.28	c nbDecision=324500 #constraints=20395
339.90/340.02	c nbDecision=325000 #constraints=20416
341.30/341.46	c nbDecision=325500 #constraints=20442
342.10/342.30	c nbDecision=326000 #constraints=20473
342.89/343.06	c nbDecision=326500 #constraints=20504
343.49/343.63	c nbDecision=327000 #constraints=20516
344.20/344.31	c nbDecision=327500 #constraints=20536
345.09/345.28	c nbDecision=328000 #constraints=20568
345.89/346.05	c nbDecision=328500 #constraints=20598
346.69/346.85	c nbDecision=329000 #constraints=20630
347.79/347.91	c nbDecision=329500 #constraints=20664
348.39/348.58	c nbDecision=330000 #constraints=20676
350.09/350.22	c nbDecision=330500 #constraints=20753
350.49/350.69	c nbDecision=331000 #constraints=20758
351.29/351.47	c nbDecision=331500 #constraints=20776
352.19/352.39	c nbDecision=332000 #constraints=20801
352.99/353.19	c nbDecision=332500 #constraints=20827
354.09/354.28	c nbDecision=333000 #constraints=20852
355.89/356.02	c nbDecision=333500 #constraints=20879
356.59/356.72	c nbDecision=334000 #constraints=20895
357.89/358.03	c nbDecision=334500 #constraints=20938
358.69/358.86	c nbDecision=335000 #constraints=20955
359.69/359.84	c nbDecision=335500 #constraints=20985
360.69/360.86	c nbDecision=336000 #constraints=21012
361.69/361.86	c nbDecision=336500 #constraints=21047
362.59/362.75	c nbDecision=337000 #constraints=21064
363.49/363.61	c nbDecision=337500 #constraints=21080
364.79/364.92	c nbDecision=338000 #constraints=21093
365.29/365.48	c nbDecision=338500 #constraints=21108
367.48/367.69	c nbDecision=339000 #constraints=21168
368.29/368.43	c nbDecision=339500 #constraints=21182
369.49/369.67	c nbDecision=340000 #constraints=21213
371.88/372.05	c nbDecision=340500 #constraints=21257
373.09/373.28	c nbDecision=341000 #constraints=21298
373.79/373.96	c nbDecision=341500 #constraints=21316
375.39/375.54	c nbDecision=342000 #constraints=21387
376.29/376.49	c nbDecision=342500 #constraints=21426
378.19/378.33	c nbDecision=343000 #constraints=21460
379.58/379.71	c nbDecision=343500 #constraints=21494
381.38/381.60	c nbDecision=344000 #constraints=21526
382.68/382.82	c nbDecision=344500 #constraints=21543
384.08/384.25	c nbDecision=345000 #constraints=21578
385.48/385.60	c nbDecision=345500 #constraints=21617
386.48/386.62	c nbDecision=346000 #constraints=21638
387.88/388.07	c nbDecision=346500 #constraints=21672
389.08/389.20	c nbDecision=347000 #constraints=21698
389.68/389.81	c nbDecision=347500 #constraints=21709
390.38/390.54	c nbDecision=348000 #constraints=21722
390.98/391.11	c nbDecision=348500 #constraints=21727
392.28/392.46	c nbDecision=349000 #constraints=21744
392.68/392.87	c nbDecision=349500 #constraints=21746
393.58/393.76	c nbDecision=350000 #constraints=21766
394.08/394.29	c nbDecision=350500 #constraints=21774
394.88/395.08	c nbDecision=351000 #constraints=21786
395.68/395.83	c nbDecision=351500 #constraints=21806
396.18/396.38	c nbDecision=352000 #constraints=21812
398.38/398.59	c nbDecision=352500 #constraints=21875
399.68/399.81	c nbDecision=353000 #constraints=21905
400.68/400.81	c nbDecision=353500 #constraints=21926
402.18/402.37	c nbDecision=354000 #constraints=21951
403.08/403.20	c nbDecision=354500 #constraints=21977
404.48/404.66	c nbDecision=355000 #constraints=22011
405.28/405.49	c nbDecision=355500 #constraints=22022
406.38/406.56	c nbDecision=356000 #constraints=22065
406.98/407.13	c nbDecision=356500 #constraints=22070
408.18/408.39	c nbDecision=357000 #constraints=22102
409.18/409.38	c nbDecision=357500 #constraints=22128
410.37/410.56	c nbDecision=358000 #constraints=22142
410.97/411.12	c nbDecision=358500 #constraints=22149
411.67/411.85	c nbDecision=359000 #constraints=22159
413.67/413.87	c nbDecision=359500 #constraints=22202
414.48/414.61	c nbDecision=360000 #constraints=22210
415.27/415.49	c nbDecision=360500 #constraints=22229
416.47/416.62	c nbDecision=361000 #constraints=22253
417.57/417.75	c nbDecision=361500 #constraints=22283
417.97/418.18	c nbDecision=362000 #constraints=22288
419.77/419.99	c nbDecision=362500 #constraints=22335
421.17/421.31	c nbDecision=363000 #constraints=22360
422.07/422.30	c nbDecision=363500 #constraints=22379
424.57/424.70	c nbDecision=364000 #constraints=22432
425.67/425.84	c nbDecision=364500 #constraints=22456
426.87/427.06	c nbDecision=365000 #constraints=22480
427.57/427.75	c nbDecision=365500 #constraints=22484
428.56/428.76	c nbDecision=366000 #constraints=22499
429.87/430.05	c nbDecision=366500 #constraints=22529
430.66/430.86	c nbDecision=367000 #constraints=22537
432.07/432.28	c nbDecision=367500 #constraints=22555
432.66/432.88	c nbDecision=368000 #constraints=22560
433.46/433.64	c nbDecision=368500 #constraints=22569
434.16/434.38	c nbDecision=369000 #constraints=22587
434.97/435.10	c nbDecision=369500 #constraints=22604
435.97/436.18	c nbDecision=370000 #constraints=22617
436.97/437.18	c nbDecision=370500 #constraints=22627
438.77/438.93	c nbDecision=371000 #constraints=22651
439.77/439.99	c nbDecision=371500 #constraints=22675
441.17/441.39	c nbDecision=372000 #constraints=22700
442.37/442.58	c nbDecision=372500 #constraints=22717
443.37/443.59	c nbDecision=373000 #constraints=22733
444.17/444.35	c nbDecision=373500 #constraints=22742
444.97/445.15	c nbDecision=374000 #constraints=22748
446.17/446.32	c nbDecision=374500 #constraints=22766
447.37/447.52	c nbDecision=375000 #constraints=22789
448.37/448.57	c nbDecision=375500 #constraints=22797
450.66/450.80	c nbDecision=376000 #constraints=22835
451.97/452.12	c nbDecision=376500 #constraints=22849
452.76/452.92	c nbDecision=377000 #constraints=22859
454.26/454.42	c nbDecision=377500 #constraints=22894
456.27/456.46	c nbDecision=378000 #constraints=22940
457.46/457.61	c nbDecision=378500 #constraints=22955
459.96/460.11	c nbDecision=379000 #constraints=23008
462.66/462.89	c nbDecision=379500 #constraints=23052
463.66/463.80	c nbDecision=380000 #constraints=23060
465.16/465.31	c nbDecision=380500 #constraints=23081
466.86/467.07	c nbDecision=381000 #constraints=23107
468.06/468.22	c nbDecision=381500 #constraints=23119
469.95/470.12	c nbDecision=382000 #constraints=23170
470.75/470.90	c nbDecision=382500 #constraints=23195
471.55/471.74	c nbDecision=383000 #constraints=23204
472.35/472.55	c nbDecision=383500 #constraints=23211
473.05/473.29	c nbDecision=384000 #constraints=23218
474.96/475.17	c nbDecision=384500 #constraints=23246
476.06/476.26	c nbDecision=385000 #constraints=23256
477.45/477.60	c nbDecision=385500 #constraints=23276
478.75/478.93	c nbDecision=386000 #constraints=23302
480.65/480.81	c nbDecision=386500 #constraints=23327
482.05/482.22	c nbDecision=387000 #constraints=23343
483.05/483.23	c nbDecision=387500 #constraints=23350
484.55/484.74	c nbDecision=388000 #constraints=23372
485.45/485.65	c nbDecision=388500 #constraints=23379
487.25/487.42	c nbDecision=389000 #constraints=23406
488.36/488.52	c nbDecision=389500 #constraints=23422
489.26/489.40	c nbDecision=390000 #constraints=23431
490.15/490.33	c nbDecision=390500 #constraints=23440
491.35/491.59	c nbDecision=391000 #constraints=23457
492.45/492.68	c nbDecision=391500 #constraints=23470
493.85/494.02	c nbDecision=392000 #constraints=23488
494.76/494.91	c nbDecision=392500 #constraints=23499
495.96/496.11	c nbDecision=393000 #constraints=23514
497.55/497.75	c nbDecision=393500 #constraints=23539
498.85/499.03	c nbDecision=394000 #constraints=23557
499.75/500.00	c nbDecision=394500 #constraints=23570
501.55/501.77	c nbDecision=395000 #constraints=23596
502.65/502.88	c nbDecision=395500 #constraints=23613
504.05/504.28	c nbDecision=396000 #constraints=23633
505.25/505.49	c nbDecision=396500 #constraints=23649
506.55/506.71	c nbDecision=397000 #constraints=23665
507.35/507.57	c nbDecision=397500 #constraints=23680
508.65/508.80	c nbDecision=398000 #constraints=23694
509.55/509.74	c nbDecision=398500 #constraints=23704
510.25/510.49	c nbDecision=399000 #constraints=23720
511.15/511.32	c nbDecision=399500 #constraints=23727
511.85/512.09	c nbDecision=400000 #constraints=23737
513.65/513.82	c nbDecision=400500 #constraints=23761
515.54/515.74	c nbDecision=401000 #constraints=23800
516.54/516.71	c nbDecision=401500 #constraints=23821
517.85/518.06	c nbDecision=402000 #constraints=23838
518.95/519.15	c nbDecision=402500 #constraints=23851
520.24/520.43	c nbDecision=403000 #constraints=23867
522.54/522.79	c nbDecision=403500 #constraints=23911
524.84/525.09	c nbDecision=404000 #constraints=23953
525.84/526.09	c nbDecision=404500 #constraints=23966
527.14/527.31	c nbDecision=405000 #constraints=23988
528.54/528.71	c nbDecision=405500 #constraints=24006
530.14/530.31	c nbDecision=406000 #constraints=24031
531.64/531.84	c nbDecision=406500 #constraints=24063
532.44/532.62	c nbDecision=407000 #constraints=24077
534.73/534.91	c nbDecision=407500 #constraints=24121
535.93/536.13	c nbDecision=408000 #constraints=24152
537.43/537.65	c nbDecision=408500 #constraints=24180
539.03/539.25	c nbDecision=409000 #constraints=24202
541.23/541.43	c nbDecision=409500 #constraints=24243
541.43/541.60	c restart after 409601 decisions
543.73/543.96	c nbDecision=410000 #constraints=24249
544.34/544.55	c nbDecision=410500 #constraints=24256
546.03/546.22	c nbDecision=411000 #constraints=24289
547.03/547.27	c nbDecision=411500 #constraints=24313
547.73/547.92	c nbDecision=412000 #constraints=24318
548.53/548.79	c nbDecision=412500 #constraints=24332
549.43/549.68	c nbDecision=413000 #constraints=24346
550.53/550.75	c nbDecision=413500 #constraints=24373
551.63/551.86	c nbDecision=414000 #constraints=24396
553.53/553.79	c nbDecision=414500 #constraints=24451
554.53/554.71	c nbDecision=415000 #constraints=24463
556.03/556.27	c nbDecision=415500 #constraints=24486
557.73/557.94	c nbDecision=416000 #constraints=24529
558.93/559.15	c nbDecision=416500 #constraints=24552
560.33/560.56	c nbDecision=417000 #constraints=24565
560.93/561.18	c nbDecision=417500 #constraints=24572
562.43/562.69	c nbDecision=418000 #constraints=24601
563.73/563.98	c nbDecision=418500 #constraints=24611
564.73/564.90	c nbDecision=419000 #constraints=24634
566.63/566.88	c nbDecision=419500 #constraints=24687
567.63/567.82	c nbDecision=420000 #constraints=24702
568.83/569.09	c nbDecision=420500 #constraints=24727
569.73/569.98	c nbDecision=421000 #constraints=24741
570.73/570.96	c nbDecision=421500 #constraints=24755
572.03/572.21	c nbDecision=422000 #constraints=24801
573.93/574.18	c nbDecision=422500 #constraints=24862
574.92/575.18	c nbDecision=423000 #constraints=24883
575.82/576.05	c nbDecision=423500 #constraints=24907
577.12/577.31	c nbDecision=424000 #constraints=24939
578.02/578.21	c nbDecision=424500 #constraints=24963
579.02/579.21	c nbDecision=425000 #constraints=24970
580.53/580.72	c nbDecision=425500 #constraints=24982
581.02/581.27	c nbDecision=426000 #constraints=24987
581.73/581.93	c nbDecision=426500 #constraints=24994
582.52/582.75	c nbDecision=427000 #constraints=25011
583.32/583.56	c nbDecision=427500 #constraints=25020
584.22/584.47	c nbDecision=428000 #constraints=25029
585.32/585.60	c nbDecision=428500 #constraints=25058
586.42/586.68	c nbDecision=429000 #constraints=25078
587.12/587.35	c nbDecision=429500 #constraints=25089
588.22/588.49	c nbDecision=430000 #constraints=25112
588.92/589.18	c nbDecision=430500 #constraints=25116
589.62/589.81	c nbDecision=431000 #constraints=25123
590.42/590.66	c nbDecision=431500 #constraints=25132
591.32/591.51	c nbDecision=432000 #constraints=25140
591.92/592.19	c nbDecision=432500 #constraints=25149
593.22/593.46	c nbDecision=433000 #constraints=25167
594.21/594.42	c nbDecision=433500 #constraints=25196
595.71/595.94	c nbDecision=434000 #constraints=25243
597.21/597.44	c nbDecision=434500 #constraints=25278
598.01/598.26	c nbDecision=435000 #constraints=25298
599.82/600.03	c nbDecision=435500 #constraints=25319
600.33/600.57	c nbDecision=436000 #constraints=25322
602.02/602.22	c nbDecision=436500 #constraints=25351
603.12/603.39	c nbDecision=437000 #constraints=25363
604.12/604.35	c nbDecision=437500 #constraints=25379
604.92/605.14	c nbDecision=438000 #constraints=25387
606.12/606.37	c nbDecision=438500 #constraints=25413
607.32/607.51	c nbDecision=439000 #constraints=25430
608.92/609.12	c nbDecision=439500 #constraints=25460
610.42/610.60	c nbDecision=440000 #constraints=25475
611.82/612.06	c nbDecision=440500 #constraints=25487
613.52/613.75	c nbDecision=441000 #constraints=25526
614.01/614.28	c nbDecision=441500 #constraints=25528
615.72/615.92	c nbDecision=442000 #constraints=25555
617.81/618.05	c nbDecision=442500 #constraints=25594
619.11/619.40	c nbDecision=443000 #constraints=25606
620.31/620.59	c nbDecision=443500 #constraints=25628
622.11/622.34	c nbDecision=444000 #constraints=25651
623.11/623.39	c nbDecision=444500 #constraints=25664
623.91/624.15	c nbDecision=445000 #constraints=25671
625.41/625.67	c nbDecision=445500 #constraints=25688
626.21/626.44	c nbDecision=446000 #constraints=25703
627.71/627.96	c nbDecision=446500 #constraints=25716
628.61/628.87	c nbDecision=447000 #constraints=25726
629.81/630.04	c nbDecision=447500 #constraints=25738
631.51/631.79	c nbDecision=448000 #constraints=25788
632.50/632.72	c nbDecision=448500 #constraints=25795
633.70/633.91	c nbDecision=449000 #constraints=25805
635.00/635.21	c nbDecision=449500 #constraints=25816
635.61/635.88	c nbDecision=450000 #constraints=25825
636.40/636.68	c nbDecision=450500 #constraints=25831
637.50/637.70	c nbDecision=451000 #constraints=25842
638.10/638.37	c nbDecision=451500 #constraints=25848
638.91/639.19	c nbDecision=452000 #constraints=25853
639.80/640.09	c nbDecision=452500 #constraints=25862
641.10/641.34	c nbDecision=453000 #constraints=25874
641.80/642.06	c nbDecision=453500 #constraints=25884
643.20/643.50	c nbDecision=454000 #constraints=25907
644.70/644.91	c nbDecision=454500 #constraints=25917
645.90/646.17	c nbDecision=455000 #constraints=25967
647.20/647.44	c nbDecision=455500 #constraints=26013
648.10/648.35	c nbDecision=456000 #constraints=26022
649.70/649.99	c nbDecision=456500 #constraints=26032
650.90/651.20	c nbDecision=457000 #constraints=26051
652.19/652.45	c nbDecision=457500 #constraints=26059
653.20/653.46	c nbDecision=458000 #constraints=26068
654.59/654.81	c nbDecision=458500 #constraints=26077
655.49/655.78	c nbDecision=459000 #constraints=26086
656.89/657.17	c nbDecision=459500 #constraints=26108
657.69/657.94	c nbDecision=460000 #constraints=26111
660.80/661.06	c nbDecision=460500 #constraints=26194
661.79/662.01	c nbDecision=461000 #constraints=26222
663.10/663.34	c nbDecision=461500 #constraints=26230
664.30/664.56	c nbDecision=462000 #constraints=26247
665.20/665.43	c nbDecision=462500 #constraints=26256
667.40/667.61	c nbDecision=463000 #constraints=26283
668.20/668.43	c nbDecision=463500 #constraints=26303
670.90/671.11	c nbDecision=464000 #constraints=26337
672.00/672.20	c nbDecision=464500 #constraints=26352
673.90/674.16	c nbDecision=465000 #constraints=26391
676.20/676.46	c nbDecision=465500 #constraints=26424
677.89/678.13	c nbDecision=466000 #constraints=26461
679.19/679.43	c nbDecision=466500 #constraints=26476
680.19/680.46	c nbDecision=467000 #constraints=26497
681.49/681.70	c nbDecision=467500 #constraints=26523
682.29/682.52	c nbDecision=468000 #constraints=26530
683.29/683.60	c nbDecision=468500 #constraints=26555
683.99/684.25	c nbDecision=469000 #constraints=26562
686.29/686.55	c nbDecision=469500 #constraints=26602
687.29/687.53	c nbDecision=470000 #constraints=26615
688.69/688.97	c nbDecision=470500 #constraints=26646
690.19/690.42	c nbDecision=471000 #constraints=26664
691.19/691.47	c nbDecision=471500 #constraints=26685
691.89/692.14	c nbDecision=472000 #constraints=26691
693.98/694.27	c nbDecision=472500 #constraints=26716
695.38/695.67	c nbDecision=473000 #constraints=26745
697.38/697.67	c nbDecision=473500 #constraints=26774
698.48/698.77	c nbDecision=474000 #constraints=26788
699.98/700.27	c nbDecision=474500 #constraints=26821
701.18/701.44	c nbDecision=475000 #constraints=26835
701.88/702.18	c nbDecision=475500 #constraints=26842
702.59/702.82	c nbDecision=476000 #constraints=26850
705.09/705.35	c nbDecision=476500 #constraints=26890
706.29/706.54	c nbDecision=477000 #constraints=26914
707.59/707.82	c nbDecision=477500 #constraints=26948
708.89/709.16	c nbDecision=478000 #constraints=26984
709.99/710.28	c nbDecision=478500 #constraints=27001
711.29/711.52	c nbDecision=479000 #constraints=27027
713.09/713.39	c nbDecision=479500 #constraints=27043
714.19/714.48	c nbDecision=480000 #constraints=27065
715.29/715.57	c nbDecision=480500 #constraints=27082
716.59/716.86	c nbDecision=481000 #constraints=27114
718.09/718.37	c nbDecision=481500 #constraints=27153
719.19/719.41	c nbDecision=482000 #constraints=27176
719.88/720.18	c nbDecision=482500 #constraints=27187
721.98/722.20	c nbDecision=483000 #constraints=27208
724.28/724.56	c nbDecision=483500 #constraints=27246
726.08/726.36	c nbDecision=484000 #constraints=27303
728.08/728.37	c nbDecision=484500 #constraints=27338
730.48/730.72	c nbDecision=485000 #constraints=27360
730.98/731.27	c nbDecision=485500 #constraints=27367
732.78/733.00	c nbDecision=486000 #constraints=27384
733.87/734.12	c nbDecision=486500 #constraints=27404
735.77/736.09	c nbDecision=487000 #constraints=27427
737.37/737.66	c nbDecision=487500 #constraints=27440
738.37/738.69	c nbDecision=488000 #constraints=27446
740.08/740.34	c nbDecision=488500 #constraints=27456
741.87/742.16	c nbDecision=489000 #constraints=27486
742.77/743.06	c nbDecision=489500 #constraints=27497
744.27/744.58	c nbDecision=490000 #constraints=27521
746.17/746.45	c nbDecision=490500 #constraints=27543
747.67/747.92	c nbDecision=491000 #constraints=27559
749.47/749.75	c nbDecision=491500 #constraints=27575
751.07/751.36	c nbDecision=492000 #constraints=27601
752.27/752.54	c nbDecision=492500 #constraints=27625
753.97/754.28	c nbDecision=493000 #constraints=27662
755.67/755.95	c nbDecision=493500 #constraints=27692
757.47/757.74	c nbDecision=494000 #constraints=27713
758.17/758.48	c nbDecision=494500 #constraints=27721
759.77/760.09	c nbDecision=495000 #constraints=27742
761.27/761.56	c nbDecision=495500 #constraints=27758
762.27/762.51	c nbDecision=496000 #constraints=27777
763.18/763.43	c nbDecision=496500 #constraints=27795
764.57/764.85	c nbDecision=497000 #constraints=27837
765.97/766.21	c nbDecision=497500 #constraints=27850
768.07/768.38	c nbDecision=498000 #constraints=27892
769.47/769.72	c nbDecision=498500 #constraints=27900
771.27/771.54	c nbDecision=499000 #constraints=27930
772.57/772.86	c nbDecision=499500 #constraints=27941
773.47/773.71	c nbDecision=500000 #constraints=27949
774.57/774.82	c nbDecision=500500 #constraints=27963
775.37/775.67	c nbDecision=501000 #constraints=27975
776.07/776.39	c nbDecision=501500 #constraints=27979
777.57/777.83	c nbDecision=502000 #constraints=28009
778.67/778.96	c nbDecision=502500 #constraints=28023
780.37/780.63	c nbDecision=503000 #constraints=28051
781.57/781.84	c nbDecision=503500 #constraints=28077
782.77/783.09	c nbDecision=504000 #constraints=28101
783.97/784.25	c nbDecision=504500 #constraints=28123
785.87/786.10	c nbDecision=505000 #constraints=28148
787.47/787.70	c nbDecision=505500 #constraints=28163
789.37/789.69	c nbDecision=506000 #constraints=28197
790.67/790.96	c nbDecision=506500 #constraints=28209
792.06/792.32	c nbDecision=507000 #constraints=28228
793.16/793.46	c nbDecision=507500 #constraints=28238
794.16/794.44	c nbDecision=508000 #constraints=28244
796.07/796.32	c nbDecision=508500 #constraints=28287
797.06/797.36	c nbDecision=509000 #constraints=28292
798.27/798.51	c nbDecision=509500 #constraints=28305
799.26/799.53	c nbDecision=510000 #constraints=28309
800.47/800.80	c nbDecision=510500 #constraints=28319
801.76/802.04	c nbDecision=511000 #constraints=28337
803.16/803.47	c nbDecision=511500 #constraints=28393
804.66/804.97	c nbDecision=512000 #constraints=28410
805.76/806.05	c nbDecision=512500 #constraints=28421
806.86/807.15	c nbDecision=513000 #constraints=28430
808.16/808.45	c nbDecision=513500 #constraints=28457
809.36/809.62	c nbDecision=514000 #constraints=28467
810.86/811.16	c nbDecision=514500 #constraints=28478
812.36/812.68	c nbDecision=515000 #constraints=28507
813.26/813.59	c nbDecision=515500 #constraints=28518
814.36/814.60	c nbDecision=516000 #constraints=28526
815.46/815.73	c nbDecision=516500 #constraints=28536
816.66/816.95	c nbDecision=517000 #constraints=28553
818.26/818.55	c nbDecision=517500 #constraints=28573
819.46/819.75	c nbDecision=518000 #constraints=28582
820.86/821.11	c nbDecision=518500 #constraints=28594
822.16/822.43	c nbDecision=519000 #constraints=28610
824.15/824.48	c nbDecision=519500 #constraints=28667
825.05/825.31	c nbDecision=520000 #constraints=28676
826.55/826.87	c nbDecision=520500 #constraints=28698
828.05/828.37	c nbDecision=521000 #constraints=28720
829.05/829.31	c nbDecision=521500 #constraints=28724
830.25/830.55	c nbDecision=522000 #constraints=28743
831.55/831.85	c nbDecision=522500 #constraints=28760
833.25/833.57	c nbDecision=523000 #constraints=28783
834.55/834.87	c nbDecision=523500 #constraints=28796
836.16/836.41	c nbDecision=524000 #constraints=28810
837.26/837.52	c nbDecision=524500 #constraints=28836
838.46/838.74	c nbDecision=525000 #constraints=28853
839.55/839.85	c nbDecision=525500 #constraints=28875
841.16/841.46	c nbDecision=526000 #constraints=28913
842.85/843.15	c nbDecision=526500 #constraints=28922
843.75/844.04	c nbDecision=527000 #constraints=28928
845.66/845.94	c nbDecision=527500 #constraints=28978
847.05/847.39	c nbDecision=528000 #constraints=28996
847.95/848.22	c nbDecision=528500 #constraints=29000
848.75/849.08	c nbDecision=529000 #constraints=29006
850.75/851.04	c nbDecision=529500 #constraints=29041
851.75/852.09	c nbDecision=530000 #constraints=29049
852.85/853.13	c nbDecision=530500 #constraints=29058
854.35/854.67	c nbDecision=531000 #constraints=29107
855.65/855.98	c nbDecision=531500 #constraints=29149
856.94/857.27	c nbDecision=532000 #constraints=29174
858.14/858.44	c nbDecision=532500 #constraints=29178
860.24/860.58	c nbDecision=533000 #constraints=29204
861.64/861.96	c nbDecision=533500 #constraints=29218
862.54/862.87	c nbDecision=534000 #constraints=29223
863.74/864.08	c nbDecision=534500 #constraints=29229
865.35/865.68	c nbDecision=535000 #constraints=29248
866.34/866.68	c nbDecision=535500 #constraints=29260
867.24/867.51	c nbDecision=536000 #constraints=29278
868.64/868.90	c nbDecision=536500 #constraints=29300
870.04/870.30	c nbDecision=537000 #constraints=29329
871.34/871.61	c nbDecision=537500 #constraints=29359
873.64/873.92	c nbDecision=538000 #constraints=29397
875.64/875.95	c nbDecision=538500 #constraints=29438
876.45/876.71	c nbDecision=539000 #constraints=29445
877.35/877.63	c nbDecision=539500 #constraints=29451
878.44/878.75	c nbDecision=540000 #constraints=29472
881.54/881.88	c nbDecision=540500 #constraints=29510
883.84/884.17	c nbDecision=541000 #constraints=29534
885.15/885.49	c nbDecision=541500 #constraints=29556
887.74/888.08	c nbDecision=542000 #constraints=29581
890.14/890.42	c nbDecision=542500 #constraints=29605
892.34/892.69	c nbDecision=543000 #constraints=29629
893.54/893.80	c nbDecision=543500 #constraints=29644
894.84/895.12	c nbDecision=544000 #constraints=29671
896.64/896.91	c nbDecision=544500 #constraints=29717
899.84/900.12	c nbDecision=545000 #constraints=29823
901.44/901.77	c nbDecision=545500 #constraints=29864
903.03/903.39	c nbDecision=546000 #constraints=29899
905.13/905.43	c nbDecision=546500 #constraints=29933
907.13/907.40	c nbDecision=547000 #constraints=30000
908.73/909.05	c nbDecision=547500 #constraints=30030
909.63/909.92	c nbDecision=548000 #constraints=30038
911.33/911.62	c nbDecision=548500 #constraints=30084
912.83/913.12	c nbDecision=549000 #constraints=30113
914.23/914.57	c nbDecision=549500 #constraints=30140
915.72/916.06	c nbDecision=550000 #constraints=30175
917.13/917.49	c nbDecision=550500 #constraints=30189
918.13/918.40	c nbDecision=551000 #constraints=30196
919.33/919.62	c nbDecision=551500 #constraints=30218
921.32/921.61	c nbDecision=552000 #constraints=30264
922.32/922.67	c nbDecision=552500 #constraints=30283
924.02/924.38	c nbDecision=553000 #constraints=30329
925.22/925.58	c nbDecision=553500 #constraints=30368
927.03/927.36	c nbDecision=554000 #constraints=30421
928.43/928.72	c nbDecision=554500 #constraints=30451
930.13/930.40	c nbDecision=555000 #constraints=30487
931.13/931.44	c nbDecision=555500 #constraints=30509
932.43/932.76	c nbDecision=556000 #constraints=30540
933.33/933.63	c nbDecision=556500 #constraints=30549
935.22/935.57	c nbDecision=557000 #constraints=30607
937.02/937.39	c nbDecision=557500 #constraints=30657
938.12/938.45	c nbDecision=558000 #constraints=30674
939.52/939.86	c nbDecision=558500 #constraints=30688
942.02/942.32	c nbDecision=559000 #constraints=30762
943.42/943.77	c nbDecision=559500 #constraints=30790
944.62/944.91	c nbDecision=560000 #constraints=30813
946.02/946.33	c nbDecision=560500 #constraints=30828
947.32/947.61	c nbDecision=561000 #constraints=30846
948.32/948.67	c nbDecision=561500 #constraints=30855
949.92/950.21	c nbDecision=562000 #constraints=30878
951.12/951.42	c nbDecision=562500 #constraints=30904
952.82/953.11	c nbDecision=563000 #constraints=30934
953.92/954.25	c nbDecision=563500 #constraints=30946
954.82/955.16	c nbDecision=564000 #constraints=30956
956.02/956.36	c nbDecision=564500 #constraints=30984
957.72/958.05	c nbDecision=565000 #constraints=31020
959.01/959.36	c nbDecision=565500 #constraints=31048
960.41/960.77	c nbDecision=566000 #constraints=31069
961.91/962.27	c nbDecision=566500 #constraints=31095
963.71/964.08	c nbDecision=567000 #constraints=31143
971.41/971.74	c nbDecision=567500 #constraints=31240
972.21/972.59	c nbDecision=568000 #constraints=31248
974.21/974.53	c nbDecision=568500 #constraints=31279
975.41/975.70	c nbDecision=569000 #constraints=31290
976.51/976.88	c nbDecision=569500 #constraints=31298
977.61/977.90	c nbDecision=570000 #constraints=31312
980.31/980.64	c nbDecision=570500 #constraints=31360
983.12/983.48	c nbDecision=571000 #constraints=31399
984.81/985.14	c nbDecision=571500 #constraints=31409
988.11/988.43	c nbDecision=572000 #constraints=31449
990.11/990.47	c nbDecision=572500 #constraints=31479
992.21/992.58	c nbDecision=573000 #constraints=31526
994.21/994.59	c nbDecision=573500 #constraints=31584
996.01/996.31	c nbDecision=574000 #constraints=31627
997.81/998.18	c nbDecision=574500 #constraints=31670
999.71/1000.05	c nbDecision=575000 #constraints=31715
1001.81/1002.20	c nbDecision=575500 #constraints=31764
1004.01/1004.38	c nbDecision=576000 #constraints=31814
1006.11/1006.47	c nbDecision=576500 #constraints=31863
1007.90/1008.29	c nbDecision=577000 #constraints=31895
1010.40/1010.73	c nbDecision=577500 #constraints=31942
1012.60/1012.90	c nbDecision=578000 #constraints=31990
1014.50/1014.88	c nbDecision=578500 #constraints=32030
1015.80/1016.18	c nbDecision=579000 #constraints=32052
1017.70/1018.04	c nbDecision=579500 #constraints=32086
1018.90/1019.22	c nbDecision=580000 #constraints=32106
1020.50/1020.84	c nbDecision=580500 #constraints=32139
1022.30/1022.67	c nbDecision=581000 #constraints=32185
1023.50/1023.89	c nbDecision=581500 #constraints=32200
1025.50/1025.82	c nbDecision=582000 #constraints=32244
1026.80/1027.12	c nbDecision=582500 #constraints=32270
1028.30/1028.67	c nbDecision=583000 #constraints=32303
1030.09/1030.48	c nbDecision=583500 #constraints=32346
1031.79/1032.11	c nbDecision=584000 #constraints=32382
1033.60/1033.93	c nbDecision=584500 #constraints=32425
1035.59/1035.92	c nbDecision=585000 #constraints=32475
1037.19/1037.54	c nbDecision=585500 #constraints=32507
1038.80/1039.15	c nbDecision=586000 #constraints=32541
1040.50/1040.80	c nbDecision=586500 #constraints=32573
1041.99/1042.33	c nbDecision=587000 #constraints=32606
1043.79/1044.13	c nbDecision=587500 #constraints=32648
1045.29/1045.61	c nbDecision=588000 #constraints=32680
1047.09/1047.42	c nbDecision=588500 #constraints=32726
1048.59/1048.91	c nbDecision=589000 #constraints=32753
1050.29/1050.65	c nbDecision=589500 #constraints=32767
1051.59/1051.92	c nbDecision=590000 #constraints=32776
1054.09/1054.46	c nbDecision=590500 #constraints=32789
1056.09/1056.48	c nbDecision=591000 #constraints=32813
1057.59/1057.92	c nbDecision=591500 #constraints=32822
1059.48/1059.85	c nbDecision=592000 #constraints=32842
1060.69/1061.04	c nbDecision=592500 #constraints=32851
1063.19/1063.52	c nbDecision=593000 #constraints=32878
1064.79/1065.14	c nbDecision=593500 #constraints=32904
1065.79/1066.16	c nbDecision=594000 #constraints=32912
1067.69/1068.02	c nbDecision=594500 #constraints=32923
1070.79/1071.19	c nbDecision=595000 #constraints=32959
1072.49/1072.82	c nbDecision=595500 #constraints=32970
1074.08/1074.48	c nbDecision=596000 #constraints=32996
1075.88/1076.21	c nbDecision=596500 #constraints=33012
1077.18/1077.58	c nbDecision=597000 #constraints=33042
1078.69/1079.04	c nbDecision=597500 #constraints=33063
1082.58/1082.96	c nbDecision=598000 #constraints=33118
1085.48/1085.89	c nbDecision=598500 #constraints=33151
1087.78/1088.17	c nbDecision=599000 #constraints=33174
1091.18/1091.51	c nbDecision=599500 #constraints=33205
1093.78/1094.15	c nbDecision=600000 #constraints=33224
1095.67/1096.05	c nbDecision=600500 #constraints=33256
1098.18/1098.58	c nbDecision=601000 #constraints=33298
1100.57/1100.94	c nbDecision=601500 #constraints=33360
1102.77/1103.12	c nbDecision=602000 #constraints=33404
1103.77/1104.12	c nbDecision=602500 #constraints=33413
1106.98/1107.31	c nbDecision=603000 #constraints=33457
1108.28/1108.63	c nbDecision=603500 #constraints=33472
1110.28/1110.69	c nbDecision=604000 #constraints=33490
1111.18/1111.55	c nbDecision=604500 #constraints=33495
1112.48/1112.82	c nbDecision=605000 #constraints=33514
1113.98/1114.39	c nbDecision=605500 #constraints=33533
1115.48/1115.81	c nbDecision=606000 #constraints=33544
1117.08/1117.47	c nbDecision=606500 #constraints=33573
1118.68/1119.04	c nbDecision=607000 #constraints=33594
1121.47/1121.88	c nbDecision=607500 #constraints=33624
1122.57/1122.93	c nbDecision=608000 #constraints=33631
1123.88/1124.24	c nbDecision=608500 #constraints=33636
1125.27/1125.64	c nbDecision=609000 #constraints=33648
1126.77/1127.16	c nbDecision=609500 #constraints=33661
1127.97/1128.35	c nbDecision=610000 #constraints=33665
1130.97/1131.35	c nbDecision=610500 #constraints=33691
1132.57/1132.93	c nbDecision=611000 #constraints=33709
1135.26/1135.60	c nbDecision=611500 #constraints=33739
1137.16/1137.50	c nbDecision=612000 #constraints=33760
1138.96/1139.30	c nbDecision=612500 #constraints=33777
1141.76/1142.20	c nbDecision=613000 #constraints=33820
1143.86/1144.24	c nbDecision=613500 #constraints=33846
1146.66/1147.06	c nbDecision=614000 #constraints=33877
1148.96/1149.32	c nbDecision=614500 #constraints=33906
1152.16/1152.52	c nbDecision=615000 #constraints=33924
1154.56/1154.92	c nbDecision=615500 #constraints=33936
1156.16/1156.57	c nbDecision=616000 #constraints=33961
1157.87/1158.27	c nbDecision=616500 #constraints=33978
1159.97/1160.34	c nbDecision=617000 #constraints=34005
1161.67/1162.05	c nbDecision=617500 #constraints=34027
1163.06/1163.46	c nbDecision=618000 #constraints=34045
1165.26/1165.63	c nbDecision=618500 #constraints=34075
1167.06/1167.42	c nbDecision=619000 #constraints=34099
1168.26/1168.67	c nbDecision=619500 #constraints=34106
1170.07/1170.43	c nbDecision=620000 #constraints=34130
1174.06/1174.44	c nbDecision=620500 #constraints=34203
1175.26/1175.66	c nbDecision=621000 #constraints=34210
1177.06/1177.46	c nbDecision=621500 #constraints=34235
1178.46/1178.83	c nbDecision=622000 #constraints=34266
1180.86/1181.27	c nbDecision=622500 #constraints=34324
1183.66/1184.09	c nbDecision=623000 #constraints=34367
1186.26/1186.64	c nbDecision=623500 #constraints=34423
1187.86/1188.21	c nbDecision=624000 #constraints=34437
1192.16/1192.56	c nbDecision=624500 #constraints=34531
1193.75/1194.19	c nbDecision=625000 #constraints=34552
1196.65/1197.06	c nbDecision=625500 #constraints=34584
1198.95/1199.37	c nbDecision=626000 #constraints=34615
1200.65/1201.07	c nbDecision=626500 #constraints=34629
1202.65/1203.05	c nbDecision=627000 #constraints=34647
1205.05/1205.45	c nbDecision=627500 #constraints=34723
1209.95/1210.33	c nbDecision=628000 #constraints=34817
1212.45/1212.81	c nbDecision=628500 #constraints=34836
1214.45/1214.85	c nbDecision=629000 #constraints=34855
1216.75/1217.15	c nbDecision=629500 #constraints=34873
1219.74/1220.14	c nbDecision=630000 #constraints=34908
1221.94/1222.31	c nbDecision=630500 #constraints=34934
1223.54/1223.93	c nbDecision=631000 #constraints=34948
1230.64/1231.04	c nbDecision=631500 #constraints=35026
1234.04/1234.46	c nbDecision=632000 #constraints=35076
1236.14/1236.56	c nbDecision=632500 #constraints=35101
1237.64/1238.08	c nbDecision=633000 #constraints=35109
1239.03/1239.45	c nbDecision=633500 #constraints=35115
1240.63/1241.05	c nbDecision=634000 #constraints=35123
1242.24/1242.60	c nbDecision=634500 #constraints=35138
1243.75/1244.12	c nbDecision=635000 #constraints=35144
1245.34/1245.71	c nbDecision=635500 #constraints=35152
1246.64/1247.04	c nbDecision=636000 #constraints=35157
1248.15/1248.52	c nbDecision=636500 #constraints=35161
1249.44/1249.84	c nbDecision=637000 #constraints=35165
1251.34/1251.72	c nbDecision=637500 #constraints=35180
1253.64/1254.07	c nbDecision=638000 #constraints=35206
1255.74/1256.11	c nbDecision=638500 #constraints=35225
1257.54/1257.93	c nbDecision=639000 #constraints=35246
1258.94/1259.36	c nbDecision=639500 #constraints=35259
1262.04/1262.49	c nbDecision=640000 #constraints=35295
1263.34/1263.75	c nbDecision=640500 #constraints=35300
1264.94/1265.32	c nbDecision=641000 #constraints=35309
1266.74/1267.11	c nbDecision=641500 #constraints=35320
1270.84/1271.21	c nbDecision=642000 #constraints=35366
1272.94/1273.37	c nbDecision=642500 #constraints=35377
1275.33/1275.78	c nbDecision=643000 #constraints=35424
1277.33/1277.74	c nbDecision=643500 #constraints=35464
1278.84/1279.28	c nbDecision=644000 #constraints=35476
1280.33/1280.74	c nbDecision=644500 #constraints=35488
1282.03/1282.46	c nbDecision=645000 #constraints=35513
1283.53/1283.90	c nbDecision=645500 #constraints=35523
1285.83/1286.25	c nbDecision=646000 #constraints=35581
1289.63/1290.02	c nbDecision=646500 #constraints=35633
1292.33/1292.77	c nbDecision=647000 #constraints=35657
1295.53/1295.91	c nbDecision=647500 #constraints=35695
1297.42/1297.88	c nbDecision=648000 #constraints=35705
1300.02/1300.47	c nbDecision=648500 #constraints=35716
1301.32/1301.76	c nbDecision=649000 #constraints=35722
1303.13/1303.51	c nbDecision=649500 #constraints=35728
1305.23/1305.60	c nbDecision=650000 #constraints=35741
1307.02/1307.42	c nbDecision=650500 #constraints=35754
1309.52/1309.93	c nbDecision=651000 #constraints=35785
1311.72/1312.13	c nbDecision=651500 #constraints=35799
1313.02/1313.46	c nbDecision=652000 #constraints=35809
1314.62/1315.00	c nbDecision=652500 #constraints=35829
1316.02/1316.42	c nbDecision=653000 #constraints=35835
1317.42/1317.85	c nbDecision=653500 #constraints=35842
1319.72/1320.18	c nbDecision=654000 #constraints=35869
1323.72/1324.15	c nbDecision=654500 #constraints=35911
1325.32/1325.72	c nbDecision=655000 #constraints=35920
1326.92/1327.38	c nbDecision=655500 #constraints=35937
1329.21/1329.62	c nbDecision=656000 #constraints=35968
1330.71/1331.17	c nbDecision=656500 #constraints=35977
1332.61/1333.08	c nbDecision=657000 #constraints=35995
1334.61/1335.03	c nbDecision=657500 #constraints=36030
1336.01/1336.48	c nbDecision=658000 #constraints=36038
1337.91/1338.38	c nbDecision=658500 #constraints=36050
1339.61/1340.07	c nbDecision=659000 #constraints=36066
1341.81/1342.24	c nbDecision=659500 #constraints=36081
1343.01/1343.44	c nbDecision=660000 #constraints=36089
1345.31/1345.70	c nbDecision=660500 #constraints=36108
1347.51/1347.96	c nbDecision=661000 #constraints=36126
1349.81/1350.21	c nbDecision=661500 #constraints=36137
1352.40/1352.81	c nbDecision=662000 #constraints=36152
1355.01/1355.44	c nbDecision=662500 #constraints=36175
1357.01/1357.47	c nbDecision=663000 #constraints=36192
1358.30/1358.71	c nbDecision=663500 #constraints=36196
1361.20/1361.64	c nbDecision=664000 #constraints=36229
1362.80/1363.20	c nbDecision=664500 #constraints=36242
1364.70/1365.13	c nbDecision=665000 #constraints=36251
1367.30/1367.74	c nbDecision=665500 #constraints=36281
1368.50/1368.97	c nbDecision=666000 #constraints=36286
1370.90/1371.38	c nbDecision=666500 #constraints=36300
1373.00/1373.45	c nbDecision=667000 #constraints=36312
1376.81/1377.21	c nbDecision=667500 #constraints=36355
1379.01/1379.46	c nbDecision=668000 #constraints=36371
1380.41/1380.85	c nbDecision=668500 #constraints=36383
1382.70/1383.14	c nbDecision=669000 #constraints=36397
1384.41/1384.89	c nbDecision=669500 #constraints=36417
1385.80/1386.20	c nbDecision=670000 #constraints=36424
1387.40/1387.85	c nbDecision=670500 #constraints=36435
1388.90/1389.35	c nbDecision=671000 #constraints=36453
1391.30/1391.76	c nbDecision=671500 #constraints=36493
1393.10/1393.53	c nbDecision=672000 #constraints=36510
1394.80/1395.21	c nbDecision=672500 #constraints=36519
1396.10/1396.53	c nbDecision=673000 #constraints=36535
1397.60/1398.06	c nbDecision=673500 #constraints=36540
1399.10/1399.51	c nbDecision=674000 #constraints=36549
1401.10/1401.59	c nbDecision=674500 #constraints=36572
1402.89/1403.33	c nbDecision=675000 #constraints=36591
1404.69/1405.18	c nbDecision=675500 #constraints=36600
1406.79/1407.28	c nbDecision=676000 #constraints=36634
1408.70/1409.14	c nbDecision=676500 #constraints=36647
1409.80/1410.29	c nbDecision=677000 #constraints=36654
1412.09/1412.56	c nbDecision=677500 #constraints=36667
1413.29/1413.70	c nbDecision=678000 #constraints=36670
1414.89/1415.40	c nbDecision=678500 #constraints=36696
1417.29/1417.73	c nbDecision=679000 #constraints=36722
1418.69/1419.14	c nbDecision=679500 #constraints=36743
1420.99/1421.42	c nbDecision=680000 #constraints=36771
1423.19/1423.63	c nbDecision=680500 #constraints=36814
1424.99/1425.47	c nbDecision=681000 #constraints=36840
1427.79/1428.28	c nbDecision=681500 #constraints=36878
1429.29/1429.72	c nbDecision=682000 #constraints=36889
1430.78/1431.25	c nbDecision=682500 #constraints=36903
1432.38/1432.81	c nbDecision=683000 #constraints=36916
1433.78/1434.20	c nbDecision=683500 #constraints=36921
1435.28/1435.79	c nbDecision=684000 #constraints=36929
1436.78/1437.20	c nbDecision=684500 #constraints=36938
1438.28/1438.79	c nbDecision=685000 #constraints=36947
1439.68/1440.10	c nbDecision=685500 #constraints=36959
1441.28/1441.73	c nbDecision=686000 #constraints=36972
1442.78/1443.21	c nbDecision=686500 #constraints=36985
1445.28/1445.70	c nbDecision=687000 #constraints=37030
1446.78/1447.28	c nbDecision=687500 #constraints=37042
1449.09/1449.57	c nbDecision=688000 #constraints=37073
1451.18/1451.69	c nbDecision=688500 #constraints=37098
1452.78/1453.20	c nbDecision=689000 #constraints=37110
1454.58/1455.01	c nbDecision=689500 #constraints=37122
1458.19/1458.67	c nbDecision=690000 #constraints=37161
1460.29/1460.71	c nbDecision=690500 #constraints=37177
1461.78/1462.20	c nbDecision=691000 #constraints=37183
1463.78/1464.24	c nbDecision=691500 #constraints=37193
1466.38/1466.85	c nbDecision=692000 #constraints=37210
1468.38/1468.81	c nbDecision=692500 #constraints=37219
1469.98/1470.49	c nbDecision=693000 #constraints=37229
1471.58/1472.02	c nbDecision=693500 #constraints=37234
1473.48/1473.93	c nbDecision=694000 #constraints=37247
1475.88/1476.30	c nbDecision=694500 #constraints=37271
1478.38/1478.82	c nbDecision=695000 #constraints=37292
1480.08/1480.57	c nbDecision=695500 #constraints=37300
1482.07/1482.54	c nbDecision=696000 #constraints=37307
1483.47/1483.95	c nbDecision=696500 #constraints=37311
1485.07/1485.55	c nbDecision=697000 #constraints=37317
1486.57/1487.09	c nbDecision=697500 #constraints=37321
1487.77/1488.26	c nbDecision=698000 #constraints=37326
1489.17/1489.66	c nbDecision=698500 #constraints=37334
1490.27/1490.75	c nbDecision=699000 #constraints=37337
1491.97/1492.42	c nbDecision=699500 #constraints=37341
1493.67/1494.15	c nbDecision=700000 #constraints=37351
1495.27/1495.79	c nbDecision=700500 #constraints=37355
1496.47/1496.99	c nbDecision=701000 #constraints=37358
1498.17/1498.62	c nbDecision=701500 #constraints=37364
1499.67/1500.18	c nbDecision=702000 #constraints=37370
1501.47/1501.96	c nbDecision=702500 #constraints=37375
1503.27/1503.71	c nbDecision=703000 #constraints=37380
1504.77/1505.22	c nbDecision=703500 #constraints=37393
1508.06/1508.55	c nbDecision=704000 #constraints=37416
1510.56/1511.02	c nbDecision=704500 #constraints=37446
1512.56/1513.09	c nbDecision=705000 #constraints=37467
1515.06/1515.57	c nbDecision=705500 #constraints=37479
1516.76/1517.23	c nbDecision=706000 #constraints=37483
1518.86/1519.38	c nbDecision=706500 #constraints=37493
1520.96/1521.41	c nbDecision=707000 #constraints=37503
1522.66/1523.16	c nbDecision=707500 #constraints=37525
1524.26/1524.72	c nbDecision=708000 #constraints=37542
1527.56/1528.08	c nbDecision=708500 #constraints=37571
1528.66/1529.18	c nbDecision=709000 #constraints=37573
1530.46/1530.92	c nbDecision=709500 #constraints=37583
1533.45/1533.92	c nbDecision=710000 #constraints=37640
1536.75/1537.27	c nbDecision=710500 #constraints=37671
1539.35/1539.86	c nbDecision=711000 #constraints=37682
1540.75/1541.24	c nbDecision=711500 #constraints=37687
1543.55/1544.00	c nbDecision=712000 #constraints=37700
1546.65/1547.14	c nbDecision=712500 #constraints=37734
1548.26/1548.72	c nbDecision=713000 #constraints=37741
1549.95/1550.42	c nbDecision=713500 #constraints=37745
1551.25/1551.78	c nbDecision=714000 #constraints=37754
1552.95/1553.43	c nbDecision=714500 #constraints=37760
1555.15/1555.63	c nbDecision=715000 #constraints=37767
1556.95/1557.50	c nbDecision=715500 #constraints=37774
1559.15/1559.61	c nbDecision=716000 #constraints=37783
1561.24/1561.72	c nbDecision=716500 #constraints=37801
1562.44/1562.91	c nbDecision=717000 #constraints=37806
1563.75/1564.21	c nbDecision=717500 #constraints=37810
1566.64/1567.18	c nbDecision=718000 #constraints=37821
1568.64/1569.18	c nbDecision=718500 #constraints=37828
1570.84/1571.36	c nbDecision=719000 #constraints=37844
1572.64/1573.18	c nbDecision=719500 #constraints=37866
1574.54/1575.09	c nbDecision=720000 #constraints=37874
1576.24/1576.70	c nbDecision=720500 #constraints=37879
1577.74/1578.20	c nbDecision=721000 #constraints=37883
1578.94/1579.48	c nbDecision=721500 #constraints=37887
1580.54/1581.06	c nbDecision=722000 #constraints=37894
1583.34/1583.84	c nbDecision=722500 #constraints=37910
1585.24/1585.72	c nbDecision=723000 #constraints=37926
1588.04/1588.55	c nbDecision=723500 #constraints=37969
1589.44/1589.90	c nbDecision=724000 #constraints=37976
1592.35/1592.86	c nbDecision=724500 #constraints=37996
1593.94/1594.49	c nbDecision=725000 #constraints=38009
1595.84/1596.37	c nbDecision=725500 #constraints=38030
1598.04/1598.60	c nbDecision=726000 #constraints=38058
1600.14/1600.60	c nbDecision=726500 #constraints=38080
1602.34/1602.84	c nbDecision=727000 #constraints=38117
1604.54/1605.09	c nbDecision=727500 #constraints=38167
1607.04/1607.53	c nbDecision=728000 #constraints=38180
1609.63/1610.16	c nbDecision=728500 #constraints=38203
1611.23/1611.73	c nbDecision=729000 #constraints=38209
1612.53/1613.04	c nbDecision=729500 #constraints=38212
1616.13/1616.65	c nbDecision=730000 #constraints=38244
1617.73/1618.26	c nbDecision=730500 #constraints=38250
1619.83/1620.39	c nbDecision=731000 #constraints=38263
1621.43/1621.96	c nbDecision=731500 #constraints=38274
1622.83/1623.31	c nbDecision=732000 #constraints=38279
1625.13/1625.67	c nbDecision=732500 #constraints=38299
1626.23/1626.77	c nbDecision=733000 #constraints=38302
1628.73/1629.23	c nbDecision=733500 #constraints=38324
1630.32/1630.90	c nbDecision=734000 #constraints=38340
1633.22/1633.73	c nbDecision=734500 #constraints=38358
1635.23/1635.74	c nbDecision=735000 #constraints=38377
1638.02/1638.51	c nbDecision=735500 #constraints=38407
1639.42/1640.00	c nbDecision=736000 #constraints=38412
1640.92/1641.49	c nbDecision=736500 #constraints=38416
1642.72/1643.25	c nbDecision=737000 #constraints=38423
1644.22/1644.78	c nbDecision=737500 #constraints=38430
1645.92/1646.42	c nbDecision=738000 #constraints=38434
1647.12/1647.69	c nbDecision=738500 #constraints=38444
1651.92/1652.44	c nbDecision=739000 #constraints=38495
1654.02/1654.51	c nbDecision=739500 #constraints=38513
1655.72/1656.25	c nbDecision=740000 #constraints=38521
1658.12/1658.70	c nbDecision=740500 #constraints=38533
1660.43/1660.93	c nbDecision=741000 #constraints=38550
1662.32/1662.90	c nbDecision=741500 #constraints=38558
1665.82/1666.40	c nbDecision=742000 #constraints=38589
1669.32/1669.87	c nbDecision=742500 #constraints=38625
1672.92/1673.43	c nbDecision=743000 #constraints=38675
1674.52/1675.07	c nbDecision=743500 #constraints=38682
1676.12/1676.67	c nbDecision=744000 #constraints=38694
1677.82/1678.39	c nbDecision=744500 #constraints=38707
1679.92/1680.45	c nbDecision=745000 #constraints=38719
1682.01/1682.55	c nbDecision=745500 #constraints=38727
1684.72/1685.29	c nbDecision=746000 #constraints=38743
1686.92/1687.45	c nbDecision=746500 #constraints=38754
1689.71/1690.22	c nbDecision=747000 #constraints=38773
1691.31/1691.88	c nbDecision=747500 #constraints=38779
1693.51/1694.06	c nbDecision=748000 #constraints=38799
1696.81/1697.35	c nbDecision=748500 #constraints=38834
1698.61/1699.11	c nbDecision=749000 #constraints=38850
1700.21/1700.72	c nbDecision=749500 #constraints=38857
1703.21/1703.75	c nbDecision=750000 #constraints=38890
1705.51/1706.03	c nbDecision=750500 #constraints=38898
1706.61/1707.11	c nbDecision=751000 #constraints=38902
1708.31/1708.85	c nbDecision=751500 #constraints=38909
1710.20/1710.73	c nbDecision=752000 #constraints=38918
1711.70/1712.21	c nbDecision=752500 #constraints=38928
1713.90/1714.48	c nbDecision=753000 #constraints=38945
1716.70/1717.22	c nbDecision=753500 #constraints=38980
1721.70/1722.27	c nbDecision=754000 #constraints=39043
1726.40/1726.93	c nbDecision=754500 #constraints=39099
1729.80/1730.36	c nbDecision=755000 #constraints=39135
1733.80/1734.36	c nbDecision=755500 #constraints=39179
1739.00/1739.57	c nbDecision=756000 #constraints=39244
1743.10/1743.60	c nbDecision=756500 #constraints=39301
1747.10/1747.67	c nbDecision=757000 #constraints=39364
1751.59/1752.18	c nbDecision=757500 #constraints=39403
1755.69/1756.30	c nbDecision=758000 #constraints=39436
1758.49/1759.08	c nbDecision=758500 #constraints=39453
1764.49/1765.01	c nbDecision=759000 #constraints=39509
1769.89/1770.46	c nbDecision=759500 #constraints=39560
1772.19/1772.72	c nbDecision=760000 #constraints=39576
1777.28/1777.81	c nbDecision=760500 #constraints=39620
1782.19/1782.71	c nbDecision=761000 #constraints=39675
1785.79/1786.37	c nbDecision=761500 #constraints=39708
1789.38/1789.92	c nbDecision=762000 #constraints=39731
1794.79/1795.32	c nbDecision=762500 #constraints=39795
1800.09/1800.60	Received signal 15
1800.19/1800.78	
1800.19/1800.78	s UNKNOWN
1800.19/1800.78	
1800.19/1800.78	c user time= 1799.8 s
1800.19/1800.78	c system time= 0.473927 s
1800.19/1800.78	c wall clock time=1800.78

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/node50/watcher-357376-1176996088 -o ROOT/results/node50/solver-357376-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.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.99 3/64 18859
/proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=1468 CPUtime=0
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54454012 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 367 160 127 317 0 46 0

[startup+0.0328731 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18859
/proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=2156 CPUtime=0.03
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 357 0 0 0 3 0 0 0 18 0 1 0 54454012 2207744 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 539 339 137 317 0 218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2156

[startup+0.101879 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18859
/proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=2452 CPUtime=0.1
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 452 0 0 0 10 0 0 0 18 0 1 0 54454012 2510848 434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 613 434 170 317 0 292 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2452

[startup+0.301896 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18859
/proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=3108 CPUtime=0.29
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 54454012 3182592 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 777 606 170 317 0 456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3108

[startup+0.701931 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18859
/proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=4160 CPUtime=0.69
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 891 0 0 0 69 0 0 0 23 0 1 0 54454012 4259840 873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 1040 873 170 317 0 719 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4160

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1760424/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=6004 CPUtime=1.49
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 1342 0 0 0 149 0 0 0 25 0 1 0 54454012 6148096 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 1501 1324 170 317 0 1180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6004

[startup+3.10214 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1757992/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=8852 CPUtime=3.09
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 2042 0 0 0 309 0 0 0 25 0 1 0 54454012 9064448 2024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 2213 2024 170 317 0 1892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8852

[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1753000/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=13356 CPUtime=6.29
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 3183 0 0 0 628 1 0 0 25 0 1 0 54454012 13676544 3165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 3339 3165 170 317 0 3018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13356

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1745832/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=20096 CPUtime=12.69
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 4793 0 0 0 1266 3 0 0 25 0 1 0 54454012 20578304 4775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 5024 4775 170 317 0 4703 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20096

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1736616/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=28692 CPUtime=25.48
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 6930 0 0 0 2544 4 0 0 25 0 1 0 54454012 29380608 6912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 7173 6912 170 317 0 6852 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28692

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1728360/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=37672 CPUtime=51.08
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 9107 0 0 0 5101 7 0 0 25 0 1 0 54454012 38576128 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 9418 9031 170 317 0 9097 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37672

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1702312/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=63892 CPUtime=102.26
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 15539 0 0 0 10213 13 0 0 25 0 1 0 54454012 65425408 15463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 15973 15463 170 317 0 15652 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63892

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1688936/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=77956 CPUtime=162.25
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 18938 0 0 0 16209 16 0 0 25 0 1 0 54454012 79826944 18862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604207 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 19489 18862 170 317 0 19168 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 77956

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1677096/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=90688 CPUtime=222.24
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 21939 0 0 0 22205 19 0 0 25 0 1 0 54454012 92864512 21749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 22672 21749 170 317 0 22351 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 90688

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1667752/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=100656 CPUtime=282.22
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 24281 0 0 0 28202 20 0 0 25 0 1 0 54454012 103071744 24091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 25164 24091 170 317 0 24843 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 100656

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1660520/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=107740 CPUtime=342.2
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 26068 0 0 0 34198 22 0 0 25 0 1 0 54454012 110325760 25878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 26935 25878 170 317 0 26614 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 107740

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1652200/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=116932 CPUtime=402.18
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 28166 0 0 0 40194 24 0 0 25 0 1 0 54454012 119738368 27976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 29233 27976 170 317 0 28912 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 116932

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1643752/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=125596 CPUtime=462.16
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 30250 0 0 0 46191 25 0 0 25 0 1 0 54454012 128610304 30060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 31399 30060 170 317 0 31078 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 125596

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18860
/proc/meminfo: memFree=1635880/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=133472 CPUtime=522.14
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 32237 0 0 0 52188 26 0 0 25 0 1 0 54454012 136675328 32014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 33368 32014 170 317 0 33047 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 133472

[startup+582.302 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1628200/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=141316 CPUtime=582.12
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 34144 0 0 0 58185 27 0 0 25 0 1 0 54454012 144707584 33921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 35329 33921 170 317 0 35008 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 141316

[startup+642.301 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 18860
/proc/meminfo: memFree=1622824/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=147676 CPUtime=642.1
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 35666 0 0 0 64182 28 0 0 25 0 1 0 54454012 151220224 35245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 36919 35245 170 317 0 36598 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 147676


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1601512/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=169092 CPUtime=882.04
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 41071 0 0 0 88171 33 0 0 25 0 1 0 54454012 173150208 40551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 42273 40551 170 317 0 41952 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 169092

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1591656/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=180320 CPUtime=942.02
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 43662 0 0 0 94168 34 0 0 25 0 1 0 54454012 184647680 43043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 45080 43043 170 317 0 44759 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 180320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1584808/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=187460 CPUtime=1002
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 45382 0 0 0 100165 35 0 0 25 0 1 0 54454012 191959040 44730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 46865 44730 170 317 0 46544 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 187460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1576424/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=196052 CPUtime=1061.99
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 47476 0 0 0 106161 38 0 0 25 0 1 0 54454012 200757248 46824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 49013 46824 170 317 0 48692 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 196052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1571944/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=201512 CPUtime=1121.97
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 48795 0 0 0 112158 39 0 0 25 0 1 0 54454012 206348288 47916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 50378 47916 170 317 0 50057 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 201512

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1566568/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=207960 CPUtime=1181.96
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 50360 0 0 0 118156 40 0 0 25 0 1 0 54454012 212951040 49283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 51990 49283 170 317 0 51669 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 207960

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1561064/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=213804 CPUtime=1241.94
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 51724 0 0 0 124153 41 0 0 25 0 1 0 54454012 218935296 50614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 53451 50614 170 317 0 53130 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 213804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1557288/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=217968 CPUtime=1301.93
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 52673 0 0 0 130152 41 0 0 25 0 1 0 54454012 223199232 51530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 54492 51530 170 317 0 54171 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 217968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1554792/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=220232 CPUtime=1361.9
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 53307 0 0 0 136149 41 0 0 25 0 1 0 54454012 225517568 52164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 55058 52164 170 317 0 54737 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 220232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1552168/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=222872 CPUtime=1421.89
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 53959 0 0 0 142147 42 0 0 25 0 1 0 54454012 228220928 52816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 55718 52816 170 317 0 55397 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 222872

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1549352/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=225792 CPUtime=1481.87
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 54716 0 0 0 148144 43 0 0 25 0 1 0 54454012 231211008 53507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 56448 53507 170 317 0 56127 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 225792

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1547560/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=227788 CPUtime=1541.85
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 55170 0 0 0 154142 43 0 0 25 0 1 0 54454012 233254912 53961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 56947 53961 170 317 0 56626 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 227788

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1545000/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=230824 CPUtime=1601.84
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 55823 0 0 0 160140 44 0 0 25 0 1 0 54454012 236363776 54581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 57706 54581 170 317 0 57385 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 230824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1542824/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=232928 CPUtime=1661.82
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 56383 0 0 0 166137 45 0 0 25 0 1 0 54454012 238518272 55141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 58232 55141 170 317 0 57911 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 232928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1540136/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=235432 CPUtime=1721.8
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 57081 0 0 0 172135 45 0 0 25 0 1 0 54454012 241082368 55839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 58858 55839 170 317 0 58537 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 235432

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1535528/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=239564 CPUtime=1781.78
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 58174 0 0 0 178132 46 0 0 25 0 1 0 54454012 245313536 56932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715601 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 59891 56932 170 317 0 59570 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 239564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1533544/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=242792 CPUtime=1800.09
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 58862 0 0 0 179962 47 0 0 25 0 1 0 54454012 248619008 57389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 60698 57389 170 317 0 60377 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 242792

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18860
/proc/meminfo: memFree=1533544/2055920 swapFree=4183800/4192956
[pid=18859] ppid=18857 vsize=0 CPUtime=1800.28
/proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194308 58878 0 0 0 179980 48 0 0 25 0 1 0 54454012 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.32
CPU user time (s): 1799.81
CPU system time (s): 0.510922
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 242792

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

runsolver used 1.2938 second user time and 3.72143 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Thu Apr 19 15:21:28 UTC 2007

IDJOB= 357376
IDBENCH= 2496
IDSOLVER= 172
FILE ID= node50/357376-1176996088

PBS_JOBID= 4630427

Free space on /tmp= 66507 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
COMMAND LINE= oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-357376-1176996088 -o ROOT/results/node50/solver-357376-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c3570b707fa12d3d9c0d2ae31848c1b3

RANDOM SEED= 967302100

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764360 kB
Buffers:         14380 kB
Cached:         212800 kB
SwapCached:       2932 kB
Active:          94620 kB
Inactive:       142108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764360 kB
SwapTotal:     4192956 kB
SwapFree:      4183800 kB
Dirty:            1364 kB
Writeback:           0 kB
Mapped:          15480 kB
Slab:            40860 kB
Committed_AS:  1067600 kB
PageTables:       1460 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= 66507 MiB

End job on node50 on Thu Apr 19 15:51:31 UTC 2007