Trace number 363000

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.12 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb
MD5SUM86d589e9c21b90dfd700c7c422b09b8c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.75758
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables35250
Total number of constraints624
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints624
Minimum length of a constraint30
Maximum length of a constraint2280
Number of terms in the objective function 29490
Biggest coefficient in the objective function 6378
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 548620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 548620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.49/0.51	c ...done
0.49/0.51	c #vars=35250 #constraints=856 hasObjective=yes
0.89/0.96	c res. mode=mod
0.89/0.96	c VSIDS like heuristics
0.89/0.96	c complete search running
1.39/1.47	c restart after 401 decisions
1.49/1.53	c nbDecision=500 #constraints=1116
1.69/1.78	c restart after 801 decisions
1.89/1.93	c nbDecision=1000 #constraints=1380
2.29/2.34	c nbDecision=1500 #constraints=1666
2.39/2.42	c restart after 1601 decisions
2.69/2.74	c nbDecision=2000 #constraints=1895
3.09/3.16	c nbDecision=2500 #constraints=2169
3.48/3.56	c nbDecision=3000 #constraints=2427
3.69/3.71	c restart after 3201 decisions
3.89/3.97	c nbDecision=3500 #constraints=2637
4.39/4.42	c nbDecision=4000 #constraints=2886
4.79/4.85	c nbDecision=4500 #constraints=3108
5.19/5.28	c nbDecision=5000 #constraints=3299
5.69/5.72	c nbDecision=5500 #constraints=3516
6.09/6.17	c nbDecision=6000 #constraints=3718
6.50/6.52	c restart after 6401 decisions
6.60/6.60	c nbDecision=6500 #constraints=3904
6.99/7.05	c nbDecision=7000 #constraints=4080
7.49/7.51	c nbDecision=7500 #constraints=4282
7.89/7.99	c nbDecision=8000 #constraints=4471
8.38/8.46	c nbDecision=8500 #constraints=4668
8.79/8.88	c nbDecision=9000 #constraints=4820
9.28/9.34	c nbDecision=9500 #constraints=4971
9.80/9.82	c nbDecision=10000 #constraints=5147
10.19/10.25	c nbDecision=10500 #constraints=5278
10.69/10.74	c nbDecision=11000 #constraints=5436
11.19/11.21	c nbDecision=11500 #constraints=5582
11.59/11.63	c nbDecision=12000 #constraints=5715
11.99/12.05	c nbDecision=12500 #constraints=5848
12.18/12.29	c restart after 12801 decisions
12.48/12.50	c nbDecision=13000 #constraints=5966
12.98/13.02	c nbDecision=13500 #constraints=6133
13.38/13.48	c nbDecision=14000 #constraints=6274
13.88/13.97	c nbDecision=14500 #constraints=6423
14.38/14.48	c nbDecision=15000 #constraints=6553
14.89/14.93	c nbDecision=15500 #constraints=6670
15.29/15.39	c nbDecision=16000 #constraints=6776
15.89/15.91	c nbDecision=16500 #constraints=6931
16.29/16.38	c nbDecision=17000 #constraints=7047
16.79/16.82	c nbDecision=17500 #constraints=7167
17.19/17.24	c nbDecision=18000 #constraints=7265
17.59/17.65	c nbDecision=18500 #constraints=7363
18.09/18.11	c nbDecision=19000 #constraints=7474
18.49/18.55	c nbDecision=19500 #constraints=7575
18.89/18.98	c nbDecision=20000 #constraints=7675
19.38/19.44	c nbDecision=20500 #constraints=7788
19.79/19.90	c nbDecision=21000 #constraints=7896
20.28/20.33	c nbDecision=21500 #constraints=7975
20.79/20.83	c nbDecision=22000 #constraints=8102
21.19/21.28	c nbDecision=22500 #constraints=8191
21.68/21.73	c nbDecision=23000 #constraints=8278
22.08/22.18	c nbDecision=23500 #constraints=8358
22.58/22.62	c nbDecision=24000 #constraints=8422
23.09/23.18	c nbDecision=24500 #constraints=8543
23.68/23.71	c nbDecision=25000 #constraints=8656
24.18/24.29	c nbDecision=25500 #constraints=8770
24.38/24.40	c restart after 25601 decisions
24.78/24.86	c nbDecision=26000 #constraints=8889
25.28/25.36	c nbDecision=26500 #constraints=8967
25.68/25.79	c nbDecision=27000 #constraints=9040
26.18/26.24	c nbDecision=27500 #constraints=9117
26.69/26.78	c nbDecision=28000 #constraints=9213
27.19/27.25	c nbDecision=28500 #constraints=9290
27.68/27.75	c nbDecision=29000 #constraints=9366
28.08/28.18	c nbDecision=29500 #constraints=9433
28.59/28.62	c nbDecision=30000 #constraints=9487
28.98/29.09	c nbDecision=30500 #constraints=9565
29.48/29.57	c nbDecision=31000 #constraints=9632
29.98/30.07	c nbDecision=31500 #constraints=9708
30.48/30.57	c nbDecision=32000 #constraints=9797
30.98/31.04	c nbDecision=32500 #constraints=9870
31.48/31.51	c nbDecision=33000 #constraints=9927
31.98/32.01	c nbDecision=33500 #constraints=10001
32.48/32.52	c nbDecision=34000 #constraints=10071
33.08/33.11	c nbDecision=34500 #constraints=10178
33.58/33.66	c nbDecision=35000 #constraints=10268
34.18/34.20	c nbDecision=35500 #constraints=10355
34.68/34.70	c nbDecision=36000 #constraints=10422
35.18/35.25	c nbDecision=36500 #constraints=10519
35.67/35.75	c nbDecision=37000 #constraints=10585
36.19/36.21	c nbDecision=37500 #constraints=10646
36.68/36.71	c nbDecision=38000 #constraints=10729
37.08/37.16	c nbDecision=38500 #constraints=10773
37.58/37.65	c nbDecision=39000 #constraints=10818
38.08/38.13	c nbDecision=39500 #constraints=10894
38.58/38.62	c nbDecision=40000 #constraints=10938
39.08/39.11	c nbDecision=40500 #constraints=10990
39.48/39.58	c nbDecision=41000 #constraints=11035
40.08/40.18	c nbDecision=41500 #constraints=11123
40.68/40.78	c nbDecision=42000 #constraints=11202
41.17/41.26	c nbDecision=42500 #constraints=11257
41.78/41.89	c nbDecision=43000 #constraints=11339
42.37/42.40	c nbDecision=43500 #constraints=11406
42.88/42.99	c nbDecision=44000 #constraints=11474
43.37/43.48	c nbDecision=44500 #constraints=11524
43.88/43.96	c nbDecision=45000 #constraints=11567
44.47/44.56	c nbDecision=45500 #constraints=11657
45.08/45.20	c nbDecision=46000 #constraints=11734
45.77/45.81	c nbDecision=46500 #constraints=11821
46.27/46.37	c nbDecision=47000 #constraints=11889
46.87/46.93	c nbDecision=47500 #constraints=11953
47.37/47.46	c nbDecision=48000 #constraints=12014
48.07/48.16	c nbDecision=48500 #constraints=12124
48.67/48.79	c nbDecision=49000 #constraints=12205
49.28/49.39	c nbDecision=49500 #constraints=12283
49.98/50.06	c nbDecision=50000 #constraints=12372
50.58/50.69	c nbDecision=50500 #constraints=12453
51.18/51.27	c nbDecision=51000 #constraints=12528
51.38/51.48	c restart after 51201 decisions
51.78/51.80	c nbDecision=51500 #constraints=12588
52.38/52.48	c nbDecision=52000 #constraints=12683
52.97/53.06	c nbDecision=52500 #constraints=12756
53.57/53.65	c nbDecision=53000 #constraints=12824
54.17/54.23	c nbDecision=53500 #constraints=12905
54.77/54.84	c nbDecision=54000 #constraints=12983
55.27/55.39	c nbDecision=54500 #constraints=13050
55.87/55.90	c nbDecision=55000 #constraints=13087
56.37/56.42	c nbDecision=55500 #constraints=13139
56.87/56.92	c nbDecision=56000 #constraints=13182
57.37/57.49	c nbDecision=56500 #constraints=13249
57.97/58.02	c nbDecision=57000 #constraints=13292
58.37/58.49	c nbDecision=57500 #constraints=13313
58.87/58.98	c nbDecision=58000 #constraints=13341
59.57/59.66	c nbDecision=58500 #constraints=13424
60.17/60.27	c nbDecision=59000 #constraints=13500
60.87/60.91	c nbDecision=59500 #constraints=13566
61.37/61.46	c nbDecision=60000 #constraints=13612
61.97/62.02	c nbDecision=60500 #constraints=13663
62.47/62.52	c nbDecision=61000 #constraints=13699
62.97/63.05	c nbDecision=61500 #constraints=13740
63.57/63.64	c nbDecision=62000 #constraints=13793
64.17/64.25	c nbDecision=62500 #constraints=13859
64.78/64.84	c nbDecision=63000 #constraints=13916
65.37/65.42	c nbDecision=63500 #constraints=13983
66.07/66.11	c nbDecision=64000 #constraints=14052
66.57/66.69	c nbDecision=64500 #constraints=14106
67.27/67.31	c nbDecision=65000 #constraints=14169
67.87/67.96	c nbDecision=65500 #constraints=14234
68.47/68.57	c nbDecision=66000 #constraints=14290
69.07/69.16	c nbDecision=66500 #constraints=14355
69.77/69.81	c nbDecision=67000 #constraints=14411
70.27/70.39	c nbDecision=67500 #constraints=14462
70.87/70.99	c nbDecision=68000 #constraints=14507
71.57/71.62	c nbDecision=68500 #constraints=14571
72.27/72.33	c nbDecision=69000 #constraints=14653
72.77/72.82	c nbDecision=69500 #constraints=14683
73.37/73.43	c nbDecision=70000 #constraints=14736
73.87/73.95	c nbDecision=70500 #constraints=14770
74.37/74.48	c nbDecision=71000 #constraints=14799
74.86/74.99	c nbDecision=71500 #constraints=14848
75.46/75.55	c nbDecision=72000 #constraints=14886
76.06/76.10	c nbDecision=72500 #constraints=14930
76.66/76.70	c nbDecision=73000 #constraints=14989
77.36/77.40	c nbDecision=73500 #constraints=15065
77.97/78.09	c nbDecision=74000 #constraints=15127
78.67/78.75	c nbDecision=74500 #constraints=15192
79.27/79.31	c nbDecision=75000 #constraints=15232
79.87/79.91	c nbDecision=75500 #constraints=15267
80.47/80.50	c nbDecision=76000 #constraints=15326
81.06/81.11	c nbDecision=76500 #constraints=15373
81.66/81.73	c nbDecision=77000 #constraints=15420
82.26/82.37	c nbDecision=77500 #constraints=15468
82.86/82.92	c nbDecision=78000 #constraints=15496
83.57/83.68	c nbDecision=78500 #constraints=15576
84.26/84.36	c nbDecision=79000 #constraints=15646
84.96/85.06	c nbDecision=79500 #constraints=15721
85.66/85.73	c nbDecision=80000 #constraints=15782
86.26/86.33	c nbDecision=80500 #constraints=15828
86.96/87.02	c nbDecision=81000 #constraints=15881
87.66/87.73	c nbDecision=81500 #constraints=15955
88.26/88.33	c nbDecision=82000 #constraints=15994
88.76/88.86	c nbDecision=82500 #constraints=16028
89.46/89.52	c nbDecision=83000 #constraints=16070
90.07/90.18	c nbDecision=83500 #constraints=16132
90.76/90.86	c nbDecision=84000 #constraints=16196
91.57/91.62	c nbDecision=84500 #constraints=16271
92.37/92.41	c nbDecision=85000 #constraints=16345
92.96/93.03	c nbDecision=85500 #constraints=16388
93.56/93.69	c nbDecision=86000 #constraints=16445
94.26/94.39	c nbDecision=86500 #constraints=16513
94.96/95.01	c nbDecision=87000 #constraints=16561
95.56/95.63	c nbDecision=87500 #constraints=16603
96.16/96.21	c nbDecision=88000 #constraints=16638
96.76/96.89	c nbDecision=88500 #constraints=16680
97.46/97.59	c nbDecision=89000 #constraints=16742
98.26/98.31	c nbDecision=89500 #constraints=16805
98.96/99.01	c nbDecision=90000 #constraints=16873
99.66/99.77	c nbDecision=90500 #constraints=16945
100.35/100.43	c nbDecision=91000 #constraints=16987
101.06/101.12	c nbDecision=91500 #constraints=17050
101.75/101.84	c nbDecision=92000 #constraints=17101
102.35/102.46	c nbDecision=92500 #constraints=17145
103.15/103.22	c nbDecision=93000 #constraints=17225
103.95/104.02	c nbDecision=93500 #constraints=17296
104.75/104.85	c nbDecision=94000 #constraints=17368
105.46/105.51	c nbDecision=94500 #constraints=17419
106.16/106.20	c nbDecision=95000 #constraints=17461
106.76/106.84	c nbDecision=95500 #constraints=17498
107.55/107.65	c nbDecision=96000 #constraints=17586
108.25/108.36	c nbDecision=96500 #constraints=17643
108.96/109.09	c nbDecision=97000 #constraints=17705
109.65/109.76	c nbDecision=97500 #constraints=17769
110.45/110.56	c nbDecision=98000 #constraints=17830
111.15/111.26	c nbDecision=98500 #constraints=17893
111.85/112.00	c nbDecision=99000 #constraints=17952
112.55/112.61	c nbDecision=99500 #constraints=17974
113.15/113.27	c nbDecision=100000 #constraints=18019
113.75/113.89	c nbDecision=100500 #constraints=18056
114.45/114.54	c nbDecision=101000 #constraints=18109
115.25/115.32	c nbDecision=101500 #constraints=18159
115.95/116.01	c nbDecision=102000 #constraints=18194
116.56/116.66	c restart after 102401 decisions
116.75/116.81	c nbDecision=102500 #constraints=18269
117.45/117.59	c nbDecision=103000 #constraints=18335
118.25/118.31	c nbDecision=103500 #constraints=18395
118.85/118.97	c nbDecision=104000 #constraints=18433
119.65/119.74	c nbDecision=104500 #constraints=18491
120.35/120.46	c nbDecision=105000 #constraints=18544
121.15/121.28	c nbDecision=105500 #constraints=18604
121.85/121.96	c nbDecision=106000 #constraints=18649
122.45/122.59	c nbDecision=106500 #constraints=18694
123.25/123.34	c nbDecision=107000 #constraints=18744
123.85/124.00	c nbDecision=107500 #constraints=18799
124.65/124.73	c nbDecision=108000 #constraints=18849
125.45/125.54	c nbDecision=108500 #constraints=18914
126.15/126.25	c nbDecision=109000 #constraints=18964
126.85/126.91	c nbDecision=109500 #constraints=18997
127.55/127.66	c nbDecision=110000 #constraints=19043
128.24/128.38	c nbDecision=110500 #constraints=19095
128.94/129.09	c nbDecision=111000 #constraints=19128
129.75/129.86	c nbDecision=111500 #constraints=19183
130.54/130.68	c nbDecision=112000 #constraints=19232
131.34/131.47	c nbDecision=112500 #constraints=19292
132.14/132.29	c nbDecision=113000 #constraints=19346
132.84/132.92	c nbDecision=113500 #constraints=19378
133.44/133.54	c nbDecision=114000 #constraints=19407
134.14/134.24	c nbDecision=114500 #constraints=19443
134.85/134.97	c nbDecision=115000 #constraints=19505
135.75/135.81	c nbDecision=115500 #constraints=19556
136.35/136.46	c nbDecision=116000 #constraints=19596
137.04/137.19	c nbDecision=116500 #constraints=19657
137.74/137.81	c nbDecision=117000 #constraints=19690
138.34/138.44	c nbDecision=117500 #constraints=19728
139.14/139.23	c nbDecision=118000 #constraints=19781
139.84/139.99	c nbDecision=118500 #constraints=19832
140.54/140.64	c nbDecision=119000 #constraints=19868
141.24/141.35	c nbDecision=119500 #constraints=19916
142.04/142.12	c nbDecision=120000 #constraints=19973
142.64/142.78	c nbDecision=120500 #constraints=20005
143.34/143.44	c nbDecision=121000 #constraints=20042
144.04/144.19	c nbDecision=121500 #constraints=20081
144.74/144.86	c nbDecision=122000 #constraints=20111
145.54/145.64	c nbDecision=122500 #constraints=20151
146.24/146.38	c nbDecision=123000 #constraints=20202
147.03/147.11	c nbDecision=123500 #constraints=20236
147.73/147.82	c nbDecision=124000 #constraints=20277
148.53/148.64	c nbDecision=124500 #constraints=20334
149.23/149.35	c nbDecision=125000 #constraints=20381
150.03/150.15	c nbDecision=125500 #constraints=20426
150.64/150.77	c nbDecision=126000 #constraints=20449
151.33/151.47	c nbDecision=126500 #constraints=20488
152.03/152.16	c nbDecision=127000 #constraints=20526
152.83/152.91	c nbDecision=127500 #constraints=20563
153.53/153.63	c nbDecision=128000 #constraints=20600
154.23/154.38	c nbDecision=128500 #constraints=20649
154.93/155.03	c nbDecision=129000 #constraints=20685
155.63/155.75	c nbDecision=129500 #constraints=20726
156.23/156.36	c nbDecision=130000 #constraints=20758
156.93/157.02	c nbDecision=130500 #constraints=20798
157.53/157.64	c nbDecision=131000 #constraints=20839
158.03/158.18	c nbDecision=131500 #constraints=20863
158.63/158.76	c nbDecision=132000 #constraints=20898
159.23/159.34	c nbDecision=132500 #constraints=20932
159.83/159.93	c nbDecision=133000 #constraints=20962
160.53/160.61	c nbDecision=133500 #constraints=20997
161.32/161.47	c nbDecision=134000 #constraints=21058
162.03/162.19	c nbDecision=134500 #constraints=21109
162.83/162.97	c nbDecision=135000 #constraints=21150
163.53/163.65	c nbDecision=135500 #constraints=21190
164.33/164.41	c nbDecision=136000 #constraints=21223
164.94/165.05	c nbDecision=136500 #constraints=21247
165.73/165.81	c nbDecision=137000 #constraints=21296
166.43/166.54	c nbDecision=137500 #constraints=21322
167.14/167.25	c nbDecision=138000 #constraints=21376
167.83/167.98	c nbDecision=138500 #constraints=21412
168.73/168.80	c nbDecision=139000 #constraints=21451
169.63/169.80	c nbDecision=139500 #constraints=21519
170.33/170.47	c nbDecision=140000 #constraints=21539
171.03/171.19	c nbDecision=140500 #constraints=21586
171.82/171.93	c nbDecision=141000 #constraints=21618
172.63/172.72	c nbDecision=141500 #constraints=21678
173.22/173.38	c nbDecision=142000 #constraints=21706
174.12/174.24	c nbDecision=142500 #constraints=21755
174.92/175.04	c nbDecision=143000 #constraints=21796
175.62/175.78	c nbDecision=143500 #constraints=21849
176.33/176.46	c nbDecision=144000 #constraints=21889
177.33/177.47	c nbDecision=144500 #constraints=21962
178.33/178.41	c nbDecision=145000 #constraints=22046
179.23/179.37	c nbDecision=145500 #constraints=22105
179.93/180.07	c nbDecision=146000 #constraints=22137
180.73/180.80	c nbDecision=146500 #constraints=22177
181.53/181.64	c nbDecision=147000 #constraints=22221
182.22/182.32	c nbDecision=147500 #constraints=22243
182.92/183.06	c nbDecision=148000 #constraints=22273
183.63/183.75	c nbDecision=148500 #constraints=22306
184.42/184.54	c nbDecision=149000 #constraints=22349
185.12/185.27	c nbDecision=149500 #constraints=22376
186.02/186.16	c nbDecision=150000 #constraints=22421
186.83/186.93	c nbDecision=150500 #constraints=22448
187.52/187.68	c nbDecision=151000 #constraints=22483
188.32/188.40	c nbDecision=151500 #constraints=22515
188.92/189.03	c nbDecision=152000 #constraints=22534
189.62/189.76	c nbDecision=152500 #constraints=22572
190.32/190.41	c nbDecision=153000 #constraints=22594
191.12/191.30	c nbDecision=153500 #constraints=22638
192.12/192.23	c nbDecision=154000 #constraints=22709
192.91/193.00	c nbDecision=154500 #constraints=22740
193.52/193.64	c nbDecision=155000 #constraints=22765
194.21/194.39	c nbDecision=155500 #constraints=22797
195.01/195.19	c nbDecision=156000 #constraints=22845
195.91/196.01	c nbDecision=156500 #constraints=22878
196.61/196.74	c nbDecision=157000 #constraints=22896
197.41/197.56	c nbDecision=157500 #constraints=22931
198.21/198.32	c nbDecision=158000 #constraints=22948
199.01/199.11	c nbDecision=158500 #constraints=22971
199.81/199.97	c nbDecision=159000 #constraints=23015
200.71/200.84	c nbDecision=159500 #constraints=23054
201.31/201.49	c nbDecision=160000 #constraints=23077
202.02/202.18	c nbDecision=160500 #constraints=23088
203.02/203.12	c nbDecision=161000 #constraints=23121
203.72/203.81	c nbDecision=161500 #constraints=23149
204.52/204.64	c nbDecision=162000 #constraints=23183
205.32/205.42	c nbDecision=162500 #constraints=23211
206.02/206.12	c nbDecision=163000 #constraints=23221
206.72/206.90	c nbDecision=163500 #constraints=23260
207.52/207.64	c nbDecision=164000 #constraints=23288
208.31/208.45	c nbDecision=164500 #constraints=23318
209.11/209.23	c nbDecision=165000 #constraints=23356
209.92/210.04	c nbDecision=165500 #constraints=23387
210.61/210.76	c nbDecision=166000 #constraints=23410
211.21/211.35	c nbDecision=166500 #constraints=23427
212.01/212.20	c nbDecision=167000 #constraints=23474
212.81/212.98	c nbDecision=167500 #constraints=23518
213.61/213.76	c nbDecision=168000 #constraints=23551
214.41/214.57	c nbDecision=168500 #constraints=23589
215.21/215.30	c nbDecision=169000 #constraints=23603
215.91/216.04	c nbDecision=169500 #constraints=23623
216.61/216.80	c nbDecision=170000 #constraints=23655
217.61/217.77	c nbDecision=170500 #constraints=23704
218.41/218.51	c nbDecision=171000 #constraints=23747
219.31/219.41	c nbDecision=171500 #constraints=23788
220.11/220.20	c nbDecision=172000 #constraints=23821
220.81/220.97	c nbDecision=172500 #constraints=23854
221.71/221.83	c nbDecision=173000 #constraints=23893
222.40/222.59	c nbDecision=173500 #constraints=23910
223.30/223.40	c nbDecision=174000 #constraints=23939
224.00/224.16	c nbDecision=174500 #constraints=23968
224.80/224.96	c nbDecision=175000 #constraints=23998
225.51/225.70	c nbDecision=175500 #constraints=24027
226.21/226.35	c nbDecision=176000 #constraints=24052
226.91/227.09	c nbDecision=176500 #constraints=24079
227.81/227.92	c nbDecision=177000 #constraints=24116
228.61/228.74	c nbDecision=177500 #constraints=24155
229.41/229.58	c nbDecision=178000 #constraints=24195
230.41/230.50	c nbDecision=178500 #constraints=24242
231.21/231.35	c nbDecision=179000 #constraints=24279
232.11/232.27	c nbDecision=179500 #constraints=24317
233.01/233.12	c nbDecision=180000 #constraints=24346
233.80/233.96	c nbDecision=180500 #constraints=24382
234.60/234.76	c nbDecision=181000 #constraints=24405
235.31/235.42	c nbDecision=181500 #constraints=24427
236.00/236.12	c nbDecision=182000 #constraints=24445
236.90/237.06	c nbDecision=182500 #constraints=24492
237.70/237.82	c nbDecision=183000 #constraints=24529
238.40/238.55	c nbDecision=183500 #constraints=24546
239.20/239.34	c nbDecision=184000 #constraints=24573
240.00/240.12	c nbDecision=184500 #constraints=24618
240.80/240.96	c nbDecision=185000 #constraints=24662
241.80/241.94	c nbDecision=185500 #constraints=24722
242.70/242.86	c nbDecision=186000 #constraints=24756
243.70/243.84	c nbDecision=186500 #constraints=24808
244.69/244.86	c nbDecision=187000 #constraints=24854
245.50/245.67	c nbDecision=187500 #constraints=24888
246.59/246.73	c nbDecision=188000 #constraints=24939
247.69/247.80	c nbDecision=188500 #constraints=24988
248.69/248.83	c nbDecision=189000 #constraints=25034
249.60/249.78	c nbDecision=189500 #constraints=25064
250.61/250.79	c nbDecision=190000 #constraints=25097
251.40/251.52	c nbDecision=190500 #constraints=25115
252.50/252.69	c nbDecision=191000 #constraints=25176
253.50/253.61	c nbDecision=191500 #constraints=25219
254.50/254.62	c nbDecision=192000 #constraints=25260
255.50/255.67	c nbDecision=192500 #constraints=25300
256.30/256.43	c nbDecision=193000 #constraints=25339
257.30/257.43	c nbDecision=193500 #constraints=25381
258.20/258.31	c nbDecision=194000 #constraints=25416
259.10/259.29	c nbDecision=194500 #constraints=25469
260.19/260.30	c nbDecision=195000 #constraints=25511
261.19/261.34	c nbDecision=195500 #constraints=25565
262.09/262.27	c nbDecision=196000 #constraints=25612
262.89/263.07	c nbDecision=196500 #constraints=25639
263.59/263.77	c nbDecision=197000 #constraints=25662
264.79/264.91	c nbDecision=197500 #constraints=25719
265.89/266.00	c nbDecision=198000 #constraints=25781
266.69/266.89	c nbDecision=198500 #constraints=25809
267.59/267.77	c nbDecision=199000 #constraints=25840
268.49/268.67	c nbDecision=199500 #constraints=25874
269.49/269.62	c nbDecision=200000 #constraints=25907
270.39/270.56	c nbDecision=200500 #constraints=25955
271.29/271.42	c nbDecision=201000 #constraints=25988
272.19/272.39	c nbDecision=201500 #constraints=26039
272.99/273.11	c nbDecision=202000 #constraints=26067
273.80/273.97	c nbDecision=202500 #constraints=26109
274.69/274.86	c nbDecision=203000 #constraints=26129
275.59/275.71	c nbDecision=203500 #constraints=26148
276.29/276.45	c nbDecision=204000 #constraints=26174
277.19/277.38	c nbDecision=204500 #constraints=26215
277.89/278.05	c restart after 204801 decisions
278.29/278.44	c nbDecision=205000 #constraints=26265
279.20/279.36	c nbDecision=205500 #constraints=26294
280.09/280.24	c nbDecision=206000 #constraints=26324
281.19/281.34	c nbDecision=206500 #constraints=26367
281.99/282.19	c nbDecision=207000 #constraints=26400
282.99/283.19	c nbDecision=207500 #constraints=26442
283.89/284.06	c nbDecision=208000 #constraints=26495
284.89/285.09	c nbDecision=208500 #constraints=26545
285.79/285.91	c nbDecision=209000 #constraints=26566
286.59/286.78	c nbDecision=209500 #constraints=26583
287.49/287.68	c nbDecision=210000 #constraints=26615
288.49/288.63	c nbDecision=210500 #constraints=26656
289.39/289.56	c nbDecision=211000 #constraints=26675
290.29/290.47	c nbDecision=211500 #constraints=26713
291.18/291.39	c nbDecision=212000 #constraints=26744
292.18/292.39	c nbDecision=212500 #constraints=26791
293.18/293.34	c nbDecision=213000 #constraints=26831
293.98/294.13	c nbDecision=213500 #constraints=26849
294.69/294.82	c nbDecision=214000 #constraints=26871
295.69/295.82	c nbDecision=214500 #constraints=26920
296.58/296.75	c nbDecision=215000 #constraints=26956
297.58/297.70	c nbDecision=215500 #constraints=26992
298.48/298.65	c nbDecision=216000 #constraints=27027
299.18/299.32	c nbDecision=216500 #constraints=27039
299.98/300.17	c nbDecision=217000 #constraints=27064
300.78/300.98	c nbDecision=217500 #constraints=27086
301.78/301.92	c nbDecision=218000 #constraints=27128
302.38/302.60	c nbDecision=218500 #constraints=27137
303.18/303.32	c nbDecision=219000 #constraints=27146
303.98/304.17	c nbDecision=219500 #constraints=27190
304.88/305.03	c nbDecision=220000 #constraints=27221
305.68/305.85	c nbDecision=220500 #constraints=27256
306.57/306.78	c nbDecision=221000 #constraints=27281
307.67/307.87	c nbDecision=221500 #constraints=27327
308.67/308.85	c nbDecision=222000 #constraints=27365
309.57/309.78	c nbDecision=222500 #constraints=27399
310.37/310.59	c nbDecision=223000 #constraints=27411
311.27/311.42	c nbDecision=223500 #constraints=27443
312.07/312.29	c nbDecision=224000 #constraints=27461
313.18/313.34	c nbDecision=224500 #constraints=27492
314.08/314.26	c nbDecision=225000 #constraints=27547
314.88/315.01	c nbDecision=225500 #constraints=27569
315.88/316.03	c nbDecision=226000 #constraints=27598
316.78/316.93	c nbDecision=226500 #constraints=27628
317.68/317.81	c nbDecision=227000 #constraints=27655
318.68/318.81	c nbDecision=227500 #constraints=27688
319.58/319.79	c nbDecision=228000 #constraints=27723
320.38/320.57	c nbDecision=228500 #constraints=27746
321.28/321.48	c nbDecision=229000 #constraints=27783
322.08/322.30	c nbDecision=229500 #constraints=27798
323.07/323.29	c nbDecision=230000 #constraints=27830
324.07/324.22	c nbDecision=230500 #constraints=27864
324.87/325.08	c nbDecision=231000 #constraints=27887
325.87/326.04	c nbDecision=231500 #constraints=27946
326.97/327.10	c nbDecision=232000 #constraints=27977
327.68/327.88	c nbDecision=232500 #constraints=28004
328.57/328.73	c nbDecision=233000 #constraints=28026
329.37/329.57	c nbDecision=233500 #constraints=28045
330.27/330.47	c nbDecision=234000 #constraints=28071
331.27/331.48	c nbDecision=234500 #constraints=28120
332.27/332.43	c nbDecision=235000 #constraints=28160
333.27/333.41	c nbDecision=235500 #constraints=28199
334.07/334.25	c nbDecision=236000 #constraints=28240
334.97/335.15	c nbDecision=236500 #constraints=28277
335.77/335.92	c nbDecision=237000 #constraints=28295
336.57/336.73	c nbDecision=237500 #constraints=28308
337.37/337.54	c nbDecision=238000 #constraints=28339
338.27/338.41	c nbDecision=238500 #constraints=28374
339.17/339.30	c nbDecision=239000 #constraints=28411
339.97/340.19	c nbDecision=239500 #constraints=28443
340.77/340.98	c nbDecision=240000 #constraints=28466
341.77/341.91	c nbDecision=240500 #constraints=28511
342.67/342.85	c nbDecision=241000 #constraints=28551
343.66/343.89	c nbDecision=241500 #constraints=28591
344.66/344.82	c nbDecision=242000 #constraints=28616
345.56/345.77	c nbDecision=242500 #constraints=28648
346.56/346.77	c nbDecision=243000 #constraints=28690
347.47/347.67	c nbDecision=243500 #constraints=28717
348.47/348.65	c nbDecision=244000 #constraints=28754
349.36/349.52	c nbDecision=244500 #constraints=28774
350.26/350.40	c nbDecision=245000 #constraints=28792
351.16/351.35	c nbDecision=245500 #constraints=28836
351.86/352.09	c nbDecision=246000 #constraints=28843
352.96/353.15	c nbDecision=246500 #constraints=28898
353.86/354.03	c nbDecision=247000 #constraints=28922
354.66/354.87	c nbDecision=247500 #constraints=28944
355.46/355.68	c nbDecision=248000 #constraints=28967
356.46/356.68	c nbDecision=248500 #constraints=29002
357.36/357.52	c nbDecision=249000 #constraints=29028
358.27/358.47	c nbDecision=249500 #constraints=29058
359.17/359.30	c nbDecision=250000 #constraints=29076
360.17/360.31	c nbDecision=250500 #constraints=29115
361.07/361.21	c nbDecision=251000 #constraints=29148
361.87/362.02	c nbDecision=251500 #constraints=29160
362.66/362.90	c nbDecision=252000 #constraints=29191
363.66/363.83	c nbDecision=252500 #constraints=29228
364.46/364.69	c nbDecision=253000 #constraints=29253
365.46/365.64	c nbDecision=253500 #constraints=29284
366.17/366.39	c nbDecision=254000 #constraints=29295
367.16/367.30	c nbDecision=254500 #constraints=29328
367.86/368.09	c nbDecision=255000 #constraints=29341
368.76/368.94	c nbDecision=255500 #constraints=29372
369.56/369.79	c nbDecision=256000 #constraints=29395
370.66/370.89	c nbDecision=256500 #constraints=29447
371.66/371.80	c nbDecision=257000 #constraints=29478
372.56/372.72	c nbDecision=257500 #constraints=29502
373.36/373.57	c nbDecision=258000 #constraints=29526
374.16/374.38	c nbDecision=258500 #constraints=29546
375.36/375.55	c nbDecision=259000 #constraints=29604
376.46/376.61	c nbDecision=259500 #constraints=29638
377.36/377.55	c nbDecision=260000 #constraints=29653
378.16/378.36	c nbDecision=260500 #constraints=29664
378.96/379.17	c nbDecision=261000 #constraints=29684
380.16/380.39	c nbDecision=261500 #constraints=29730
381.05/381.24	c nbDecision=262000 #constraints=29754
382.05/382.22	c nbDecision=262500 #constraints=29806
382.95/383.19	c nbDecision=263000 #constraints=29846
383.85/384.03	c nbDecision=263500 #constraints=29859
384.76/384.99	c nbDecision=264000 #constraints=29886
385.75/385.93	c nbDecision=264500 #constraints=29912
386.75/386.93	c nbDecision=265000 #constraints=29946
387.55/387.71	c nbDecision=265500 #constraints=29970
388.35/388.58	c nbDecision=266000 #constraints=29998
389.25/389.43	c nbDecision=266500 #constraints=30026
390.15/390.38	c nbDecision=267000 #constraints=30043
391.05/391.22	c nbDecision=267500 #constraints=30060
391.75/391.92	c nbDecision=268000 #constraints=30072
392.65/392.86	c nbDecision=268500 #constraints=30103
393.55/393.71	c nbDecision=269000 #constraints=30124
394.35/394.54	c nbDecision=269500 #constraints=30148
395.15/395.39	c nbDecision=270000 #constraints=30163
396.15/396.30	c nbDecision=270500 #constraints=30186
396.96/397.11	c nbDecision=271000 #constraints=30200
397.75/397.95	c nbDecision=271500 #constraints=30214
398.65/398.89	c nbDecision=272000 #constraints=30259
399.55/399.73	c nbDecision=272500 #constraints=30282
400.35/400.51	c nbDecision=273000 #constraints=30298
401.15/401.33	c nbDecision=273500 #constraints=30317
402.05/402.27	c nbDecision=274000 #constraints=30351
403.05/403.24	c nbDecision=274500 #constraints=30377
404.05/404.22	c nbDecision=275000 #constraints=30400
404.95/405.17	c nbDecision=275500 #constraints=30422
405.75/405.96	c nbDecision=276000 #constraints=30434
406.55/406.79	c nbDecision=276500 #constraints=30453
407.45/407.69	c nbDecision=277000 #constraints=30486
408.55/408.72	c nbDecision=277500 #constraints=30516
409.45/409.65	c nbDecision=278000 #constraints=30552
410.35/410.53	c nbDecision=278500 #constraints=30581
411.25/411.48	c nbDecision=279000 #constraints=30607
412.14/412.38	c nbDecision=279500 #constraints=30640
413.04/413.24	c nbDecision=280000 #constraints=30666
413.84/414.07	c nbDecision=280500 #constraints=30682
414.55/414.72	c nbDecision=281000 #constraints=30690
415.55/415.77	c nbDecision=281500 #constraints=30735
416.44/416.63	c nbDecision=282000 #constraints=30762
417.24/417.45	c nbDecision=282500 #constraints=30782
418.14/418.35	c nbDecision=283000 #constraints=30806
419.04/419.27	c nbDecision=283500 #constraints=30832
419.94/420.16	c nbDecision=284000 #constraints=30866
420.84/421.07	c nbDecision=284500 #constraints=30887
421.84/422.07	c nbDecision=285000 #constraints=30929
422.84/423.00	c nbDecision=285500 #constraints=30957
423.74/423.92	c nbDecision=286000 #constraints=30981
424.65/424.85	c nbDecision=286500 #constraints=31006
425.55/425.78	c nbDecision=287000 #constraints=31025
426.55/426.71	c nbDecision=287500 #constraints=31046
427.34/427.60	c nbDecision=288000 #constraints=31071
428.24/428.47	c nbDecision=288500 #constraints=31091
429.04/429.27	c nbDecision=289000 #constraints=31110
429.84/430.08	c nbDecision=289500 #constraints=31135
430.74/430.94	c nbDecision=290000 #constraints=31167
431.54/431.70	c nbDecision=290500 #constraints=31171
432.44/432.63	c nbDecision=291000 #constraints=31189
433.24/433.42	c nbDecision=291500 #constraints=31199
434.14/434.33	c nbDecision=292000 #constraints=31229
435.04/435.28	c nbDecision=292500 #constraints=31256
436.04/436.25	c nbDecision=293000 #constraints=31290
436.84/437.07	c nbDecision=293500 #constraints=31302
437.73/437.93	c nbDecision=294000 #constraints=31323
438.64/438.84	c nbDecision=294500 #constraints=31360
439.43/439.67	c nbDecision=295000 #constraints=31381
440.33/440.58	c nbDecision=295500 #constraints=31416
441.23/441.48	c nbDecision=296000 #constraints=31433
442.43/442.66	c nbDecision=296500 #constraints=31475
443.23/443.42	c nbDecision=297000 #constraints=31492
444.24/444.43	c nbDecision=297500 #constraints=31518
445.03/445.24	c nbDecision=298000 #constraints=31532
445.83/446.06	c nbDecision=298500 #constraints=31544
446.83/447.06	c nbDecision=299000 #constraints=31568
447.64/447.84	c nbDecision=299500 #constraints=31593
448.74/448.92	c nbDecision=300000 #constraints=31620
449.64/449.82	c nbDecision=300500 #constraints=31673
450.54/450.75	c nbDecision=301000 #constraints=31696
451.44/451.64	c nbDecision=301500 #constraints=31718
452.34/452.56	c nbDecision=302000 #constraints=31747
453.14/453.39	c nbDecision=302500 #constraints=31762
453.94/454.19	c nbDecision=303000 #constraints=31767
454.73/454.98	c nbDecision=303500 #constraints=31785
455.63/455.80	c nbDecision=304000 #constraints=31801
456.43/456.65	c nbDecision=304500 #constraints=31815
457.44/457.67	c nbDecision=305000 #constraints=31845
458.33/458.55	c nbDecision=305500 #constraints=31865
459.13/459.32	c nbDecision=306000 #constraints=31879
459.83/460.07	c nbDecision=306500 #constraints=31886
460.83/461.02	c nbDecision=307000 #constraints=31914
461.53/461.73	c nbDecision=307500 #constraints=31927
462.33/462.53	c nbDecision=308000 #constraints=31940
463.13/463.36	c nbDecision=308500 #constraints=31961
463.94/464.19	c nbDecision=309000 #constraints=31976
464.83/465.04	c nbDecision=309500 #constraints=31995
465.63/465.88	c nbDecision=310000 #constraints=32013
466.53/466.73	c nbDecision=310500 #constraints=32037
467.73/467.94	c nbDecision=311000 #constraints=32087
468.93/469.15	c nbDecision=311500 #constraints=32128
470.03/470.24	c nbDecision=312000 #constraints=32152
470.83/471.07	c nbDecision=312500 #constraints=32170
471.73/471.97	c nbDecision=313000 #constraints=32184
472.83/473.06	c nbDecision=313500 #constraints=32209
473.93/474.14	c nbDecision=314000 #constraints=32245
474.73/474.95	c nbDecision=314500 #constraints=32257
475.63/475.89	c nbDecision=315000 #constraints=32276
476.53/476.70	c nbDecision=315500 #constraints=32299
477.53/477.71	c nbDecision=316000 #constraints=32322
478.23/478.45	c nbDecision=316500 #constraints=32338
479.13/479.33	c nbDecision=317000 #constraints=32351
480.13/480.35	c nbDecision=317500 #constraints=32384
481.02/481.28	c nbDecision=318000 #constraints=32414
482.02/482.22	c nbDecision=318500 #constraints=32434
483.02/483.27	c nbDecision=319000 #constraints=32466
484.02/484.29	c nbDecision=319500 #constraints=32492
485.02/485.20	c nbDecision=320000 #constraints=32512
485.93/486.13	c nbDecision=320500 #constraints=32526
486.92/487.12	c nbDecision=321000 #constraints=32543
487.92/488.18	c nbDecision=321500 #constraints=32578
488.82/489.07	c nbDecision=322000 #constraints=32595
489.82/490.08	c nbDecision=322500 #constraints=32628
490.72/490.98	c nbDecision=323000 #constraints=32642
491.72/491.99	c nbDecision=323500 #constraints=32670
492.52/492.75	c nbDecision=324000 #constraints=32681
493.52/493.74	c nbDecision=324500 #constraints=32712
494.42/494.64	c nbDecision=325000 #constraints=32740
495.42/495.63	c nbDecision=325500 #constraints=32780
496.22/496.47	c nbDecision=326000 #constraints=32808
497.22/497.44	c nbDecision=326500 #constraints=32827
498.12/498.37	c nbDecision=327000 #constraints=32850
499.02/499.25	c nbDecision=327500 #constraints=32872
499.92/500.16	c nbDecision=328000 #constraints=32888
501.01/501.24	c nbDecision=328500 #constraints=32916
502.11/502.38	c nbDecision=329000 #constraints=32958
503.01/503.29	c nbDecision=329500 #constraints=32970
504.11/504.34	c nbDecision=330000 #constraints=32987
505.12/505.38	c nbDecision=330500 #constraints=33007
506.12/506.38	c nbDecision=331000 #constraints=33032
507.12/507.32	c nbDecision=331500 #constraints=33053
508.02/508.25	c nbDecision=332000 #constraints=33075
509.22/509.41	c nbDecision=332500 #constraints=33120
510.32/510.55	c nbDecision=333000 #constraints=33154
511.22/511.49	c nbDecision=333500 #constraints=33173
512.22/512.47	c nbDecision=334000 #constraints=33200
513.12/513.38	c nbDecision=334500 #constraints=33225
513.82/514.09	c nbDecision=335000 #constraints=33239
515.02/515.21	c nbDecision=335500 #constraints=33266
515.92/516.13	c nbDecision=336000 #constraints=33287
516.82/517.03	c nbDecision=336500 #constraints=33301
517.72/517.97	c nbDecision=337000 #constraints=33320
518.82/519.00	c nbDecision=337500 #constraints=33352
519.52/519.78	c nbDecision=338000 #constraints=33372
520.51/520.76	c nbDecision=338500 #constraints=33403
521.41/521.60	c nbDecision=339000 #constraints=33417
522.22/522.44	c nbDecision=339500 #constraints=33437
523.11/523.31	c nbDecision=340000 #constraints=33445
524.01/524.28	c nbDecision=340500 #constraints=33482
525.11/525.34	c nbDecision=341000 #constraints=33518
526.01/526.24	c nbDecision=341500 #constraints=33539
527.01/527.28	c nbDecision=342000 #constraints=33566
527.91/528.14	c nbDecision=342500 #constraints=33587
528.92/529.15	c nbDecision=343000 #constraints=33613
529.81/530.10	c nbDecision=343500 #constraints=33628
531.02/531.22	c nbDecision=344000 #constraints=33655
531.71/531.97	c nbDecision=344500 #constraints=33668
532.71/532.93	c nbDecision=345000 #constraints=33693
533.61/533.89	c nbDecision=345500 #constraints=33718
534.61/534.88	c nbDecision=346000 #constraints=33741
535.51/535.74	c nbDecision=346500 #constraints=33754
536.41/536.62	c nbDecision=347000 #constraints=33769
537.41/537.63	c nbDecision=347500 #constraints=33800
538.31/538.57	c nbDecision=348000 #constraints=33824
539.31/539.54	c nbDecision=348500 #constraints=33847
540.31/540.56	c nbDecision=349000 #constraints=33864
541.31/541.59	c nbDecision=349500 #constraints=33892
542.01/542.28	c nbDecision=350000 #constraints=33898
543.00/543.26	c nbDecision=350500 #constraints=33927
543.90/544.16	c nbDecision=351000 #constraints=33951
544.91/545.14	c nbDecision=351500 #constraints=33970
545.90/546.11	c nbDecision=352000 #constraints=33987
546.70/546.96	c nbDecision=352500 #constraints=34011
547.61/547.82	c nbDecision=353000 #constraints=34021
548.71/548.95	c nbDecision=353500 #constraints=34056
549.60/549.82	c nbDecision=354000 #constraints=34065
550.81/551.04	c nbDecision=354500 #constraints=34102
551.70/551.95	c nbDecision=355000 #constraints=34134
552.80/553.04	c nbDecision=355500 #constraints=34163
553.70/553.94	c nbDecision=356000 #constraints=34181
554.60/554.84	c nbDecision=356500 #constraints=34200
555.50/555.76	c nbDecision=357000 #constraints=34224
556.50/556.78	c nbDecision=357500 #constraints=34252
557.60/557.86	c nbDecision=358000 #constraints=34274
558.60/558.87	c nbDecision=358500 #constraints=34299
559.60/559.82	c nbDecision=359000 #constraints=34314
560.39/560.69	c nbDecision=359500 #constraints=34323
561.50/561.70	c nbDecision=360000 #constraints=34354
562.30/562.57	c nbDecision=360500 #constraints=34364
563.30/563.51	c nbDecision=361000 #constraints=34378
564.20/564.48	c nbDecision=361500 #constraints=34394
565.21/565.48	c nbDecision=362000 #constraints=34418
566.20/566.47	c nbDecision=362500 #constraints=34440
567.10/567.36	c nbDecision=363000 #constraints=34454
568.00/568.20	c nbDecision=363500 #constraints=34468
568.80/569.06	c nbDecision=364000 #constraints=34486
570.00/570.20	c nbDecision=364500 #constraints=34524
571.00/571.21	c nbDecision=365000 #constraints=34540
571.90/572.14	c nbDecision=365500 #constraints=34557
572.80/573.06	c nbDecision=366000 #constraints=34575
573.60/573.86	c nbDecision=366500 #constraints=34593
574.70/574.91	c nbDecision=367000 #constraints=34627
575.70/575.98	c nbDecision=367500 #constraints=34644
576.50/576.73	c nbDecision=368000 #constraints=34652
577.50/577.71	c nbDecision=368500 #constraints=34672
578.49/578.74	c nbDecision=369000 #constraints=34693
579.40/579.68	c nbDecision=369500 #constraints=34708
580.29/580.54	c nbDecision=370000 #constraints=34714
581.39/581.65	c nbDecision=370500 #constraints=34743
582.29/582.54	c nbDecision=371000 #constraints=34752
583.29/583.52	c nbDecision=371500 #constraints=34775
584.19/584.47	c nbDecision=372000 #constraints=34799
585.09/585.31	c nbDecision=372500 #constraints=34814
586.09/586.37	c nbDecision=373000 #constraints=34841
587.09/587.36	c nbDecision=373500 #constraints=34863
588.19/588.43	c nbDecision=374000 #constraints=34884
589.09/589.36	c nbDecision=374500 #constraints=34913
589.99/590.28	c nbDecision=375000 #constraints=34930
590.99/591.25	c nbDecision=375500 #constraints=34946
591.99/592.23	c nbDecision=376000 #constraints=34965
593.08/593.33	c nbDecision=376500 #constraints=34991
593.98/594.28	c nbDecision=377000 #constraints=35019
595.08/595.34	c nbDecision=377500 #constraints=35044
596.18/596.46	c nbDecision=378000 #constraints=35075
597.18/597.45	c nbDecision=378500 #constraints=35109
598.09/598.36	c nbDecision=379000 #constraints=35121
599.28/599.52	c nbDecision=379500 #constraints=35152
600.28/600.53	c nbDecision=380000 #constraints=35181
601.18/601.48	c nbDecision=380500 #constraints=35203
602.08/602.40	c nbDecision=381000 #constraints=35212
603.08/603.39	c nbDecision=381500 #constraints=35233
603.98/604.22	c nbDecision=382000 #constraints=35254
604.98/605.29	c nbDecision=382500 #constraints=35282
605.88/606.12	c nbDecision=383000 #constraints=35294
606.88/607.20	c nbDecision=383500 #constraints=35316
608.08/608.32	c nbDecision=384000 #constraints=35341
608.88/609.17	c nbDecision=384500 #constraints=35359
609.78/610.03	c nbDecision=385000 #constraints=35364
610.79/611.07	c nbDecision=385500 #constraints=35389
611.89/612.13	c nbDecision=386000 #constraints=35414
612.78/613.02	c nbDecision=386500 #constraints=35426
613.68/613.99	c nbDecision=387000 #constraints=35449
614.59/614.88	c nbDecision=387500 #constraints=35461
615.58/615.80	c nbDecision=388000 #constraints=35493
616.58/616.86	c nbDecision=388500 #constraints=35511
617.48/617.75	c nbDecision=389000 #constraints=35524
618.28/618.54	c nbDecision=389500 #constraints=35543
619.18/619.45	c nbDecision=390000 #constraints=35563
620.19/620.45	c nbDecision=390500 #constraints=35585
621.08/621.37	c nbDecision=391000 #constraints=35597
622.08/622.34	c nbDecision=391500 #constraints=35617
622.98/623.22	c nbDecision=392000 #constraints=35628
623.98/624.21	c nbDecision=392500 #constraints=35651
624.98/625.24	c nbDecision=393000 #constraints=35684
625.78/626.03	c nbDecision=393500 #constraints=35701
626.88/627.19	c nbDecision=394000 #constraints=35740
627.88/628.18	c nbDecision=394500 #constraints=35766
628.78/629.09	c nbDecision=395000 #constraints=35786
629.78/630.07	c nbDecision=395500 #constraints=35816
630.58/630.88	c nbDecision=396000 #constraints=35839
631.47/631.73	c nbDecision=396500 #constraints=35850
632.37/632.61	c nbDecision=397000 #constraints=35866
633.28/633.55	c nbDecision=397500 #constraints=35884
634.17/634.44	c nbDecision=398000 #constraints=35898
635.07/635.32	c nbDecision=398500 #constraints=35908
635.87/636.17	c nbDecision=399000 #constraints=35918
636.87/637.13	c nbDecision=399500 #constraints=35941
637.78/638.06	c nbDecision=400000 #constraints=35959
638.77/639.01	c nbDecision=400500 #constraints=35987
639.67/639.91	c nbDecision=401000 #constraints=36005
640.57/640.80	c nbDecision=401500 #constraints=36025
641.57/641.87	c nbDecision=402000 #constraints=36053
642.67/642.97	c nbDecision=402500 #constraints=36079
644.07/644.36	c nbDecision=403000 #constraints=36117
645.47/645.75	c nbDecision=403500 #constraints=36158
646.58/646.81	c nbDecision=404000 #constraints=36172
647.48/647.79	c nbDecision=404500 #constraints=36191
648.57/648.86	c nbDecision=405000 #constraints=36209
649.67/649.99	c nbDecision=405500 #constraints=36226
650.57/650.80	c nbDecision=406000 #constraints=36245
651.47/651.74	c nbDecision=406500 #constraints=36260
652.67/652.94	c nbDecision=407000 #constraints=36288
653.77/654.08	c nbDecision=407500 #constraints=36318
654.77/655.00	c nbDecision=408000 #constraints=36328
655.67/655.98	c nbDecision=408500 #constraints=36343
656.77/657.09	c nbDecision=409000 #constraints=36380
657.87/658.11	c nbDecision=409500 #constraints=36393
657.97/658.28	c restart after 409601 decisions
659.27/659.57	c nbDecision=410000 #constraints=36422
660.57/660.83	c nbDecision=410500 #constraints=36456
661.97/662.20	c nbDecision=411000 #constraints=36491
663.37/663.68	c nbDecision=411500 #constraints=36528
664.57/664.82	c nbDecision=412000 #constraints=36549
665.47/665.79	c nbDecision=412500 #constraints=36570
666.47/666.77	c nbDecision=413000 #constraints=36582
667.87/668.17	c nbDecision=413500 #constraints=36612
668.96/669.21	c nbDecision=414000 #constraints=36632
670.46/670.74	c nbDecision=414500 #constraints=36670
671.66/671.97	c nbDecision=415000 #constraints=36697
672.87/673.18	c nbDecision=415500 #constraints=36729
673.86/674.20	c nbDecision=416000 #constraints=36748
675.07/675.37	c nbDecision=416500 #constraints=36772
676.17/676.43	c nbDecision=417000 #constraints=36808
677.26/677.55	c nbDecision=417500 #constraints=36834
678.46/678.72	c nbDecision=418000 #constraints=36858
679.46/679.77	c nbDecision=418500 #constraints=36876
680.76/681.04	c nbDecision=419000 #constraints=36907
681.86/682.18	c nbDecision=419500 #constraints=36923
683.16/683.40	c nbDecision=420000 #constraints=36946
684.06/684.34	c nbDecision=420500 #constraints=36959
684.96/685.29	c nbDecision=421000 #constraints=36986
685.86/686.14	c nbDecision=421500 #constraints=37005
687.05/687.30	c nbDecision=422000 #constraints=37036
688.45/688.77	c nbDecision=422500 #constraints=37075
689.65/689.92	c nbDecision=423000 #constraints=37103
690.85/691.12	c nbDecision=423500 #constraints=37132
691.67/691.98	c nbDecision=424000 #constraints=37149
692.76/693.09	c nbDecision=424500 #constraints=37170
694.06/694.37	c nbDecision=425000 #constraints=37195
694.86/695.15	c nbDecision=425500 #constraints=37204
695.76/696.05	c nbDecision=426000 #constraints=37216
696.76/697.09	c nbDecision=426500 #constraints=37234
697.76/698.07	c nbDecision=427000 #constraints=37250
698.76/699.05	c nbDecision=427500 #constraints=37268
700.06/700.32	c nbDecision=428000 #constraints=37296
700.96/701.29	c nbDecision=428500 #constraints=37315
702.06/702.38	c nbDecision=429000 #constraints=37339
703.06/703.36	c nbDecision=429500 #constraints=37361
704.16/704.45	c nbDecision=430000 #constraints=37382
704.96/705.23	c nbDecision=430500 #constraints=37394
705.76/706.10	c nbDecision=431000 #constraints=37398
706.85/707.11	c nbDecision=431500 #constraints=37424
707.95/708.26	c nbDecision=432000 #constraints=37450
709.45/709.71	c nbDecision=432500 #constraints=37497
710.75/711.02	c nbDecision=433000 #constraints=37525
711.85/712.10	c nbDecision=433500 #constraints=37542
712.75/713.08	c nbDecision=434000 #constraints=37563
713.85/714.10	c nbDecision=434500 #constraints=37585
715.35/715.63	c nbDecision=435000 #constraints=37625
716.55/716.80	c nbDecision=435500 #constraints=37652
717.55/717.89	c nbDecision=436000 #constraints=37671
718.65/718.96	c nbDecision=436500 #constraints=37699
719.85/720.10	c nbDecision=437000 #constraints=37711
720.75/721.06	c nbDecision=437500 #constraints=37727
722.15/722.44	c nbDecision=438000 #constraints=37760
723.25/723.51	c nbDecision=438500 #constraints=37776
724.25/724.56	c nbDecision=439000 #constraints=37798
725.65/725.91	c nbDecision=439500 #constraints=37832
726.75/727.07	c nbDecision=440000 #constraints=37857
727.95/728.25	c nbDecision=440500 #constraints=37884
728.95/729.21	c nbDecision=441000 #constraints=37895
729.75/730.00	c nbDecision=441500 #constraints=37908
730.75/731.01	c nbDecision=442000 #constraints=37924
731.95/732.20	c nbDecision=442500 #constraints=37952
732.95/733.25	c nbDecision=443000 #constraints=37969
733.94/734.22	c nbDecision=443500 #constraints=37990
735.14/735.42	c nbDecision=444000 #constraints=38018
736.14/736.40	c nbDecision=444500 #constraints=38028
737.14/737.44	c nbDecision=445000 #constraints=38053
738.14/738.43	c nbDecision=445500 #constraints=38062
739.14/739.40	c nbDecision=446000 #constraints=38076
740.05/740.35	c nbDecision=446500 #constraints=38087
741.04/741.34	c nbDecision=447000 #constraints=38111
741.94/742.22	c nbDecision=447500 #constraints=38126
742.84/743.16	c nbDecision=448000 #constraints=38138
743.84/744.16	c nbDecision=448500 #constraints=38156
745.04/745.35	c nbDecision=449000 #constraints=38191
745.94/746.25	c nbDecision=449500 #constraints=38203
746.94/747.21	c nbDecision=450000 #constraints=38225
748.14/748.49	c nbDecision=450500 #constraints=38243
749.34/749.68	c nbDecision=451000 #constraints=38264
750.44/750.76	c nbDecision=451500 #constraints=38284
751.73/752.06	c nbDecision=452000 #constraints=38307
752.73/753.04	c nbDecision=452500 #constraints=38319
753.53/753.84	c nbDecision=453000 #constraints=38324
754.81/755.17	c nbDecision=453500 #constraints=38361
756.01/756.30	c nbDecision=454000 #constraints=38382
757.00/757.35	c nbDecision=454500 #constraints=38402
758.20/758.52	c nbDecision=455000 #constraints=38424
759.20/759.58	c nbDecision=455500 #constraints=38445
760.31/760.60	c nbDecision=456000 #constraints=38459
761.41/761.77	c nbDecision=456500 #constraints=38484
762.41/762.74	c nbDecision=457000 #constraints=38491
763.40/763.74	c nbDecision=457500 #constraints=38515
764.50/764.82	c nbDecision=458000 #constraints=38541
765.50/765.90	c nbDecision=458500 #constraints=38555
766.69/767.04	c nbDecision=459000 #constraints=38587
767.58/767.94	c nbDecision=459500 #constraints=38592
768.59/768.97	c nbDecision=460000 #constraints=38605
769.48/769.81	c nbDecision=460500 #constraints=38610
770.38/770.75	c nbDecision=461000 #constraints=38619
771.38/771.73	c nbDecision=461500 #constraints=38632
772.47/772.82	c nbDecision=462000 #constraints=38654
773.37/773.75	c nbDecision=462500 #constraints=38664
774.67/775.01	c nbDecision=463000 #constraints=38697
775.66/776.02	c nbDecision=463500 #constraints=38718
776.56/776.95	c nbDecision=464000 #constraints=38725
777.56/777.99	c nbDecision=464500 #constraints=38746
778.65/779.03	c nbDecision=465000 #constraints=38761
779.75/780.11	c nbDecision=465500 #constraints=38784
780.85/781.28	c nbDecision=466000 #constraints=38802
782.05/782.49	c nbDecision=466500 #constraints=38817
783.05/783.44	c nbDecision=467000 #constraints=38841
784.04/784.45	c nbDecision=467500 #constraints=38854
785.14/785.54	c nbDecision=468000 #constraints=38872
786.24/786.66	c nbDecision=468500 #constraints=38891
787.34/787.72	c nbDecision=469000 #constraints=38913
788.24/788.68	c nbDecision=469500 #constraints=38925
789.34/789.70	c nbDecision=470000 #constraints=38937
790.44/790.82	c nbDecision=470500 #constraints=38957
791.43/791.85	c nbDecision=471000 #constraints=38988
792.64/793.05	c nbDecision=471500 #constraints=39011
793.63/794.02	c nbDecision=472000 #constraints=39022
794.53/794.99	c nbDecision=472500 #constraints=39030
795.63/796.04	c nbDecision=473000 #constraints=39045
796.53/796.98	c nbDecision=473500 #constraints=39052
797.63/798.03	c nbDecision=474000 #constraints=39079
798.73/799.18	c nbDecision=474500 #constraints=39099
799.73/800.19	c nbDecision=475000 #constraints=39117
800.73/801.17	c nbDecision=475500 #constraints=39128
801.83/802.23	c nbDecision=476000 #constraints=39156
802.83/803.21	c nbDecision=476500 #constraints=39171
803.73/804.19	c nbDecision=477000 #constraints=39184
804.82/805.23	c nbDecision=477500 #constraints=39199
805.81/806.30	c nbDecision=478000 #constraints=39232
806.91/807.34	c nbDecision=478500 #constraints=39255
808.11/808.56	c nbDecision=479000 #constraints=39279
809.30/809.72	c nbDecision=479500 #constraints=39295
810.21/810.64	c nbDecision=480000 #constraints=39316
811.10/811.59	c nbDecision=480500 #constraints=39327
812.41/812.81	c nbDecision=481000 #constraints=39346
813.51/813.96	c nbDecision=481500 #constraints=39369
814.51/814.97	c nbDecision=482000 #constraints=39383
815.51/815.99	c nbDecision=482500 #constraints=39397
816.71/817.15	c nbDecision=483000 #constraints=39415
817.71/818.11	c nbDecision=483500 #constraints=39425
818.61/819.05	c nbDecision=484000 #constraints=39434
819.61/820.04	c nbDecision=484500 #constraints=39450
820.61/821.02	c nbDecision=485000 #constraints=39470
821.61/822.02	c nbDecision=485500 #constraints=39487
822.51/822.96	c nbDecision=486000 #constraints=39495
823.60/824.06	c nbDecision=486500 #constraints=39517
824.61/825.03	c nbDecision=487000 #constraints=39532
825.50/825.98	c nbDecision=487500 #constraints=39545
826.60/827.02	c nbDecision=488000 #constraints=39566
827.40/827.84	c nbDecision=488500 #constraints=39575
828.50/828.95	c nbDecision=489000 #constraints=39597
829.60/830.03	c nbDecision=489500 #constraints=39617
830.70/831.18	c nbDecision=490000 #constraints=39643
831.70/832.18	c nbDecision=490500 #constraints=39652
832.90/833.30	c nbDecision=491000 #constraints=39668
833.80/834.25	c nbDecision=491500 #constraints=39692
835.10/835.55	c nbDecision=492000 #constraints=39733
836.30/836.74	c nbDecision=492500 #constraints=39763
837.29/837.70	c nbDecision=493000 #constraints=39781
838.49/838.91	c nbDecision=493500 #constraints=39801
839.39/839.84	c nbDecision=494000 #constraints=39811
840.39/840.87	c nbDecision=494500 #constraints=39827
841.29/841.78	c nbDecision=495000 #constraints=39850
842.49/842.93	c nbDecision=495500 #constraints=39865
843.30/843.71	c nbDecision=496000 #constraints=39870
844.49/844.99	c nbDecision=496500 #constraints=39893
845.59/846.08	c nbDecision=497000 #constraints=39919
846.59/847.04	c nbDecision=497500 #constraints=39945
847.69/848.13	c nbDecision=498000 #constraints=39956
848.89/849.35	c nbDecision=498500 #constraints=39977
849.69/850.17	c nbDecision=499000 #constraints=39986
850.69/851.16	c nbDecision=499500 #constraints=39996
851.79/852.26	c nbDecision=500000 #constraints=40018
852.79/853.27	c nbDecision=500500 #constraints=40032
853.79/854.27	c nbDecision=501000 #constraints=40046
854.79/855.26	c nbDecision=501500 #constraints=40063
855.89/856.38	c nbDecision=502000 #constraints=40090
856.99/857.49	c nbDecision=502500 #constraints=40122
857.99/858.43	c nbDecision=503000 #constraints=40130
858.89/859.40	c nbDecision=503500 #constraints=40147
860.09/860.50	c nbDecision=504000 #constraints=40164
861.19/861.64	c nbDecision=504500 #constraints=40183
862.19/862.68	c nbDecision=505000 #constraints=40201
863.19/863.63	c nbDecision=505500 #constraints=40208
864.20/864.65	c nbDecision=506000 #constraints=40224
865.39/865.87	c nbDecision=506500 #constraints=40245
866.39/866.83	c nbDecision=507000 #constraints=40255
867.29/867.71	c nbDecision=507500 #constraints=40274
868.19/868.66	c nbDecision=508000 #constraints=40285
869.29/869.72	c nbDecision=508500 #constraints=40305
870.29/870.71	c nbDecision=509000 #constraints=40319
871.29/871.78	c nbDecision=509500 #constraints=40340
872.29/872.75	c nbDecision=510000 #constraints=40356
873.19/873.66	c nbDecision=510500 #constraints=40362
874.18/874.62	c nbDecision=511000 #constraints=40376
875.09/875.57	c nbDecision=511500 #constraints=40386
876.19/876.67	c nbDecision=512000 #constraints=40405
877.18/877.65	c nbDecision=512500 #constraints=40417
878.08/878.57	c nbDecision=513000 #constraints=40434
879.08/879.51	c nbDecision=513500 #constraints=40449
880.08/880.59	c nbDecision=514000 #constraints=40478
880.98/881.45	c nbDecision=514500 #constraints=40490
881.88/882.38	c nbDecision=515000 #constraints=40504
882.88/883.38	c nbDecision=515500 #constraints=40527
884.28/884.71	c nbDecision=516000 #constraints=40559
885.48/885.97	c nbDecision=516500 #constraints=40588
886.58/887.04	c nbDecision=517000 #constraints=40607
887.78/888.23	c nbDecision=517500 #constraints=40625
888.98/889.41	c nbDecision=518000 #constraints=40642
890.18/890.64	c nbDecision=518500 #constraints=40668
891.38/891.83	c nbDecision=519000 #constraints=40686
892.48/892.92	c nbDecision=519500 #constraints=40706
893.68/894.16	c nbDecision=520000 #constraints=40720
894.88/895.32	c nbDecision=520500 #constraints=40736
895.98/896.44	c nbDecision=521000 #constraints=40753
896.98/897.43	c nbDecision=521500 #constraints=40768
897.98/898.43	c nbDecision=522000 #constraints=40780
899.38/899.82	c nbDecision=522500 #constraints=40802
900.48/900.94	c nbDecision=523000 #constraints=40814
901.58/902.06	c nbDecision=523500 #constraints=40830
903.07/903.51	c nbDecision=524000 #constraints=40859
904.17/904.68	c nbDecision=524500 #constraints=40876
905.47/905.90	c nbDecision=525000 #constraints=40895
906.37/906.81	c nbDecision=525500 #constraints=40910
907.67/908.14	c nbDecision=526000 #constraints=40943
908.67/909.16	c nbDecision=526500 #constraints=40951
909.77/910.22	c nbDecision=527000 #constraints=40976
910.97/911.49	c nbDecision=527500 #constraints=41006
911.97/912.48	c nbDecision=528000 #constraints=41016
912.97/913.46	c nbDecision=528500 #constraints=41028
914.17/914.63	c nbDecision=529000 #constraints=41055
915.17/915.65	c nbDecision=529500 #constraints=41068
916.27/916.73	c nbDecision=530000 #constraints=41092
917.37/917.83	c nbDecision=530500 #constraints=41117
918.27/918.78	c nbDecision=531000 #constraints=41127
919.27/919.73	c nbDecision=531500 #constraints=41139
920.67/921.15	c nbDecision=532000 #constraints=41164
921.87/922.31	c nbDecision=532500 #constraints=41175
923.16/923.64	c nbDecision=533000 #constraints=41209
924.16/924.64	c nbDecision=533500 #constraints=41224
925.16/925.64	c nbDecision=534000 #constraints=41244
926.46/926.99	c nbDecision=534500 #constraints=41265
927.66/928.10	c nbDecision=535000 #constraints=41276
928.76/929.25	c nbDecision=535500 #constraints=41291
929.86/930.32	c nbDecision=536000 #constraints=41307
930.86/931.39	c nbDecision=536500 #constraints=41320
932.27/932.77	c nbDecision=537000 #constraints=41351
933.37/933.83	c nbDecision=537500 #constraints=41366
934.37/934.88	c nbDecision=538000 #constraints=41387
935.47/935.99	c nbDecision=538500 #constraints=41405
936.67/937.17	c nbDecision=539000 #constraints=41422
937.87/938.30	c nbDecision=539500 #constraints=41437
938.87/939.38	c nbDecision=540000 #constraints=41450
939.77/940.24	c nbDecision=540500 #constraints=41461
940.97/941.41	c nbDecision=541000 #constraints=41472
941.96/942.47	c nbDecision=541500 #constraints=41491
943.06/943.53	c nbDecision=542000 #constraints=41504
944.16/944.63	c nbDecision=542500 #constraints=41524
945.06/945.53	c nbDecision=543000 #constraints=41545
945.96/946.47	c nbDecision=543500 #constraints=41551
947.06/947.58	c nbDecision=544000 #constraints=41569
948.26/948.78	c nbDecision=544500 #constraints=41581
949.46/949.90	c nbDecision=545000 #constraints=41594
950.56/951.00	c nbDecision=545500 #constraints=41609
952.06/952.53	c nbDecision=546000 #constraints=41637
953.36/953.84	c nbDecision=546500 #constraints=41658
954.56/955.08	c nbDecision=547000 #constraints=41672
955.66/956.17	c nbDecision=547500 #constraints=41689
956.76/957.22	c nbDecision=548000 #constraints=41703
957.86/958.31	c nbDecision=548500 #constraints=41720
958.86/959.31	c nbDecision=549000 #constraints=41727
959.76/960.28	c nbDecision=549500 #constraints=41733
960.96/961.43	c nbDecision=550000 #constraints=41753
961.96/962.41	c nbDecision=550500 #constraints=41765
962.86/963.37	c nbDecision=551000 #constraints=41788
964.05/964.58	c nbDecision=551500 #constraints=41800
965.15/965.61	c nbDecision=552000 #constraints=41821
966.15/966.62	c nbDecision=552500 #constraints=41829
967.25/967.73	c nbDecision=553000 #constraints=41850
968.25/968.72	c nbDecision=553500 #constraints=41855
969.35/969.86	c nbDecision=554000 #constraints=41875
970.65/971.20	c nbDecision=554500 #constraints=41905
971.75/972.23	c nbDecision=555000 #constraints=41920
972.75/973.21	c nbDecision=555500 #constraints=41931
973.95/974.40	c nbDecision=556000 #constraints=41953
974.94/975.46	c nbDecision=556500 #constraints=41972
975.84/976.37	c nbDecision=557000 #constraints=41989
976.94/977.41	c nbDecision=557500 #constraints=42002
978.24/978.71	c nbDecision=558000 #constraints=42022
979.24/979.72	c nbDecision=558500 #constraints=42038
980.35/980.84	c nbDecision=559000 #constraints=42056
981.35/981.84	c nbDecision=559500 #constraints=42066
982.45/982.91	c nbDecision=560000 #constraints=42075
983.45/983.90	c nbDecision=560500 #constraints=42087
984.55/985.04	c nbDecision=561000 #constraints=42109
985.55/986.05	c nbDecision=561500 #constraints=42117
986.65/987.15	c nbDecision=562000 #constraints=42133
987.84/988.34	c nbDecision=562500 #constraints=42160
989.04/989.58	c nbDecision=563000 #constraints=42189
990.14/990.63	c nbDecision=563500 #constraints=42203
991.14/991.63	c nbDecision=564000 #constraints=42212
992.14/992.65	c nbDecision=564500 #constraints=42226
993.24/993.72	c nbDecision=565000 #constraints=42246
994.24/994.76	c nbDecision=565500 #constraints=42261
995.44/995.94	c nbDecision=566000 #constraints=42285
996.44/996.96	c nbDecision=566500 #constraints=42304
997.64/998.16	c nbDecision=567000 #constraints=42325
998.94/999.46	c nbDecision=567500 #constraints=42339
1000.24/1000.73	c nbDecision=568000 #constraints=42356
1001.43/1001.98	c nbDecision=568500 #constraints=42378
1002.53/1003.06	c nbDecision=569000 #constraints=42400
1003.93/1004.47	c nbDecision=569500 #constraints=42421
1005.23/1005.76	c nbDecision=570000 #constraints=42452
1006.33/1006.84	c nbDecision=570500 #constraints=42462
1007.33/1007.84	c nbDecision=571000 #constraints=42468
1008.63/1009.16	c nbDecision=571500 #constraints=42486
1010.13/1010.63	c nbDecision=572000 #constraints=42509
1011.33/1011.84	c nbDecision=572500 #constraints=42532
1012.43/1012.97	c nbDecision=573000 #constraints=42556
1013.53/1014.07	c nbDecision=573500 #constraints=42572
1014.43/1014.95	c nbDecision=574000 #constraints=42577
1015.33/1015.89	c nbDecision=574500 #constraints=42581
1016.53/1017.03	c nbDecision=575000 #constraints=42598
1017.53/1018.02	c nbDecision=575500 #constraints=42608
1018.53/1019.07	c nbDecision=576000 #constraints=42622
1019.53/1020.04	c nbDecision=576500 #constraints=42632
1020.43/1020.93	c nbDecision=577000 #constraints=42646
1021.52/1022.09	c nbDecision=577500 #constraints=42656
1022.43/1022.95	c nbDecision=578000 #constraints=42667
1023.63/1024.14	c nbDecision=578500 #constraints=42689
1024.92/1025.50	c nbDecision=579000 #constraints=42735
1026.03/1026.54	c nbDecision=579500 #constraints=42767
1027.33/1027.85	c nbDecision=580000 #constraints=42817
1028.13/1028.68	c nbDecision=580500 #constraints=42833
1029.33/1029.88	c nbDecision=581000 #constraints=42858
1030.53/1031.08	c nbDecision=581500 #constraints=42869
1031.63/1032.15	c nbDecision=582000 #constraints=42881
1032.73/1033.20	c nbDecision=582500 #constraints=42895
1033.73/1034.29	c nbDecision=583000 #constraints=42911
1034.83/1035.36	c nbDecision=583500 #constraints=42929
1035.93/1036.42	c nbDecision=584000 #constraints=42943
1037.13/1037.69	c nbDecision=584500 #constraints=42952
1038.23/1038.76	c nbDecision=585000 #constraints=42971
1039.53/1040.02	c nbDecision=585500 #constraints=42990
1040.72/1041.24	c nbDecision=586000 #constraints=43005
1041.92/1042.40	c nbDecision=586500 #constraints=43020
1042.92/1043.43	c nbDecision=587000 #constraints=43053
1043.92/1044.49	c nbDecision=587500 #constraints=43064
1045.02/1045.54	c nbDecision=588000 #constraints=43079
1046.12/1046.69	c nbDecision=588500 #constraints=43099
1047.22/1047.73	c nbDecision=589000 #constraints=43111
1048.22/1048.72	c nbDecision=589500 #constraints=43121
1049.32/1049.83	c nbDecision=590000 #constraints=43141
1050.32/1050.84	c nbDecision=590500 #constraints=43153
1051.32/1051.89	c nbDecision=591000 #constraints=43167
1052.62/1053.11	c nbDecision=591500 #constraints=43188
1053.62/1054.19	c nbDecision=592000 #constraints=43199
1054.82/1055.36	c nbDecision=592500 #constraints=43217
1055.92/1056.42	c nbDecision=593000 #constraints=43240
1056.92/1057.45	c nbDecision=593500 #constraints=43246
1058.32/1058.83	c nbDecision=594000 #constraints=43265
1059.52/1060.05	c nbDecision=594500 #constraints=43280
1060.52/1061.00	c nbDecision=595000 #constraints=43291
1061.72/1062.24	c nbDecision=595500 #constraints=43309
1062.81/1063.38	c nbDecision=596000 #constraints=43329
1064.11/1064.63	c nbDecision=596500 #constraints=43344
1065.11/1065.60	c nbDecision=597000 #constraints=43368
1066.21/1066.77	c nbDecision=597500 #constraints=43386
1067.31/1067.80	c nbDecision=598000 #constraints=43399
1068.31/1068.83	c nbDecision=598500 #constraints=43411
1069.31/1069.81	c nbDecision=599000 #constraints=43417
1070.41/1070.98	c nbDecision=599500 #constraints=43430
1071.31/1071.88	c nbDecision=600000 #constraints=43437
1072.51/1073.03	c nbDecision=600500 #constraints=43454
1073.61/1074.14	c nbDecision=601000 #constraints=43470
1074.81/1075.35	c nbDecision=601500 #constraints=43491
1075.91/1076.48	c nbDecision=602000 #constraints=43507
1077.01/1077.57	c nbDecision=602500 #constraints=43524
1078.01/1078.57	c nbDecision=603000 #constraints=43530
1079.01/1079.58	c nbDecision=603500 #constraints=43537
1080.11/1080.63	c nbDecision=604000 #constraints=43550
1081.21/1081.70	c nbDecision=604500 #constraints=43570
1082.11/1082.69	c nbDecision=605000 #constraints=43578
1083.21/1083.77	c nbDecision=605500 #constraints=43597
1084.30/1084.82	c nbDecision=606000 #constraints=43615
1085.21/1085.74	c nbDecision=606500 #constraints=43631
1086.60/1087.11	c nbDecision=607000 #constraints=43664
1087.60/1088.14	c nbDecision=607500 #constraints=43675
1089.00/1089.51	c nbDecision=608000 #constraints=43702
1089.90/1090.40	c nbDecision=608500 #constraints=43708
1090.90/1091.42	c nbDecision=609000 #constraints=43718
1091.90/1092.43	c nbDecision=609500 #constraints=43734
1093.00/1093.52	c nbDecision=610000 #constraints=43750
1094.10/1094.67	c nbDecision=610500 #constraints=43768
1095.10/1095.68	c nbDecision=611000 #constraints=43778
1096.30/1096.87	c nbDecision=611500 #constraints=43788
1097.60/1098.11	c nbDecision=612000 #constraints=43799
1098.50/1099.09	c nbDecision=612500 #constraints=43804
1099.50/1100.08	c nbDecision=613000 #constraints=43814
1100.50/1101.04	c nbDecision=613500 #constraints=43824
1101.40/1101.99	c nbDecision=614000 #constraints=43837
1102.60/1103.15	c nbDecision=614500 #constraints=43861
1103.70/1104.24	c nbDecision=615000 #constraints=43878
1104.80/1105.37	c nbDecision=615500 #constraints=43899
1105.90/1106.48	c nbDecision=616000 #constraints=43924
1107.00/1107.50	c nbDecision=616500 #constraints=43941
1108.10/1108.64	c nbDecision=617000 #constraints=43965
1109.20/1109.75	c nbDecision=617500 #constraints=43985
1110.00/1110.57	c nbDecision=618000 #constraints=43995
1111.30/1111.84	c nbDecision=618500 #constraints=44023
1112.60/1113.17	c nbDecision=619000 #constraints=44040
1113.90/1114.43	c nbDecision=619500 #constraints=44060
1114.90/1115.47	c nbDecision=620000 #constraints=44072
1116.00/1116.57	c nbDecision=620500 #constraints=44086
1116.90/1117.50	c nbDecision=621000 #constraints=44097
1118.30/1118.81	c nbDecision=621500 #constraints=44116
1119.50/1120.06	c nbDecision=622000 #constraints=44130
1120.60/1121.16	c nbDecision=622500 #constraints=44144
1121.80/1122.38	c nbDecision=623000 #constraints=44175
1123.20/1123.76	c nbDecision=623500 #constraints=44200
1124.30/1124.84	c nbDecision=624000 #constraints=44209
1125.50/1126.05	c nbDecision=624500 #constraints=44222
1126.80/1127.30	c nbDecision=625000 #constraints=44236
1127.90/1128.48	c nbDecision=625500 #constraints=44263
1129.40/1129.91	c nbDecision=626000 #constraints=44288
1130.59/1131.13	c nbDecision=626500 #constraints=44310
1131.69/1132.26	c nbDecision=627000 #constraints=44322
1132.79/1133.37	c nbDecision=627500 #constraints=44332
1133.89/1134.47	c nbDecision=628000 #constraints=44348
1134.99/1135.52	c nbDecision=628500 #constraints=44356
1135.99/1136.53	c nbDecision=629000 #constraints=44366
1136.99/1137.58	c nbDecision=629500 #constraints=44380
1137.99/1138.57	c nbDecision=630000 #constraints=44386
1139.09/1139.67	c nbDecision=630500 #constraints=44409
1140.39/1140.91	c nbDecision=631000 #constraints=44427
1141.69/1142.28	c nbDecision=631500 #constraints=44460
1142.89/1143.47	c nbDecision=632000 #constraints=44474
1144.09/1144.66	c nbDecision=632500 #constraints=44497
1145.19/1145.79	c nbDecision=633000 #constraints=44508
1146.49/1147.00	c nbDecision=633500 #constraints=44533
1147.79/1148.40	c nbDecision=634000 #constraints=44549
1148.78/1149.33	c nbDecision=634500 #constraints=44561
1149.99/1150.51	c nbDecision=635000 #constraints=44579
1151.19/1151.70	c nbDecision=635500 #constraints=44595
1152.29/1152.83	c nbDecision=636000 #constraints=44620
1153.39/1154.00	c nbDecision=636500 #constraints=44637
1154.58/1155.15	c nbDecision=637000 #constraints=44645
1155.58/1156.13	c nbDecision=637500 #constraints=44653
1156.58/1157.19	c nbDecision=638000 #constraints=44662
1157.68/1158.27	c nbDecision=638500 #constraints=44675
1158.58/1159.18	c nbDecision=639000 #constraints=44691
1159.78/1160.34	c nbDecision=639500 #constraints=44698
1160.78/1161.35	c nbDecision=640000 #constraints=44706
1161.78/1162.39	c nbDecision=640500 #constraints=44719
1162.87/1163.40	c nbDecision=641000 #constraints=44737
1164.07/1164.67	c nbDecision=641500 #constraints=44753
1165.17/1165.71	c nbDecision=642000 #constraints=44761
1166.37/1166.97	c nbDecision=642500 #constraints=44797
1167.68/1168.29	c nbDecision=643000 #constraints=44822
1168.68/1169.20	c nbDecision=643500 #constraints=44831
1169.78/1170.37	c nbDecision=644000 #constraints=44852
1171.07/1171.60	c nbDecision=644500 #constraints=44872
1172.28/1172.83	c nbDecision=645000 #constraints=44885
1173.38/1173.94	c nbDecision=645500 #constraints=44902
1174.38/1174.98	c nbDecision=646000 #constraints=44907
1175.48/1176.01	c nbDecision=646500 #constraints=44915
1176.38/1176.95	c nbDecision=647000 #constraints=44919
1177.38/1177.96	c nbDecision=647500 #constraints=44927
1178.48/1179.06	c nbDecision=648000 #constraints=44943
1179.48/1180.09	c nbDecision=648500 #constraints=44957
1180.78/1181.31	c nbDecision=649000 #constraints=44974
1181.88/1182.43	c nbDecision=649500 #constraints=44984
1182.78/1183.37	c nbDecision=650000 #constraints=45000
1183.88/1184.49	c nbDecision=650500 #constraints=45015
1185.07/1185.64	c nbDecision=651000 #constraints=45023
1186.28/1186.84	c nbDecision=651500 #constraints=45035
1187.37/1187.91	c nbDecision=652000 #constraints=45042
1188.47/1189.06	c nbDecision=652500 #constraints=45062
1189.47/1190.09	c nbDecision=653000 #constraints=45071
1190.57/1191.14	c nbDecision=653500 #constraints=45083
1191.57/1192.17	c nbDecision=654000 #constraints=45096
1192.57/1193.13	c nbDecision=654500 #constraints=45111
1193.57/1194.15	c nbDecision=655000 #constraints=45124
1194.67/1195.29	c nbDecision=655500 #constraints=45137
1195.67/1196.30	c nbDecision=656000 #constraints=45141
1196.77/1197.34	c nbDecision=656500 #constraints=45160
1197.86/1198.48	c nbDecision=657000 #constraints=45173
1198.86/1199.45	c nbDecision=657500 #constraints=45177
1199.96/1200.57	c nbDecision=658000 #constraints=45192
1201.16/1201.72	c nbDecision=658500 #constraints=45203
1202.16/1202.78	c nbDecision=659000 #constraints=45216
1203.26/1203.89	c nbDecision=659500 #constraints=45230
1204.46/1205.06	c nbDecision=660000 #constraints=45250
1205.56/1206.12	c nbDecision=660500 #constraints=45260
1206.66/1207.22	c nbDecision=661000 #constraints=45274
1207.76/1208.38	c nbDecision=661500 #constraints=45295
1208.86/1209.41	c nbDecision=662000 #constraints=45307
1210.06/1210.64	c nbDecision=662500 #constraints=45350
1211.16/1211.79	c nbDecision=663000 #constraints=45370
1212.26/1212.87	c nbDecision=663500 #constraints=45378
1213.66/1214.23	c nbDecision=664000 #constraints=45405
1214.75/1215.31	c nbDecision=664500 #constraints=45417
1215.75/1216.33	c nbDecision=665000 #constraints=45426
1216.66/1217.29	c nbDecision=665500 #constraints=45430
1217.66/1218.25	c nbDecision=666000 #constraints=45451
1218.86/1219.41	c nbDecision=666500 #constraints=45481
1220.16/1220.70	c nbDecision=667000 #constraints=45506
1221.46/1222.04	c nbDecision=667500 #constraints=45525
1222.56/1223.20	c nbDecision=668000 #constraints=45538
1223.76/1224.36	c nbDecision=668500 #constraints=45552
1224.96/1225.53	c nbDecision=669000 #constraints=45563
1226.26/1226.85	c nbDecision=669500 #constraints=45580
1227.76/1228.36	c nbDecision=670000 #constraints=45608
1228.86/1229.49	c nbDecision=670500 #constraints=45622
1230.06/1230.68	c nbDecision=671000 #constraints=45633
1231.25/1231.81	c nbDecision=671500 #constraints=45643
1232.56/1233.18	c nbDecision=672000 #constraints=45670
1233.95/1234.52	c nbDecision=672500 #constraints=45693
1235.15/1235.74	c nbDecision=673000 #constraints=45709
1236.25/1236.84	c nbDecision=673500 #constraints=45727
1237.15/1237.72	c nbDecision=674000 #constraints=45734
1238.15/1238.76	c nbDecision=674500 #constraints=45744
1239.16/1239.77	c nbDecision=675000 #constraints=45751
1240.26/1240.82	c nbDecision=675500 #constraints=45763
1241.25/1241.80	c nbDecision=676000 #constraints=45767
1242.35/1242.93	c nbDecision=676500 #constraints=45790
1243.55/1244.14	c nbDecision=677000 #constraints=45806
1244.75/1245.36	c nbDecision=677500 #constraints=45815
1245.95/1246.50	c nbDecision=678000 #constraints=45828
1246.95/1247.57	c nbDecision=678500 #constraints=45837
1248.45/1249.00	c nbDecision=679000 #constraints=45865
1249.55/1250.16	c nbDecision=679500 #constraints=45881
1250.64/1251.25	c nbDecision=680000 #constraints=45906
1251.84/1252.43	c nbDecision=680500 #constraints=45917
1253.14/1253.73	c nbDecision=681000 #constraints=45935
1254.24/1254.81	c nbDecision=681500 #constraints=45945
1255.44/1256.06	c nbDecision=682000 #constraints=45964
1256.54/1257.16	c nbDecision=682500 #constraints=45976
1257.74/1258.31	c nbDecision=683000 #constraints=45997
1258.54/1259.18	c nbDecision=683500 #constraints=46007
1259.64/1260.20	c nbDecision=684000 #constraints=46018
1260.64/1261.27	c nbDecision=684500 #constraints=46032
1261.84/1262.49	c nbDecision=685000 #constraints=46054
1263.04/1263.62	c nbDecision=685500 #constraints=46075
1264.14/1264.72	c nbDecision=686000 #constraints=46088
1265.44/1266.01	c nbDecision=686500 #constraints=46115
1266.54/1267.12	c nbDecision=687000 #constraints=46125
1267.44/1268.03	c nbDecision=687500 #constraints=46139
1268.84/1269.46	c nbDecision=688000 #constraints=46157
1270.03/1270.65	c nbDecision=688500 #constraints=46177
1271.04/1271.66	c nbDecision=689000 #constraints=46181
1272.14/1272.75	c nbDecision=689500 #constraints=46196
1273.33/1273.94	c nbDecision=690000 #constraints=46206
1274.34/1274.98	c nbDecision=690500 #constraints=46219
1275.53/1276.16	c nbDecision=691000 #constraints=46240
1276.73/1277.34	c nbDecision=691500 #constraints=46258
1277.83/1278.45	c nbDecision=692000 #constraints=46283
1278.93/1279.56	c nbDecision=692500 #constraints=46294
1280.23/1280.88	c nbDecision=693000 #constraints=46321
1281.43/1282.07	c nbDecision=693500 #constraints=46348
1282.43/1283.09	c nbDecision=694000 #constraints=46356
1283.63/1284.27	c nbDecision=694500 #constraints=46383
1284.73/1285.35	c nbDecision=695000 #constraints=46397
1285.93/1286.54	c nbDecision=695500 #constraints=46415
1286.83/1287.46	c nbDecision=696000 #constraints=46422
1287.93/1288.56	c nbDecision=696500 #constraints=46430
1289.13/1289.71	c nbDecision=697000 #constraints=46445
1290.23/1290.81	c nbDecision=697500 #constraints=46456
1291.23/1291.90	c nbDecision=698000 #constraints=46471
1292.13/1292.78	c nbDecision=698500 #constraints=46481
1293.33/1293.91	c nbDecision=699000 #constraints=46496
1294.53/1295.11	c nbDecision=699500 #constraints=46505
1295.53/1296.15	c nbDecision=700000 #constraints=46512
1296.62/1297.24	c nbDecision=700500 #constraints=46525
1297.62/1298.27	c nbDecision=701000 #constraints=46529
1298.63/1299.26	c nbDecision=701500 #constraints=46541
1299.83/1300.40	c nbDecision=702000 #constraints=46557
1300.74/1301.37	c nbDecision=702500 #constraints=46561
1301.84/1302.49	c nbDecision=703000 #constraints=46578
1303.03/1303.62	c nbDecision=703500 #constraints=46590
1304.23/1304.83	c nbDecision=704000 #constraints=46615
1305.43/1306.06	c nbDecision=704500 #constraints=46628
1306.63/1307.22	c nbDecision=705000 #constraints=46645
1308.03/1308.67	c nbDecision=705500 #constraints=46666
1309.33/1310.00	c nbDecision=706000 #constraints=46677
1310.63/1311.20	c nbDecision=706500 #constraints=46686
1311.73/1312.32	c nbDecision=707000 #constraints=46700
1312.93/1313.55	c nbDecision=707500 #constraints=46728
1314.03/1314.66	c nbDecision=708000 #constraints=46743
1315.23/1315.80	c nbDecision=708500 #constraints=46755
1316.22/1316.86	c nbDecision=709000 #constraints=46761
1317.13/1317.74	c nbDecision=709500 #constraints=46769
1318.23/1318.86	c nbDecision=710000 #constraints=46784
1319.22/1319.86	c nbDecision=710500 #constraints=46789
1320.32/1320.91	c nbDecision=711000 #constraints=46802
1321.42/1322.05	c nbDecision=711500 #constraints=46815
1322.63/1323.25	c nbDecision=712000 #constraints=46823
1323.73/1324.39	c nbDecision=712500 #constraints=46835
1325.02/1325.60	c nbDecision=713000 #constraints=46848
1326.12/1326.72	c nbDecision=713500 #constraints=46853
1327.32/1327.91	c nbDecision=714000 #constraints=46876
1328.52/1329.11	c nbDecision=714500 #constraints=46891
1329.92/1330.56	c nbDecision=715000 #constraints=46914
1331.02/1331.66	c nbDecision=715500 #constraints=46923
1332.22/1332.83	c nbDecision=716000 #constraints=46935
1333.32/1333.96	c nbDecision=716500 #constraints=46954
1334.42/1335.05	c nbDecision=717000 #constraints=46968
1335.62/1336.20	c nbDecision=717500 #constraints=46977
1336.42/1337.10	c nbDecision=718000 #constraints=46984
1337.62/1338.27	c nbDecision=718500 #constraints=46994
1338.72/1339.37	c nbDecision=719000 #constraints=47004
1339.72/1340.38	c nbDecision=719500 #constraints=47009
1340.81/1341.44	c nbDecision=720000 #constraints=47017
1341.91/1342.56	c nbDecision=720500 #constraints=47034
1343.11/1343.76	c nbDecision=721000 #constraints=47048
1344.31/1344.94	c nbDecision=721500 #constraints=47062
1345.41/1346.04	c nbDecision=722000 #constraints=47073
1346.51/1347.16	c nbDecision=722500 #constraints=47084
1347.61/1348.26	c nbDecision=723000 #constraints=47094
1348.61/1349.29	c nbDecision=723500 #constraints=47098
1349.81/1350.40	c nbDecision=724000 #constraints=47122
1350.81/1351.47	c nbDecision=724500 #constraints=47131
1351.81/1352.49	c nbDecision=725000 #constraints=47135
1352.91/1353.59	c nbDecision=725500 #constraints=47148
1354.01/1354.68	c nbDecision=726000 #constraints=47168
1355.11/1355.77	c nbDecision=726500 #constraints=47180
1356.21/1356.87	c nbDecision=727000 #constraints=47203
1357.31/1357.91	c nbDecision=727500 #constraints=47214
1358.30/1358.90	c nbDecision=728000 #constraints=47223
1359.40/1360.03	c nbDecision=728500 #constraints=47246
1360.40/1361.08	c nbDecision=729000 #constraints=47261
1361.60/1362.29	c nbDecision=729500 #constraints=47270
1362.90/1363.52	c nbDecision=730000 #constraints=47282
1364.00/1364.64	c nbDecision=730500 #constraints=47289
1365.20/1365.82	c nbDecision=731000 #constraints=47299
1366.40/1367.04	c nbDecision=731500 #constraints=47317
1367.50/1368.16	c nbDecision=732000 #constraints=47328
1368.60/1369.22	c nbDecision=732500 #constraints=47337
1369.70/1370.36	c nbDecision=733000 #constraints=47351
1370.80/1371.46	c nbDecision=733500 #constraints=47359
1371.90/1372.59	c nbDecision=734000 #constraints=47374
1373.10/1373.75	c nbDecision=734500 #constraints=47387
1374.31/1374.91	c nbDecision=735000 #constraints=47397
1375.30/1375.96	c nbDecision=735500 #constraints=47401
1376.71/1377.33	c nbDecision=736000 #constraints=47419
1377.81/1378.48	c nbDecision=736500 #constraints=47434
1379.01/1379.60	c nbDecision=737000 #constraints=47447
1380.01/1380.63	c nbDecision=737500 #constraints=47461
1381.11/1381.73	c nbDecision=738000 #constraints=47480
1382.41/1383.05	c nbDecision=738500 #constraints=47508
1383.51/1384.17	c nbDecision=739000 #constraints=47518
1384.71/1385.34	c nbDecision=739500 #constraints=47530
1385.81/1386.44	c nbDecision=740000 #constraints=47545
1386.90/1387.56	c nbDecision=740500 #constraints=47556
1388.10/1388.72	c nbDecision=741000 #constraints=47567
1389.20/1389.80	c nbDecision=741500 #constraints=47581
1390.00/1390.64	c nbDecision=742000 #constraints=47583
1391.40/1392.05	c nbDecision=742500 #constraints=47612
1392.40/1393.00	c nbDecision=743000 #constraints=47622
1393.50/1394.14	c nbDecision=743500 #constraints=47643
1394.80/1395.42	c nbDecision=744000 #constraints=47665
1395.90/1396.52	c nbDecision=744500 #constraints=47678
1397.00/1397.63	c nbDecision=745000 #constraints=47691
1398.10/1398.78	c nbDecision=745500 #constraints=47715
1399.20/1399.84	c nbDecision=746000 #constraints=47732
1400.60/1401.23	c nbDecision=746500 #constraints=47761
1401.90/1402.51	c nbDecision=747000 #constraints=47776
1403.00/1403.67	c nbDecision=747500 #constraints=47792
1404.19/1404.86	c nbDecision=748000 #constraints=47810
1405.29/1405.93	c nbDecision=748500 #constraints=47818
1406.49/1407.15	c nbDecision=749000 #constraints=47839
1407.59/1408.22	c nbDecision=749500 #constraints=47847
1408.50/1409.17	c nbDecision=750000 #constraints=47867
1410.09/1410.71	c nbDecision=750500 #constraints=47892
1411.29/1411.94	c nbDecision=751000 #constraints=47911
1412.39/1413.09	c nbDecision=751500 #constraints=47921
1413.49/1414.17	c nbDecision=752000 #constraints=47927
1414.69/1415.35	c nbDecision=752500 #constraints=47942
1415.79/1416.40	c nbDecision=753000 #constraints=47948
1416.79/1417.47	c nbDecision=753500 #constraints=47954
1417.88/1418.54	c nbDecision=754000 #constraints=47963
1418.98/1419.62	c nbDecision=754500 #constraints=47972
1420.08/1420.71	c nbDecision=755000 #constraints=47985
1421.18/1421.81	c nbDecision=755500 #constraints=47997
1422.18/1422.87	c nbDecision=756000 #constraints=48003
1423.28/1423.92	c nbDecision=756500 #constraints=48011
1424.28/1424.93	c nbDecision=757000 #constraints=48015
1425.38/1426.09	c nbDecision=757500 #constraints=48037
1426.68/1427.37	c nbDecision=758000 #constraints=48061
1427.78/1428.48	c nbDecision=758500 #constraints=48069
1428.98/1429.67	c nbDecision=759000 #constraints=48085
1430.08/1430.72	c nbDecision=759500 #constraints=48096
1431.18/1431.87	c nbDecision=760000 #constraints=48106
1432.48/1433.19	c nbDecision=760500 #constraints=48128
1433.68/1434.37	c nbDecision=761000 #constraints=48144
1434.88/1435.57	c nbDecision=761500 #constraints=48162
1435.98/1436.64	c nbDecision=762000 #constraints=48173
1436.99/1437.68	c nbDecision=762500 #constraints=48177
1438.09/1438.80	c nbDecision=763000 #constraints=48193
1439.19/1439.89	c nbDecision=763500 #constraints=48204
1440.18/1440.86	c nbDecision=764000 #constraints=48223
1441.18/1441.88	c nbDecision=764500 #constraints=48228
1442.58/1443.27	c nbDecision=765000 #constraints=48245
1443.58/1444.29	c nbDecision=765500 #constraints=48250
1444.58/1445.29	c nbDecision=766000 #constraints=48271
1445.58/1446.30	c nbDecision=766500 #constraints=48286
1446.68/1447.38	c nbDecision=767000 #constraints=48301
1447.88/1448.52	c nbDecision=767500 #constraints=48320
1448.88/1449.59	c nbDecision=768000 #constraints=48325
1449.98/1450.66	c nbDecision=768500 #constraints=48336
1450.98/1451.69	c nbDecision=769000 #constraints=48341
1452.18/1452.81	c nbDecision=769500 #constraints=48351
1453.18/1453.86	c nbDecision=770000 #constraints=48361
1454.28/1454.97	c nbDecision=770500 #constraints=48374
1455.38/1456.04	c nbDecision=771000 #constraints=48388
1456.78/1457.40	c nbDecision=771500 #constraints=48420
1457.68/1458.34	c nbDecision=772000 #constraints=48435
1458.77/1459.46	c nbDecision=772500 #constraints=48457
1459.97/1460.64	c nbDecision=773000 #constraints=48474
1461.28/1461.94	c nbDecision=773500 #constraints=48496
1462.37/1463.04	c nbDecision=774000 #constraints=48509
1463.17/1463.89	c nbDecision=774500 #constraints=48517
1464.37/1465.05	c nbDecision=775000 #constraints=48536
1465.47/1466.19	c nbDecision=775500 #constraints=48552
1466.67/1467.34	c nbDecision=776000 #constraints=48572
1467.77/1468.48	c nbDecision=776500 #constraints=48588
1468.97/1469.63	c nbDecision=777000 #constraints=48609
1470.07/1470.80	c nbDecision=777500 #constraints=48627
1471.46/1472.10	c nbDecision=778000 #constraints=48660
1472.67/1473.33	c nbDecision=778500 #constraints=48706
1473.57/1474.27	c nbDecision=779000 #constraints=48729
1474.57/1475.28	c nbDecision=779500 #constraints=48744
1475.57/1476.24	c nbDecision=780000 #constraints=48759
1476.77/1477.40	c nbDecision=780500 #constraints=48775
1477.87/1478.50	c nbDecision=781000 #constraints=48797
1478.97/1479.66	c nbDecision=781500 #constraints=48820
1480.47/1481.11	c nbDecision=782000 #constraints=48847
1481.67/1482.36	c nbDecision=782500 #constraints=48860
1482.87/1483.51	c nbDecision=783000 #constraints=48869
1484.27/1484.90	c nbDecision=783500 #constraints=48890
1485.37/1486.03	c nbDecision=784000 #constraints=48897
1486.76/1487.49	c nbDecision=784500 #constraints=48930
1488.06/1488.80	c nbDecision=785000 #constraints=48958
1489.56/1490.24	c nbDecision=785500 #constraints=48990
1490.66/1491.36	c nbDecision=786000 #constraints=48996
1492.07/1492.76	c nbDecision=786500 #constraints=49024
1493.36/1494.00	c nbDecision=787000 #constraints=49032
1494.26/1495.00	c nbDecision=787500 #constraints=49040
1495.76/1496.44	c nbDecision=788000 #constraints=49056
1496.96/1497.60	c nbDecision=788500 #constraints=49065
1498.06/1498.79	c nbDecision=789000 #constraints=49079
1499.26/1499.96	c nbDecision=789500 #constraints=49093
1500.36/1501.07	c nbDecision=790000 #constraints=49101
1501.56/1502.28	c nbDecision=790500 #constraints=49111
1502.76/1503.45	c nbDecision=791000 #constraints=49119
1504.06/1504.71	c nbDecision=791500 #constraints=49140
1505.05/1505.70	c nbDecision=792000 #constraints=49149
1506.26/1507.00	c nbDecision=792500 #constraints=49166
1507.65/1508.34	c nbDecision=793000 #constraints=49176
1508.75/1509.48	c nbDecision=793500 #constraints=49181
1509.95/1510.65	c nbDecision=794000 #constraints=49188
1511.35/1512.03	c nbDecision=794500 #constraints=49204
1512.55/1513.24	c nbDecision=795000 #constraints=49213
1513.76/1514.45	c nbDecision=795500 #constraints=49233
1515.06/1515.74	c nbDecision=796000 #constraints=49251
1516.36/1517.03	c nbDecision=796500 #constraints=49259
1517.46/1518.17	c nbDecision=797000 #constraints=49273
1518.66/1519.32	c nbDecision=797500 #constraints=49282
1519.56/1520.25	c nbDecision=798000 #constraints=49292
1520.75/1521.42	c nbDecision=798500 #constraints=49304
1522.25/1522.93	c nbDecision=799000 #constraints=49331
1523.45/1524.12	c nbDecision=799500 #constraints=49346
1524.55/1525.20	c nbDecision=800000 #constraints=49356
1525.75/1526.42	c nbDecision=800500 #constraints=49372
1526.85/1527.53	c nbDecision=801000 #constraints=49384
1528.26/1529.00	c nbDecision=801500 #constraints=49400
1529.46/1530.16	c nbDecision=802000 #constraints=49412
1530.75/1531.44	c nbDecision=802500 #constraints=49421
1531.95/1532.65	c nbDecision=803000 #constraints=49431
1533.25/1533.92	c nbDecision=803500 #constraints=49445
1534.55/1535.23	c nbDecision=804000 #constraints=49466
1535.65/1536.33	c nbDecision=804500 #constraints=49476
1536.75/1537.40	c nbDecision=805000 #constraints=49489
1537.64/1538.37	c nbDecision=805500 #constraints=49497
1538.84/1539.54	c nbDecision=806000 #constraints=49511
1540.14/1540.85	c nbDecision=806500 #constraints=49530
1541.24/1541.93	c nbDecision=807000 #constraints=49546
1542.44/1543.11	c nbDecision=807500 #constraints=49557
1543.54/1544.29	c nbDecision=808000 #constraints=49566
1544.75/1545.44	c nbDecision=808500 #constraints=49574
1545.74/1546.50	c nbDecision=809000 #constraints=49578
1547.04/1547.76	c nbDecision=809500 #constraints=49598
1548.14/1548.87	c nbDecision=810000 #constraints=49605
1549.74/1550.42	c nbDecision=810500 #constraints=49631
1551.04/1551.74	c nbDecision=811000 #constraints=49640
1552.14/1552.85	c nbDecision=811500 #constraints=49650
1553.24/1553.92	c nbDecision=812000 #constraints=49662
1554.54/1555.26	c nbDecision=812500 #constraints=49679
1555.64/1556.36	c nbDecision=813000 #constraints=49692
1556.64/1557.30	c nbDecision=813500 #constraints=49701
1557.74/1558.40	c nbDecision=814000 #constraints=49711
1558.84/1559.52	c nbDecision=814500 #constraints=49721
1559.93/1560.61	c nbDecision=815000 #constraints=49738
1560.93/1561.66	c nbDecision=815500 #constraints=49742
1562.13/1562.86	c nbDecision=816000 #constraints=49762
1563.44/1564.11	c nbDecision=816500 #constraints=49777
1564.54/1565.24	c nbDecision=817000 #constraints=49797
1565.74/1566.42	c nbDecision=817500 #constraints=49813
1566.93/1567.62	c nbDecision=818000 #constraints=49833
1567.94/1568.61	c nbDecision=818500 #constraints=49850
1568.94/1569.66	c nbDecision=819000 #constraints=49857
1569.53/1570.20	c restart after 819201 decisions
1570.14/1570.86	c nbDecision=819500 #constraints=49877
1571.63/1572.36	c nbDecision=820000 #constraints=49894
1572.73/1573.48	c nbDecision=820500 #constraints=49900
1574.04/1574.72	c nbDecision=821000 #constraints=49922
1575.44/1576.10	c nbDecision=821500 #constraints=49939
1576.24/1576.99	c nbDecision=822000 #constraints=49944
1577.74/1578.48	c nbDecision=822500 #constraints=49963
1579.14/1579.86	c nbDecision=823000 #constraints=49988
1580.24/1580.99	c nbDecision=823500 #constraints=49994
1581.54/1582.27	c nbDecision=824000 #constraints=50005
1582.44/1583.19	c nbDecision=824500 #constraints=50008
1583.63/1584.34	c nbDecision=825000 #constraints=50023
1584.93/1585.60	c nbDecision=825500 #constraints=50037
1586.23/1586.91	c nbDecision=826000 #constraints=50045
1587.43/1588.12	c nbDecision=826500 #constraints=50055
1588.73/1589.48	c nbDecision=827000 #constraints=50076
1589.93/1590.64	c nbDecision=827500 #constraints=50085
1591.03/1591.74	c nbDecision=828000 #constraints=50097
1592.13/1592.81	c nbDecision=828500 #constraints=50106
1593.53/1594.21	c nbDecision=829000 #constraints=50118
1594.63/1595.35	c nbDecision=829500 #constraints=50127
1596.03/1596.79	c nbDecision=830000 #constraints=50140
1597.33/1598.07	c nbDecision=830500 #constraints=50150
1598.63/1599.40	c nbDecision=831000 #constraints=50163
1599.73/1600.49	c nbDecision=831500 #constraints=50183
1601.03/1601.71	c nbDecision=832000 #constraints=50196
1602.13/1602.89	c nbDecision=832500 #constraints=50206
1603.23/1603.97	c nbDecision=833000 #constraints=50216
1604.33/1605.07	c nbDecision=833500 #constraints=50226
1605.63/1606.38	c nbDecision=834000 #constraints=50244
1606.82/1607.53	c nbDecision=834500 #constraints=50257
1608.02/1608.78	c nbDecision=835000 #constraints=50268
1609.22/1609.94	c nbDecision=835500 #constraints=50278
1610.32/1611.00	c nbDecision=836000 #constraints=50285
1611.42/1612.13	c nbDecision=836500 #constraints=50296
1612.62/1613.31	c nbDecision=837000 #constraints=50318
1613.52/1614.23	c nbDecision=837500 #constraints=50329
1615.23/1615.95	c nbDecision=838000 #constraints=50357
1616.62/1617.34	c nbDecision=838500 #constraints=50383
1618.02/1618.74	c nbDecision=839000 #constraints=50392
1619.22/1619.94	c nbDecision=839500 #constraints=50400
1620.42/1621.18	c nbDecision=840000 #constraints=50408
1621.92/1622.60	c nbDecision=840500 #constraints=50423
1623.02/1623.70	c nbDecision=841000 #constraints=50435
1624.32/1625.05	c nbDecision=841500 #constraints=50447
1625.52/1626.26	c nbDecision=842000 #constraints=50456
1627.01/1627.70	c nbDecision=842500 #constraints=50468
1627.91/1628.64	c nbDecision=843000 #constraints=50475
1629.21/1629.96	c nbDecision=843500 #constraints=50503
1630.62/1631.36	c nbDecision=844000 #constraints=50528
1632.21/1632.91	c nbDecision=844500 #constraints=50553
1633.51/1634.25	c nbDecision=845000 #constraints=50579
1634.81/1635.56	c nbDecision=845500 #constraints=50596
1636.02/1636.71	c nbDecision=846000 #constraints=50608
1637.22/1637.94	c nbDecision=846500 #constraints=50622
1638.31/1639.04	c nbDecision=847000 #constraints=50633
1639.51/1640.22	c nbDecision=847500 #constraints=50640
1640.51/1641.21	c nbDecision=848000 #constraints=50653
1641.71/1642.48	c nbDecision=848500 #constraints=50666
1643.11/1643.82	c nbDecision=849000 #constraints=50675
1644.41/1645.11	c nbDecision=849500 #constraints=50686
1645.61/1646.35	c nbDecision=850000 #constraints=50701
1646.91/1647.65	c nbDecision=850500 #constraints=50713
1648.41/1649.14	c nbDecision=851000 #constraints=50728
1649.71/1650.41	c nbDecision=851500 #constraints=50746
1650.91/1651.60	c nbDecision=852000 #constraints=50753
1652.01/1652.77	c nbDecision=852500 #constraints=50758
1653.21/1653.90	c nbDecision=853000 #constraints=50762
1654.41/1655.20	c nbDecision=853500 #constraints=50772
1655.61/1656.37	c nbDecision=854000 #constraints=50793
1656.81/1657.52	c nbDecision=854500 #constraints=50804
1657.91/1658.61	c nbDecision=855000 #constraints=50811
1658.81/1659.58	c nbDecision=855500 #constraints=50818
1660.31/1661.09	c nbDecision=856000 #constraints=50842
1661.41/1662.16	c nbDecision=856500 #constraints=50852
1662.61/1663.37	c nbDecision=857000 #constraints=50861
1663.81/1664.55	c nbDecision=857500 #constraints=50874
1665.21/1665.91	c nbDecision=858000 #constraints=50888
1666.40/1667.10	c nbDecision=858500 #constraints=50893
1667.50/1668.28	c nbDecision=859000 #constraints=50902
1668.50/1669.26	c nbDecision=859500 #constraints=50915
1670.00/1670.75	c nbDecision=860000 #constraints=50934
1671.21/1671.97	c nbDecision=860500 #constraints=50944
1672.60/1673.34	c nbDecision=861000 #constraints=50967
1673.70/1674.40	c nbDecision=861500 #constraints=50974
1674.80/1675.55	c nbDecision=862000 #constraints=50986
1675.90/1676.67	c nbDecision=862500 #constraints=50994
1677.10/1677.88	c nbDecision=863000 #constraints=51011
1678.20/1678.93	c nbDecision=863500 #constraints=51019
1679.80/1680.51	c nbDecision=864000 #constraints=51043
1680.90/1681.69	c nbDecision=864500 #constraints=51050
1682.10/1682.87	c nbDecision=865000 #constraints=51056
1683.10/1683.87	c nbDecision=865500 #constraints=51071
1684.30/1685.07	c nbDecision=866000 #constraints=51087
1685.70/1686.40	c nbDecision=866500 #constraints=51097
1687.00/1687.74	c nbDecision=867000 #constraints=51118
1688.10/1688.87	c nbDecision=867500 #constraints=51133
1689.30/1690.01	c nbDecision=868000 #constraints=51142
1690.50/1691.23	c nbDecision=868500 #constraints=51155
1691.59/1692.38	c nbDecision=869000 #constraints=51165
1692.79/1693.52	c nbDecision=869500 #constraints=51171
1693.99/1694.77	c nbDecision=870000 #constraints=51185
1695.29/1696.00	c nbDecision=870500 #constraints=51192
1696.50/1697.26	c nbDecision=871000 #constraints=51207
1697.89/1698.60	c nbDecision=871500 #constraints=51222
1698.99/1699.79	c nbDecision=872000 #constraints=51233
1700.09/1700.89	c nbDecision=872500 #constraints=51241
1701.19/1701.92	c nbDecision=873000 #constraints=51252
1702.19/1702.98	c nbDecision=873500 #constraints=51263
1703.39/1704.12	c nbDecision=874000 #constraints=51273
1704.69/1705.43	c nbDecision=874500 #constraints=51292
1706.09/1706.83	c nbDecision=875000 #constraints=51306
1707.49/1708.27	c nbDecision=875500 #constraints=51325
1708.49/1709.23	c nbDecision=876000 #constraints=51334
1710.19/1710.99	c nbDecision=876500 #constraints=51350
1711.38/1712.19	c nbDecision=877000 #constraints=51358
1712.89/1713.68	c nbDecision=877500 #constraints=51379
1714.09/1714.88	c nbDecision=878000 #constraints=51387
1715.19/1715.98	c nbDecision=878500 #constraints=51404
1716.79/1717.56	c nbDecision=879000 #constraints=51424
1717.99/1718.75	c nbDecision=879500 #constraints=51435
1719.19/1719.94	c nbDecision=880000 #constraints=51448
1720.49/1721.27	c nbDecision=880500 #constraints=51459
1721.69/1722.45	c nbDecision=881000 #constraints=51466
1722.89/1723.61	c nbDecision=881500 #constraints=51482
1724.19/1724.95	c nbDecision=882000 #constraints=51503
1725.59/1726.38	c nbDecision=882500 #constraints=51522
1726.89/1727.69	c nbDecision=883000 #constraints=51536
1728.19/1728.95	c nbDecision=883500 #constraints=51555
1729.59/1730.31	c nbDecision=884000 #constraints=51569
1730.78/1731.53	c nbDecision=884500 #constraints=51580
1731.98/1732.78	c nbDecision=885000 #constraints=51592
1733.18/1733.99	c nbDecision=885500 #constraints=51611
1734.38/1735.15	c nbDecision=886000 #constraints=51615
1735.58/1736.33	c nbDecision=886500 #constraints=51629
1736.68/1737.46	c nbDecision=887000 #constraints=51635
1737.78/1738.57	c nbDecision=887500 #constraints=51641
1739.18/1739.98	c nbDecision=888000 #constraints=51657
1740.38/1741.11	c nbDecision=888500 #constraints=51664
1741.58/1742.31	c nbDecision=889000 #constraints=51684
1742.98/1743.70	c nbDecision=889500 #constraints=51708
1743.98/1744.77	c nbDecision=890000 #constraints=51726
1745.28/1746.09	c nbDecision=890500 #constraints=51739
1746.38/1747.19	c nbDecision=891000 #constraints=51751
1747.68/1748.42	c nbDecision=891500 #constraints=51763
1749.08/1749.85	c nbDecision=892000 #constraints=51771
1750.08/1750.86	c nbDecision=892500 #constraints=51784
1751.48/1752.28	c nbDecision=893000 #constraints=51804
1752.78/1753.57	c nbDecision=893500 #constraints=51820
1753.78/1754.53	c nbDecision=894000 #constraints=51837
1754.97/1755.71	c nbDecision=894500 #constraints=51849
1756.17/1756.91	c nbDecision=895000 #constraints=51867
1757.37/1758.10	c nbDecision=895500 #constraints=51885
1758.37/1759.19	c nbDecision=896000 #constraints=51890
1759.67/1760.44	c nbDecision=896500 #constraints=51902
1760.67/1761.47	c nbDecision=897000 #constraints=51920
1761.97/1762.74	c nbDecision=897500 #constraints=51940
1763.17/1763.92	c nbDecision=898000 #constraints=51952
1764.57/1765.33	c nbDecision=898500 #constraints=51976
1765.77/1766.51	c nbDecision=899000 #constraints=51992
1766.97/1767.73	c nbDecision=899500 #constraints=52004
1768.07/1768.87	c nbDecision=900000 #constraints=52015
1769.27/1770.03	c nbDecision=900500 #constraints=52020
1770.47/1771.24	c nbDecision=901000 #constraints=52040
1771.37/1772.17	c nbDecision=901500 #constraints=52045
1772.67/1773.48	c nbDecision=902000 #constraints=52064
1773.67/1774.42	c nbDecision=902500 #constraints=52071
1774.87/1775.64	c nbDecision=903000 #constraints=52083
1775.97/1776.79	c nbDecision=903500 #constraints=52095
1777.16/1777.90	c nbDecision=904000 #constraints=52108
1778.36/1779.11	c nbDecision=904500 #constraints=52117
1779.56/1780.34	c nbDecision=905000 #constraints=52133
1780.96/1781.74	c nbDecision=905500 #constraints=52151
1782.16/1782.98	c nbDecision=906000 #constraints=52169
1783.56/1784.37	c nbDecision=906500 #constraints=52189
1784.76/1785.56	c nbDecision=907000 #constraints=52194
1786.06/1786.86	c nbDecision=907500 #constraints=52212
1787.06/1787.86	c nbDecision=908000 #constraints=52216
1788.36/1789.17	c nbDecision=908500 #constraints=52234
1789.56/1790.34	c nbDecision=909000 #constraints=52243
1790.86/1791.61	c nbDecision=909500 #constraints=52254
1791.96/1792.73	c nbDecision=910000 #constraints=52272
1792.86/1793.68	c nbDecision=910500 #constraints=52283
1794.16/1794.96	c nbDecision=911000 #constraints=52304
1795.56/1796.36	c nbDecision=911500 #constraints=52324
1796.76/1797.58	c nbDecision=912000 #constraints=52340
1798.06/1798.86	c nbDecision=912500 #constraints=52353
1799.26/1800.07	c nbDecision=913000 #constraints=52361
1800.07/1800.80	Received signal 15
1800.07/1800.81	
1800.07/1800.81	s UNKNOWN
1800.07/1800.81	
1800.07/1800.81	c user time= 1799.57 s
1800.07/1800.81	c system time= 0.510922 s
1800.07/1800.81	c wall clock time=1800.81

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/node24/watcher-363000-1176850109 -o ROOT/results/node24/solver-363000-1176850109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363000-1176850109/instance-363000-1176850109.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.95 1.03 0.98 3/77 12470
/proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=1620 CPUtime=0
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132929002 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 405 175 126 317 0 84 0

[startup+0.0187619 s]
/proc/loadavg: 0.95 1.03 0.98 3/77 12470
/proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=1880 CPUtime=0.01
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 298 0 0 0 1 0 0 0 18 0 1 0 132929002 1925120 247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 470 247 126 317 0 149 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1880

[startup+0.101769 s]
/proc/loadavg: 0.95 1.03 0.98 3/77 12470
/proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=3020 CPUtime=0.1
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 665 0 0 0 10 0 0 0 18 0 1 0 132929002 3092480 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 755 549 131 317 0 434 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3020

[startup+0.301792 s]
/proc/loadavg: 0.95 1.03 0.98 3/77 12470
/proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=7156 CPUtime=0.29
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 1672 0 0 0 29 0 0 0 19 0 1 0 132929002 7327744 1556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 1789 1556 131 317 0 1468 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7156

[startup+0.701835 s]
/proc/loadavg: 0.95 1.03 0.98 3/77 12470
/proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=16480 CPUtime=0.69
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 3893 0 0 0 67 2 0 0 23 0 1 0 132929002 16875520 3777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 4120 3777 137 317 0 3799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16480

[startup+1.50192 s]
/proc/loadavg: 0.95 1.03 0.98 2/78 12471
/proc/meminfo: memFree=1628488/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=18328 CPUtime=1.49
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 4338 0 0 0 147 2 0 0 25 0 1 0 132929002 18767872 4222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 4582 4222 139 317 0 4261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18328

[startup+3.10109 s]
/proc/loadavg: 0.95 1.03 0.98 2/78 12471
/proc/meminfo: memFree=1626824/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=20772 CPUtime=3.09
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 4960 0 0 0 306 3 0 0 25 0 1 0 132929002 21270528 4844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 5193 4844 139 317 0 4872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20772

[startup+6.30244 s]
/proc/loadavg: 0.95 1.03 0.98 3/78 12471
/proc/meminfo: memFree=1622152/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=25012 CPUtime=6.29
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 5995 0 0 0 624 5 0 0 25 0 1 0 132929002 25612288 5879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 6253 5879 139 317 0 5932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25012

[startup+12.7011 s]
/proc/loadavg: 0.95 1.03 0.98 2/78 12471
/proc/meminfo: memFree=1616072/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=30496 CPUtime=12.68
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 7428 0 0 0 1262 6 0 0 25 0 1 0 132929002 31227904 7312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 7624 7312 170 317 0 7303 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30496

[startup+25.5015 s]
/proc/loadavg: 0.96 1.03 0.98 2/78 12471
/proc/meminfo: memFree=1608008/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=38256 CPUtime=25.48
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 9366 0 0 0 2540 8 0 0 25 0 1 0 132929002 39174144 9207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 9564 9207 170 317 0 9243 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38256

[startup+51.1013 s]
/proc/loadavg: 0.97 1.03 0.98 2/78 12471
/proc/meminfo: memFree=1598472/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=47648 CPUtime=51.08
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 11747 0 0 0 5097 11 0 0 25 0 1 0 132929002 48791552 11503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 11912 11503 170 317 0 11591 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47648

[startup+102.306 s]
/proc/loadavg: 0.99 1.02 0.98 2/78 12471
/proc/meminfo: memFree=1586632/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=59888 CPUtime=102.26
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 14760 0 0 0 10212 14 0 0 25 0 1 0 132929002 61325312 14516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 14972 14516 170 317 0 14651 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59888

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 0.98 2/78 12471
/proc/meminfo: memFree=1577416/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=68836 CPUtime=162.23
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 17065 0 0 0 16205 18 0 0 25 0 1 0 132929002 70488064 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 17209 16821 170 317 0 16888 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 68836

[startup+222.302 s]
/proc/loadavg: 0.99 1.01 0.98 2/78 12471
/proc/meminfo: memFree=1570440/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=75812 CPUtime=222.2
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 18773 0 0 0 22200 20 0 0 25 0 1 0 132929002 77631488 18529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 18953 18529 170 317 0 18632 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 75812

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1563784/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=83228 CPUtime=282.19
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 20591 0 0 0 28196 23 0 0 25 0 1 0 132929002 85225472 20177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 20807 20177 170 317 0 20486 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 83228

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1558024/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=89156 CPUtime=342.17
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 22048 0 0 0 34193 24 0 0 25 0 1 0 132929002 91295744 21634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 22289 21634 170 317 0 21968 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 89156

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1552712/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=95072 CPUtime=402.15
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 23396 0 0 0 40189 26 0 0 25 0 1 0 132929002 97353728 22982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 23768 22982 170 317 0 23447 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 95072

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1548168/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=99684 CPUtime=462.13
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 24501 0 0 0 46185 28 0 0 25 0 1 0 132929002 102076416 24087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 24921 24087 170 317 0 24600 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 99684

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1544776/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=102996 CPUtime=522.11
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 25377 0 0 0 52182 29 0 0 25 0 1 0 132929002 105467904 24930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 25749 24930 170 317 0 25428 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 102996

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1541320/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=106800 CPUtime=582.09
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 26241 0 0 0 58179 30 0 0 25 0 1 0 132929002 109363200 25794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 26700 25794 170 317 0 26379 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 106800

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12471
/proc/meminfo: memFree=1537736/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=110888 CPUtime=642.07
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 27129 0 0 0 64176 31 0 0 25 0 1 0 132929002 113549312 26682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 27722 26682 170 317 0 27401 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 110888


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

[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1529728/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=117952 CPUtime=821.91
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 29094 0 0 0 82156 35 0 0 25 0 1 0 132929002 120782848 28647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 29488 28647 170 317 0 29167 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 117952

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1527360/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=120176 CPUtime=881.88
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 29673 0 0 0 88152 36 0 0 25 0 1 0 132929002 123060224 29226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 30044 29226 170 317 0 29723 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 120176

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1525120/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=122268 CPUtime=941.86
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 30242 0 0 0 94149 37 0 0 25 0 1 0 132929002 125202432 29795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 30567 29795 170 317 0 30246 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 122268

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1523008/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=124136 CPUtime=1001.83
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 30763 0 0 0 100145 38 0 0 25 0 1 0 132929002 127115264 30316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 31034 30316 170 317 0 30713 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 124136

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1520960/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=126088 CPUtime=1061.81
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 31279 0 0 0 106142 39 0 0 25 0 1 0 132929002 129114112 30832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 31522 30832 170 317 0 31201 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 126088

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1519048/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=127780 CPUtime=1121.8
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 31740 0 0 0 112140 40 0 0 25 0 1 0 132929002 130846720 31293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 31945 31293 170 317 0 31624 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 127780

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1517320/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=129472 CPUtime=1181.78
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 32175 0 0 0 118137 41 0 0 25 0 1 0 132929002 132579328 31728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 32368 31728 170 317 0 32047 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 129472

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1515528/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=131164 CPUtime=1241.75
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 32632 0 0 0 124133 42 0 0 25 0 1 0 132929002 134311936 32185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 32791 32185 170 317 0 32470 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 131164

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1513672/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=132748 CPUtime=1301.74
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33079 0 0 0 130131 43 0 0 25 0 1 0 132929002 135933952 32632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 33187 32632 170 317 0 32866 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 132748

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1512136/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=134224 CPUtime=1361.7
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33451 0 0 0 136127 43 0 0 25 0 1 0 132929002 137445376 33004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 33556 33004 170 317 0 33235 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 134224

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1510472/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=135664 CPUtime=1421.69
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33859 0 0 0 142125 44 0 0 25 0 1 0 132929002 138919936 33412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 33916 33412 170 317 0 33595 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 135664

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1508680/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=137484 CPUtime=1481.67
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 34322 0 0 0 148121 46 0 0 25 0 1 0 132929002 140783616 33875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 34371 33875 170 317 0 34050 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 137484

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1505800/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=141592 CPUtime=1541.64
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35367 0 0 0 154117 47 0 0 25 0 1 0 132929002 144990208 34582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 35398 34582 170 317 0 35077 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 141592

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1505736/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=141724 CPUtime=1601.63
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35427 0 0 0 160115 48 0 0 25 0 1 0 132929002 145125376 34642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 35431 34642 170 317 0 35110 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 141724

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1504328/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=143148 CPUtime=1661.61
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35770 0 0 0 166112 49 0 0 25 0 1 0 132929002 146583552 34985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 35787 34985 170 317 0 35466 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 143148

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1502536/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=146392 CPUtime=1721.59
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36469 0 0 0 172109 50 0 0 25 0 1 0 132929002 149905408 35420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 36598 35420 170 317 0 36277 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 146392

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1501000/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=147836 CPUtime=1781.56
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36858 0 0 0 178106 50 0 0 25 0 1 0 132929002 151384064 35809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 36959 35809 170 317 0 36638 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 147836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 1.00 0.98 2/78 12669
/proc/meminfo: memFree=1500552/2055920 swapFree=4101964/4192956
[pid=12470] ppid=12468 vsize=148224 CPUtime=1800.07
/proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36970 0 0 0 179956 51 0 0 25 0 1 0 132929002 151781376 35921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12470/statm: 37056 35921 170 317 0 36735 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 148224

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

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

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.12
CPU user time (s): 1799.59
CPU system time (s): 0.535918
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 148224

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

runsolver used 2.10268 second user time and 4.55731 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Apr 17 22:48:30 UTC 2007

IDJOB= 363000
IDBENCH= 1704
IDSOLVER= 172
FILE ID= node24/363000-1176850109

PBS_JOBID= 4590215

Free space on /tmp= 66493 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  86d589e9c21b90dfd700c7c422b09b8c

RANDOM SEED= 242918829

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1644776 kB
Buffers:         40152 kB
Cached:         237860 kB
SwapCached:      60220 kB
Active:          68756 kB
Inactive:       277420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644776 kB
SwapTotal:     4192956 kB
SwapFree:      4101964 kB
Dirty:            3312 kB
Writeback:           0 kB
Mapped:          49104 kB
Slab:            50436 kB
Committed_AS:  1811580 kB
PageTables:       1808 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= 66493 MiB

End job on node24 on Tue Apr 17 23:18:33 UTC 2007